cardano-crypto-class-2.2.2.0: Type classes abstracting over cryptography primitives for Cardano
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Crypto.KES.Mock

Description

Mock key evolving signatures.

Documentation

data MockKES (t ∷ Nat) Source #

Instances

Instances details
Generic (SigKES (MockKES t)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Mock

Associated Types

type Rep (SigKES (MockKES t)) ∷ Type → Type #

Methods

from ∷ SigKES (MockKES t) → Rep (SigKES (MockKES t)) x #

to ∷ Rep (SigKES (MockKES t)) x → SigKES (MockKES t) #

Generic (SignKeyKES (MockKES t)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Mock

Associated Types

type Rep (SignKeyKES (MockKES t)) ∷ Type → Type #

Methods

from ∷ SignKeyKES (MockKES t) → Rep (SignKeyKES (MockKES t)) x #

to ∷ Rep (SignKeyKES (MockKES t)) x → SignKeyKES (MockKES t) #

Generic (UnsoundPureSignKeyKES (MockKES t)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Mock

Associated Types

type Rep (UnsoundPureSignKeyKES (MockKES t)) ∷ Type → Type #

Methods

from ∷ UnsoundPureSignKeyKES (MockKES t) → Rep (UnsoundPureSignKeyKES (MockKES t)) x #

to ∷ Rep (UnsoundPureSignKeyKES (MockKES t)) x → UnsoundPureSignKeyKES (MockKES t) #

Generic (VerKeyKES (MockKES t)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Mock

Associated Types

type Rep (VerKeyKES (MockKES t)) ∷ Type → Type #

Methods

from ∷ VerKeyKES (MockKES t) → Rep (VerKeyKES (MockKES t)) x #

to ∷ Rep (VerKeyKES (MockKES t)) x → VerKeyKES (MockKES t) #

Show (SigKES (MockKES t)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Mock

Methods

showsPrec ∷ Int → SigKES (MockKES t) → ShowS #

show ∷ SigKES (MockKES t) → String #

showList ∷ [SigKES (MockKES t)] → ShowS #

Show (SignKeyKES (MockKES t)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Mock

Methods

showsPrec ∷ Int → SignKeyKES (MockKES t) → ShowS #

show ∷ SignKeyKES (MockKES t) → String #

showList ∷ [SignKeyKES (MockKES t)] → ShowS #

Show (UnsoundPureSignKeyKES (MockKES t)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Mock

Methods

showsPrec ∷ Int → UnsoundPureSignKeyKES (MockKES t) → ShowS #

show ∷ UnsoundPureSignKeyKES (MockKES t) → String #

showList ∷ [UnsoundPureSignKeyKES (MockKES t)] → ShowS #

Show (VerKeyKES (MockKES t)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Mock

Methods

showsPrec ∷ Int → VerKeyKES (MockKES t) → ShowS #

show ∷ VerKeyKES (MockKES t) → String #

showList ∷ [VerKeyKES (MockKES t)] → ShowS #

KnownNat t ⇒ FromCBOR (SigKES (MockKES t)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Mock

Methods

fromCBOR ∷ Decoder s (SigKES (MockKES t)) Source #

label ∷ Proxy (SigKES (MockKES t)) → Text Source #

KnownNat t ⇒ FromCBOR (UnsoundPureSignKeyKES (MockKES t)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Mock

Methods

fromCBOR ∷ Decoder s (UnsoundPureSignKeyKES (MockKES t)) Source #

label ∷ Proxy (UnsoundPureSignKeyKES (MockKES t)) → Text Source #

KnownNat t ⇒ FromCBOR (VerKeyKES (MockKES t)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Mock

Methods

fromCBOR ∷ Decoder s (VerKeyKES (MockKES t)) Source #

label ∷ Proxy (VerKeyKES (MockKES t)) → Text Source #

KnownNat t ⇒ ToCBOR (SigKES (MockKES t)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Mock

Methods

toCBOR ∷ SigKES (MockKES t) → Encoding Source #

encodedSizeExpr ∷ (∀ t0. ToCBOR t0 ⇒ Proxy t0 → Size) → Proxy (SigKES (MockKES t)) → Size Source #

encodedListSizeExpr ∷ (∀ t0. ToCBOR t0 ⇒ Proxy t0 → Size) → Proxy [SigKES (MockKES t)] → Size Source #

KnownNat t ⇒ ToCBOR (UnsoundPureSignKeyKES (MockKES t)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Mock

Methods

toCBOR ∷ UnsoundPureSignKeyKES (MockKES t) → Encoding Source #

encodedSizeExpr ∷ (∀ t0. ToCBOR t0 ⇒ Proxy t0 → Size) → Proxy (UnsoundPureSignKeyKES (MockKES t)) → Size Source #

encodedListSizeExpr ∷ (∀ t0. ToCBOR t0 ⇒ Proxy t0 → Size) → Proxy [UnsoundPureSignKeyKES (MockKES t)] → Size Source #

KnownNat t ⇒ ToCBOR (VerKeyKES (MockKES t)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Mock

Methods

toCBOR ∷ VerKeyKES (MockKES t) → Encoding Source #

encodedSizeExpr ∷ (∀ t0. ToCBOR t0 ⇒ Proxy t0 → Size) → Proxy (VerKeyKES (MockKES t)) → Size Source #

encodedListSizeExpr ∷ (∀ t0. ToCBOR t0 ⇒ Proxy t0 → Size) → Proxy [VerKeyKES (MockKES t)] → Size Source #

KnownNat t ⇒ DirectDeserialise (SignKeyKES (MockKES t)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Mock

Methods

directDeserialise ∷ (MonadST m, MonadThrow m) ⇒ (Ptr CChar → CSize → m ()) → m (SignKeyKES (MockKES t)) Source #

KnownNat t ⇒ DirectDeserialise (VerKeyKES (MockKES t)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Mock

Methods

directDeserialise ∷ (MonadST m, MonadThrow m) ⇒ (Ptr CChar → CSize → m ()) → m (VerKeyKES (MockKES t)) Source #

KnownNat t ⇒ DirectSerialise (SignKeyKES (MockKES t)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Mock

Methods

directSerialise ∷ (MonadST m, MonadThrow m) ⇒ (Ptr CChar → CSize → m ()) → SignKeyKES (MockKES t) → m () Source #

KnownNat t ⇒ DirectSerialise (VerKeyKES (MockKES t)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Mock

Methods

directSerialise ∷ (MonadST m, MonadThrow m) ⇒ (Ptr CChar → CSize → m ()) → VerKeyKES (MockKES t) → m () Source #

KnownNat t ⇒ KESAlgorithm (MockKES t) Source #

Mock key evolving signatures.

What is the difference between Mock KES and Simple KES (Cardano.Crypto.KES.Simple), you may ask? Simple KES satisfies the outward appearance of a KES scheme through assembling a pre-generated list of keys and iterating through them. Mock KES, on the other hand, pretends to be KES but in fact does no key evolution whatsoever.

Simple KES is appropriate for testing, since it will for example reject old keys. Mock KES is more suitable for a basic testnet, since it doesn't suffer from the performance implications of shuffling a giant list of keys around

Instance details

Defined in Cardano.Crypto.KES.Mock

Associated Types

data VerKeyKES (MockKES t) Source #

data SigKES (MockKES t) Source #

data SignKeyKES (MockKES t) Source #

type SeedSizeKES (MockKES t) ∷ Nat Source #

type SizeVerKeyKES (MockKES t) ∷ Nat Source #

type SizeSignKeyKES (MockKES t) ∷ Nat Source #

type SizeSigKES (MockKES t) ∷ Nat Source #

type ContextKES (MockKES t) Source #

type Signable (MockKES t) ∷ Type → Constraint Source #

Methods

algorithmNameKES ∷ proxy (MockKES t) → String Source #

hashVerKeyKES ∷ HashAlgorithm h ⇒ VerKeyKES (MockKES t) → Hash h (VerKeyKES (MockKES t)) Source #

verifyKES ∷ (Signable (MockKES t) a, HasCallStack) ⇒ ContextKES (MockKES t) → VerKeyKES (MockKES t) → Period → a → SigKES (MockKES t) → Either String () Source #

totalPeriodsKES ∷ proxy (MockKES t) → Word Source #

rawSerialiseVerKeyKES ∷ VerKeyKES (MockKES t) → ByteString Source #

rawSerialiseSigKES ∷ SigKES (MockKES t) → ByteString Source #

rawDeserialiseVerKeyKES ∷ ByteString → Maybe (VerKeyKES (MockKES t)) Source #

rawDeserialiseSigKES ∷ ByteString → Maybe (SigKES (MockKES t)) Source #

deriveVerKeyKES ∷ (MonadST m, MonadThrow m) ⇒ SignKeyKES (MockKES t) → m (VerKeyKES (MockKES t)) Source #

signKES ∷ (Signable (MockKES t) a, MonadST m, MonadThrow m) ⇒ ContextKES (MockKES t) → Period → a → SignKeyKES (MockKES t) → m (SigKES (MockKES t)) Source #

updateKESWith ∷ (MonadST m, MonadThrow m) ⇒ MLockedAllocator m → ContextKES (MockKES t) → SignKeyKES (MockKES t) → Period → m (Maybe (SignKeyKES (MockKES t))) Source #

genKeyKESWith ∷ (MonadST m, MonadThrow m) ⇒ MLockedAllocator m → MLockedSeed (SeedSizeKES (MockKES t)) → m (SignKeyKES (MockKES t)) Source #

forgetSignKeyKESWith ∷ (MonadST m, MonadThrow m) ⇒ MLockedAllocator m → SignKeyKES (MockKES t) → m () Source #

KnownNat t ⇒ UnsoundKESAlgorithm (MockKES t) Source # 
Instance details

Defined in Cardano.Crypto.KES.Mock

Methods

rawDeserialiseSignKeyKESWith ∷ (MonadST m, MonadThrow m) ⇒ MLockedAllocator m → ByteString → m (Maybe (SignKeyKES (MockKES t))) Source #

rawSerialiseSignKeyKES ∷ (MonadST m, MonadThrow m) ⇒ SignKeyKES (MockKES t) → m ByteString Source #

KnownNat t ⇒ UnsoundPureKESAlgorithm (MockKES t) Source # 
Instance details

Defined in Cardano.Crypto.KES.Mock

Associated Types

data UnsoundPureSignKeyKES (MockKES t) Source #

Methods

unsoundPureSignKES ∷ Signable (MockKES t) a ⇒ ContextKES (MockKES t) → Period → a → UnsoundPureSignKeyKES (MockKES t) → SigKES (MockKES t) Source #

unsoundPureUpdateKES ∷ ContextKES (MockKES t) → UnsoundPureSignKeyKES (MockKES t) → Period → Maybe (UnsoundPureSignKeyKES (MockKES t)) Source #

unsoundPureGenKeyKES ∷ Seed → UnsoundPureSignKeyKES (MockKES t) Source #

unsoundPureDeriveVerKeyKES ∷ UnsoundPureSignKeyKES (MockKES t) → VerKeyKES (MockKES t) Source #

unsoundPureSignKeyKESToSoundSignKeyKES ∷ (MonadST m, MonadThrow m) ⇒ UnsoundPureSignKeyKES (MockKES t) → m (SignKeyKES (MockKES t)) Source #

rawSerialiseUnsoundPureSignKeyKES ∷ UnsoundPureSignKeyKES (MockKES t) → ByteString Source #

rawDeserialiseUnsoundPureSignKeyKES ∷ ByteString → Maybe (UnsoundPureSignKeyKES (MockKES t)) Source #

Eq (SigKES (MockKES t)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Mock

Methods

(==) ∷ SigKES (MockKES t) → SigKES (MockKES t) → Bool #

(/=) ∷ SigKES (MockKES t) → SigKES (MockKES t) → Bool #

Eq (SignKeyKES (MockKES t)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Mock

Methods

(==) ∷ SignKeyKES (MockKES t) → SignKeyKES (MockKES t) → Bool #

(/=) ∷ SignKeyKES (MockKES t) → SignKeyKES (MockKES t) → Bool #

Eq (UnsoundPureSignKeyKES (MockKES t)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Mock

Methods

(==) ∷ UnsoundPureSignKeyKES (MockKES t) → UnsoundPureSignKeyKES (MockKES t) → Bool #

(/=) ∷ UnsoundPureSignKeyKES (MockKES t) → UnsoundPureSignKeyKES (MockKES t) → Bool #

Eq (VerKeyKES (MockKES t)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Mock

Methods

(==) ∷ VerKeyKES (MockKES t) → VerKeyKES (MockKES t) → Bool #

(/=) ∷ VerKeyKES (MockKES t) → VerKeyKES (MockKES t) → Bool #

NoThunks (SigKES (MockKES t)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Mock

Methods

noThunks ∷ Context → SigKES (MockKES t) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → SigKES (MockKES t) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (SigKES (MockKES t)) → String Source #

NoThunks (SignKeyKES (MockKES t)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Mock

Methods

noThunks ∷ Context → SignKeyKES (MockKES t) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → SignKeyKES (MockKES t) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (SignKeyKES (MockKES t)) → String Source #

NoThunks (UnsoundPureSignKeyKES (MockKES t)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Mock

Methods

noThunks ∷ Context → UnsoundPureSignKeyKES (MockKES t) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → UnsoundPureSignKeyKES (MockKES t) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (UnsoundPureSignKeyKES (MockKES t)) → String Source #

NoThunks (VerKeyKES (MockKES t)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Mock

Methods

noThunks ∷ Context → VerKeyKES (MockKES t) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → VerKeyKES (MockKES t) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (VerKeyKES (MockKES t)) → String Source #

type Rep (SigKES (MockKES t)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Mock

type Rep (SigKES (MockKES t)) = D1 ('MetaData "SigKES" "Cardano.Crypto.KES.Mock" "cardano-crypto-class-2.2.2.0-inplace" 'False) (C1 ('MetaCons "SigMockKES" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Hash ShortHash ())) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SignKeyKES (MockKES t)))))
type Rep (SignKeyKES (MockKES t)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Mock

type Rep (SignKeyKES (MockKES t)) = D1 ('MetaData "SignKeyKES" "Cardano.Crypto.KES.Mock" "cardano-crypto-class-2.2.2.0-inplace" 'False) (C1 ('MetaCons "SignKeyMockKES" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VerKeyKES (MockKES t))) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Period)))
type Rep (UnsoundPureSignKeyKES (MockKES t)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Mock

type Rep (UnsoundPureSignKeyKES (MockKES t)) = D1 ('MetaData "UnsoundPureSignKeyKES" "Cardano.Crypto.KES.Mock" "cardano-crypto-class-2.2.2.0-inplace" 'False) (C1 ('MetaCons "UnsoundPureSignKeyMockKES" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VerKeyKES (MockKES t))) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Period)))
type Rep (VerKeyKES (MockKES t)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Mock

type Rep (VerKeyKES (MockKES t)) = D1 ('MetaData "VerKeyKES" "Cardano.Crypto.KES.Mock" "cardano-crypto-class-2.2.2.0-inplace" 'True) (C1 ('MetaCons "VerKeyMockKES" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))
type ContextKES (MockKES t) Source # 
Instance details

Defined in Cardano.Crypto.KES.Mock

type ContextKES (MockKES t) = ()
type SeedSizeKES (MockKES t) Source # 
Instance details

Defined in Cardano.Crypto.KES.Mock

type SeedSizeKES (MockKES t) = 8
data SigKES (MockKES t) Source # 
Instance details

Defined in Cardano.Crypto.KES.Mock

data SigKES (MockKES t) = SigMockKES !(Hash ShortHash ()) !(SignKeyKES (MockKES t))
data SignKeyKES (MockKES t) Source # 
Instance details

Defined in Cardano.Crypto.KES.Mock

data SignKeyKES (MockKES t) = SignKeyMockKES !(VerKeyKES (MockKES t)) !Period
type Signable (MockKES t) Source # 
Instance details

Defined in Cardano.Crypto.KES.Mock

type Signable (MockKES t) = SignableRepresentation
type SizeSigKES (MockKES t) Source # 
Instance details

Defined in Cardano.Crypto.KES.Mock

type SizeSigKES (MockKES t) = 24
type SizeSignKeyKES (MockKES t) Source # 
Instance details

Defined in Cardano.Crypto.KES.Mock

type SizeSignKeyKES (MockKES t) = 16
type SizeVerKeyKES (MockKES t) Source # 
Instance details

Defined in Cardano.Crypto.KES.Mock

type SizeVerKeyKES (MockKES t) = 8
data UnsoundPureSignKeyKES (MockKES t) Source # 
Instance details

Defined in Cardano.Crypto.KES.Mock

data UnsoundPureSignKeyKES (MockKES t) = UnsoundPureSignKeyMockKES !(VerKeyKES (MockKES t)) !Period
newtype VerKeyKES (MockKES t) Source # 
Instance details

Defined in Cardano.Crypto.KES.Mock

newtype VerKeyKES (MockKES t) = VerKeyMockKES Word64

data family VerKeyKES v ∷ Type Source #

Instances

Instances details
Generic (VerKeyKES (CompactSingleKES d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

Associated Types

type Rep (VerKeyKES (CompactSingleKES d)) ∷ Type → Type #

Methods

from ∷ VerKeyKES (CompactSingleKES d) → Rep (VerKeyKES (CompactSingleKES d)) x #

to ∷ Rep (VerKeyKES (CompactSingleKES d)) x → VerKeyKES (CompactSingleKES d) #

Generic (VerKeyKES (CompactSumKES h d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.CompactSum

Associated Types

type Rep (VerKeyKES (CompactSumKES h d)) ∷ Type → Type #

Methods

from ∷ VerKeyKES (CompactSumKES h d) → Rep (VerKeyKES (CompactSumKES h d)) x #

to ∷ Rep (VerKeyKES (CompactSumKES h d)) x → VerKeyKES (CompactSumKES h d) #

Generic (VerKeyKES (MockKES t)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Mock

Associated Types

type Rep (VerKeyKES (MockKES t)) ∷ Type → Type #

Methods

from ∷ VerKeyKES (MockKES t) → Rep (VerKeyKES (MockKES t)) x #

to ∷ Rep (VerKeyKES (MockKES t)) x → VerKeyKES (MockKES t) #

Generic (VerKeyKES NeverKES) Source # 
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

Associated Types

type Rep (VerKeyKES NeverKES) ∷ Type → Type #

Methods

from ∷ VerKeyKES NeverKES → Rep (VerKeyKES NeverKES) x #

to ∷ Rep (VerKeyKES NeverKES) x → VerKeyKES NeverKES #

Generic (VerKeyKES (SimpleKES d t)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Simple

Associated Types

type Rep (VerKeyKES (SimpleKES d t)) ∷ Type → Type #

Methods

from ∷ VerKeyKES (SimpleKES d t) → Rep (VerKeyKES (SimpleKES d t)) x #

to ∷ Rep (VerKeyKES (SimpleKES d t)) x → VerKeyKES (SimpleKES d t) #

Generic (VerKeyKES (SingleKES d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Single

Associated Types

type Rep (VerKeyKES (SingleKES d)) ∷ Type → Type #

Methods

from ∷ VerKeyKES (SingleKES d) → Rep (VerKeyKES (SingleKES d)) x #

to ∷ Rep (VerKeyKES (SingleKES d)) x → VerKeyKES (SingleKES d) #

Generic (VerKeyKES (SumKES h d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Sum

Associated Types

type Rep (VerKeyKES (SumKES h d)) ∷ Type → Type #

Methods

from ∷ VerKeyKES (SumKES h d) → Rep (VerKeyKES (SumKES h d)) x #

to ∷ Rep (VerKeyKES (SumKES h d)) x → VerKeyKES (SumKES h d) #

DSIGNMAlgorithm d ⇒ Show (VerKeyKES (CompactSingleKES d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

Methods

showsPrec ∷ Int → VerKeyKES (CompactSingleKES d) → ShowS #

show ∷ VerKeyKES (CompactSingleKES d) → String #

showList ∷ [VerKeyKES (CompactSingleKES d)] → ShowS #

HashAlgorithm h ⇒ Show (VerKeyKES (CompactSumKES h d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.CompactSum

Methods

showsPrec ∷ Int → VerKeyKES (CompactSumKES h d) → ShowS #

show ∷ VerKeyKES (CompactSumKES h d) → String #

showList ∷ [VerKeyKES (CompactSumKES h d)] → ShowS #

Show (VerKeyKES (MockKES t)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Mock

Methods

showsPrec ∷ Int → VerKeyKES (MockKES t) → ShowS #

show ∷ VerKeyKES (MockKES t) → String #

showList ∷ [VerKeyKES (MockKES t)] → ShowS #

Show (VerKeyKES NeverKES) Source # 
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

Methods

showsPrec ∷ Int → VerKeyKES NeverKES → ShowS #

show ∷ VerKeyKES NeverKES → String #

showList ∷ [VerKeyKES NeverKES] → ShowS #

DSIGNMAlgorithm d ⇒ Show (VerKeyKES (SimpleKES d t)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Simple

Methods

showsPrec ∷ Int → VerKeyKES (SimpleKES d t) → ShowS #

show ∷ VerKeyKES (SimpleKES d t) → String #

showList ∷ [VerKeyKES (SimpleKES d t)] → ShowS #

DSIGNAlgorithm d ⇒ Show (VerKeyKES (SingleKES d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Single

Methods

showsPrec ∷ Int → VerKeyKES (SingleKES d) → ShowS #

show ∷ VerKeyKES (SingleKES d) → String #

showList ∷ [VerKeyKES (SingleKES d)] → ShowS #

HashAlgorithm h ⇒ Show (VerKeyKES (SumKES h d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Sum

Methods

showsPrec ∷ Int → VerKeyKES (SumKES h d) → ShowS #

show ∷ VerKeyKES (SumKES h d) → String #

showList ∷ [VerKeyKES (SumKES h d)] → ShowS #

(DSIGNMAlgorithm d, KnownNat (SizeSigDSIGN d + SizeVerKeyDSIGN d)) ⇒ FromCBOR (VerKeyKES (CompactSingleKES d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

Methods

fromCBOR ∷ Decoder s (VerKeyKES (CompactSingleKES d)) Source #

label ∷ Proxy (VerKeyKES (CompactSingleKES d)) → Text Source #

(OptimizedKESAlgorithm d, SodiumHashAlgorithm h, SizeHash h ~ SeedSizeKES d, NoThunks (VerKeyKES (CompactSumKES h d)), KnownNat (SizeVerKeyKES (CompactSumKES h d)), KnownNat (SizeSignKeyKES (CompactSumKES h d)), KnownNat (SizeSigKES (CompactSumKES h d))) ⇒ FromCBOR (VerKeyKES (CompactSumKES h d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.CompactSum

Methods

fromCBOR ∷ Decoder s (VerKeyKES (CompactSumKES h d)) Source #

label ∷ Proxy (VerKeyKES (CompactSumKES h d)) → Text Source #

KnownNat t ⇒ FromCBOR (VerKeyKES (MockKES t)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Mock

Methods

fromCBOR ∷ Decoder s (VerKeyKES (MockKES t)) Source #

label ∷ Proxy (VerKeyKES (MockKES t)) → Text Source #

(DSIGNMAlgorithm d, KnownNat t, KnownNat (SeedSizeDSIGN d * t), KnownNat (SizeVerKeyDSIGN d * t), KnownNat (SizeSignKeyDSIGN d * t)) ⇒ FromCBOR (VerKeyKES (SimpleKES d t)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Simple

Methods

fromCBOR ∷ Decoder s (VerKeyKES (SimpleKES d t)) Source #

label ∷ Proxy (VerKeyKES (SimpleKES d t)) → Text Source #

DSIGNMAlgorithm d ⇒ FromCBOR (VerKeyKES (SingleKES d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Single

Methods

fromCBOR ∷ Decoder s (VerKeyKES (SingleKES d)) Source #

label ∷ Proxy (VerKeyKES (SingleKES d)) → Text Source #

(KESAlgorithm (SumKES h d), SodiumHashAlgorithm h, SizeHash h ~ SeedSizeKES d) ⇒ FromCBOR (VerKeyKES (SumKES h d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Sum

Methods

fromCBOR ∷ Decoder s (VerKeyKES (SumKES h d)) Source #

label ∷ Proxy (VerKeyKES (SumKES h d)) → Text Source #

(DSIGNMAlgorithm d, KnownNat (SizeSigDSIGN d + SizeVerKeyDSIGN d)) ⇒ ToCBOR (VerKeyKES (CompactSingleKES d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

Methods

toCBOR ∷ VerKeyKES (CompactSingleKES d) → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (VerKeyKES (CompactSingleKES d)) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [VerKeyKES (CompactSingleKES d)] → Size Source #

(OptimizedKESAlgorithm d, SodiumHashAlgorithm h, SizeHash h ~ SeedSizeKES d, NoThunks (VerKeyKES (CompactSumKES h d)), KnownNat (SizeVerKeyKES (CompactSumKES h d)), KnownNat (SizeSignKeyKES (CompactSumKES h d)), KnownNat (SizeSigKES (CompactSumKES h d))) ⇒ ToCBOR (VerKeyKES (CompactSumKES h d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.CompactSum

Methods

toCBOR ∷ VerKeyKES (CompactSumKES h d) → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (VerKeyKES (CompactSumKES h d)) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [VerKeyKES (CompactSumKES h d)] → Size Source #

KnownNat t ⇒ ToCBOR (VerKeyKES (MockKES t)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Mock

Methods

toCBOR ∷ VerKeyKES (MockKES t) → Encoding Source #

encodedSizeExpr ∷ (∀ t0. ToCBOR t0 ⇒ Proxy t0 → Size) → Proxy (VerKeyKES (MockKES t)) → Size Source #

encodedListSizeExpr ∷ (∀ t0. ToCBOR t0 ⇒ Proxy t0 → Size) → Proxy [VerKeyKES (MockKES t)] → Size Source #

(DSIGNMAlgorithm d, KnownNat t, KnownNat (SeedSizeDSIGN d * t), KnownNat (SizeVerKeyDSIGN d * t), KnownNat (SizeSignKeyDSIGN d * t)) ⇒ ToCBOR (VerKeyKES (SimpleKES d t)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Simple

Methods

toCBOR ∷ VerKeyKES (SimpleKES d t) → Encoding Source #

encodedSizeExpr ∷ (∀ t0. ToCBOR t0 ⇒ Proxy t0 → Size) → Proxy (VerKeyKES (SimpleKES d t)) → Size Source #

encodedListSizeExpr ∷ (∀ t0. ToCBOR t0 ⇒ Proxy t0 → Size) → Proxy [VerKeyKES (SimpleKES d t)] → Size Source #

DSIGNMAlgorithm d ⇒ ToCBOR (VerKeyKES (SingleKES d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Single

Methods

toCBOR ∷ VerKeyKES (SingleKES d) → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (VerKeyKES (SingleKES d)) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [VerKeyKES (SingleKES d)] → Size Source #

(KESAlgorithm (SumKES h d), SodiumHashAlgorithm h, SizeHash h ~ SeedSizeKES d) ⇒ ToCBOR (VerKeyKES (SumKES h d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Sum

Methods

toCBOR ∷ VerKeyKES (SumKES h d) → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (VerKeyKES (SumKES h d)) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [VerKeyKES (SumKES h d)] → Size Source #

DirectDeserialise (VerKeyDSIGN d) ⇒ DirectDeserialise (VerKeyKES (CompactSingleKES d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

Methods

directDeserialise ∷ (MonadST m, MonadThrow m) ⇒ (Ptr CChar → CSize → m ()) → m (VerKeyKES (CompactSingleKES d)) Source #

HashAlgorithm h ⇒ DirectDeserialise (VerKeyKES (CompactSumKES h d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.CompactSum

Methods

directDeserialise ∷ (MonadST m, MonadThrow m) ⇒ (Ptr CChar → CSize → m ()) → m (VerKeyKES (CompactSumKES h d)) Source #

KnownNat t ⇒ DirectDeserialise (VerKeyKES (MockKES t)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Mock

Methods

directDeserialise ∷ (MonadST m, MonadThrow m) ⇒ (Ptr CChar → CSize → m ()) → m (VerKeyKES (MockKES t)) Source #

(DirectDeserialise (VerKeyDSIGN d), KnownNat t) ⇒ DirectDeserialise (VerKeyKES (SimpleKES d t)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Simple

Methods

directDeserialise ∷ (MonadST m, MonadThrow m) ⇒ (Ptr CChar → CSize → m ()) → m (VerKeyKES (SimpleKES d t)) Source #

DirectDeserialise (VerKeyDSIGN d) ⇒ DirectDeserialise (VerKeyKES (SingleKES d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Single

Methods

directDeserialise ∷ (MonadST m, MonadThrow m) ⇒ (Ptr CChar → CSize → m ()) → m (VerKeyKES (SingleKES d)) Source #

HashAlgorithm h ⇒ DirectDeserialise (VerKeyKES (SumKES h d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Sum

Methods

directDeserialise ∷ (MonadST m, MonadThrow m) ⇒ (Ptr CChar → CSize → m ()) → m (VerKeyKES (SumKES h d)) Source #

DirectSerialise (VerKeyDSIGN d) ⇒ DirectSerialise (VerKeyKES (CompactSingleKES d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

Methods

directSerialise ∷ (MonadST m, MonadThrow m) ⇒ (Ptr CChar → CSize → m ()) → VerKeyKES (CompactSingleKES d) → m () Source #

DirectSerialise (VerKeyKES (CompactSumKES h d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.CompactSum

Methods

directSerialise ∷ (MonadST m, MonadThrow m) ⇒ (Ptr CChar → CSize → m ()) → VerKeyKES (CompactSumKES h d) → m () Source #

KnownNat t ⇒ DirectSerialise (VerKeyKES (MockKES t)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Mock

Methods

directSerialise ∷ (MonadST m, MonadThrow m) ⇒ (Ptr CChar → CSize → m ()) → VerKeyKES (MockKES t) → m () Source #

DirectSerialise (VerKeyDSIGN d) ⇒ DirectSerialise (VerKeyKES (SimpleKES d t)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Simple

Methods

directSerialise ∷ (MonadST m, MonadThrow m) ⇒ (Ptr CChar → CSize → m ()) → VerKeyKES (SimpleKES d t) → m () Source #

DirectSerialise (VerKeyDSIGN d) ⇒ DirectSerialise (VerKeyKES (SingleKES d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Single

Methods

directSerialise ∷ (MonadST m, MonadThrow m) ⇒ (Ptr CChar → CSize → m ()) → VerKeyKES (SingleKES d) → m () Source #

DirectSerialise (VerKeyKES (SumKES h d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Sum

Methods

directSerialise ∷ (MonadST m, MonadThrow m) ⇒ (Ptr CChar → CSize → m ()) → VerKeyKES (SumKES h d) → m () Source #

NFData (VerKeyDSIGN d) ⇒ NFData (VerKeyKES (CompactSingleKES d)) 
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

Methods

rnf ∷ VerKeyKES (CompactSingleKES d) → ()

NFData (VerKeyKES (CompactSumKES h d)) 
Instance details

Defined in Cardano.Crypto.KES.CompactSum

Methods

rnf ∷ VerKeyKES (CompactSumKES h d) → ()

NFData (VerKeyDSIGN d) ⇒ NFData (VerKeyKES (SingleKES d)) 
Instance details

Defined in Cardano.Crypto.KES.Single

Methods

rnf ∷ VerKeyKES (SingleKES d) → ()

NFData (VerKeyKES (SumKES h d)) 
Instance details

Defined in Cardano.Crypto.KES.Sum

Methods

rnf ∷ VerKeyKES (SumKES h d) → ()

DSIGNMAlgorithm d ⇒ Eq (VerKeyKES (CompactSingleKES d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

Methods

(==) ∷ VerKeyKES (CompactSingleKES d) → VerKeyKES (CompactSingleKES d) → Bool #

(/=) ∷ VerKeyKES (CompactSingleKES d) → VerKeyKES (CompactSingleKES d) → Bool #

Eq (VerKeyKES (CompactSumKES h d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.CompactSum

Methods

(==) ∷ VerKeyKES (CompactSumKES h d) → VerKeyKES (CompactSumKES h d) → Bool #

(/=) ∷ VerKeyKES (CompactSumKES h d) → VerKeyKES (CompactSumKES h d) → Bool #

Eq (VerKeyKES (MockKES t)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Mock

Methods

(==) ∷ VerKeyKES (MockKES t) → VerKeyKES (MockKES t) → Bool #

(/=) ∷ VerKeyKES (MockKES t) → VerKeyKES (MockKES t) → Bool #

Eq (VerKeyKES NeverKES) Source # 
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

Methods

(==) ∷ VerKeyKES NeverKES → VerKeyKES NeverKES → Bool #

(/=) ∷ VerKeyKES NeverKES → VerKeyKES NeverKES → Bool #

DSIGNMAlgorithm d ⇒ Eq (VerKeyKES (SimpleKES d t)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Simple

Methods

(==) ∷ VerKeyKES (SimpleKES d t) → VerKeyKES (SimpleKES d t) → Bool #

(/=) ∷ VerKeyKES (SimpleKES d t) → VerKeyKES (SimpleKES d t) → Bool #

DSIGNAlgorithm d ⇒ Eq (VerKeyKES (SingleKES d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Single

Methods

(==) ∷ VerKeyKES (SingleKES d) → VerKeyKES (SingleKES d) → Bool #

(/=) ∷ VerKeyKES (SingleKES d) → VerKeyKES (SingleKES d) → Bool #

Eq (VerKeyKES (SumKES h d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Sum

Methods

(==) ∷ VerKeyKES (SumKES h d) → VerKeyKES (SumKES h d) → Bool #

(/=) ∷ VerKeyKES (SumKES h d) → VerKeyKES (SumKES h d) → Bool #

(TypeError ('Text "Ord not supported for verification keys, use the hash instead") ∷ Constraint, KESAlgorithm v) ⇒ Ord (VerKeyKES v) Source # 
Instance details

Defined in Cardano.Crypto.KES.Class

Methods

compare ∷ VerKeyKES v → VerKeyKES v → Ordering #

(<) ∷ VerKeyKES v → VerKeyKES v → Bool #

(<=) ∷ VerKeyKES v → VerKeyKES v → Bool #

(>) ∷ VerKeyKES v → VerKeyKES v → Bool #

(>=) ∷ VerKeyKES v → VerKeyKES v → Bool #

max ∷ VerKeyKES v → VerKeyKES v → VerKeyKES v #

min ∷ VerKeyKES v → VerKeyKES v → VerKeyKES v #

DSIGNMAlgorithm d ⇒ NoThunks (VerKeyKES (CompactSingleKES d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

Methods

noThunks ∷ Context → VerKeyKES (CompactSingleKES d) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → VerKeyKES (CompactSingleKES d) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (VerKeyKES (CompactSingleKES d)) → String Source #

KESAlgorithm d ⇒ NoThunks (VerKeyKES (CompactSumKES h d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.CompactSum

Methods

noThunks ∷ Context → VerKeyKES (CompactSumKES h d) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → VerKeyKES (CompactSumKES h d) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (VerKeyKES (CompactSumKES h d)) → String Source #

NoThunks (VerKeyKES (MockKES t)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Mock

Methods

noThunks ∷ Context → VerKeyKES (MockKES t) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → VerKeyKES (MockKES t) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (VerKeyKES (MockKES t)) → String Source #

NoThunks (VerKeyKES NeverKES) Source # 
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

Methods

noThunks ∷ Context → VerKeyKES NeverKES → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → VerKeyKES NeverKES → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (VerKeyKES NeverKES) → String Source #

DSIGNMAlgorithm d ⇒ NoThunks (VerKeyKES (SimpleKES d t)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Simple

Methods

noThunks ∷ Context → VerKeyKES (SimpleKES d t) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → VerKeyKES (SimpleKES d t) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (VerKeyKES (SimpleKES d t)) → String Source #

DSIGNMAlgorithm d ⇒ NoThunks (VerKeyKES (SingleKES d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Single

Methods

noThunks ∷ Context → VerKeyKES (SingleKES d) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → VerKeyKES (SingleKES d) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (VerKeyKES (SingleKES d)) → String Source #

KESAlgorithm d ⇒ NoThunks (VerKeyKES (SumKES h d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Sum

Methods

noThunks ∷ Context → VerKeyKES (SumKES h d) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → VerKeyKES (SumKES h d) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (VerKeyKES (SumKES h d)) → String Source #

data VerKeyKES NeverKES Source # 
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

data VerKeyKES NeverKES = NeverUsedVerKeyKES
type Rep (VerKeyKES (CompactSingleKES d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

type Rep (VerKeyKES (CompactSingleKES d)) = D1 ('MetaData "VerKeyKES" "Cardano.Crypto.KES.CompactSingle" "cardano-crypto-class-2.2.2.0-inplace" 'True) (C1 ('MetaCons "VerKeyCompactSingleKES" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (VerKeyDSIGN d))))
type Rep (VerKeyKES (CompactSumKES h d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.CompactSum

type Rep (VerKeyKES (CompactSumKES h d)) = D1 ('MetaData "VerKeyKES" "Cardano.Crypto.KES.CompactSum" "cardano-crypto-class-2.2.2.0-inplace" 'True) (C1 ('MetaCons "VerKeyCompactSumKES" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Hash h (VerKeyKES d, VerKeyKES d)))))
type Rep (VerKeyKES (MockKES t)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Mock

type Rep (VerKeyKES (MockKES t)) = D1 ('MetaData "VerKeyKES" "Cardano.Crypto.KES.Mock" "cardano-crypto-class-2.2.2.0-inplace" 'True) (C1 ('MetaCons "VerKeyMockKES" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))
type Rep (VerKeyKES NeverKES) Source # 
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

type Rep (VerKeyKES NeverKES) = D1 ('MetaData "VerKeyKES" "Cardano.Crypto.KES.NeverUsed" "cardano-crypto-class-2.2.2.0-inplace" 'False) (C1 ('MetaCons "NeverUsedVerKeyKES" 'PrefixI 'False) (U1 ∷ Type → Type))
type Rep (VerKeyKES (SimpleKES d t)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Simple

type Rep (VerKeyKES (SimpleKES d t)) = D1 ('MetaData "VerKeyKES" "Cardano.Crypto.KES.Simple" "cardano-crypto-class-2.2.2.0-inplace" 'True) (C1 ('MetaCons "ThunkyVerKeySimpleKES" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Vector (VerKeyDSIGN d)))))
type Rep (VerKeyKES (SingleKES d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Single

type Rep (VerKeyKES (SingleKES d)) = D1 ('MetaData "VerKeyKES" "Cardano.Crypto.KES.Single" "cardano-crypto-class-2.2.2.0-inplace" 'True) (C1 ('MetaCons "VerKeySingleKES" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (VerKeyDSIGN d))))
type Rep (VerKeyKES (SumKES h d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Sum

type Rep (VerKeyKES (SumKES h d)) = D1 ('MetaData "VerKeyKES" "Cardano.Crypto.KES.Sum" "cardano-crypto-class-2.2.2.0-inplace" 'True) (C1 ('MetaCons "VerKeySumKES" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Hash h (VerKeyKES d, VerKeyKES d)))))
newtype VerKeyKES (CompactSingleKES d) Source # 
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

newtype VerKeyKES (CompactSingleKES d) = VerKeyCompactSingleKES (VerKeyDSIGN d)
newtype VerKeyKES (MockKES t) Source # 
Instance details

Defined in Cardano.Crypto.KES.Mock

newtype VerKeyKES (MockKES t) = VerKeyMockKES Word64
newtype VerKeyKES (SingleKES d) Source # 
Instance details

Defined in Cardano.Crypto.KES.Single

newtype VerKeyKES (SingleKES d) = VerKeySingleKES (VerKeyDSIGN d)
newtype VerKeyKES (CompactSumKES h d) Source # 
Instance details

Defined in Cardano.Crypto.KES.CompactSum

newtype VerKeyKES (CompactSumKES h d) = VerKeyCompactSumKES (Hash h (VerKeyKES d, VerKeyKES d))
newtype VerKeyKES (SimpleKES d t) Source # 
Instance details

Defined in Cardano.Crypto.KES.Simple

newtype VerKeyKES (SimpleKES d t) = ThunkyVerKeySimpleKES (Vector (VerKeyDSIGN d))
newtype VerKeyKES (SumKES h d) Source # 
Instance details

Defined in Cardano.Crypto.KES.Sum

newtype VerKeyKES (SumKES h d) = VerKeySumKES (Hash h (VerKeyKES d, VerKeyKES d))

data family SignKeyKES v ∷ Type Source #

Instances

Instances details
Generic (SignKeyKES (MockKES t)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Mock

Associated Types

type Rep (SignKeyKES (MockKES t)) ∷ Type → Type #

Methods

from ∷ SignKeyKES (MockKES t) → Rep (SignKeyKES (MockKES t)) x #

to ∷ Rep (SignKeyKES (MockKES t)) x → SignKeyKES (MockKES t) #

Generic (SignKeyKES NeverKES) Source # 
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

Associated Types

type Rep (SignKeyKES NeverKES) ∷ Type → Type #

Methods

from ∷ SignKeyKES NeverKES → Rep (SignKeyKES NeverKES) x #

to ∷ Rep (SignKeyKES NeverKES) x → SignKeyKES NeverKES #

Generic (SignKeyKES (SimpleKES d t)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Simple

Associated Types

type Rep (SignKeyKES (SimpleKES d t)) ∷ Type → Type #

Methods

from ∷ SignKeyKES (SimpleKES d t) → Rep (SignKeyKES (SimpleKES d t)) x #

to ∷ Rep (SignKeyKES (SimpleKES d t)) x → SignKeyKES (SimpleKES d t) #

Show (SignKeyKES (MockKES t)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Mock

Methods

showsPrec ∷ Int → SignKeyKES (MockKES t) → ShowS #

show ∷ SignKeyKES (MockKES t) → String #

showList ∷ [SignKeyKES (MockKES t)] → ShowS #

Show (SignKeyKES NeverKES) Source # 
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

Methods

showsPrec ∷ Int → SignKeyKES NeverKES → ShowS #

show ∷ SignKeyKES NeverKES → String #

showList ∷ [SignKeyKES NeverKES] → ShowS #

(DSIGNMAlgorithm d, Show (SignKeyDSIGNM d)) ⇒ Show (SignKeyKES (SimpleKES d t)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Simple

Methods

showsPrec ∷ Int → SignKeyKES (SimpleKES d t) → ShowS #

show ∷ SignKeyKES (SimpleKES d t) → String #

showList ∷ [SignKeyKES (SimpleKES d t)] → ShowS #

DirectDeserialise (SignKeyDSIGNM d) ⇒ DirectDeserialise (SignKeyKES (CompactSingleKES d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

Methods

directDeserialise ∷ (MonadST m, MonadThrow m) ⇒ (Ptr CChar → CSize → m ()) → m (SignKeyKES (CompactSingleKES d)) Source #

(DirectDeserialise (SignKeyKES d), DirectDeserialise (VerKeyKES d), KESAlgorithm d) ⇒ DirectDeserialise (SignKeyKES (CompactSumKES h d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.CompactSum

Methods

directDeserialise ∷ (MonadST m, MonadThrow m) ⇒ (Ptr CChar → CSize → m ()) → m (SignKeyKES (CompactSumKES h d)) Source #

KnownNat t ⇒ DirectDeserialise (SignKeyKES (MockKES t)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Mock

Methods

directDeserialise ∷ (MonadST m, MonadThrow m) ⇒ (Ptr CChar → CSize → m ()) → m (SignKeyKES (MockKES t)) Source #

(DirectDeserialise (SignKeyDSIGNM d), KnownNat t) ⇒ DirectDeserialise (SignKeyKES (SimpleKES d t)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Simple

Methods

directDeserialise ∷ (MonadST m, MonadThrow m) ⇒ (Ptr CChar → CSize → m ()) → m (SignKeyKES (SimpleKES d t)) Source #

DirectDeserialise (SignKeyDSIGNM d) ⇒ DirectDeserialise (SignKeyKES (SingleKES d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Single

Methods

directDeserialise ∷ (MonadST m, MonadThrow m) ⇒ (Ptr CChar → CSize → m ()) → m (SignKeyKES (SingleKES d)) Source #

(DirectDeserialise (SignKeyKES d), DirectDeserialise (VerKeyKES d), KESAlgorithm d) ⇒ DirectDeserialise (SignKeyKES (SumKES h d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Sum

Methods

directDeserialise ∷ (MonadST m, MonadThrow m) ⇒ (Ptr CChar → CSize → m ()) → m (SignKeyKES (SumKES h d)) Source #

DirectSerialise (SignKeyDSIGNM d) ⇒ DirectSerialise (SignKeyKES (CompactSingleKES d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

Methods

directSerialise ∷ (MonadST m, MonadThrow m) ⇒ (Ptr CChar → CSize → m ()) → SignKeyKES (CompactSingleKES d) → m () Source #

(DirectSerialise (SignKeyKES d), DirectSerialise (VerKeyKES d), KESAlgorithm d) ⇒ DirectSerialise (SignKeyKES (CompactSumKES h d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.CompactSum

Methods

directSerialise ∷ (MonadST m, MonadThrow m) ⇒ (Ptr CChar → CSize → m ()) → SignKeyKES (CompactSumKES h d) → m () Source #

KnownNat t ⇒ DirectSerialise (SignKeyKES (MockKES t)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Mock

Methods

directSerialise ∷ (MonadST m, MonadThrow m) ⇒ (Ptr CChar → CSize → m ()) → SignKeyKES (MockKES t) → m () Source #

DirectSerialise (SignKeyDSIGNM d) ⇒ DirectSerialise (SignKeyKES (SimpleKES d t)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Simple

Methods

directSerialise ∷ (MonadST m, MonadThrow m) ⇒ (Ptr CChar → CSize → m ()) → SignKeyKES (SimpleKES d t) → m () Source #

DirectSerialise (SignKeyDSIGNM d) ⇒ DirectSerialise (SignKeyKES (SingleKES d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Single

Methods

directSerialise ∷ (MonadST m, MonadThrow m) ⇒ (Ptr CChar → CSize → m ()) → SignKeyKES (SingleKES d) → m () Source #

(DirectSerialise (SignKeyKES d), DirectSerialise (VerKeyKES d), KESAlgorithm d) ⇒ DirectSerialise (SignKeyKES (SumKES h d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Sum

Methods

directSerialise ∷ (MonadST m, MonadThrow m) ⇒ (Ptr CChar → CSize → m ()) → SignKeyKES (SumKES h d) → m () Source #

NFData (SignKeyDSIGNM d) ⇒ NFData (SignKeyKES (CompactSingleKES d)) 
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

Methods

rnf ∷ SignKeyKES (CompactSingleKES d) → ()

(NFData (SignKeyKES d), NFData (VerKeyKES d)) ⇒ NFData (SignKeyKES (CompactSumKES h d)) 
Instance details

Defined in Cardano.Crypto.KES.CompactSum

Methods

rnf ∷ SignKeyKES (CompactSumKES h d) → ()

NFData (SignKeyDSIGNM d) ⇒ NFData (SignKeyKES (SingleKES d)) 
Instance details

Defined in Cardano.Crypto.KES.Single

Methods

rnf ∷ SignKeyKES (SingleKES d) → ()

(NFData (SignKeyKES d), NFData (VerKeyKES d)) ⇒ NFData (SignKeyKES (SumKES h d)) 
Instance details

Defined in Cardano.Crypto.KES.Sum

Methods

rnf ∷ SignKeyKES (SumKES h d) → ()

Eq (SignKeyKES (MockKES t)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Mock

Methods

(==) ∷ SignKeyKES (MockKES t) → SignKeyKES (MockKES t) → Bool #

(/=) ∷ SignKeyKES (MockKES t) → SignKeyKES (MockKES t) → Bool #

Eq (SignKeyKES NeverKES) Source # 
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

Methods

(==) ∷ SignKeyKES NeverKES → SignKeyKES NeverKES → Bool #

(/=) ∷ SignKeyKES NeverKES → SignKeyKES NeverKES → Bool #

(TypeError ('Text "Ord not supported for signing keys, use the hash instead") ∷ Constraint, Eq (SignKeyKES v)) ⇒ Ord (SignKeyKES v) Source # 
Instance details

Defined in Cardano.Crypto.KES.Class

Methods

compare ∷ SignKeyKES v → SignKeyKES v → Ordering #

(<) ∷ SignKeyKES v → SignKeyKES v → Bool #

(<=) ∷ SignKeyKES v → SignKeyKES v → Bool #

(>) ∷ SignKeyKES v → SignKeyKES v → Bool #

(>=) ∷ SignKeyKES v → SignKeyKES v → Bool #

max ∷ SignKeyKES v → SignKeyKES v → SignKeyKES v #

min ∷ SignKeyKES v → SignKeyKES v → SignKeyKES v #

DSIGNMAlgorithm d ⇒ NoThunks (SignKeyKES (CompactSingleKES d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

Methods

noThunks ∷ Context → SignKeyKES (CompactSingleKES d) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → SignKeyKES (CompactSingleKES d) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (SignKeyKES (CompactSingleKES d)) → String Source #

NoThunks (SignKeyKES (CompactSumKES h d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.CompactSum

Methods

noThunks ∷ Context → SignKeyKES (CompactSumKES h d) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → SignKeyKES (CompactSumKES h d) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (SignKeyKES (CompactSumKES h d)) → String Source #

NoThunks (SignKeyKES (MockKES t)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Mock

Methods

noThunks ∷ Context → SignKeyKES (MockKES t) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → SignKeyKES (MockKES t) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (SignKeyKES (MockKES t)) → String Source #

NoThunks (SignKeyKES NeverKES) Source # 
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

Methods

noThunks ∷ Context → SignKeyKES NeverKES → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → SignKeyKES NeverKES → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (SignKeyKES NeverKES) → String Source #

DSIGNMAlgorithm d ⇒ NoThunks (SignKeyKES (SimpleKES d t)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Simple

Methods

noThunks ∷ Context → SignKeyKES (SimpleKES d t) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → SignKeyKES (SimpleKES d t) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (SignKeyKES (SimpleKES d t)) → String Source #

DSIGNMAlgorithm d ⇒ NoThunks (SignKeyKES (SingleKES d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Single

Methods

noThunks ∷ Context → SignKeyKES (SingleKES d) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → SignKeyKES (SingleKES d) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (SignKeyKES (SingleKES d)) → String Source #

NoThunks (SignKeyKES (SumKES h d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Sum

Methods

noThunks ∷ Context → SignKeyKES (SumKES h d) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → SignKeyKES (SumKES h d) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (SignKeyKES (SumKES h d)) → String Source #

data SignKeyKES NeverKES Source # 
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

data SignKeyKES NeverKES = NeverUsedSignKeyKES
type Rep (SignKeyKES (MockKES t)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Mock

type Rep (SignKeyKES (MockKES t)) = D1 ('MetaData "SignKeyKES" "Cardano.Crypto.KES.Mock" "cardano-crypto-class-2.2.2.0-inplace" 'False) (C1 ('MetaCons "SignKeyMockKES" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VerKeyKES (MockKES t))) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Period)))
type Rep (SignKeyKES NeverKES) Source # 
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

type Rep (SignKeyKES NeverKES) = D1 ('MetaData "SignKeyKES" "Cardano.Crypto.KES.NeverUsed" "cardano-crypto-class-2.2.2.0-inplace" 'False) (C1 ('MetaCons "NeverUsedSignKeyKES" 'PrefixI 'False) (U1 ∷ Type → Type))
type Rep (SignKeyKES (SimpleKES d t)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Simple

type Rep (SignKeyKES (SimpleKES d t)) = D1 ('MetaData "SignKeyKES" "Cardano.Crypto.KES.Simple" "cardano-crypto-class-2.2.2.0-inplace" 'True) (C1 ('MetaCons "ThunkySignKeySimpleKES" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Vector (SignKeyDSIGNM d)))))
newtype SignKeyKES (CompactSingleKES d) Source # 
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

newtype SignKeyKES (CompactSingleKES d) = SignKeyCompactSingleKES (SignKeyDSIGNM d)
data SignKeyKES (MockKES t) Source # 
Instance details

Defined in Cardano.Crypto.KES.Mock

data SignKeyKES (MockKES t) = SignKeyMockKES !(VerKeyKES (MockKES t)) !Period
newtype SignKeyKES (SingleKES d) Source # 
Instance details

Defined in Cardano.Crypto.KES.Single

newtype SignKeyKES (SingleKES d) = SignKeySingleKES (SignKeyDSIGNM d)
data SignKeyKES (CompactSumKES h d) Source # 
Instance details

Defined in Cardano.Crypto.KES.CompactSum

data SignKeyKES (CompactSumKES h d) = SignKeyCompactSumKES !(SignKeyKES d) !(MLockedSeed (SeedSizeKES d)) !(VerKeyKES d) !(VerKeyKES d)
newtype SignKeyKES (SimpleKES d t) Source # 
Instance details

Defined in Cardano.Crypto.KES.Simple

newtype SignKeyKES (SimpleKES d t) = ThunkySignKeySimpleKES (Vector (SignKeyDSIGNM d))
data SignKeyKES (SumKES h d) Source # 
Instance details

Defined in Cardano.Crypto.KES.Sum

data SignKeyKES (SumKES h d) = SignKeySumKES !(SignKeyKES d) !(MLockedSeed (SeedSizeKES d)) !(VerKeyKES d) !(VerKeyKES d)

data family UnsoundPureSignKeyKES v ∷ Type Source #

Instances

Instances details
Generic (UnsoundPureSignKeyKES (CompactSingleKES d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

Associated Types

type Rep (UnsoundPureSignKeyKES (CompactSingleKES d)) ∷ Type → Type #

Methods

from ∷ UnsoundPureSignKeyKES (CompactSingleKES d) → Rep (UnsoundPureSignKeyKES (CompactSingleKES d)) x #

to ∷ Rep (UnsoundPureSignKeyKES (CompactSingleKES d)) x → UnsoundPureSignKeyKES (CompactSingleKES d) #

Generic (UnsoundPureSignKeyKES (CompactSumKES h d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.CompactSum

Associated Types

type Rep (UnsoundPureSignKeyKES (CompactSumKES h d)) ∷ Type → Type #

Methods

from ∷ UnsoundPureSignKeyKES (CompactSumKES h d) → Rep (UnsoundPureSignKeyKES (CompactSumKES h d)) x #

to ∷ Rep (UnsoundPureSignKeyKES (CompactSumKES h d)) x → UnsoundPureSignKeyKES (CompactSumKES h d) #

Generic (UnsoundPureSignKeyKES (MockKES t)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Mock

Associated Types

type Rep (UnsoundPureSignKeyKES (MockKES t)) ∷ Type → Type #

Methods

from ∷ UnsoundPureSignKeyKES (MockKES t) → Rep (UnsoundPureSignKeyKES (MockKES t)) x #

to ∷ Rep (UnsoundPureSignKeyKES (MockKES t)) x → UnsoundPureSignKeyKES (MockKES t) #

Generic (UnsoundPureSignKeyKES NeverKES) Source # 
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

Associated Types

type Rep (UnsoundPureSignKeyKES NeverKES) ∷ Type → Type #

Methods

from ∷ UnsoundPureSignKeyKES NeverKES → Rep (UnsoundPureSignKeyKES NeverKES) x #

to ∷ Rep (UnsoundPureSignKeyKES NeverKES) x → UnsoundPureSignKeyKES NeverKES #

Generic (UnsoundPureSignKeyKES (SimpleKES d t)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Simple

Associated Types

type Rep (UnsoundPureSignKeyKES (SimpleKES d t)) ∷ Type → Type #

Methods

from ∷ UnsoundPureSignKeyKES (SimpleKES d t) → Rep (UnsoundPureSignKeyKES (SimpleKES d t)) x #

to ∷ Rep (UnsoundPureSignKeyKES (SimpleKES d t)) x → UnsoundPureSignKeyKES (SimpleKES d t) #

Generic (UnsoundPureSignKeyKES (SingleKES d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Single

Associated Types

type Rep (UnsoundPureSignKeyKES (SingleKES d)) ∷ Type → Type #

Methods

from ∷ UnsoundPureSignKeyKES (SingleKES d) → Rep (UnsoundPureSignKeyKES (SingleKES d)) x #

to ∷ Rep (UnsoundPureSignKeyKES (SingleKES d)) x → UnsoundPureSignKeyKES (SingleKES d) #

Generic (UnsoundPureSignKeyKES (SumKES h d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Sum

Associated Types

type Rep (UnsoundPureSignKeyKES (SumKES h d)) ∷ Type → Type #

Methods

from ∷ UnsoundPureSignKeyKES (SumKES h d) → Rep (UnsoundPureSignKeyKES (SumKES h d)) x #

to ∷ Rep (UnsoundPureSignKeyKES (SumKES h d)) x → UnsoundPureSignKeyKES (SumKES h d) #

DSIGNAlgorithm d ⇒ Show (UnsoundPureSignKeyKES (CompactSingleKES d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

Methods

showsPrec ∷ Int → UnsoundPureSignKeyKES (CompactSingleKES d) → ShowS #

show ∷ UnsoundPureSignKeyKES (CompactSingleKES d) → String #

showList ∷ [UnsoundPureSignKeyKES (CompactSingleKES d)] → ShowS #

(KESAlgorithm d, Show (UnsoundPureSignKeyKES d)) ⇒ Show (UnsoundPureSignKeyKES (CompactSumKES h d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.CompactSum

Methods

showsPrec ∷ Int → UnsoundPureSignKeyKES (CompactSumKES h d) → ShowS #

show ∷ UnsoundPureSignKeyKES (CompactSumKES h d) → String #

showList ∷ [UnsoundPureSignKeyKES (CompactSumKES h d)] → ShowS #

Show (UnsoundPureSignKeyKES (MockKES t)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Mock

Methods

showsPrec ∷ Int → UnsoundPureSignKeyKES (MockKES t) → ShowS #

show ∷ UnsoundPureSignKeyKES (MockKES t) → String #

showList ∷ [UnsoundPureSignKeyKES (MockKES t)] → ShowS #

Show (UnsoundPureSignKeyKES NeverKES) Source # 
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

Methods

showsPrec ∷ Int → UnsoundPureSignKeyKES NeverKES → ShowS #

show ∷ UnsoundPureSignKeyKES NeverKES → String #

showList ∷ [UnsoundPureSignKeyKES NeverKES] → ShowS #

(DSIGNMAlgorithm d, Show (SignKeyDSIGNM d)) ⇒ Show (UnsoundPureSignKeyKES (SimpleKES d t)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Simple

Methods

showsPrec ∷ Int → UnsoundPureSignKeyKES (SimpleKES d t) → ShowS #

show ∷ UnsoundPureSignKeyKES (SimpleKES d t) → String #

showList ∷ [UnsoundPureSignKeyKES (SimpleKES d t)] → ShowS #

DSIGNAlgorithm d ⇒ Show (UnsoundPureSignKeyKES (SingleKES d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Single

Methods

showsPrec ∷ Int → UnsoundPureSignKeyKES (SingleKES d) → ShowS #

show ∷ UnsoundPureSignKeyKES (SingleKES d) → String #

showList ∷ [UnsoundPureSignKeyKES (SingleKES d)] → ShowS #

(KESAlgorithm d, Show (UnsoundPureSignKeyKES d)) ⇒ Show (UnsoundPureSignKeyKES (SumKES h d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Sum

Methods

showsPrec ∷ Int → UnsoundPureSignKeyKES (SumKES h d) → ShowS #

show ∷ UnsoundPureSignKeyKES (SumKES h d) → String #

showList ∷ [UnsoundPureSignKeyKES (SumKES h d)] → ShowS #

(UnsoundDSIGNMAlgorithm d, KnownNat (SizeSigDSIGN d + SizeVerKeyDSIGN d)) ⇒ FromCBOR (UnsoundPureSignKeyKES (CompactSingleKES d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

Methods

fromCBOR ∷ Decoder s (UnsoundPureSignKeyKES (CompactSingleKES d)) Source #

label ∷ Proxy (UnsoundPureSignKeyKES (CompactSingleKES d)) → Text Source #

(SizeHash h ~ SeedSizeKES d, OptimizedKESAlgorithm d, UnsoundPureKESAlgorithm d, SodiumHashAlgorithm h, KnownNat (SizeVerKeyKES (CompactSumKES h d)), KnownNat (SizeSignKeyKES (CompactSumKES h d)), KnownNat (SizeSigKES (CompactSumKES h d))) ⇒ FromCBOR (UnsoundPureSignKeyKES (CompactSumKES h d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.CompactSum

Methods

fromCBOR ∷ Decoder s (UnsoundPureSignKeyKES (CompactSumKES h d)) Source #

label ∷ Proxy (UnsoundPureSignKeyKES (CompactSumKES h d)) → Text Source #

KnownNat t ⇒ FromCBOR (UnsoundPureSignKeyKES (MockKES t)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Mock

Methods

fromCBOR ∷ Decoder s (UnsoundPureSignKeyKES (MockKES t)) Source #

label ∷ Proxy (UnsoundPureSignKeyKES (MockKES t)) → Text Source #

UnsoundDSIGNMAlgorithm d ⇒ FromCBOR (UnsoundPureSignKeyKES (SingleKES d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Single

Methods

fromCBOR ∷ Decoder s (UnsoundPureSignKeyKES (SingleKES d)) Source #

label ∷ Proxy (UnsoundPureSignKeyKES (SingleKES d)) → Text Source #

(SizeHash h ~ SeedSizeKES d, UnsoundPureKESAlgorithm d, SodiumHashAlgorithm h, KnownNat (SizeVerKeyKES (SumKES h d)), KnownNat (SizeSignKeyKES (SumKES h d)), KnownNat (SizeSigKES (SumKES h d))) ⇒ FromCBOR (UnsoundPureSignKeyKES (SumKES h d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Sum

Methods

fromCBOR ∷ Decoder s (UnsoundPureSignKeyKES (SumKES h d)) Source #

label ∷ Proxy (UnsoundPureSignKeyKES (SumKES h d)) → Text Source #

(UnsoundDSIGNMAlgorithm d, KnownNat (SizeSigDSIGN d + SizeVerKeyDSIGN d)) ⇒ ToCBOR (UnsoundPureSignKeyKES (CompactSingleKES d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

Methods

toCBOR ∷ UnsoundPureSignKeyKES (CompactSingleKES d) → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (UnsoundPureSignKeyKES (CompactSingleKES d)) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [UnsoundPureSignKeyKES (CompactSingleKES d)] → Size Source #

(SizeHash h ~ SeedSizeKES d, OptimizedKESAlgorithm d, UnsoundPureKESAlgorithm d, SodiumHashAlgorithm h, KnownNat (SizeVerKeyKES (CompactSumKES h d)), KnownNat (SizeSignKeyKES (CompactSumKES h d)), KnownNat (SizeSigKES (CompactSumKES h d))) ⇒ ToCBOR (UnsoundPureSignKeyKES (CompactSumKES h d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.CompactSum

Methods

toCBOR ∷ UnsoundPureSignKeyKES (CompactSumKES h d) → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (UnsoundPureSignKeyKES (CompactSumKES h d)) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [UnsoundPureSignKeyKES (CompactSumKES h d)] → Size Source #

KnownNat t ⇒ ToCBOR (UnsoundPureSignKeyKES (MockKES t)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Mock

Methods

toCBOR ∷ UnsoundPureSignKeyKES (MockKES t) → Encoding Source #

encodedSizeExpr ∷ (∀ t0. ToCBOR t0 ⇒ Proxy t0 → Size) → Proxy (UnsoundPureSignKeyKES (MockKES t)) → Size Source #

encodedListSizeExpr ∷ (∀ t0. ToCBOR t0 ⇒ Proxy t0 → Size) → Proxy [UnsoundPureSignKeyKES (MockKES t)] → Size Source #

UnsoundDSIGNMAlgorithm d ⇒ ToCBOR (UnsoundPureSignKeyKES (SingleKES d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Single

Methods

toCBOR ∷ UnsoundPureSignKeyKES (SingleKES d) → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (UnsoundPureSignKeyKES (SingleKES d)) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [UnsoundPureSignKeyKES (SingleKES d)] → Size Source #

(SizeHash h ~ SeedSizeKES d, UnsoundPureKESAlgorithm d, SodiumHashAlgorithm h, KnownNat (SizeVerKeyKES (SumKES h d)), KnownNat (SizeSignKeyKES (SumKES h d)), KnownNat (SizeSigKES (SumKES h d))) ⇒ ToCBOR (UnsoundPureSignKeyKES (SumKES h d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Sum

Methods

toCBOR ∷ UnsoundPureSignKeyKES (SumKES h d) → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (UnsoundPureSignKeyKES (SumKES h d)) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [UnsoundPureSignKeyKES (SumKES h d)] → Size Source #

(DSIGNAlgorithm d, Eq (SignKeyDSIGN d)) ⇒ Eq (UnsoundPureSignKeyKES (CompactSingleKES d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

Methods

(==) ∷ UnsoundPureSignKeyKES (CompactSingleKES d) → UnsoundPureSignKeyKES (CompactSingleKES d) → Bool #

(/=) ∷ UnsoundPureSignKeyKES (CompactSingleKES d) → UnsoundPureSignKeyKES (CompactSingleKES d) → Bool #

(KESAlgorithm d, Eq (UnsoundPureSignKeyKES d)) ⇒ Eq (UnsoundPureSignKeyKES (CompactSumKES h d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.CompactSum

Methods

(==) ∷ UnsoundPureSignKeyKES (CompactSumKES h d) → UnsoundPureSignKeyKES (CompactSumKES h d) → Bool #

(/=) ∷ UnsoundPureSignKeyKES (CompactSumKES h d) → UnsoundPureSignKeyKES (CompactSumKES h d) → Bool #

Eq (UnsoundPureSignKeyKES (MockKES t)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Mock

Methods

(==) ∷ UnsoundPureSignKeyKES (MockKES t) → UnsoundPureSignKeyKES (MockKES t) → Bool #

(/=) ∷ UnsoundPureSignKeyKES (MockKES t) → UnsoundPureSignKeyKES (MockKES t) → Bool #

Eq (UnsoundPureSignKeyKES NeverKES) Source # 
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

Methods

(==) ∷ UnsoundPureSignKeyKES NeverKES → UnsoundPureSignKeyKES NeverKES → Bool #

(/=) ∷ UnsoundPureSignKeyKES NeverKES → UnsoundPureSignKeyKES NeverKES → Bool #

Eq (SignKeyDSIGN d) ⇒ Eq (UnsoundPureSignKeyKES (SimpleKES d t)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Simple

Methods

(==) ∷ UnsoundPureSignKeyKES (SimpleKES d t) → UnsoundPureSignKeyKES (SimpleKES d t) → Bool #

(/=) ∷ UnsoundPureSignKeyKES (SimpleKES d t) → UnsoundPureSignKeyKES (SimpleKES d t) → Bool #

Eq (SignKeyDSIGN d) ⇒ Eq (UnsoundPureSignKeyKES (SingleKES d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Single

Methods

(==) ∷ UnsoundPureSignKeyKES (SingleKES d) → UnsoundPureSignKeyKES (SingleKES d) → Bool #

(/=) ∷ UnsoundPureSignKeyKES (SingleKES d) → UnsoundPureSignKeyKES (SingleKES d) → Bool #

(KESAlgorithm d, Eq (UnsoundPureSignKeyKES d)) ⇒ Eq (UnsoundPureSignKeyKES (SumKES h d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Sum

Methods

(==) ∷ UnsoundPureSignKeyKES (SumKES h d) → UnsoundPureSignKeyKES (SumKES h d) → Bool #

(/=) ∷ UnsoundPureSignKeyKES (SumKES h d) → UnsoundPureSignKeyKES (SumKES h d) → Bool #

DSIGNAlgorithm d ⇒ NoThunks (UnsoundPureSignKeyKES (CompactSingleKES d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

Methods

noThunks ∷ Context → UnsoundPureSignKeyKES (CompactSingleKES d) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → UnsoundPureSignKeyKES (CompactSingleKES d) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (UnsoundPureSignKeyKES (CompactSingleKES d)) → String Source #

(NoThunks (UnsoundPureSignKeyKES d), KESAlgorithm d) ⇒ NoThunks (UnsoundPureSignKeyKES (CompactSumKES h d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.CompactSum

Methods

noThunks ∷ Context → UnsoundPureSignKeyKES (CompactSumKES h d) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → UnsoundPureSignKeyKES (CompactSumKES h d) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (UnsoundPureSignKeyKES (CompactSumKES h d)) → String Source #

NoThunks (UnsoundPureSignKeyKES (MockKES t)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Mock

Methods

noThunks ∷ Context → UnsoundPureSignKeyKES (MockKES t) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → UnsoundPureSignKeyKES (MockKES t) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (UnsoundPureSignKeyKES (MockKES t)) → String Source #

NoThunks (UnsoundPureSignKeyKES NeverKES) Source # 
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

Methods

noThunks ∷ Context → UnsoundPureSignKeyKES NeverKES → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → UnsoundPureSignKeyKES NeverKES → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (UnsoundPureSignKeyKES NeverKES) → String Source #

DSIGNMAlgorithm d ⇒ NoThunks (UnsoundPureSignKeyKES (SimpleKES d t)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Simple

Methods

noThunks ∷ Context → UnsoundPureSignKeyKES (SimpleKES d t) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → UnsoundPureSignKeyKES (SimpleKES d t) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (UnsoundPureSignKeyKES (SimpleKES d t)) → String Source #

DSIGNAlgorithm d ⇒ NoThunks (UnsoundPureSignKeyKES (SingleKES d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Single

Methods

noThunks ∷ Context → UnsoundPureSignKeyKES (SingleKES d) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → UnsoundPureSignKeyKES (SingleKES d) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (UnsoundPureSignKeyKES (SingleKES d)) → String Source #

(NoThunks (UnsoundPureSignKeyKES d), KESAlgorithm d) ⇒ NoThunks (UnsoundPureSignKeyKES (SumKES h d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Sum

Methods

noThunks ∷ Context → UnsoundPureSignKeyKES (SumKES h d) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → UnsoundPureSignKeyKES (SumKES h d) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (UnsoundPureSignKeyKES (SumKES h d)) → String Source #

data UnsoundPureSignKeyKES NeverKES Source # 
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

data UnsoundPureSignKeyKES NeverKES = NeverUsedUnsoundPureSignKeyKES
type Rep (UnsoundPureSignKeyKES (CompactSingleKES d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

type Rep (UnsoundPureSignKeyKES (CompactSingleKES d)) = D1 ('MetaData "UnsoundPureSignKeyKES" "Cardano.Crypto.KES.CompactSingle" "cardano-crypto-class-2.2.2.0-inplace" 'False) (C1 ('MetaCons "UnsoundPureSignKeyCompactSingleKES" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SignKeyDSIGN d))))
type Rep (UnsoundPureSignKeyKES (CompactSumKES h d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.CompactSum

type Rep (UnsoundPureSignKeyKES (CompactSumKES h d)) = D1 ('MetaData "UnsoundPureSignKeyKES" "Cardano.Crypto.KES.CompactSum" "cardano-crypto-class-2.2.2.0-inplace" 'False) (C1 ('MetaCons "UnsoundPureSignKeyCompactSumKES" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (UnsoundPureSignKeyKES d)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Seed)) :*: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VerKeyKES d)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VerKeyKES d)))))
type Rep (UnsoundPureSignKeyKES (MockKES t)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Mock

type Rep (UnsoundPureSignKeyKES (MockKES t)) = D1 ('MetaData "UnsoundPureSignKeyKES" "Cardano.Crypto.KES.Mock" "cardano-crypto-class-2.2.2.0-inplace" 'False) (C1 ('MetaCons "UnsoundPureSignKeyMockKES" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VerKeyKES (MockKES t))) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Period)))
type Rep (UnsoundPureSignKeyKES NeverKES) Source # 
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

type Rep (UnsoundPureSignKeyKES NeverKES) = D1 ('MetaData "UnsoundPureSignKeyKES" "Cardano.Crypto.KES.NeverUsed" "cardano-crypto-class-2.2.2.0-inplace" 'False) (C1 ('MetaCons "NeverUsedUnsoundPureSignKeyKES" 'PrefixI 'False) (U1 ∷ Type → Type))
type Rep (UnsoundPureSignKeyKES (SimpleKES d t)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Simple

type Rep (UnsoundPureSignKeyKES (SimpleKES d t)) = D1 ('MetaData "UnsoundPureSignKeyKES" "Cardano.Crypto.KES.Simple" "cardano-crypto-class-2.2.2.0-inplace" 'True) (C1 ('MetaCons "UnsoundPureThunkySignKeySimpleKES" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Vector (SignKeyDSIGN d)))))
type Rep (UnsoundPureSignKeyKES (SingleKES d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Single

type Rep (UnsoundPureSignKeyKES (SingleKES d)) = D1 ('MetaData "UnsoundPureSignKeyKES" "Cardano.Crypto.KES.Single" "cardano-crypto-class-2.2.2.0-inplace" 'True) (C1 ('MetaCons "UnsoundPureSignKeySingleKES" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SignKeyDSIGN d))))
type Rep (UnsoundPureSignKeyKES (SumKES h d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Sum

type Rep (UnsoundPureSignKeyKES (SumKES h d)) = D1 ('MetaData "UnsoundPureSignKeyKES" "Cardano.Crypto.KES.Sum" "cardano-crypto-class-2.2.2.0-inplace" 'False) (C1 ('MetaCons "UnsoundPureSignKeySumKES" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (UnsoundPureSignKeyKES d)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Seed)) :*: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VerKeyKES d)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VerKeyKES d)))))
data UnsoundPureSignKeyKES (CompactSingleKES d) Source # 
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

data UnsoundPureSignKeyKES (CompactSingleKES d) = UnsoundPureSignKeyCompactSingleKES (SignKeyDSIGN d)
data UnsoundPureSignKeyKES (MockKES t) Source # 
Instance details

Defined in Cardano.Crypto.KES.Mock

data UnsoundPureSignKeyKES (MockKES t) = UnsoundPureSignKeyMockKES !(VerKeyKES (MockKES t)) !Period
newtype UnsoundPureSignKeyKES (SingleKES d) Source # 
Instance details

Defined in Cardano.Crypto.KES.Single

newtype UnsoundPureSignKeyKES (SingleKES d) = UnsoundPureSignKeySingleKES (SignKeyDSIGN d)
data UnsoundPureSignKeyKES (CompactSumKES h d) Source # 
Instance details

Defined in Cardano.Crypto.KES.CompactSum

data UnsoundPureSignKeyKES (CompactSumKES h d) = UnsoundPureSignKeyCompactSumKES !(UnsoundPureSignKeyKES d) !Seed !(VerKeyKES d) !(VerKeyKES d)
newtype UnsoundPureSignKeyKES (SimpleKES d t) Source # 
Instance details

Defined in Cardano.Crypto.KES.Simple

newtype UnsoundPureSignKeyKES (SimpleKES d t) = UnsoundPureThunkySignKeySimpleKES (Vector (SignKeyDSIGN d))
data UnsoundPureSignKeyKES (SumKES h d) Source # 
Instance details

Defined in Cardano.Crypto.KES.Sum

data UnsoundPureSignKeyKES (SumKES h d) = UnsoundPureSignKeySumKES !(UnsoundPureSignKeyKES d) !Seed !(VerKeyKES d) !(VerKeyKES d)

data family SigKES v ∷ Type Source #

Instances

Instances details
Generic (SigKES (CompactSingleKES d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

Associated Types

type Rep (SigKES (CompactSingleKES d)) ∷ Type → Type #

Methods

from ∷ SigKES (CompactSingleKES d) → Rep (SigKES (CompactSingleKES d)) x #

to ∷ Rep (SigKES (CompactSingleKES d)) x → SigKES (CompactSingleKES d) #

Generic (SigKES (CompactSumKES h d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.CompactSum

Associated Types

type Rep (SigKES (CompactSumKES h d)) ∷ Type → Type #

Methods

from ∷ SigKES (CompactSumKES h d) → Rep (SigKES (CompactSumKES h d)) x #

to ∷ Rep (SigKES (CompactSumKES h d)) x → SigKES (CompactSumKES h d) #

Generic (SigKES (MockKES t)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Mock

Associated Types

type Rep (SigKES (MockKES t)) ∷ Type → Type #

Methods

from ∷ SigKES (MockKES t) → Rep (SigKES (MockKES t)) x #

to ∷ Rep (SigKES (MockKES t)) x → SigKES (MockKES t) #

Generic (SigKES NeverKES) Source # 
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

Associated Types

type Rep (SigKES NeverKES) ∷ Type → Type #

Methods

from ∷ SigKES NeverKES → Rep (SigKES NeverKES) x #

to ∷ Rep (SigKES NeverKES) x → SigKES NeverKES #

Generic (SigKES (SimpleKES d t)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Simple

Associated Types

type Rep (SigKES (SimpleKES d t)) ∷ Type → Type #

Methods

from ∷ SigKES (SimpleKES d t) → Rep (SigKES (SimpleKES d t)) x #

to ∷ Rep (SigKES (SimpleKES d t)) x → SigKES (SimpleKES d t) #

Generic (SigKES (SingleKES d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Single

Associated Types

type Rep (SigKES (SingleKES d)) ∷ Type → Type #

Methods

from ∷ SigKES (SingleKES d) → Rep (SigKES (SingleKES d)) x #

to ∷ Rep (SigKES (SingleKES d)) x → SigKES (SingleKES d) #

Generic (SigKES (SumKES h d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Sum

Associated Types

type Rep (SigKES (SumKES h d)) ∷ Type → Type #

Methods

from ∷ SigKES (SumKES h d) → Rep (SigKES (SumKES h d)) x #

to ∷ Rep (SigKES (SumKES h d)) x → SigKES (SumKES h d) #

DSIGNMAlgorithm d ⇒ Show (SigKES (CompactSingleKES d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

Methods

showsPrec ∷ Int → SigKES (CompactSingleKES d) → ShowS #

show ∷ SigKES (CompactSingleKES d) → String #

showList ∷ [SigKES (CompactSingleKES d)] → ShowS #

KESAlgorithm d ⇒ Show (SigKES (CompactSumKES h d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.CompactSum

Methods

showsPrec ∷ Int → SigKES (CompactSumKES h d) → ShowS #

show ∷ SigKES (CompactSumKES h d) → String #

showList ∷ [SigKES (CompactSumKES h d)] → ShowS #

Show (SigKES (MockKES t)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Mock

Methods

showsPrec ∷ Int → SigKES (MockKES t) → ShowS #

show ∷ SigKES (MockKES t) → String #

showList ∷ [SigKES (MockKES t)] → ShowS #

Show (SigKES NeverKES) Source # 
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

Methods

showsPrec ∷ Int → SigKES NeverKES → ShowS #

show ∷ SigKES NeverKES → String #

showList ∷ [SigKES NeverKES] → ShowS #

DSIGNMAlgorithm d ⇒ Show (SigKES (SimpleKES d t)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Simple

Methods

showsPrec ∷ Int → SigKES (SimpleKES d t) → ShowS #

show ∷ SigKES (SimpleKES d t) → String #

showList ∷ [SigKES (SimpleKES d t)] → ShowS #

DSIGNAlgorithm d ⇒ Show (SigKES (SingleKES d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Single

Methods

showsPrec ∷ Int → SigKES (SingleKES d) → ShowS #

show ∷ SigKES (SingleKES d) → String #

showList ∷ [SigKES (SingleKES d)] → ShowS #

(KESAlgorithm d, KESAlgorithm (SumKES h d)) ⇒ Show (SigKES (SumKES h d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Sum

Methods

showsPrec ∷ Int → SigKES (SumKES h d) → ShowS #

show ∷ SigKES (SumKES h d) → String #

showList ∷ [SigKES (SumKES h d)] → ShowS #

(DSIGNMAlgorithm d, KnownNat (SizeSigKES (CompactSingleKES d))) ⇒ FromCBOR (SigKES (CompactSingleKES d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

Methods

fromCBOR ∷ Decoder s (SigKES (CompactSingleKES d)) Source #

label ∷ Proxy (SigKES (CompactSingleKES d)) → Text Source #

(OptimizedKESAlgorithm d, SodiumHashAlgorithm h, SizeHash h ~ SeedSizeKES d, NoThunks (VerKeyKES (CompactSumKES h d)), KnownNat (SizeVerKeyKES (CompactSumKES h d)), KnownNat (SizeSignKeyKES (CompactSumKES h d)), KnownNat (SizeSigKES (CompactSumKES h d))) ⇒ FromCBOR (SigKES (CompactSumKES h d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.CompactSum

Methods

fromCBOR ∷ Decoder s (SigKES (CompactSumKES h d)) Source #

label ∷ Proxy (SigKES (CompactSumKES h d)) → Text Source #

KnownNat t ⇒ FromCBOR (SigKES (MockKES t)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Mock

Methods

fromCBOR ∷ Decoder s (SigKES (MockKES t)) Source #

label ∷ Proxy (SigKES (MockKES t)) → Text Source #

(DSIGNMAlgorithm d, KnownNat t, KnownNat (SeedSizeDSIGN d * t), KnownNat (SizeVerKeyDSIGN d * t), KnownNat (SizeSignKeyDSIGN d * t)) ⇒ FromCBOR (SigKES (SimpleKES d t)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Simple

Methods

fromCBOR ∷ Decoder s (SigKES (SimpleKES d t)) Source #

label ∷ Proxy (SigKES (SimpleKES d t)) → Text Source #

DSIGNMAlgorithm d ⇒ FromCBOR (SigKES (SingleKES d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Single

Methods

fromCBOR ∷ Decoder s (SigKES (SingleKES d)) Source #

label ∷ Proxy (SigKES (SingleKES d)) → Text Source #

(KESAlgorithm (SumKES h d), SodiumHashAlgorithm h, SizeHash h ~ SeedSizeKES d) ⇒ FromCBOR (SigKES (SumKES h d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Sum

Methods

fromCBOR ∷ Decoder s (SigKES (SumKES h d)) Source #

label ∷ Proxy (SigKES (SumKES h d)) → Text Source #

(DSIGNMAlgorithm d, KnownNat (SizeSigKES (CompactSingleKES d))) ⇒ ToCBOR (SigKES (CompactSingleKES d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

Methods

toCBOR ∷ SigKES (CompactSingleKES d) → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (SigKES (CompactSingleKES d)) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SigKES (CompactSingleKES d)] → Size Source #

(OptimizedKESAlgorithm d, SodiumHashAlgorithm h, SizeHash h ~ SeedSizeKES d, NoThunks (VerKeyKES (CompactSumKES h d)), KnownNat (SizeVerKeyKES (CompactSumKES h d)), KnownNat (SizeSignKeyKES (CompactSumKES h d)), KnownNat (SizeSigKES (CompactSumKES h d))) ⇒ ToCBOR (SigKES (CompactSumKES h d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.CompactSum

Methods

toCBOR ∷ SigKES (CompactSumKES h d) → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (SigKES (CompactSumKES h d)) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SigKES (CompactSumKES h d)] → Size Source #

KnownNat t ⇒ ToCBOR (SigKES (MockKES t)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Mock

Methods

toCBOR ∷ SigKES (MockKES t) → Encoding Source #

encodedSizeExpr ∷ (∀ t0. ToCBOR t0 ⇒ Proxy t0 → Size) → Proxy (SigKES (MockKES t)) → Size Source #

encodedListSizeExpr ∷ (∀ t0. ToCBOR t0 ⇒ Proxy t0 → Size) → Proxy [SigKES (MockKES t)] → Size Source #

(DSIGNMAlgorithm d, KnownNat t, KnownNat (SeedSizeDSIGN d * t), KnownNat (SizeVerKeyDSIGN d * t), KnownNat (SizeSignKeyDSIGN d * t)) ⇒ ToCBOR (SigKES (SimpleKES d t)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Simple

Methods

toCBOR ∷ SigKES (SimpleKES d t) → Encoding Source #

encodedSizeExpr ∷ (∀ t0. ToCBOR t0 ⇒ Proxy t0 → Size) → Proxy (SigKES (SimpleKES d t)) → Size Source #

encodedListSizeExpr ∷ (∀ t0. ToCBOR t0 ⇒ Proxy t0 → Size) → Proxy [SigKES (SimpleKES d t)] → Size Source #

DSIGNMAlgorithm d ⇒ ToCBOR (SigKES (SingleKES d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Single

Methods

toCBOR ∷ SigKES (SingleKES d) → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (SigKES (SingleKES d)) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SigKES (SingleKES d)] → Size Source #

(KESAlgorithm (SumKES h d), SodiumHashAlgorithm h, SizeHash h ~ SeedSizeKES d) ⇒ ToCBOR (SigKES (SumKES h d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Sum

Methods

toCBOR ∷ SigKES (SumKES h d) → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (SigKES (SumKES h d)) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SigKES (SumKES h d)] → Size Source #

(NFData (SigDSIGN d), NFData (VerKeyDSIGN d)) ⇒ NFData (SigKES (CompactSingleKES d)) 
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

Methods

rnf ∷ SigKES (CompactSingleKES d) → ()

(NFData (SigKES d), NFData (VerKeyKES d)) ⇒ NFData (SigKES (CompactSumKES h d)) 
Instance details

Defined in Cardano.Crypto.KES.CompactSum

Methods

rnf ∷ SigKES (CompactSumKES h d) → ()

NFData (SigDSIGN d) ⇒ NFData (SigKES (SingleKES d)) 
Instance details

Defined in Cardano.Crypto.KES.Single

Methods

rnf ∷ SigKES (SingleKES d) → ()

(NFData (SigKES d), NFData (VerKeyKES d)) ⇒ NFData (SigKES (SumKES h d)) 
Instance details

Defined in Cardano.Crypto.KES.Sum

Methods

rnf ∷ SigKES (SumKES h d) → ()

DSIGNMAlgorithm d ⇒ Eq (SigKES (CompactSingleKES d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

Methods

(==) ∷ SigKES (CompactSingleKES d) → SigKES (CompactSingleKES d) → Bool #

(/=) ∷ SigKES (CompactSingleKES d) → SigKES (CompactSingleKES d) → Bool #

KESAlgorithm d ⇒ Eq (SigKES (CompactSumKES h d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.CompactSum

Methods

(==) ∷ SigKES (CompactSumKES h d) → SigKES (CompactSumKES h d) → Bool #

(/=) ∷ SigKES (CompactSumKES h d) → SigKES (CompactSumKES h d) → Bool #

Eq (SigKES (MockKES t)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Mock

Methods

(==) ∷ SigKES (MockKES t) → SigKES (MockKES t) → Bool #

(/=) ∷ SigKES (MockKES t) → SigKES (MockKES t) → Bool #

Eq (SigKES NeverKES) Source # 
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

Methods

(==) ∷ SigKES NeverKES → SigKES NeverKES → Bool #

(/=) ∷ SigKES NeverKES → SigKES NeverKES → Bool #

DSIGNMAlgorithm d ⇒ Eq (SigKES (SimpleKES d t)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Simple

Methods

(==) ∷ SigKES (SimpleKES d t) → SigKES (SimpleKES d t) → Bool #

(/=) ∷ SigKES (SimpleKES d t) → SigKES (SimpleKES d t) → Bool #

DSIGNAlgorithm d ⇒ Eq (SigKES (SingleKES d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Single

Methods

(==) ∷ SigKES (SingleKES d) → SigKES (SingleKES d) → Bool #

(/=) ∷ SigKES (SingleKES d) → SigKES (SingleKES d) → Bool #

(KESAlgorithm d, KESAlgorithm (SumKES h d)) ⇒ Eq (SigKES (SumKES h d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Sum

Methods

(==) ∷ SigKES (SumKES h d) → SigKES (SumKES h d) → Bool #

(/=) ∷ SigKES (SumKES h d) → SigKES (SumKES h d) → Bool #

DSIGNMAlgorithm d ⇒ NoThunks (SigKES (CompactSingleKES d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

Methods

noThunks ∷ Context → SigKES (CompactSingleKES d) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → SigKES (CompactSingleKES d) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (SigKES (CompactSingleKES d)) → String Source #

KESAlgorithm d ⇒ NoThunks (SigKES (CompactSumKES h d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.CompactSum

Methods

noThunks ∷ Context → SigKES (CompactSumKES h d) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → SigKES (CompactSumKES h d) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (SigKES (CompactSumKES h d)) → String Source #

NoThunks (SigKES (MockKES t)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Mock

Methods

noThunks ∷ Context → SigKES (MockKES t) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → SigKES (MockKES t) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (SigKES (MockKES t)) → String Source #

NoThunks (SigKES NeverKES) Source # 
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

Methods

noThunks ∷ Context → SigKES NeverKES → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → SigKES NeverKES → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (SigKES NeverKES) → String Source #

DSIGNMAlgorithm d ⇒ NoThunks (SigKES (SimpleKES d t)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Simple

Methods

noThunks ∷ Context → SigKES (SimpleKES d t) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → SigKES (SimpleKES d t) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (SigKES (SimpleKES d t)) → String Source #

DSIGNAlgorithm d ⇒ NoThunks (SigKES (SingleKES d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Single

Methods

noThunks ∷ Context → SigKES (SingleKES d) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → SigKES (SingleKES d) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (SigKES (SingleKES d)) → String Source #

KESAlgorithm d ⇒ NoThunks (SigKES (SumKES h d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Sum

Methods

noThunks ∷ Context → SigKES (SumKES h d) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → SigKES (SumKES h d) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (SigKES (SumKES h d)) → String Source #

data SigKES NeverKES Source # 
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

data SigKES NeverKES = NeverUsedSigKES
type Rep (SigKES (CompactSingleKES d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

type Rep (SigKES (CompactSingleKES d)) = D1 ('MetaData "SigKES" "Cardano.Crypto.KES.CompactSingle" "cardano-crypto-class-2.2.2.0-inplace" 'False) (C1 ('MetaCons "SigCompactSingleKES" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SigDSIGN d)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VerKeyDSIGN d))))
type Rep (SigKES (CompactSumKES h d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.CompactSum

type Rep (SigKES (CompactSumKES h d)) = D1 ('MetaData "SigKES" "Cardano.Crypto.KES.CompactSum" "cardano-crypto-class-2.2.2.0-inplace" 'False) (C1 ('MetaCons "SigCompactSumKES" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SigKES d)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VerKeyKES d))))
type Rep (SigKES (MockKES t)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Mock

type Rep (SigKES (MockKES t)) = D1 ('MetaData "SigKES" "Cardano.Crypto.KES.Mock" "cardano-crypto-class-2.2.2.0-inplace" 'False) (C1 ('MetaCons "SigMockKES" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Hash ShortHash ())) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SignKeyKES (MockKES t)))))
type Rep (SigKES NeverKES) Source # 
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

type Rep (SigKES NeverKES) = D1 ('MetaData "SigKES" "Cardano.Crypto.KES.NeverUsed" "cardano-crypto-class-2.2.2.0-inplace" 'False) (C1 ('MetaCons "NeverUsedSigKES" 'PrefixI 'False) (U1 ∷ Type → Type))
type Rep (SigKES (SimpleKES d t)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Simple

type Rep (SigKES (SimpleKES d t)) = D1 ('MetaData "SigKES" "Cardano.Crypto.KES.Simple" "cardano-crypto-class-2.2.2.0-inplace" 'True) (C1 ('MetaCons "SigSimpleKES" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SigDSIGN d))))
type Rep (SigKES (SingleKES d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Single

type Rep (SigKES (SingleKES d)) = D1 ('MetaData "SigKES" "Cardano.Crypto.KES.Single" "cardano-crypto-class-2.2.2.0-inplace" 'True) (C1 ('MetaCons "SigSingleKES" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SigDSIGN d))))
type Rep (SigKES (SumKES h d)) Source # 
Instance details

Defined in Cardano.Crypto.KES.Sum

type Rep (SigKES (SumKES h d)) = D1 ('MetaData "SigKES" "Cardano.Crypto.KES.Sum" "cardano-crypto-class-2.2.2.0-inplace" 'False) (C1 ('MetaCons "SigSumKES" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SigKES d)) :*: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VerKeyKES d)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VerKeyKES d)))))
data SigKES (CompactSingleKES d) Source # 
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

data SigKES (CompactSingleKES d) = SigCompactSingleKES !(SigDSIGN d) !(VerKeyDSIGN d)
data SigKES (MockKES t) Source # 
Instance details

Defined in Cardano.Crypto.KES.Mock

data SigKES (MockKES t) = SigMockKES !(Hash ShortHash ()) !(SignKeyKES (MockKES t))
newtype SigKES (SingleKES d) Source # 
Instance details

Defined in Cardano.Crypto.KES.Single

newtype SigKES (SingleKES d) = SigSingleKES (SigDSIGN d)
data SigKES (CompactSumKES h d) Source # 
Instance details

Defined in Cardano.Crypto.KES.CompactSum

data SigKES (CompactSumKES h d) = SigCompactSumKES !(SigKES d) !(VerKeyKES d)
newtype SigKES (SimpleKES d t) Source # 
Instance details

Defined in Cardano.Crypto.KES.Simple

newtype SigKES (SimpleKES d t) = SigSimpleKES (SigDSIGN d)
data SigKES (SumKES h d) Source # 
Instance details

Defined in Cardano.Crypto.KES.Sum

data SigKES (SumKES h d) = SigSumKES !(SigKES d) !(VerKeyKES d) !(VerKeyKES d)