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

Cardano.Crypto.KES.CompactSingle

Description

A standard signature scheme is a forward-secure signature scheme with a single time period.

This is the base case in the naive recursive implementation of the sum composition from section 3 of the "MMM" paper:

Composition and Efficiency Tradeoffs for Forward-Secure Digital Signatures By Tal Malkin, Daniele Micciancio and Sara Miner https://eprint.iacr.org/2001/034

Specfically it states:

In order to unify the presentation, we regard standard signature schemes
as forward-seure signature schemes with one time period, namely T = 1.

So this module simply provides a wrapper CompactSingleKES that turns any DSIGNMAlgorithm into an instance of KESAlgorithm with a single period.

See Cardano.Crypto.KES.CompactSum for the composition case.

Compared to the implementation in Single, this flavor stores the VerKey used for signing along with the signature. The purpose of this is so that we can avoid storing a pair of VerKeys at every branch node, like Sum does. See CompactSum for more details.

Synopsis

Documentation

data CompactSingleKES d Source #

A standard signature scheme is a forward-secure signature scheme with a single time period.

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 (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 (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) #

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 #

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 #

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 #

(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 #

(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 #

(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 #

(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 #

(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 #

(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 #

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 (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 #

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 (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 #

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

Defined in Cardano.Crypto.KES.CompactSingle

Associated Types

data VerKeyKES (CompactSingleKES d) Source #

data SigKES (CompactSingleKES d) Source #

data SignKeyKES (CompactSingleKES d) Source #

type SeedSizeKES (CompactSingleKES d) ∷ Nat Source #

type SizeVerKeyKES (CompactSingleKES d) ∷ Nat Source #

type SizeSignKeyKES (CompactSingleKES d) ∷ Nat Source #

type SizeSigKES (CompactSingleKES d) ∷ Nat Source #

type ContextKES (CompactSingleKES d) Source #

type Signable (CompactSingleKES d) ∷ Type → Constraint Source #

Methods

algorithmNameKES ∷ proxy (CompactSingleKES d) → String Source #

hashVerKeyKES ∷ HashAlgorithm h ⇒ VerKeyKES (CompactSingleKES d) → Hash h (VerKeyKES (CompactSingleKES d)) Source #

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

totalPeriodsKES ∷ proxy (CompactSingleKES d) → Word Source #

rawSerialiseVerKeyKES ∷ VerKeyKES (CompactSingleKES d) → ByteString Source #

rawSerialiseSigKES ∷ SigKES (CompactSingleKES d) → ByteString Source #

rawDeserialiseVerKeyKES ∷ ByteString → Maybe (VerKeyKES (CompactSingleKES d)) Source #

rawDeserialiseSigKES ∷ ByteString → Maybe (SigKES (CompactSingleKES d)) Source #

deriveVerKeyKES ∷ (MonadST m, MonadThrow m) ⇒ SignKeyKES (CompactSingleKES d) → m (VerKeyKES (CompactSingleKES d)) Source #

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

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

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

forgetSignKeyKESWith ∷ (MonadST m, MonadThrow m) ⇒ MLockedAllocator m → SignKeyKES (CompactSingleKES d) → m () Source #

(KESAlgorithm (CompactSingleKES d), DSIGNMAlgorithm d) ⇒ OptimizedKESAlgorithm (CompactSingleKES d) Source # 
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

Methods

verifySigKES ∷ (Signable (CompactSingleKES d) a, HasCallStack) ⇒ ContextKES (CompactSingleKES d) → Period → a → SigKES (CompactSingleKES d) → Either String () Source #

verKeyFromSigKES ∷ ContextKES (CompactSingleKES d) → Period → SigKES (CompactSingleKES d) → VerKeyKES (CompactSingleKES d) Source #

(KESAlgorithm (CompactSingleKES d), UnsoundDSIGNMAlgorithm d) ⇒ UnsoundKESAlgorithm (CompactSingleKES d) Source # 
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

Methods

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

rawSerialiseSignKeyKES ∷ (MonadST m, MonadThrow m) ⇒ SignKeyKES (CompactSingleKES d) → m ByteString Source #

(KESAlgorithm (CompactSingleKES d), UnsoundDSIGNMAlgorithm d) ⇒ UnsoundPureKESAlgorithm (CompactSingleKES d) Source # 
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

Associated Types

data UnsoundPureSignKeyKES (CompactSingleKES d) Source #

Methods

unsoundPureSignKES ∷ Signable (CompactSingleKES d) a ⇒ ContextKES (CompactSingleKES d) → Period → a → UnsoundPureSignKeyKES (CompactSingleKES d) → SigKES (CompactSingleKES d) Source #

unsoundPureUpdateKES ∷ ContextKES (CompactSingleKES d) → UnsoundPureSignKeyKES (CompactSingleKES d) → Period → Maybe (UnsoundPureSignKeyKES (CompactSingleKES d)) Source #

unsoundPureGenKeyKES ∷ Seed → UnsoundPureSignKeyKES (CompactSingleKES d) Source #

unsoundPureDeriveVerKeyKES ∷ UnsoundPureSignKeyKES (CompactSingleKES d) → VerKeyKES (CompactSingleKES d) Source #

unsoundPureSignKeyKESToSoundSignKeyKES ∷ (MonadST m, MonadThrow m) ⇒ UnsoundPureSignKeyKES (CompactSingleKES d) → m (SignKeyKES (CompactSingleKES d)) Source #

rawSerialiseUnsoundPureSignKeyKES ∷ UnsoundPureSignKeyKES (CompactSingleKES d) → ByteString Source #

rawDeserialiseUnsoundPureSignKeyKES ∷ ByteString → Maybe (UnsoundPureSignKeyKES (CompactSingleKES d)) Source #

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

Defined in Cardano.Crypto.KES.CompactSingle

Methods

rnf ∷ SigKES (CompactSingleKES d) → ()

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

Defined in Cardano.Crypto.KES.CompactSingle

Methods

rnf ∷ SignKeyKES (CompactSingleKES d) → ()

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

Defined in Cardano.Crypto.KES.CompactSingle

Methods

rnf ∷ VerKeyKES (CompactSingleKES 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 #

(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 #

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 #

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 #

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 #

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 #

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 #

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.3.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 (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.3.0-inplace" 'False) (C1 ('MetaCons "UnsoundPureSignKeyCompactSingleKES" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SignKeyDSIGN d))))
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.3.0-inplace" 'True) (C1 ('MetaCons "VerKeyCompactSingleKES" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (VerKeyDSIGN d))))
type ContextKES (CompactSingleKES d) Source # 
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

type ContextKES (CompactSingleKES d) = ContextDSIGN d
type SeedSizeKES (CompactSingleKES d) Source # 
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

type SeedSizeKES (CompactSingleKES d) = SeedSizeDSIGN d
data SigKES (CompactSingleKES d) Source # 
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

data SigKES (CompactSingleKES d) = SigCompactSingleKES !(SigDSIGN d) !(VerKeyDSIGN d)
newtype SignKeyKES (CompactSingleKES d) Source # 
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

newtype SignKeyKES (CompactSingleKES d) = SignKeyCompactSingleKES (SignKeyDSIGNM d)
type Signable (CompactSingleKES d) Source # 
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

type Signable (CompactSingleKES d) = Signable d
type SizeSigKES (CompactSingleKES d) Source # 
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

type SizeSigKES (CompactSingleKES d) = SizeSigDSIGN d + SizeVerKeyDSIGN d
type SizeSignKeyKES (CompactSingleKES d) Source # 
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

type SizeSignKeyKES (CompactSingleKES d) = SizeSignKeyDSIGN d
type SizeVerKeyKES (CompactSingleKES d) Source # 
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

type SizeVerKeyKES (CompactSingleKES d) = SizeVerKeyDSIGN d
data UnsoundPureSignKeyKES (CompactSingleKES d) Source # 
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

data UnsoundPureSignKeyKES (CompactSingleKES d) = UnsoundPureSignKeyCompactSingleKES (SignKeyDSIGN d)
newtype VerKeyKES (CompactSingleKES d) Source # 
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

newtype VerKeyKES (CompactSingleKES d) = VerKeyCompactSingleKES (VerKeyDSIGN d)

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.3.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.3.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.3.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.3.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.3.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.3.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.3.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.3.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.3.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.3.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 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.3.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.3.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.3.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.3.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.3.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.3.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.3.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)