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

Cardano.Crypto.KES.Single

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 SingleKES that turns any DSIGNMAlgorithm into an instance of KESAlgorithm with a single period.

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

Synopsis

Documentation

data SingleKES d Source #

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

Instances

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

Defined in Cardano.Crypto.KES.Single

Associated Types

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

Methods

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

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

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

Defined in Cardano.Crypto.KES.Single

Associated Types

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

Methods

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

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

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

Defined in Cardano.Crypto.KES.Single

Associated Types

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

Methods

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

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

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

Defined in Cardano.Crypto.KES.Single

Methods

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

show ∷ SigKES (SingleKES d) → String Source #

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

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

Defined in Cardano.Crypto.KES.Single

Methods

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

show ∷ UnsoundPureSignKeyKES (SingleKES d) → String Source #

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

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

Defined in Cardano.Crypto.KES.Single

Methods

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

show ∷ VerKeyKES (SingleKES d) → String Source #

showList ∷ [VerKeyKES (SingleKES d)] → ShowS 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 #

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 #

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 #

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 #

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 #

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 #

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

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

DSIGNMAlgorithm d ⇒ KESAlgorithm (SingleKES d) Source # 
Instance details

Defined in Cardano.Crypto.KES.Single

Associated Types

data VerKeyKES (SingleKES d) Source #

data SigKES (SingleKES d) Source #

data SignKeyKES (SingleKES d) Source #

type SeedSizeKES (SingleKES d) ∷ Nat Source #

type SizeVerKeyKES (SingleKES d) ∷ Nat Source #

type SizeSignKeyKES (SingleKES d) ∷ Nat Source #

type SizeSigKES (SingleKES d) ∷ Nat Source #

type ContextKES (SingleKES d) Source #

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

Methods

algorithmNameKES ∷ proxy (SingleKES d) → String Source #

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

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

totalPeriodsKES ∷ proxy (SingleKES d) → Word Source #

rawSerialiseVerKeyKES ∷ VerKeyKES (SingleKES d) → ByteString Source #

rawSerialiseSigKES ∷ SigKES (SingleKES d) → ByteString Source #

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

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

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

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

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

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

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

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

Defined in Cardano.Crypto.KES.Single

Methods

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

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

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

Defined in Cardano.Crypto.KES.Single

Associated Types

data UnsoundPureSignKeyKES (SingleKES d) Source #

Methods

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

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

unsoundPureGenKeyKES ∷ Seed → UnsoundPureSignKeyKES (SingleKES d) Source #

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

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

rawSerialiseUnsoundPureSignKeyKES ∷ UnsoundPureSignKeyKES (SingleKES d) → ByteString Source #

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

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

Defined in Cardano.Crypto.KES.Single

Methods

rnf ∷ SigKES (SingleKES d) → () Source #

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

Defined in Cardano.Crypto.KES.Single

Methods

rnf ∷ SignKeyKES (SingleKES d) → () Source #

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

Defined in Cardano.Crypto.KES.Single

Methods

rnf ∷ VerKeyKES (SingleKES d) → () Source #

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

Defined in Cardano.Crypto.KES.Single

Methods

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

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

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

Defined in Cardano.Crypto.KES.Single

Methods

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

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

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

Defined in Cardano.Crypto.KES.Single

Methods

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

(/=) ∷ VerKeyKES (SingleKES d) → VerKeyKES (SingleKES d) → Bool 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 #

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 #

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 #

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 #

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.0.0-inplace" 'True) (C1 ('MetaCons "SigSingleKES" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SigDSIGN 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.0.0-inplace" 'True) (C1 ('MetaCons "UnsoundPureSignKeySingleKES" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SignKeyDSIGN 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.0.0-inplace" 'True) (C1 ('MetaCons "VerKeySingleKES" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (VerKeyDSIGN d))))
type ContextKES (SingleKES d) Source # 
Instance details

Defined in Cardano.Crypto.KES.Single

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

Defined in Cardano.Crypto.KES.Single

type SeedSizeKES (SingleKES d) = SeedSizeDSIGN d
newtype SigKES (SingleKES d) Source # 
Instance details

Defined in Cardano.Crypto.KES.Single

newtype SigKES (SingleKES d) = SigSingleKES (SigDSIGN d)
newtype SignKeyKES (SingleKES d) Source # 
Instance details

Defined in Cardano.Crypto.KES.Single

