Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Crypto.KES.NeverUsed

Synopsis

data NeverKES
data family VerKeyKES v ∷ Type
data family SignKeyKES v ∷ Type
data family SigKES v ∷ Type

Documentation

data NeverKES Source #

KES never used

The type of keys and signatures is isomorphic to unit, but when actually trying to sign or verify something a runtime exception will be thrown.

Instances

Instances details

KESAlgorithm NeverKES Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed Associated Types data VerKeyKES NeverKES Source # data SigKES NeverKES Source # data SignKeyKES NeverKES Source # type SeedSizeKES NeverKES ∷ Nat Source # type SizeVerKeyKES NeverKES ∷ Nat Source # type SizeSignKeyKES NeverKES ∷ Nat Source # type SizeSigKES NeverKES ∷ Nat Source # type ContextKES NeverKES Source # type Signable NeverKES ∷ Type → Constraint Source # Methods algorithmNameKES ∷ proxy NeverKES → String Source # hashVerKeyKES ∷ HashAlgorithm h ⇒ VerKeyKES NeverKES → Hash h (VerKeyKES NeverKES) Source # verifyKES ∷ (Signable NeverKES a, HasCallStack) ⇒ ContextKES NeverKES → VerKeyKES NeverKES → Period → a → SigKES NeverKES → Either String () Source # totalPeriodsKES ∷ proxy NeverKES → Word Source # rawSerialiseVerKeyKES ∷ VerKeyKES NeverKES → ByteString Source # rawSerialiseSigKES ∷ SigKES NeverKES → ByteString Source # rawDeserialiseVerKeyKES ∷ ByteString → Maybe (VerKeyKES NeverKES) Source # rawDeserialiseSigKES ∷ ByteString → Maybe (SigKES NeverKES) Source # deriveVerKeyKES ∷ (MonadST m, MonadThrow m) ⇒ SignKeyKES NeverKES → m (VerKeyKES NeverKES) Source # signKES ∷ (Signable NeverKES a, MonadST m, MonadThrow m) ⇒ ContextKES NeverKES → Period → a → SignKeyKES NeverKES → m (SigKES NeverKES) Source # updateKESWith ∷ (MonadST m, MonadThrow m) ⇒ MLockedAllocator m → ContextKES NeverKES → SignKeyKES NeverKES → Period → m (Maybe (SignKeyKES NeverKES)) Source # genKeyKESWith ∷ (MonadST m, MonadThrow m) ⇒ MLockedAllocator m → MLockedSeed (SeedSizeKES NeverKES) → m (SignKeyKES NeverKES) Source # forgetSignKeyKESWith ∷ (MonadST m, MonadThrow m) ⇒ MLockedAllocator m → SignKeyKES NeverKES → m () Source #
UnsoundKESAlgorithm NeverKES Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed Methods rawDeserialiseSignKeyKESWith ∷ (MonadST m, MonadThrow m) ⇒ MLockedAllocator m → ByteString → m (Maybe (SignKeyKES NeverKES)) Source # rawSerialiseSignKeyKES ∷ (MonadST m, MonadThrow m) ⇒ SignKeyKES NeverKES → m ByteString Source #
UnsoundPureKESAlgorithm NeverKES Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed Associated Types data UnsoundPureSignKeyKES NeverKES Source # Methods unsoundPureSignKES ∷ Signable NeverKES a ⇒ ContextKES NeverKES → Period → a → UnsoundPureSignKeyKES NeverKES → SigKES NeverKES Source # unsoundPureUpdateKES ∷ ContextKES NeverKES → UnsoundPureSignKeyKES NeverKES → Period → Maybe (UnsoundPureSignKeyKES NeverKES) Source # unsoundPureGenKeyKES ∷ Seed → UnsoundPureSignKeyKES NeverKES Source # unsoundPureDeriveVerKeyKES ∷ UnsoundPureSignKeyKES NeverKES → VerKeyKES NeverKES Source # unsoundPureSignKeyKESToSoundSignKeyKES ∷ (MonadST m, MonadThrow m) ⇒ UnsoundPureSignKeyKES NeverKES → m (SignKeyKES NeverKES) Source # rawSerialiseUnsoundPureSignKeyKES ∷ UnsoundPureSignKeyKES NeverKES → ByteString Source # rawDeserialiseUnsoundPureSignKeyKES ∷ ByteString → Maybe (UnsoundPureSignKeyKES NeverKES) 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 (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 (UnsoundPureSignKeyKES NeverKES) Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed Associated Types type Rep (UnsoundPureSignKeyKES NeverKES) ∷ Type → Type Source # Methods from ∷ UnsoundPureSignKeyKES NeverKES → Rep (UnsoundPureSignKeyKES NeverKES) x Source # to ∷ Rep (UnsoundPureSignKeyKES NeverKES) x → UnsoundPureSignKeyKES NeverKES 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 #
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 #
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 #
Show (UnsoundPureSignKeyKES NeverKES) Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed Methods showsPrec ∷ Int → UnsoundPureSignKeyKES NeverKES → ShowS Source # show ∷ UnsoundPureSignKeyKES NeverKES → String Source # showList ∷ [UnsoundPureSignKeyKES NeverKES] → 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 #
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 #
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 #
Eq (UnsoundPureSignKeyKES NeverKES) Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed Methods (==) ∷ UnsoundPureSignKeyKES NeverKES → UnsoundPureSignKeyKES NeverKES → Bool Source # (/=) ∷ UnsoundPureSignKeyKES NeverKES → UnsoundPureSignKeyKES NeverKES → 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 #
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 #
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 #
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 #
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 #
type ContextKES NeverKES Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed type ContextKES NeverKES = ()
type SeedSizeKES NeverKES Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed type SeedSizeKES NeverKES = 0
data SigKES NeverKES Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed data SigKES NeverKES = NeverUsedSigKES
data SignKeyKES NeverKES Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed data SignKeyKES NeverKES = NeverUsedSignKeyKES
type Signable NeverKES Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed type Signable NeverKES = Empty
type SizeSigKES NeverKES Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed type SizeSigKES NeverKES = 0
type SizeSignKeyKES NeverKES Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed type SizeSignKeyKES NeverKES = 0
type SizeVerKeyKES NeverKES Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed type SizeVerKeyKES NeverKES = 0
data UnsoundPureSignKeyKES NeverKES Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed data UnsoundPureSignKeyKES NeverKES = NeverUsedUnsoundPureSignKeyKES
data VerKeyKES NeverKES Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed data VerKeyKES NeverKES = NeverUsedVerKeyKES
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 (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 (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.0.0-inplace" 'False) (C1 ('MetaCons "NeverUsedUnsoundPureSignKeyKES" 'PrefixI 'False) (U1 ∷ Type → Type))
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))

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)