Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Crypto.KES.Simple

Description

Mock key evolving signatures.

Documentation

data SimpleKES d (t ∷ Nat) Source #

Instances

Instances details

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 (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) #
Generic (UnsoundPureSignKeyKES (SimpleKES d t)) Source #
Instance details Defined in Cardano.Crypto.KES.Simple Associated Types type Rep (UnsoundPureSignKeyKES (SimpleKES d t)) ∷ Type → Type # Methods from ∷ UnsoundPureSignKeyKES (SimpleKES d t) → Rep (UnsoundPureSignKeyKES (SimpleKES d t)) x # to ∷ Rep (UnsoundPureSignKeyKES (SimpleKES d t)) x → UnsoundPureSignKeyKES (SimpleKES d t) #
Generic (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) #
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 #
(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 #
(DSIGNMAlgorithm d, Show (SignKeyDSIGNM d)) ⇒ Show (UnsoundPureSignKeyKES (SimpleKES d t)) Source #
Instance details Defined in Cardano.Crypto.KES.Simple Methods showsPrec ∷ Int → UnsoundPureSignKeyKES (SimpleKES d t) → ShowS # show ∷ UnsoundPureSignKeyKES (SimpleKES d t) → String # showList ∷ [UnsoundPureSignKeyKES (SimpleKES d t)] → ShowS #
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 #
(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, 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, 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, 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 #
(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 (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 #
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 (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 #
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 #
Eq (SignKeyDSIGN d) ⇒ Eq (UnsoundPureSignKeyKES (SimpleKES d t)) Source #
Instance details Defined in Cardano.Crypto.KES.Simple Methods (==) ∷ UnsoundPureSignKeyKES (SimpleKES d t) → UnsoundPureSignKeyKES (SimpleKES d t) → Bool # (/=) ∷ UnsoundPureSignKeyKES (SimpleKES d t) → UnsoundPureSignKeyKES (SimpleKES d t) → Bool #
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 #
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 #
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 (UnsoundPureSignKeyKES (SimpleKES d t)) Source #
Instance details Defined in Cardano.Crypto.KES.Simple Methods noThunks ∷ Context → UnsoundPureSignKeyKES (SimpleKES d t) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → UnsoundPureSignKeyKES (SimpleKES d t) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (UnsoundPureSignKeyKES (SimpleKES d t)) → String Source #
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, KnownNat t, KnownNat (SeedSizeDSIGN d * t), KnownNat (SizeVerKeyDSIGN d * t), KnownNat (SizeSignKeyDSIGN d * t)) ⇒ KESAlgorithm (SimpleKES d t) Source #
Instance details Defined in Cardano.Crypto.KES.Simple Associated Types data VerKeyKES (SimpleKES d t) Source # data SigKES (SimpleKES d t) Source # data SignKeyKES (SimpleKES d t) Source # type SeedSizeKES (SimpleKES d t) ∷ Nat Source # type SizeVerKeyKES (SimpleKES d t) ∷ Nat Source # type SizeSignKeyKES (SimpleKES d t) ∷ Nat Source # type SizeSigKES (SimpleKES d t) ∷ Nat Source # type ContextKES (SimpleKES d t) Source # type Signable (SimpleKES d t) ∷ Type → Constraint Source # Methods algorithmNameKES ∷ proxy (SimpleKES d t) → String Source # hashVerKeyKES ∷ HashAlgorithm h ⇒ VerKeyKES (SimpleKES d t) → Hash h (VerKeyKES (SimpleKES d t)) Source # verifyKES ∷ (Signable (SimpleKES d t) a, HasCallStack) ⇒ ContextKES (SimpleKES d t) → VerKeyKES (SimpleKES d t) → Period → a → SigKES (SimpleKES d t) → Either String () Source # totalPeriodsKES ∷ proxy (SimpleKES d t) → Word Source # rawSerialiseVerKeyKES ∷ VerKeyKES (SimpleKES d t) → ByteString Source # rawSerialiseSigKES ∷ SigKES (SimpleKES d t) → ByteString Source # rawDeserialiseVerKeyKES ∷ ByteString → Maybe (VerKeyKES (SimpleKES d t)) Source # rawDeserialiseSigKES ∷ ByteString → Maybe (SigKES (SimpleKES d t)) Source # deriveVerKeyKES ∷ (MonadST m, MonadThrow m) ⇒ SignKeyKES (SimpleKES d t) → m (VerKeyKES (SimpleKES d t)) Source # signKES ∷ (Signable (SimpleKES d t) a, MonadST m, MonadThrow m) ⇒ ContextKES (SimpleKES d t) → Period → a → SignKeyKES (SimpleKES d t) → m (SigKES (SimpleKES d t)) Source # updateKESWith ∷ (MonadST m, MonadThrow m) ⇒ MLockedAllocator m → ContextKES (SimpleKES d t) → SignKeyKES (SimpleKES d t) → Period → m (Maybe (SignKeyKES (SimpleKES d t))) Source # genKeyKESWith ∷ (MonadST m, MonadThrow m) ⇒ MLockedAllocator m → MLockedSeed (SeedSizeKES (SimpleKES d t)) → m (SignKeyKES (SimpleKES d t)) Source # forgetSignKeyKESWith ∷ (MonadST m, MonadThrow m) ⇒ MLockedAllocator m → SignKeyKES (SimpleKES d t) → m () Source #
(UnsoundDSIGNMAlgorithm d, KnownNat t, KESAlgorithm (SimpleKES d t)) ⇒ UnsoundKESAlgorithm (SimpleKES d t) Source #
Instance details Defined in Cardano.Crypto.KES.Simple Methods rawDeserialiseSignKeyKESWith ∷ (MonadST m, MonadThrow m) ⇒ MLockedAllocator m → ByteString → m (Maybe (SignKeyKES (SimpleKES d t))) Source # rawSerialiseSignKeyKES ∷ (MonadST m, MonadThrow m) ⇒ SignKeyKES (SimpleKES d t) → m ByteString Source #
(KESAlgorithm (SimpleKES d t), KnownNat t, DSIGNAlgorithm d, UnsoundDSIGNMAlgorithm d) ⇒ UnsoundPureKESAlgorithm (SimpleKES d t) Source #
Instance details Defined in Cardano.Crypto.KES.Simple Associated Types data UnsoundPureSignKeyKES (SimpleKES d t) Source # Methods unsoundPureSignKES ∷ Signable (SimpleKES d t) a ⇒ ContextKES (SimpleKES d t) → Period → a → UnsoundPureSignKeyKES (SimpleKES d t) → SigKES (SimpleKES d t) Source # unsoundPureUpdateKES ∷ ContextKES (SimpleKES d t) → UnsoundPureSignKeyKES (SimpleKES d t) → Period → Maybe (UnsoundPureSignKeyKES (SimpleKES d t)) Source # unsoundPureGenKeyKES ∷ Seed → UnsoundPureSignKeyKES (SimpleKES d t) Source # unsoundPureDeriveVerKeyKES ∷ UnsoundPureSignKeyKES (SimpleKES d t) → VerKeyKES (SimpleKES d t) Source # unsoundPureSignKeyKESToSoundSignKeyKES ∷ (MonadST m, MonadThrow m) ⇒ UnsoundPureSignKeyKES (SimpleKES d t) → m (SignKeyKES (SimpleKES d t)) Source # rawSerialiseUnsoundPureSignKeyKES ∷ UnsoundPureSignKeyKES (SimpleKES d t) → ByteString Source # rawDeserialiseUnsoundPureSignKeyKES ∷ ByteString → Maybe (UnsoundPureSignKeyKES (SimpleKES d t)) Source #
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.1-inplace" 'True) (C1 ('MetaCons "SigSimpleKES" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SigDSIGN d))))
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.1-inplace" 'True) (C1 ('MetaCons "ThunkySignKeySimpleKES" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Vector (SignKeyDSIGNM d)))))
type Rep (UnsoundPureSignKeyKES (SimpleKES d t)) Source #
Instance details Defined in Cardano.Crypto.KES.Simple type Rep (UnsoundPureSignKeyKES (SimpleKES d t)) = D1 ('MetaData "UnsoundPureSignKeyKES" "Cardano.Crypto.KES.Simple" "cardano-crypto-class-2.2.3.1-inplace" 'True) (C1 ('MetaCons "UnsoundPureThunkySignKeySimpleKES" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Vector (SignKeyDSIGN d)))))
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.1-inplace" 'True) (C1 ('MetaCons "ThunkyVerKeySimpleKES" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Vector (VerKeyDSIGN d)))))
type ContextKES (SimpleKES d t) Source #
Instance details Defined in Cardano.Crypto.KES.Simple type ContextKES (SimpleKES d t) = ContextDSIGN d
type SeedSizeKES (SimpleKES d t) Source #
Instance details Defined in Cardano.Crypto.KES.Simple type SeedSizeKES (SimpleKES d t) = SeedSizeDSIGN d * t
newtype SigKES (SimpleKES d t) Source #
Instance details Defined in Cardano.Crypto.KES.Simple newtype SigKES (SimpleKES d t) = SigSimpleKES (SigDSIGN d)
newtype SignKeyKES (SimpleKES d t) Source #
Instance details Defined in Cardano.Crypto.KES.Simple newtype SignKeyKES (SimpleKES d t) = ThunkySignKeySimpleKES (Vector (SignKeyDSIGNM d))
type Signable (SimpleKES d t) Source #
Instance details Defined in Cardano.Crypto.KES.Simple type Signable (SimpleKES d t) = Signable d
type SizeSigKES (SimpleKES d t) Source #
Instance details Defined in Cardano.Crypto.KES.Simple type SizeSigKES (SimpleKES d t) = SizeSigDSIGN d
type SizeSignKeyKES (SimpleKES d t) Source #
Instance details Defined in Cardano.Crypto.KES.Simple type SizeSignKeyKES (SimpleKES d t) = SizeSignKeyDSIGN d * t
type SizeVerKeyKES (SimpleKES d t) Source #
Instance details Defined in Cardano.Crypto.KES.Simple type SizeVerKeyKES (SimpleKES d t) = SizeVerKeyDSIGN d * t
newtype UnsoundPureSignKeyKES (SimpleKES d t) Source #
Instance details Defined in Cardano.Crypto.KES.Simple newtype UnsoundPureSignKeyKES (SimpleKES d t) = UnsoundPureThunkySignKeySimpleKES (Vector (SignKeyDSIGN d))
newtype VerKeyKES (SimpleKES d t) Source #
Instance details Defined in Cardano.Crypto.KES.Simple newtype VerKeyKES (SimpleKES d t) = ThunkyVerKeySimpleKES (Vector (VerKeyDSIGN 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)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSingle Methods rnf ∷ SigKES (CompactSingleKES d) → () #
(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) → () #
NFData (SigDSIGN d) ⇒ NFData (SigKES (SingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.Single Methods rnf ∷ SigKES (SingleKES d) → () #
(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) → () #
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.1-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.1-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.1-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.1-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.1-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.1-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.1-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)

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)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSingle Methods rnf ∷ SignKeyKES (CompactSingleKES d) → () #
(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) → () #
NFData (SignKeyDSIGNM d) ⇒ NFData (SignKeyKES (SingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.Single Methods rnf ∷ SignKeyKES (SingleKES d) → () #
(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) → () #
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.1-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.1-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.1-inplace" 'True) (C1 ('MetaCons "ThunkySignKeySimpleKES" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Vector (SignKeyDSIGNM d)))))
newtype SignKeyKES (CompactSingleKES d) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSingle newtype SignKeyKES (CompactSingleKES d) = SignKeyCompactSingleKES (SignKeyDSIGNM d)
data SignKeyKES (MockKES t) Source #
Instance details Defined in Cardano.Crypto.KES.Mock data SignKeyKES (MockKES t) = SignKeyMockKES !(VerKeyKES (MockKES t)) !Period
newtype SignKeyKES (SingleKES d) Source #
Instance details Defined in Cardano.Crypto.KES.Single newtype SignKeyKES (SingleKES d) = SignKeySingleKES (SignKeyDSIGNM d)
data SignKeyKES (CompactSumKES h d) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum data SignKeyKES (CompactSumKES h d) = SignKeyCompactSumKES !(SignKeyKES d) !(MLockedSeed (SeedSizeKES d)) !(VerKeyKES d) !(VerKeyKES d)
newtype SignKeyKES (SimpleKES d t) Source #
Instance details Defined in Cardano.Crypto.KES.Simple newtype SignKeyKES (SimpleKES d t) = ThunkySignKeySimpleKES (Vector (SignKeyDSIGNM d))
data SignKeyKES (SumKES h d) Source #
Instance details Defined in Cardano.Crypto.KES.Sum data SignKeyKES (SumKES h d) = SignKeySumKES !(SignKeyKES d) !(MLockedSeed (SeedSizeKES d)) !(VerKeyKES d) !(VerKeyKES d)

data family UnsoundPureSignKeyKES v ∷ Type Source #

Instances

Instances details

Generic (UnsoundPureSignKeyKES (CompactSingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSingle Associated Types type Rep (UnsoundPureSignKeyKES (CompactSingleKES d)) ∷ Type → Type # Methods from ∷ UnsoundPureSignKeyKES (CompactSingleKES d) → Rep (UnsoundPureSignKeyKES (CompactSingleKES d)) x # to ∷ Rep (UnsoundPureSignKeyKES (CompactSingleKES d)) x → UnsoundPureSignKeyKES (CompactSingleKES d) #
Generic (UnsoundPureSignKeyKES (CompactSumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum Associated Types type Rep (UnsoundPureSignKeyKES (CompactSumKES h d)) ∷ Type → Type # Methods from ∷ UnsoundPureSignKeyKES (CompactSumKES h d) → Rep (UnsoundPureSignKeyKES (CompactSumKES h d)) x # to ∷ Rep (UnsoundPureSignKeyKES (CompactSumKES h d)) x → UnsoundPureSignKeyKES (CompactSumKES h d) #
Generic (UnsoundPureSignKeyKES (MockKES t)) Source #
Instance details Defined in Cardano.Crypto.KES.Mock Associated Types type Rep (UnsoundPureSignKeyKES (MockKES t)) ∷ Type → Type # Methods from ∷ UnsoundPureSignKeyKES (MockKES t) → Rep (UnsoundPureSignKeyKES (MockKES t)) x # to ∷ Rep (UnsoundPureSignKeyKES (MockKES t)) x → UnsoundPureSignKeyKES (MockKES t) #
Generic (UnsoundPureSignKeyKES NeverKES) Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed Associated Types type Rep (UnsoundPureSignKeyKES NeverKES) ∷ Type → Type # Methods from ∷ UnsoundPureSignKeyKES NeverKES → Rep (UnsoundPureSignKeyKES NeverKES) x # to ∷ Rep (UnsoundPureSignKeyKES NeverKES) x → UnsoundPureSignKeyKES NeverKES #
Generic (UnsoundPureSignKeyKES (SimpleKES d t)) Source #
Instance details Defined in Cardano.Crypto.KES.Simple Associated Types type Rep (UnsoundPureSignKeyKES (SimpleKES d t)) ∷ Type → Type # Methods from ∷ UnsoundPureSignKeyKES (SimpleKES d t) → Rep (UnsoundPureSignKeyKES (SimpleKES d t)) x # to ∷ Rep (UnsoundPureSignKeyKES (SimpleKES d t)) x → UnsoundPureSignKeyKES (SimpleKES d t) #
Generic (UnsoundPureSignKeyKES (SingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.Single Associated Types type Rep (UnsoundPureSignKeyKES (SingleKES d)) ∷ Type → Type # Methods from ∷ UnsoundPureSignKeyKES (SingleKES d) → Rep (UnsoundPureSignKeyKES (SingleKES d)) x # to ∷ Rep (UnsoundPureSignKeyKES (SingleKES d)) x → UnsoundPureSignKeyKES (SingleKES d) #
Generic (UnsoundPureSignKeyKES (SumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.Sum Associated Types type Rep (UnsoundPureSignKeyKES (SumKES h d)) ∷ Type → Type # Methods from ∷ UnsoundPureSignKeyKES (SumKES h d) → Rep (UnsoundPureSignKeyKES (SumKES h d)) x # to ∷ Rep (UnsoundPureSignKeyKES (SumKES h d)) x → UnsoundPureSignKeyKES (SumKES h d) #
DSIGNAlgorithm d ⇒ Show (UnsoundPureSignKeyKES (CompactSingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSingle Methods showsPrec ∷ Int → UnsoundPureSignKeyKES (CompactSingleKES d) → ShowS # show ∷ UnsoundPureSignKeyKES (CompactSingleKES d) → String # showList ∷ [UnsoundPureSignKeyKES (CompactSingleKES d)] → ShowS #
(KESAlgorithm d, Show (UnsoundPureSignKeyKES d)) ⇒ Show (UnsoundPureSignKeyKES (CompactSumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum Methods showsPrec ∷ Int → UnsoundPureSignKeyKES (CompactSumKES h d) → ShowS # show ∷ UnsoundPureSignKeyKES (CompactSumKES h d) → String # showList ∷ [UnsoundPureSignKeyKES (CompactSumKES h d)] → ShowS #
Show (UnsoundPureSignKeyKES (MockKES t)) Source #
Instance details Defined in Cardano.Crypto.KES.Mock Methods showsPrec ∷ Int → UnsoundPureSignKeyKES (MockKES t) → ShowS # show ∷ UnsoundPureSignKeyKES (MockKES t) → String # showList ∷ [UnsoundPureSignKeyKES (MockKES t)] → ShowS #
Show (UnsoundPureSignKeyKES NeverKES) Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed Methods showsPrec ∷ Int → UnsoundPureSignKeyKES NeverKES → ShowS # show ∷ UnsoundPureSignKeyKES NeverKES → String # showList ∷ [UnsoundPureSignKeyKES NeverKES] → ShowS #
(DSIGNMAlgorithm d, Show (SignKeyDSIGNM d)) ⇒ Show (UnsoundPureSignKeyKES (SimpleKES d t)) Source #
Instance details Defined in Cardano.Crypto.KES.Simple Methods showsPrec ∷ Int → UnsoundPureSignKeyKES (SimpleKES d t) → ShowS # show ∷ UnsoundPureSignKeyKES (SimpleKES d t) → String # showList ∷ [UnsoundPureSignKeyKES (SimpleKES d t)] → ShowS #
DSIGNAlgorithm d ⇒ Show (UnsoundPureSignKeyKES (SingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.Single Methods showsPrec ∷ Int → UnsoundPureSignKeyKES (SingleKES d) → ShowS # show ∷ UnsoundPureSignKeyKES (SingleKES d) → String # showList ∷ [UnsoundPureSignKeyKES (SingleKES d)] → ShowS #
(KESAlgorithm d, Show (UnsoundPureSignKeyKES d)) ⇒ Show (UnsoundPureSignKeyKES (SumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.Sum Methods showsPrec ∷ Int → UnsoundPureSignKeyKES (SumKES h d) → ShowS # show ∷ UnsoundPureSignKeyKES (SumKES h d) → String # showList ∷ [UnsoundPureSignKeyKES (SumKES h d)] → ShowS #
(UnsoundDSIGNMAlgorithm d, KnownNat (SizeSigDSIGN d + SizeVerKeyDSIGN d)) ⇒ FromCBOR (UnsoundPureSignKeyKES (CompactSingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSingle Methods fromCBOR ∷ Decoder s (UnsoundPureSignKeyKES (CompactSingleKES d)) Source # label ∷ Proxy (UnsoundPureSignKeyKES (CompactSingleKES d)) → Text Source #
(SizeHash h ~ SeedSizeKES d, OptimizedKESAlgorithm d, UnsoundPureKESAlgorithm d, SodiumHashAlgorithm h, KnownNat (SizeVerKeyKES (CompactSumKES h d)), KnownNat (SizeSignKeyKES (CompactSumKES h d)), KnownNat (SizeSigKES (CompactSumKES h d))) ⇒ FromCBOR (UnsoundPureSignKeyKES (CompactSumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum Methods fromCBOR ∷ Decoder s (UnsoundPureSignKeyKES (CompactSumKES h d)) Source # label ∷ Proxy (UnsoundPureSignKeyKES (CompactSumKES h d)) → Text Source #
KnownNat t ⇒ FromCBOR (UnsoundPureSignKeyKES (MockKES t)) Source #
Instance details Defined in Cardano.Crypto.KES.Mock Methods fromCBOR ∷ Decoder s (UnsoundPureSignKeyKES (MockKES t)) Source # label ∷ Proxy (UnsoundPureSignKeyKES (MockKES t)) → Text Source #
UnsoundDSIGNMAlgorithm d ⇒ FromCBOR (UnsoundPureSignKeyKES (SingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.Single Methods fromCBOR ∷ Decoder s (UnsoundPureSignKeyKES (SingleKES d)) Source # label ∷ Proxy (UnsoundPureSignKeyKES (SingleKES d)) → Text Source #
(SizeHash h ~ SeedSizeKES d, UnsoundPureKESAlgorithm d, SodiumHashAlgorithm h, KnownNat (SizeVerKeyKES (SumKES h d)), KnownNat (SizeSignKeyKES (SumKES h d)), KnownNat (SizeSigKES (SumKES h d))) ⇒ FromCBOR (UnsoundPureSignKeyKES (SumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.Sum Methods fromCBOR ∷ Decoder s (UnsoundPureSignKeyKES (SumKES h d)) Source # label ∷ Proxy (UnsoundPureSignKeyKES (SumKES h d)) → Text Source #
(UnsoundDSIGNMAlgorithm d, KnownNat (SizeSigDSIGN d + SizeVerKeyDSIGN d)) ⇒ ToCBOR (UnsoundPureSignKeyKES (CompactSingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSingle Methods toCBOR ∷ UnsoundPureSignKeyKES (CompactSingleKES d) → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (UnsoundPureSignKeyKES (CompactSingleKES d)) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [UnsoundPureSignKeyKES (CompactSingleKES d)] → Size Source #
(SizeHash h ~ SeedSizeKES d, OptimizedKESAlgorithm d, UnsoundPureKESAlgorithm d, SodiumHashAlgorithm h, KnownNat (SizeVerKeyKES (CompactSumKES h d)), KnownNat (SizeSignKeyKES (CompactSumKES h d)), KnownNat (SizeSigKES (CompactSumKES h d))) ⇒ ToCBOR (UnsoundPureSignKeyKES (CompactSumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum Methods toCBOR ∷ UnsoundPureSignKeyKES (CompactSumKES h d) → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (UnsoundPureSignKeyKES (CompactSumKES h d)) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [UnsoundPureSignKeyKES (CompactSumKES h d)] → Size Source #
KnownNat t ⇒ ToCBOR (UnsoundPureSignKeyKES (MockKES t)) Source #
Instance details Defined in Cardano.Crypto.KES.Mock Methods toCBOR ∷ UnsoundPureSignKeyKES (MockKES t) → Encoding Source # encodedSizeExpr ∷ (∀ t0. ToCBOR t0 ⇒ Proxy t0 → Size) → Proxy (UnsoundPureSignKeyKES (MockKES t)) → Size Source # encodedListSizeExpr ∷ (∀ t0. ToCBOR t0 ⇒ Proxy t0 → Size) → Proxy [UnsoundPureSignKeyKES (MockKES t)] → Size Source #
UnsoundDSIGNMAlgorithm d ⇒ ToCBOR (UnsoundPureSignKeyKES (SingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.Single Methods toCBOR ∷ UnsoundPureSignKeyKES (SingleKES d) → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (UnsoundPureSignKeyKES (SingleKES d)) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [UnsoundPureSignKeyKES (SingleKES d)] → Size Source #
(SizeHash h ~ SeedSizeKES d, UnsoundPureKESAlgorithm d, SodiumHashAlgorithm h, KnownNat (SizeVerKeyKES (SumKES h d)), KnownNat (SizeSignKeyKES (SumKES h d)), KnownNat (SizeSigKES (SumKES h d))) ⇒ ToCBOR (UnsoundPureSignKeyKES (SumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.Sum Methods toCBOR ∷ UnsoundPureSignKeyKES (SumKES h d) → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (UnsoundPureSignKeyKES (SumKES h d)) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [UnsoundPureSignKeyKES (SumKES h d)] → Size Source #
(DSIGNAlgorithm d, Eq (SignKeyDSIGN d)) ⇒ Eq (UnsoundPureSignKeyKES (CompactSingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSingle Methods (==) ∷ UnsoundPureSignKeyKES (CompactSingleKES d) → UnsoundPureSignKeyKES (CompactSingleKES d) → Bool # (/=) ∷ UnsoundPureSignKeyKES (CompactSingleKES d) → UnsoundPureSignKeyKES (CompactSingleKES d) → Bool #
(KESAlgorithm d, Eq (UnsoundPureSignKeyKES d)) ⇒ Eq (UnsoundPureSignKeyKES (CompactSumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum Methods (==) ∷ UnsoundPureSignKeyKES (CompactSumKES h d) → UnsoundPureSignKeyKES (CompactSumKES h d) → Bool # (/=) ∷ UnsoundPureSignKeyKES (CompactSumKES h d) → UnsoundPureSignKeyKES (CompactSumKES h d) → Bool #
Eq (UnsoundPureSignKeyKES (MockKES t)) Source #
Instance details Defined in Cardano.Crypto.KES.Mock Methods (==) ∷ UnsoundPureSignKeyKES (MockKES t) → UnsoundPureSignKeyKES (MockKES t) → Bool # (/=) ∷ UnsoundPureSignKeyKES (MockKES t) → UnsoundPureSignKeyKES (MockKES t) → Bool #
Eq (UnsoundPureSignKeyKES NeverKES) Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed Methods (==) ∷ UnsoundPureSignKeyKES NeverKES → UnsoundPureSignKeyKES NeverKES → Bool # (/=) ∷ UnsoundPureSignKeyKES NeverKES → UnsoundPureSignKeyKES NeverKES → Bool #
Eq (SignKeyDSIGN d) ⇒ Eq (UnsoundPureSignKeyKES (SimpleKES d t)) Source #
Instance details Defined in Cardano.Crypto.KES.Simple Methods (==) ∷ UnsoundPureSignKeyKES (SimpleKES d t) → UnsoundPureSignKeyKES (SimpleKES d t) → Bool # (/=) ∷ UnsoundPureSignKeyKES (SimpleKES d t) → UnsoundPureSignKeyKES (SimpleKES d t) → Bool #
Eq (SignKeyDSIGN d) ⇒ Eq (UnsoundPureSignKeyKES (SingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.Single Methods (==) ∷ UnsoundPureSignKeyKES (SingleKES d) → UnsoundPureSignKeyKES (SingleKES d) → Bool # (/=) ∷ UnsoundPureSignKeyKES (SingleKES d) → UnsoundPureSignKeyKES (SingleKES d) → Bool #
(KESAlgorithm d, Eq (UnsoundPureSignKeyKES d)) ⇒ Eq (UnsoundPureSignKeyKES (SumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.Sum Methods (==) ∷ UnsoundPureSignKeyKES (SumKES h d) → UnsoundPureSignKeyKES (SumKES h d) → Bool # (/=) ∷ UnsoundPureSignKeyKES (SumKES h d) → UnsoundPureSignKeyKES (SumKES h d) → Bool #
DSIGNAlgorithm d ⇒ NoThunks (UnsoundPureSignKeyKES (CompactSingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSingle Methods noThunks ∷ Context → UnsoundPureSignKeyKES (CompactSingleKES d) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → UnsoundPureSignKeyKES (CompactSingleKES d) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (UnsoundPureSignKeyKES (CompactSingleKES d)) → String Source #
(NoThunks (UnsoundPureSignKeyKES d), KESAlgorithm d) ⇒ NoThunks (UnsoundPureSignKeyKES (CompactSumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum Methods noThunks ∷ Context → UnsoundPureSignKeyKES (CompactSumKES h d) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → UnsoundPureSignKeyKES (CompactSumKES h d) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (UnsoundPureSignKeyKES (CompactSumKES h d)) → String Source #
NoThunks (UnsoundPureSignKeyKES (MockKES t)) Source #
Instance details Defined in Cardano.Crypto.KES.Mock Methods noThunks ∷ Context → UnsoundPureSignKeyKES (MockKES t) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → UnsoundPureSignKeyKES (MockKES t) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (UnsoundPureSignKeyKES (MockKES t)) → String Source #
NoThunks (UnsoundPureSignKeyKES NeverKES) Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed Methods noThunks ∷ Context → UnsoundPureSignKeyKES NeverKES → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → UnsoundPureSignKeyKES NeverKES → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (UnsoundPureSignKeyKES NeverKES) → String Source #
DSIGNMAlgorithm d ⇒ NoThunks (UnsoundPureSignKeyKES (SimpleKES d t)) Source #
Instance details Defined in Cardano.Crypto.KES.Simple Methods noThunks ∷ Context → UnsoundPureSignKeyKES (SimpleKES d t) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → UnsoundPureSignKeyKES (SimpleKES d t) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (UnsoundPureSignKeyKES (SimpleKES d t)) → String Source #
DSIGNAlgorithm d ⇒ NoThunks (UnsoundPureSignKeyKES (SingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.Single Methods noThunks ∷ Context → UnsoundPureSignKeyKES (SingleKES d) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → UnsoundPureSignKeyKES (SingleKES d) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (UnsoundPureSignKeyKES (SingleKES d)) → String Source #
(NoThunks (UnsoundPureSignKeyKES d), KESAlgorithm d) ⇒ NoThunks (UnsoundPureSignKeyKES (SumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.Sum Methods noThunks ∷ Context → UnsoundPureSignKeyKES (SumKES h d) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → UnsoundPureSignKeyKES (SumKES h d) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (UnsoundPureSignKeyKES (SumKES h d)) → String Source #
data UnsoundPureSignKeyKES NeverKES Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed data UnsoundPureSignKeyKES NeverKES = NeverUsedUnsoundPureSignKeyKES
type Rep (UnsoundPureSignKeyKES (CompactSingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSingle type Rep (UnsoundPureSignKeyKES (CompactSingleKES d)) = D1 ('MetaData "UnsoundPureSignKeyKES" "Cardano.Crypto.KES.CompactSingle" "cardano-crypto-class-2.2.3.1-inplace" 'False) (C1 ('MetaCons "UnsoundPureSignKeyCompactSingleKES" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SignKeyDSIGN d))))
type Rep (UnsoundPureSignKeyKES (CompactSumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum type Rep (UnsoundPureSignKeyKES (CompactSumKES h d)) = D1 ('MetaData "UnsoundPureSignKeyKES" "Cardano.Crypto.KES.CompactSum" "cardano-crypto-class-2.2.3.1-inplace" 'False) (C1 ('MetaCons "UnsoundPureSignKeyCompactSumKES" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (UnsoundPureSignKeyKES d)) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Seed)) :: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VerKeyKES d)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VerKeyKES d)))))
type Rep (UnsoundPureSignKeyKES (MockKES t)) Source #
Instance details Defined in Cardano.Crypto.KES.Mock type Rep (UnsoundPureSignKeyKES (MockKES t)) = D1 ('MetaData "UnsoundPureSignKeyKES" "Cardano.Crypto.KES.Mock" "cardano-crypto-class-2.2.3.1-inplace" 'False) (C1 ('MetaCons "UnsoundPureSignKeyMockKES" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VerKeyKES (MockKES t))) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Period)))
type Rep (UnsoundPureSignKeyKES NeverKES) Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed type Rep (UnsoundPureSignKeyKES NeverKES) = D1 ('MetaData "UnsoundPureSignKeyKES" "Cardano.Crypto.KES.NeverUsed" "cardano-crypto-class-2.2.3.1-inplace" 'False) (C1 ('MetaCons "NeverUsedUnsoundPureSignKeyKES" 'PrefixI 'False) (U1 ∷ Type → Type))
type Rep (UnsoundPureSignKeyKES (SimpleKES d t)) Source #
Instance details Defined in Cardano.Crypto.KES.Simple type Rep (UnsoundPureSignKeyKES (SimpleKES d t)) = D1 ('MetaData "UnsoundPureSignKeyKES" "Cardano.Crypto.KES.Simple" "cardano-crypto-class-2.2.3.1-inplace" 'True) (C1 ('MetaCons "UnsoundPureThunkySignKeySimpleKES" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Vector (SignKeyDSIGN d)))))
type Rep (UnsoundPureSignKeyKES (SingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.Single type Rep (UnsoundPureSignKeyKES (SingleKES d)) = D1 ('MetaData "UnsoundPureSignKeyKES" "Cardano.Crypto.KES.Single" "cardano-crypto-class-2.2.3.1-inplace" 'True) (C1 ('MetaCons "UnsoundPureSignKeySingleKES" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SignKeyDSIGN d))))
type Rep (UnsoundPureSignKeyKES (SumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.Sum type Rep (UnsoundPureSignKeyKES (SumKES h d)) = D1 ('MetaData "UnsoundPureSignKeyKES" "Cardano.Crypto.KES.Sum" "cardano-crypto-class-2.2.3.1-inplace" 'False) (C1 ('MetaCons "UnsoundPureSignKeySumKES" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (UnsoundPureSignKeyKES d)) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Seed)) :: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VerKeyKES d)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VerKeyKES d)))))
data UnsoundPureSignKeyKES (CompactSingleKES d) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSingle data UnsoundPureSignKeyKES (CompactSingleKES d) = UnsoundPureSignKeyCompactSingleKES (SignKeyDSIGN d)
data UnsoundPureSignKeyKES (MockKES t) Source #
Instance details Defined in Cardano.Crypto.KES.Mock data UnsoundPureSignKeyKES (MockKES t) = UnsoundPureSignKeyMockKES !(VerKeyKES (MockKES t)) !Period
newtype UnsoundPureSignKeyKES (SingleKES d) Source #
Instance details Defined in Cardano.Crypto.KES.Single newtype UnsoundPureSignKeyKES (SingleKES d) = UnsoundPureSignKeySingleKES (SignKeyDSIGN d)
data UnsoundPureSignKeyKES (CompactSumKES h d) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum data UnsoundPureSignKeyKES (CompactSumKES h d) = UnsoundPureSignKeyCompactSumKES !(UnsoundPureSignKeyKES d) !Seed !(VerKeyKES d) !(VerKeyKES d)
newtype UnsoundPureSignKeyKES (SimpleKES d t) Source #
Instance details Defined in Cardano.Crypto.KES.Simple newtype UnsoundPureSignKeyKES (SimpleKES d t) = UnsoundPureThunkySignKeySimpleKES (Vector (SignKeyDSIGN d))
data UnsoundPureSignKeyKES (SumKES h d) Source #
Instance details Defined in Cardano.Crypto.KES.Sum data UnsoundPureSignKeyKES (SumKES h d) = UnsoundPureSignKeySumKES !(UnsoundPureSignKeyKES d) !Seed !(VerKeyKES d) !(VerKeyKES d)