newtype SignKeyKES (SingleKES d) = SignKeySingleKES (SignKeyDSIGNM d)
type Signable (SingleKES d) Source # 
Instance details

Defined in Cardano.Crypto.KES.Single

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

Defined in Cardano.Crypto.KES.Single

type SizeSigKES (SingleKES d) = SizeSigDSIGN d
type SizeSignKeyKES (SingleKES d) Source # 
Instance details

Defined in Cardano.Crypto.KES.Single

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

Defined in Cardano.Crypto.KES.Single

type SizeVerKeyKES (SingleKES d) = SizeVerKeyDSIGN d
newtype UnsoundPureSignKeyKES (SingleKES d) Source # 
Instance details

Defined in Cardano.Crypto.KES.Single

newtype UnsoundPureSignKeyKES (SingleKES d) = UnsoundPureSignKeySingleKES (SignKeyDSIGN d)
newtype VerKeyKES (SingleKES d) Source # 
Instance details

Defined in Cardano.Crypto.KES.Single

newtype VerKeyKES (SingleKES d) = VerKeySingleKES (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 Source #

Methods

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

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

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

Defined in Cardano.Crypto.KES.CompactSum

Associated Types

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

Methods

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

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

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

Defined in Cardano.Crypto.KES.Mock

Associated Types

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

Methods

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

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

Generic (VerKeyKES NeverKES) Source # 
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

Associated Types

type Rep (VerKeyKES NeverKES) ∷ Type → Type Source #

Methods

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

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

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

Defined in Cardano.Crypto.KES.Simple

Associated Types

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

Methods

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

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

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

Defined in Cardano.Crypto.KES.Single

Associated Types

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

Methods

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

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

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

Defined in Cardano.Crypto.KES.Sum

Associated Types

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

Methods

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

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

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

Defined in Cardano.Crypto.KES.CompactSingle

Methods

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

show ∷ VerKeyKES (CompactSingleKES d) → String Source #

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

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

Defined in Cardano.Crypto.KES.CompactSum

Methods

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

show ∷ VerKeyKES (CompactSumKES h d) → String Source #

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

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

Defined in Cardano.Crypto.KES.Mock

Methods

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

show ∷ VerKeyKES (MockKES t) → String Source #

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

Show (VerKeyKES NeverKES) Source # 
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

Methods

showsPrec ∷ Int → VerKeyKES NeverKES → ShowS Source #

show ∷ VerKeyKES NeverKES → String Source #

showList ∷ [VerKeyKES NeverKES] → ShowS Source #

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

Defined in Cardano.Crypto.KES.Simple

Methods

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

show ∷ VerKeyKES (SimpleKES d t) → String Source #

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

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

Defined in Cardano.Crypto.KES.Single

Methods

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

show ∷ VerKeyKES (SingleKES d) → String Source #

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

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

Defined in Cardano.Crypto.KES.Sum

Methods

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

show ∷ VerKeyKES (SumKES h d) → String Source #

showList ∷ [VerKeyKES (SumKES h d)] → ShowS 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 #

(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)) Source # 
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

Methods

rnf ∷ VerKeyKES (CompactSingleKES d) → () Source #

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

Defined in Cardano.Crypto.KES.CompactSum

Methods

rnf ∷ VerKeyKES (CompactSumKES h d) → () Source #

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

Defined in Cardano.Crypto.KES.Single

Methods

rnf ∷ VerKeyKES (SingleKES d) → () Source #

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

Defined in Cardano.Crypto.KES.Sum

Methods

rnf ∷ VerKeyKES (SumKES h d) → () Source #

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

Defined in Cardano.Crypto.KES.CompactSingle

Methods

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

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

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

Defined in Cardano.Crypto.KES.CompactSum

Methods

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

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

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

Defined in Cardano.Crypto.KES.Mock

Methods

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

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

Eq (VerKeyKES NeverKES) Source # 
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

Methods

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

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

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

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

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

Defined in Cardano.Crypto.KES.Single

Methods

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

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

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

Defined in Cardano.Crypto.KES.Sum

Methods

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

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

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

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

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

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

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

max ∷ VerKeyKES v → VerKeyKES v → VerKeyKES v Source #

min ∷ VerKeyKES v → VerKeyKES v → VerKeyKES v 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 #

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.0.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.0.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.0.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.0.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.0.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.0.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.0.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 Source #

Methods

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

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

Generic (SignKeyKES NeverKES) Source # 
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

Associated Types

type Rep (SignKeyKES NeverKES) ∷ Type → Type Source #

Methods

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

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

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

Defined in Cardano.Crypto.KES.Simple

Associated Types

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

Methods

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

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

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

Defined in Cardano.Crypto.KES.Mock

Methods

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

show ∷ SignKeyKES (MockKES t) → String Source #

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

Show (SignKeyKES NeverKES) Source # 
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

Methods

showsPrec ∷ Int → SignKeyKES NeverKES → ShowS Source #

show ∷ SignKeyKES NeverKES → String Source #

showList ∷ [SignKeyKES NeverKES] → ShowS Source #

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

show ∷ SignKeyKES (SimpleKES d t) → String Source #

showList ∷ [SignKeyKES (SimpleKES d t)] → ShowS 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 (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)) Source # 
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

Methods

rnf ∷ SignKeyKES (CompactSingleKES d) → () Source #

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

Defined in Cardano.Crypto.KES.CompactSum

Methods

rnf ∷ SignKeyKES (CompactSumKES h d) → () Source #

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

Defined in Cardano.Crypto.KES.Single

Methods

rnf ∷ SignKeyKES (SingleKES d) → () Source #

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

Defined in Cardano.Crypto.KES.Sum

Methods

rnf ∷ SignKeyKES (SumKES h d) → () Source #

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

Defined in Cardano.Crypto.KES.Mock

Methods

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

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

Eq (SignKeyKES NeverKES) Source # 
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

Methods

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

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

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

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

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

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

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

max ∷ SignKeyKES v → SignKeyKES v → SignKeyKES v Source #

min ∷ SignKeyKES v → SignKeyKES v → SignKeyKES v 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 #

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.0.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.0.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.0.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 Source #

Methods

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

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

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

Defined in Cardano.Crypto.KES.CompactSum

Associated Types

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

Methods

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

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

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

Defined in Cardano.Crypto.KES.Mock

Associated Types

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

Methods

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

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

Generic (SigKES NeverKES) Source # 
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

Associated Types

type Rep (SigKES NeverKES) ∷ Type → Type Source #

Methods

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

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

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

Defined in Cardano.Crypto.KES.Simple

Associated Types

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

Methods

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

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

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

Defined in Cardano.Crypto.KES.Single

Associated Types

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

Methods

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

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

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

Defined in Cardano.Crypto.KES.Sum

Associated Types

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

Methods

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

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

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

Defined in Cardano.Crypto.KES.CompactSingle

Methods

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

show ∷ SigKES (CompactSingleKES d) → String Source #

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

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

Defined in Cardano.Crypto.KES.CompactSum

Methods

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

show ∷ SigKES (CompactSumKES h d) → String Source #

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

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

Defined in Cardano.Crypto.KES.Mock

Methods

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

show ∷ SigKES (MockKES t) → String Source #

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

Show (SigKES NeverKES) Source # 
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

Methods

showsPrec ∷ Int → SigKES NeverKES → ShowS Source #

show ∷ SigKES NeverKES → String Source #

showList ∷ [SigKES NeverKES] → ShowS Source #

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

Defined in Cardano.Crypto.KES.Simple

Methods

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

show ∷ SigKES (SimpleKES d t) → String Source #

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

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

Defined in Cardano.Crypto.KES.Single

Methods

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

show ∷ SigKES (SingleKES d) → String Source #

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

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

show ∷ SigKES (SumKES h d) → String Source #

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

(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)) Source # 
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

Methods

rnf ∷ SigKES (CompactSingleKES d) → () Source #

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

Defined in Cardano.Crypto.KES.CompactSum

Methods

rnf ∷ SigKES (CompactSumKES h d) → () Source #

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

Defined in Cardano.Crypto.KES.Single

Methods

rnf ∷ SigKES (SingleKES d) → () Source #

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

Defined in Cardano.Crypto.KES.Sum

Methods

rnf ∷ SigKES (SumKES h d) → () Source #

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

Defined in Cardano.Crypto.KES.CompactSingle

Methods

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

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

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

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

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

Defined in Cardano.Crypto.KES.Mock

Methods

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

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

Eq (SigKES NeverKES) Source # 
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

Methods

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

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

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

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

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

Defined in Cardano.Crypto.KES.Single

Methods

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

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

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

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

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