Modulecardano-crypto-class-2.5.1.0
Cardano.Crypto.KES
- 26 types
- 4 classes
- 33 values
- Packagecardano-crypto-class-2.5.1.0
- Exports101
- LicenceApache-2.0
Deprecated. Use decodeFixedSized instead
value
decodeSignKeyKES :: (UnsoundKESAlgorithm v, MonadST m, MonadThrow m) => Decoder s (m (Maybe (SignKeyKES v)))Deprecated. Use decodeFixedSized instead
value
decodeUnsoundPureSignKeyKES :: UnsoundPureKESAlgorithm v => Decoder s (UnsoundPureSignKeyKES v)Deprecated. Use decodeFixedSized instead
Deprecated. Use decodeFixedSized instead
Deprecated. Use encodeFixedSized instead
Deprecated. Use encodeFixedSized instead
Deprecated. Use encodeFixedSized instead
Deprecated. Use encodeFixedSized instead
Deprecated. Use fixedSize instead
Deprecated. Use fixedSize instead
Deprecated. In favor of signKeySizeKES
Deprecated. Use fixedSize instead
Deprecated. Use fixedSize instead
Instances7ContextKES, …
type ContextKES NeverKES = ()Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.NeverUsedtype ContextKES (CompactSingleKES d) = ContextDSIGN dDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingletype ContextKES (CompactSumKES h d) = ContextKES dDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSumtype ContextKES (MockKES t) = ()Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Mocktype ContextKES (SimpleKES d t) = ContextDSIGN dDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Simpletype ContextKES (SingleKES d) = ContextDSIGN dDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Singletype ContextKES (SumKES h d) = ContextKES dDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Sum
class
class (Typeable v, Show (VerKeyKES v), Eq (VerKeyKES v), Show (SigKES v), Eq (SigKES v), NoThunks (SigKES v), NoThunks (SignKeyKES v), NoThunks (VerKeyKES v), KnownNat (SeedSizeKES v), KnownNat (VerKeySizeKES v), KnownNat (SignKeySizeKES v), KnownNat (SigSizeKES v), KnownNat (TotalPeriodsKES v), FixedSizeCodec (VerKeyKES v), FixedSizeCodec (SigKES v)) => KESAlgorithm v whereAssociated types
data family VerKeyKES vdata family SigKES vdata family SignKeyKES vtype family SeedSizeKES v :: Nattype family VerKeySizeKES v :: Nattype family SignKeySizeKES v :: Nattype family SigSizeKES v :: Nattype family TotalPeriodsKES v :: Nattype family SizeVerKeyKES v :: Nattype family SizeSignKeyKES v :: Nattype family SizeSigKES v :: Nattype family ContextKES vtype family Signable v :: Type -> Constraint
Methods
algorithmNameKES :: proxy v -> StringhashVerKeyKES :: HashAlgorithm h => VerKeyKES v -> Hash h (VerKeyKES v)verifyKES :: (Signable v a, HasCallStack) => ContextKES v -> VerKeyKES v -> Period -> a -> SigKES v -> Either String ()totalPeriodsKES :: proxy v -> WordrawSerialiseVerKeyKES :: VerKeyKES v -> ByteStringrawSerialiseSigKES :: SigKES v -> ByteStringrawDeserialiseVerKeyKES :: ByteString -> Maybe (VerKeyKES v)rawDeserialiseSigKES :: ByteString -> Maybe (SigKES v)deriveVerKeyKES :: (MonadST m, MonadThrow m) => SignKeyKES v -> m (VerKeyKES v)signKES :: (Signable v a, MonadST m, MonadThrow m) => ContextKES v -> Period -> a -> SignKeyKES v -> m (SigKES v)updateKESWith :: (MonadST m, MonadThrow m) => MLockedAllocator m -> ContextKES v -> SignKeyKES v -> Period -> m (Maybe (SignKeyKES v))genKeyKESWith :: (MonadST m, MonadThrow m) => MLockedAllocator m -> MLockedSeed (SeedSizeKES v) -> m (SignKeyKES v)forgetSignKeyKESWith :: (MonadST m, MonadThrow m) => MLockedAllocator m -> SignKeyKES v -> m ()
Instances7KESAlgorithm, …
KESAlgorithm NeverKESDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.NeverUsedKnownNat t => KESAlgorithm (MockKES t)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Mock(DSIGNMAlgorithm d, KnownNat (FixedSize (VerKeyDSIGN d)), KnownNat (FixedSize (SigDSIGN d))) => KESAlgorithm (SingleKES d)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Single(DSIGNMAlgorithm d, KnownNat (SigSizeDSIGN d + VerKeySizeDSIGN d)) => KESAlgorithm (CompactSingleKES d)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingle(DSIGNMAlgorithm d, KnownNat t, KnownNat (SeedSizeDSIGN d * t), KnownNat (VerKeySizeDSIGN d * t), KnownNat (SignKeySizeDSIGN d * t)) => KESAlgorithm (SimpleKES d t)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Simple(KESAlgorithm d, SodiumHashAlgorithm h, HashSize h ~ SeedSizeKES d, KnownNat ((SignKeySizeKES d + SeedSizeKES d) + (Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Sum2
* VerKeySizeKES d)), KnownNat (SigSizeKES d + (VerKeySizeKES d *2
)), KnownNat (2
* TotalPeriodsKES d)) => KESAlgorithm (SumKES h d)(OptimizedKESAlgorithm d, SodiumHashAlgorithm h, HashSize h ~ SeedSizeKES d, NoThunks (VerKeyKES (CompactSumKES h d)), KnownNat (VerKeySizeKES (CompactSumKES h d)), KnownNat (SignKeySizeKES (CompactSumKES h d)), KnownNat (SigSizeKES (CompactSumKES h d)), KnownNat (Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSum2
* TotalPeriodsKES d)) => KESAlgorithm (CompactSumKES h d)
Methods
verifySigKES :: (Signable v a, HasCallStack) => ContextKES v -> Period -> a -> SigKES v -> Either String ()verKeyFromSigKES :: ContextKES v -> Period -> SigKES v -> VerKeyKES v
Instances2OptimizedKESAlgorithm
(KESAlgorithm (CompactSingleKES d), DSIGNMAlgorithm d) => OptimizedKESAlgorithm (CompactSingleKES d)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingle(KESAlgorithm (CompactSumKES h d), OptimizedKESAlgorithm d, HashAlgorithm h) => OptimizedKESAlgorithm (CompactSumKES h d)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSum
Instances7SeedSizeKES, …
type SeedSizeKES NeverKES =Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.NeverUsed0
type SeedSizeKES (CompactSingleKES d) = SeedSizeDSIGN dDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingletype SeedSizeKES (CompactSumKES h d) = SeedSizeKES dDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSumtype SeedSizeKES (MockKES t) =Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Mock8
type SeedSizeKES (SimpleKES d t) = SeedSizeDSIGN d * tDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Simpletype SeedSizeKES (SingleKES d) = SeedSizeDSIGN dDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Singletype SeedSizeKES (SumKES h d) = SeedSizeKES dDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Sum
Instances72Eq, Show, Generic, NFData, NoThunks, FromCBOR, …
DSIGNAlgorithm d => Eq (SigKES (SingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SingleDSIGNMAlgorithm d => Eq (SigKES (CompactSingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingleDSIGNMAlgorithm d => Eq (SigKES (SimpleKES d t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SimpleKESAlgorithm d => Eq (SigKES (CompactSumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSumEq (SigKES NeverKES)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.NeverUsedEq (SigKES (MockKES t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Mock(KESAlgorithm d, KESAlgorithm (SumKES h d)) => Eq (SigKES (SumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SumDSIGNAlgorithm d => Show (SigKES (SingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SingleDSIGNMAlgorithm d => Show (SigKES (CompactSingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingleDSIGNMAlgorithm d => Show (SigKES (SimpleKES d t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SimpleKESAlgorithm d => Show (SigKES (CompactSumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSumShow (SigKES NeverKES)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.NeverUsedShow (SigKES (MockKES t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Mock(KESAlgorithm d, KESAlgorithm (SumKES h d)) => Show (SigKES (SumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SumGeneric (SigKES NeverKES)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.NeverUsedGeneric (SigKES (CompactSingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingleGeneric (SigKES (CompactSumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSumGeneric (SigKES (MockKES t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.MockGeneric (SigKES (SimpleKES d t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SimpleGeneric (SigKES (SingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SingleGeneric (SigKES (SumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SumNFData (SigDSIGN d) => NFData (SigKES (SingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Single(NFData (SigDSIGN d), NFData (VerKeyDSIGN d)) => NFData (SigKES (CompactSingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingle(NFData (SigKES d), NFData (VerKeyKES d)) => NFData (SigKES (CompactSumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSum(NFData (SigKES d), NFData (VerKeyKES d)) => NFData (SigKES (SumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SumDSIGNAlgorithm d => NoThunks (SigKES (SingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SingleDSIGNMAlgorithm d => NoThunks (SigKES (CompactSingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingleDSIGNMAlgorithm d => NoThunks (SigKES (SimpleKES d t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SimpleKESAlgorithm d => NoThunks (SigKES (CompactSumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSumKESAlgorithm d => NoThunks (SigKES (SumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SumNoThunks (SigKES NeverKES)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.NeverUsedNoThunks (SigKES (MockKES t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.MockDSIGNMAlgorithm d => FromCBOR (SigKES (SingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SingleKnownNat t => FromCBOR (SigKES (MockKES t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Mock(DSIGNMAlgorithm d, KnownNat (SigSizeKES (CompactSingleKES d))) => FromCBOR (SigKES (CompactSingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingle(DSIGNMAlgorithm d, KnownNat t, KnownNat (SeedSizeDSIGN d * t), KnownNat (VerKeySizeDSIGN d * t), KnownNat (SignKeySizeDSIGN d * t)) => FromCBOR (SigKES (SimpleKES d t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Simple(KESAlgorithm (SumKES h d), SodiumHashAlgorithm h, HashSize h ~ SeedSizeKES d) => FromCBOR (SigKES (SumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Sum(OptimizedKESAlgorithm d, SodiumHashAlgorithm h, HashSize h ~ SeedSizeKES d, NoThunks (VerKeyKES (CompactSumKES h d)), KESAlgorithm (CompactSumKES h d)) => FromCBOR (SigKES (CompactSumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSumDSIGNMAlgorithm d => ToCBOR (SigKES (SingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SingleKnownNat t => ToCBOR (SigKES (MockKES t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Mock(DSIGNMAlgorithm d, KnownNat (SigSizeKES (CompactSingleKES d))) => ToCBOR (SigKES (CompactSingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingle(DSIGNMAlgorithm d, KnownNat t, KnownNat (SeedSizeDSIGN d * t), KnownNat (VerKeySizeDSIGN d * t), KnownNat (SignKeySizeDSIGN d * t)) => ToCBOR (SigKES (SimpleKES d t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Simple(KESAlgorithm (SumKES h d), SodiumHashAlgorithm h, HashSize h ~ SeedSizeKES d) => ToCBOR (SigKES (SumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Sum(OptimizedKESAlgorithm d, SodiumHashAlgorithm h, HashSize h ~ SeedSizeKES d, NoThunks (VerKeyKES (CompactSumKES h d)), KESAlgorithm (CompactSumKES h d)) => ToCBOR (SigKES (CompactSumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSumFixedSizeCodec (SigKES NeverKES)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.NeverUsedDSIGNAlgorithm d => FixedSizeCodec (SigKES (SingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SingleKnownNat t => FixedSizeCodec (SigKES (MockKES t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Mock(DSIGNAlgorithm d, KnownNat (SigSizeDSIGN d + VerKeySizeDSIGN d)) => FixedSizeCodec (SigKES (CompactSingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingle(DSIGNAlgorithm d, KnownNat t) => FixedSizeCodec (SigKES (SimpleKES d t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Simple(KESAlgorithm d, KnownNat (SigSizeKES d + VerKeySizeKES d), Typeable h) => FixedSizeCodec (SigKES (CompactSumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSum(KESAlgorithm d, KnownNat (SigSizeKES d + (VerKeySizeKES d *Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Sum2
)), Typeable h) => FixedSizeCodec (SigKES (SumKES h d))type Rep (SigKES NeverKES) = D1 ('MetaDataDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.NeverUsed"SigKES"
"Cardano.Crypto.KES.NeverUsed"
"cardano-crypto-class-2.5.1.0-2YbSTqCvsz43JrgaH5m8D0"
'False) (C1 ('MetaCons"NeverUsedSigKES"
'PrefixI 'False) U1)type Rep (SigKES (CompactSingleKES d)) = D1 ('MetaDataDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingle"SigKES"
"Cardano.Crypto.KES.CompactSingle"
"cardano-crypto-class-2.5.1.0-2YbSTqCvsz43JrgaH5m8D0"
'False) (C1 ('MetaCons"SigCompactSingleKES"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SigDSIGN d)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VerKeyDSIGN d))))type Rep (SigKES (CompactSumKES h d)) = D1 ('MetaDataDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSum"SigKES"
"Cardano.Crypto.KES.CompactSum"
"cardano-crypto-class-2.5.1.0-2YbSTqCvsz43JrgaH5m8D0"
'False) (C1 ('MetaCons"SigCompactSumKES"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SigKES d)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VerKeyKES d))))type Rep (SigKES (MockKES t)) = D1 ('MetaDataDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Mock"SigKES"
"Cardano.Crypto.KES.Mock"
"cardano-crypto-class-2.5.1.0-2YbSTqCvsz43JrgaH5m8D0"
'False) (C1 ('MetaCons"SigMockKES"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Hash ShortHash ())) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SignKeyKES (MockKES t)))))type Rep (SigKES (SimpleKES d t)) = D1 ('MetaDataDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Simple"SigKES"
"Cardano.Crypto.KES.Simple"
"cardano-crypto-class-2.5.1.0-2YbSTqCvsz43JrgaH5m8D0"
'True) (C1 ('MetaCons"SigSimpleKES"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SigDSIGN d))))type Rep (SigKES (SingleKES d)) = D1 ('MetaDataDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Single"SigKES"
"Cardano.Crypto.KES.Single"
"cardano-crypto-class-2.5.1.0-2YbSTqCvsz43JrgaH5m8D0"
'True) (C1 ('MetaCons"SigSingleKES"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SigDSIGN d))))type Rep (SigKES (SumKES h d)) = D1 ('MetaDataDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Sum"SigKES"
"Cardano.Crypto.KES.Sum"
"cardano-crypto-class-2.5.1.0-2YbSTqCvsz43JrgaH5m8D0"
'False) (C1 ('MetaCons"SigSumKES"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SigKES d)) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VerKeyKES d)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VerKeyKES d)))))type FixedSize (SigKES NeverKES) =Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.NeverUsed0
type FixedSize (SigKES (CompactSingleKES d)) = SigSizeDSIGN d + VerKeySizeDSIGN dDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingletype FixedSize (SigKES (CompactSumKES h d)) = SigSizeKES d + VerKeySizeKES dDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSumtype FixedSize (SigKES (MockKES t)) =Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Mock24
type FixedSize (SigKES (SimpleKES d t)) = SigSizeDSIGN dDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Simpletype FixedSize (SigKES (SingleKES d)) = FixedSize (SigDSIGN d)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Singletype FixedSize (SigKES (SumKES h d)) = SigSizeKES d + (VerKeySizeKES d *Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Sum2
)data SigKES NeverKESDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.NeverUseddata SigKES (CompactSingleKES d)SigCompactSingleKES !(SigDSIGN d) !(VerKeyDSIGN d)
data SigKES (CompactSumKES h d)SigCompactSumKES !(SigKES d) !(VerKeyKES d)
data SigKES (MockKES t)SigMockKES !(Hash ShortHash ()) !(SignKeyKES (MockKES t))
data SigKES (SimpleKES d t)SigSimpleKES (SigDSIGN d)
data SigKES (SingleKES d)SigSingleKES (SigDSIGN d)
data SigKES (SumKES h d)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Sum
Instances7SigSizeKES, …
type SigSizeKES NeverKES = FixedSize (SigKES NeverKES)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.NeverUsedtype SigSizeKES (CompactSingleKES d) = FixedSize (SigKES (CompactSingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingletype SigSizeKES (CompactSumKES h d) = FixedSize (SigKES (CompactSumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSumtype SigSizeKES (MockKES t) = FixedSize (SigKES (MockKES t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Mocktype SigSizeKES (SimpleKES d t) = FixedSize (SigKES (SimpleKES d t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Simpletype SigSizeKES (SingleKES d) = FixedSize (SigKES (SingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Singletype SigSizeKES (SumKES h d) = FixedSize (SigKES (SumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Sum
Instances44Eq, Ord, Show, Generic, NFData, NoThunks, …
Eq (SignKeyKES NeverKES)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.NeverUsedEq (SignKeyKES (MockKES t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Mock(TypeError ('TextDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Class"Ord not supported for signing keys, use the hash instead"
), Eq (SignKeyKES v)) => Ord (SignKeyKES v)Show (SignKeyKES NeverKES)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.NeverUsedShow (SignKeyKES (MockKES t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Mock(DSIGNMAlgorithm d, Show (SignKeyDSIGNM d)) => Show (SignKeyKES (SimpleKES d t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SimpleGeneric (SignKeyKES NeverKES)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.NeverUsedGeneric (SignKeyKES (MockKES t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.MockGeneric (SignKeyKES (SimpleKES d t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SimpleNFData (SignKeyDSIGNM d) => NFData (SignKeyKES (CompactSingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingleNFData (SignKeyDSIGNM d) => NFData (SignKeyKES (SingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Single(NFData (SignKeyKES d), NFData (VerKeyKES d)) => NFData (SignKeyKES (CompactSumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSum(NFData (SignKeyKES d), NFData (VerKeyKES d)) => NFData (SignKeyKES (SumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SumDSIGNMAlgorithm d => NoThunks (SignKeyKES (CompactSingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingleDSIGNMAlgorithm d => NoThunks (SignKeyKES (SimpleKES d t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SimpleDSIGNMAlgorithm d => NoThunks (SignKeyKES (SingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SingleNoThunks (SignKeyKES NeverKES)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.NeverUsedNoThunks (SignKeyKES (CompactSumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSumNoThunks (SignKeyKES (MockKES t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.MockNoThunks (SignKeyKES (SumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SumKnownNat t => FixedSizeCodec (SignKeyKES (MockKES t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.MockDirectDeserialise (SignKeyDSIGNM d) => DirectDeserialise (SignKeyKES (CompactSingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingleDirectDeserialise (SignKeyDSIGNM d) => DirectDeserialise (SignKeyKES (SingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SingleKnownNat t => DirectDeserialise (SignKeyKES (MockKES t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Mock(DirectDeserialise (SignKeyDSIGNM d), KnownNat t) => DirectDeserialise (SignKeyKES (SimpleKES d t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Simple(DirectDeserialise (SignKeyKES d), DirectDeserialise (VerKeyKES d), KESAlgorithm d) => DirectDeserialise (SignKeyKES (CompactSumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSum(DirectDeserialise (SignKeyKES d), DirectDeserialise (VerKeyKES d), KESAlgorithm d) => DirectDeserialise (SignKeyKES (SumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SumDirectSerialise (SignKeyDSIGNM d) => DirectSerialise (SignKeyKES (CompactSingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingleDirectSerialise (SignKeyDSIGNM d) => DirectSerialise (SignKeyKES (SimpleKES d t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SimpleDirectSerialise (SignKeyDSIGNM d) => DirectSerialise (SignKeyKES (SingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SingleKnownNat t => DirectSerialise (SignKeyKES (MockKES t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Mock(DirectSerialise (SignKeyKES d), DirectSerialise (VerKeyKES d), KESAlgorithm d) => DirectSerialise (SignKeyKES (CompactSumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSum(DirectSerialise (SignKeyKES d), DirectSerialise (VerKeyKES d), KESAlgorithm d) => DirectSerialise (SignKeyKES (SumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Sumtype Rep (SignKeyKES NeverKES) = D1 ('MetaDataDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.NeverUsed"SignKeyKES"
"Cardano.Crypto.KES.NeverUsed"
"cardano-crypto-class-2.5.1.0-2YbSTqCvsz43JrgaH5m8D0"
'False) (C1 ('MetaCons"NeverUsedSignKeyKES"
'PrefixI 'False) U1)type Rep (SignKeyKES (MockKES t)) = D1 ('MetaDataDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Mock"SignKeyKES"
"Cardano.Crypto.KES.Mock"
"cardano-crypto-class-2.5.1.0-2YbSTqCvsz43JrgaH5m8D0"
'False) (C1 ('MetaCons"SignKeyMockKES"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VerKeyKES (MockKES t))) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Period)))type Rep (SignKeyKES (SimpleKES d t)) = D1 ('MetaDataDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Simple"SignKeyKES"
"Cardano.Crypto.KES.Simple"
"cardano-crypto-class-2.5.1.0-2YbSTqCvsz43JrgaH5m8D0"
'True) (C1 ('MetaCons"ThunkySignKeySimpleKES"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Vector (SignKeyDSIGNM d)))))type FixedSize (SignKeyKES (MockKES t)) =Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Mock16
data SignKeyKES NeverKESDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.NeverUseddata SignKeyKES (CompactSingleKES d)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingledata SignKeyKES (CompactSumKES h d)SignKeyCompactSumKES !(SignKeyKES d) !(MLockedSeed (SeedSizeKES d)) !(VerKeyKES d) !(VerKeyKES d)
data SignKeyKES (MockKES t)SignKeyMockKES !(VerKeyKES (MockKES t)) !Period
data SignKeyKES (SimpleKES d t)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Simpledata SignKeyKES (SingleKES d)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Singledata SignKeyKES (SumKES h d)SignKeySumKES !(SignKeyKES d) !(MLockedSeed (SeedSizeKES d)) !(VerKeyKES d) !(VerKeyKES d)
constructor
SignKeyCompactSumKES !(SignKeyKES d) !(MLockedSeed (SeedSizeKES d)) !(VerKeyKES d) !(VerKeyKES d)constructor
SignKeySumKES !(SignKeyKES d) !(MLockedSeed (SeedSizeKES d)) !(VerKeyKES d) !(VerKeyKES d)Instances7SignKeySizeKES, …
type SignKeySizeKES NeverKES =Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.NeverUsed0
type SignKeySizeKES (CompactSingleKES d) = SignKeySizeDSIGN dDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingletype SignKeySizeKES (CompactSumKES h d) = (SignKeySizeKES d + SeedSizeKES d) + (VerKeySizeKES d *Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSum2
)type SignKeySizeKES (MockKES t) = FixedSize (SignKeyKES (MockKES t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Mocktype SignKeySizeKES (SimpleKES d t) = SignKeySizeDSIGN d * tDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Simpletype SignKeySizeKES (SingleKES d) = SignKeySizeDSIGN dDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Singletype SignKeySizeKES (SumKES h d) = (SignKeySizeKES d + SeedSizeKES d) + (Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Sum2
* VerKeySizeKES d)
Constructors
Instances5Eq, Show, Generic, NoThunks, Rep
(KESAlgorithm v, Eq (SignKeyKES v)) => Eq (SignKeyWithPeriodKES v)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Class(KESAlgorithm v, Show (SignKeyKES v)) => Show (SignKeyWithPeriodKES v)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.ClassGeneric (SignKeyWithPeriodKES v)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.ClassKESAlgorithm v => NoThunks (SignKeyWithPeriodKES v)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Classtype Rep (SignKeyWithPeriodKES v) = D1 ('MetaDataDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Class"SignKeyWithPeriodKES"
"Cardano.Crypto.KES.Class"
"cardano-crypto-class-2.5.1.0-2YbSTqCvsz43JrgaH5m8D0"
'False) (C1 ('MetaCons"SignKeyWithPeriodKES"
'PrefixI 'True) (S1 ('MetaSel ('Just"skWithoutPeriodKES"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SignKeyKES v)) :*: S1 ('MetaSel ('Just"periodKES"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Period)))
Instances7Signable, …
type Signable NeverKES = EmptyDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.NeverUsedtype Signable (CompactSingleKES d) = Signable dDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingletype Signable (CompactSumKES h d) = Signable dDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSumtype Signable (MockKES t) = SignableRepresentationDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Mocktype Signable (SimpleKES d t) = Signable dDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Simpletype Signable (SingleKES d) = Signable dDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Singletype Signable (SumKES h d) = Signable dDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Sum
Instances7Eq, Show, Generic, NoThunks, FixedSizeCodec, Rep, …
KESAlgorithm v => Eq (SignedKES v a)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.ClassKESAlgorithm v => Show (SignedKES v a)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.ClassGeneric (SignedKES v a)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.ClassKESAlgorithm v => NoThunks (SignedKES v a)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.ClassKESAlgorithm v => FixedSizeCodec (SignedKES v a)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Classtype Rep (SignedKES v a) = D1 ('MetaDataDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Class"SignedKES"
"Cardano.Crypto.KES.Class"
"cardano-crypto-class-2.5.1.0-2YbSTqCvsz43JrgaH5m8D0"
'True) (C1 ('MetaCons"SignedKES"
'PrefixI 'True) (S1 ('MetaSel ('Just"getSig"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SigKES v))))type FixedSize (SignedKES v a) = FixedSize (SigKES v)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Class
Deprecated. In favor of SigSizeKES
Instances7SizeSigKES, …
type SizeSigKES NeverKES = SigSizeKES NeverKESDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.NeverUsedtype SizeSigKES (CompactSingleKES d) = SigSizeKES (CompactSingleKES d)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingletype SizeSigKES (CompactSumKES h d) = SigSizeKES (CompactSumKES h d)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSumtype SizeSigKES (MockKES t) = SigSizeKES (MockKES t)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Mocktype SizeSigKES (SimpleKES d t) = SigSizeKES (SimpleKES d t)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Simpletype SizeSigKES (SingleKES d) = SigSizeKES (SingleKES d)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Singletype SizeSigKES (SumKES h d) = SigSizeKES (SumKES h d)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Sum
Deprecated. In favor of SignKeySizeKES
Instances7SizeSignKeyKES, …
type SizeSignKeyKES NeverKES = SignKeySizeKES NeverKESDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.NeverUsedtype SizeSignKeyKES (CompactSingleKES d) = SignKeySizeKES (CompactSingleKES d)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingletype SizeSignKeyKES (CompactSumKES h d) = SignKeySizeKES (CompactSumKES h d)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSumtype SizeSignKeyKES (MockKES t) = SignKeySizeKES (MockKES t)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Mocktype SizeSignKeyKES (SimpleKES d t) = SignKeySizeKES (SimpleKES d t)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Simpletype SizeSignKeyKES (SingleKES d) = SignKeySizeKES (SingleKES d)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Singletype SizeSignKeyKES (SumKES h d) = SignKeySizeKES (SumKES h d)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Sum
Deprecated. In favor of VerKeySizeKES
Instances7SizeVerKeyKES, …
type SizeVerKeyKES NeverKES = VerKeySizeKES NeverKESDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.NeverUsedtype SizeVerKeyKES (CompactSingleKES d) = VerKeySizeKES (CompactSingleKES d)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingletype SizeVerKeyKES (CompactSumKES h d) = VerKeySizeKES (CompactSumKES h d)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSumtype SizeVerKeyKES (MockKES t) = VerKeySizeKES (MockKES t)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Mocktype SizeVerKeyKES (SimpleKES d t) = VerKeySizeKES (SimpleKES d t)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Simpletype SizeVerKeyKES (SingleKES d) = VerKeySizeKES (SingleKES d)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Singletype SizeVerKeyKES (SumKES h d) = VerKeySizeKES (SumKES h d)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Sum
Instances7TotalPeriodsKES, …
type TotalPeriodsKES NeverKES =Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.NeverUsed0
type TotalPeriodsKES (CompactSingleKES d) =Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingle1
type TotalPeriodsKES (CompactSumKES h d) =Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSum2
* TotalPeriodsKES dtype TotalPeriodsKES (MockKES t) = tDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Mocktype TotalPeriodsKES (SimpleKES d t) = tDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Simpletype TotalPeriodsKES (SingleKES d) =Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Single1
type TotalPeriodsKES (SumKES h d) =Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Sum2
* TotalPeriodsKES d
Methods
rawDeserialiseSignKeyKESWith :: (MonadST m, MonadThrow m) => MLockedAllocator m -> ByteString -> m (Maybe (SignKeyKES v))rawSerialiseSignKeyKES :: (MonadST m, MonadThrow m) => SignKeyKES v -> m ByteString
Instances7UnsoundKESAlgorithm, …
UnsoundKESAlgorithm NeverKESDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.NeverUsedKnownNat t => UnsoundKESAlgorithm (MockKES t)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Mock(KESAlgorithm (CompactSingleKES d), UnsoundDSIGNMAlgorithm d) => UnsoundKESAlgorithm (CompactSingleKES d)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingle(KESAlgorithm (SingleKES d), UnsoundDSIGNMAlgorithm d) => UnsoundKESAlgorithm (SingleKES d)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Single(UnsoundDSIGNMAlgorithm d, KnownNat t, KESAlgorithm (SimpleKES d t)) => UnsoundKESAlgorithm (SimpleKES d t)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Simple(KESAlgorithm (CompactSumKES h d), UnsoundKESAlgorithm d) => UnsoundKESAlgorithm (CompactSumKES h d)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSum(KESAlgorithm (SumKES h d), UnsoundKESAlgorithm d) => UnsoundKESAlgorithm (SumKES h d)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Sum
class
class (KESAlgorithm v, NoThunks (UnsoundPureSignKeyKES v), FixedSizeCodec (UnsoundPureSignKeyKES v)) => UnsoundPureKESAlgorithm v whereAssociated types
data family UnsoundPureSignKeyKES v
Methods
unsoundPureSignKES :: Signable v a => ContextKES v -> Period -> a -> UnsoundPureSignKeyKES v -> SigKES vunsoundPureUpdateKES :: ContextKES v -> UnsoundPureSignKeyKES v -> Period -> Maybe (UnsoundPureSignKeyKES v)unsoundPureGenKeyKES :: Seed -> UnsoundPureSignKeyKES vunsoundPureDeriveVerKeyKES :: UnsoundPureSignKeyKES v -> VerKeyKES vunsoundPureSignKeyKESToSoundSignKeyKES :: (MonadST m, MonadThrow m) => UnsoundPureSignKeyKES v -> m (SignKeyKES v)rawSerialiseUnsoundPureSignKeyKES :: UnsoundPureSignKeyKES v -> ByteStringrawDeserialiseUnsoundPureSignKeyKES :: ByteString -> Maybe (UnsoundPureSignKeyKES v)
Instances7UnsoundPureKESAlgorithm, …
UnsoundPureKESAlgorithm NeverKESDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.NeverUsedKnownNat t => UnsoundPureKESAlgorithm (MockKES t)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Mock(KESAlgorithm (CompactSingleKES d), UnsoundDSIGNMAlgorithm d) => UnsoundPureKESAlgorithm (CompactSingleKES d)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingle(KESAlgorithm (SingleKES d), UnsoundDSIGNMAlgorithm d) => UnsoundPureKESAlgorithm (SingleKES d)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Single(KESAlgorithm (CompactSumKES h d), HashAlgorithm h, UnsoundPureKESAlgorithm d) => UnsoundPureKESAlgorithm (CompactSumKES h d)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSum(KESAlgorithm (SimpleKES d t), KnownNat t, DSIGNAlgorithm d, UnsoundDSIGNMAlgorithm d) => UnsoundPureKESAlgorithm (SimpleKES d t)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Simple(KESAlgorithm (SumKES h d), HashAlgorithm h, UnsoundPureKESAlgorithm d) => UnsoundPureKESAlgorithm (SumKES h d)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Sum
Instances66Eq, Show, Generic, NoThunks, FromCBOR, ToCBOR, …
Eq (SignKeyDSIGN d) => Eq (UnsoundPureSignKeyKES (SimpleKES d t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SimpleEq (SignKeyDSIGN d) => Eq (UnsoundPureSignKeyKES (SingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SingleEq (UnsoundPureSignKeyKES NeverKES)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.NeverUsedEq (UnsoundPureSignKeyKES (MockKES t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Mock(DSIGNAlgorithm d, Eq (SignKeyDSIGN d)) => Eq (UnsoundPureSignKeyKES (CompactSingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingle(KESAlgorithm d, Eq (UnsoundPureSignKeyKES d)) => Eq (UnsoundPureSignKeyKES (CompactSumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSum(KESAlgorithm d, Eq (UnsoundPureSignKeyKES d)) => Eq (UnsoundPureSignKeyKES (SumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SumDSIGNAlgorithm d => Show (UnsoundPureSignKeyKES (CompactSingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingleDSIGNAlgorithm d => Show (UnsoundPureSignKeyKES (SingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SingleShow (UnsoundPureSignKeyKES NeverKES)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.NeverUsedShow (UnsoundPureSignKeyKES (MockKES t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Mock(DSIGNMAlgorithm d, Show (SignKeyDSIGNM d)) => Show (UnsoundPureSignKeyKES (SimpleKES d t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Simple(KESAlgorithm d, Show (UnsoundPureSignKeyKES d)) => Show (UnsoundPureSignKeyKES (CompactSumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSum(KESAlgorithm d, Show (UnsoundPureSignKeyKES d)) => Show (UnsoundPureSignKeyKES (SumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SumGeneric (UnsoundPureSignKeyKES NeverKES)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.NeverUsedGeneric (UnsoundPureSignKeyKES (CompactSingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingleGeneric (UnsoundPureSignKeyKES (CompactSumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSumGeneric (UnsoundPureSignKeyKES (MockKES t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.MockGeneric (UnsoundPureSignKeyKES (SimpleKES d t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SimpleGeneric (UnsoundPureSignKeyKES (SingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SingleGeneric (UnsoundPureSignKeyKES (SumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SumDSIGNAlgorithm d => NoThunks (UnsoundPureSignKeyKES (CompactSingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingleDSIGNAlgorithm d => NoThunks (UnsoundPureSignKeyKES (SingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SingleDSIGNMAlgorithm d => NoThunks (UnsoundPureSignKeyKES (SimpleKES d t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SimpleNoThunks (UnsoundPureSignKeyKES NeverKES)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.NeverUsedNoThunks (UnsoundPureSignKeyKES (MockKES t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Mock(NoThunks (UnsoundPureSignKeyKES d), KESAlgorithm d) => NoThunks (UnsoundPureSignKeyKES (CompactSumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSum(NoThunks (UnsoundPureSignKeyKES d), KESAlgorithm d) => NoThunks (UnsoundPureSignKeyKES (SumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SumUnsoundDSIGNMAlgorithm d => FromCBOR (UnsoundPureSignKeyKES (SingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SingleKnownNat t => FromCBOR (UnsoundPureSignKeyKES (MockKES t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Mock(UnsoundDSIGNMAlgorithm d, KnownNat (SigSizeDSIGN d + VerKeySizeDSIGN d)) => FromCBOR (UnsoundPureSignKeyKES (CompactSingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingle(HashSize h ~ SeedSizeKES d, OptimizedKESAlgorithm d, UnsoundPureKESAlgorithm d, SodiumHashAlgorithm h, KESAlgorithm (CompactSumKES h d)) => FromCBOR (UnsoundPureSignKeyKES (CompactSumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSum(HashSize h ~ SeedSizeKES d, UnsoundPureKESAlgorithm d, SodiumHashAlgorithm h, KESAlgorithm (SumKES h d)) => FromCBOR (UnsoundPureSignKeyKES (SumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SumUnsoundDSIGNMAlgorithm d => ToCBOR (UnsoundPureSignKeyKES (SingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SingleKnownNat t => ToCBOR (UnsoundPureSignKeyKES (MockKES t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Mock(UnsoundDSIGNMAlgorithm d, KnownNat (SigSizeDSIGN d + VerKeySizeDSIGN d)) => ToCBOR (UnsoundPureSignKeyKES (CompactSingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingle(HashSize h ~ SeedSizeKES d, OptimizedKESAlgorithm d, UnsoundPureKESAlgorithm d, SodiumHashAlgorithm h, KESAlgorithm (CompactSumKES h d)) => ToCBOR (UnsoundPureSignKeyKES (CompactSumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSum(HashSize h ~ SeedSizeKES d, UnsoundPureKESAlgorithm d, SodiumHashAlgorithm h, KESAlgorithm (SumKES h d)) => ToCBOR (UnsoundPureSignKeyKES (SumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SumFixedSizeCodec (UnsoundPureSignKeyKES NeverKES)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.NeverUsedDSIGNAlgorithm d => FixedSizeCodec (UnsoundPureSignKeyKES (CompactSingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingleDSIGNAlgorithm d => FixedSizeCodec (UnsoundPureSignKeyKES (SingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SingleKnownNat t => FixedSizeCodec (UnsoundPureSignKeyKES (MockKES t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Mock(DSIGNAlgorithm d, KnownNat t, KnownNat (SignKeySizeDSIGN d * t)) => FixedSizeCodec (UnsoundPureSignKeyKES (SimpleKES d t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Simple(KESAlgorithm (CompactSumKES h d), UnsoundPureKESAlgorithm d, KnownNat ((SignKeySizeKES d + SeedSizeKES d) + (VerKeySizeKES d *Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSum2
))) => FixedSizeCodec (UnsoundPureSignKeyKES (CompactSumKES h d))(KESAlgorithm (SumKES h d), UnsoundPureKESAlgorithm d, KnownNat ((SignKeySizeKES d + SeedSizeKES d) + (Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Sum2
* VerKeySizeKES d))) => FixedSizeCodec (UnsoundPureSignKeyKES (SumKES h d))type Rep (UnsoundPureSignKeyKES NeverKES) = D1 ('MetaDataDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.NeverUsed"UnsoundPureSignKeyKES"
"Cardano.Crypto.KES.NeverUsed"
"cardano-crypto-class-2.5.1.0-2YbSTqCvsz43JrgaH5m8D0"
'False) (C1 ('MetaCons"NeverUsedUnsoundPureSignKeyKES"
'PrefixI 'False) U1)type Rep (UnsoundPureSignKeyKES (CompactSingleKES d)) = D1 ('MetaDataDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingle"UnsoundPureSignKeyKES"
"Cardano.Crypto.KES.CompactSingle"
"cardano-crypto-class-2.5.1.0-2YbSTqCvsz43JrgaH5m8D0"
'False) (C1 ('MetaCons"UnsoundPureSignKeyCompactSingleKES"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SignKeyDSIGN d))))type Rep (UnsoundPureSignKeyKES (CompactSumKES h d)) = D1 ('MetaDataDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSum"UnsoundPureSignKeyKES"
"Cardano.Crypto.KES.CompactSum"
"cardano-crypto-class-2.5.1.0-2YbSTqCvsz43JrgaH5m8D0"
'False) (C1 ('MetaCons"UnsoundPureSignKeyCompactSumKES"
'PrefixI 'False) ((S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (UnsoundPureSignKeyKES d)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Seed)) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VerKeyKES d)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VerKeyKES d)))))type Rep (UnsoundPureSignKeyKES (MockKES t)) = D1 ('MetaDataDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Mock"UnsoundPureSignKeyKES"
"Cardano.Crypto.KES.Mock"
"cardano-crypto-class-2.5.1.0-2YbSTqCvsz43JrgaH5m8D0"
'False) (C1 ('MetaCons"UnsoundPureSignKeyMockKES"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VerKeyKES (MockKES t))) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Period)))type Rep (UnsoundPureSignKeyKES (SimpleKES d t)) = D1 ('MetaDataDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Simple"UnsoundPureSignKeyKES"
"Cardano.Crypto.KES.Simple"
"cardano-crypto-class-2.5.1.0-2YbSTqCvsz43JrgaH5m8D0"
'True) (C1 ('MetaCons"UnsoundPureThunkySignKeySimpleKES"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Vector (SignKeyDSIGN d)))))type Rep (UnsoundPureSignKeyKES (SingleKES d)) = D1 ('MetaDataDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Single"UnsoundPureSignKeyKES"
"Cardano.Crypto.KES.Single"
"cardano-crypto-class-2.5.1.0-2YbSTqCvsz43JrgaH5m8D0"
'True) (C1 ('MetaCons"UnsoundPureSignKeySingleKES"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SignKeyDSIGN d))))type Rep (UnsoundPureSignKeyKES (SumKES h d)) = D1 ('MetaDataDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Sum"UnsoundPureSignKeyKES"
"Cardano.Crypto.KES.Sum"
"cardano-crypto-class-2.5.1.0-2YbSTqCvsz43JrgaH5m8D0"
'False) (C1 ('MetaCons"UnsoundPureSignKeySumKES"
'PrefixI 'False) ((S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (UnsoundPureSignKeyKES d)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Seed)) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VerKeyKES d)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VerKeyKES d)))))type FixedSize (UnsoundPureSignKeyKES NeverKES) = SignKeySizeKES NeverKESDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.NeverUsedtype FixedSize (UnsoundPureSignKeyKES (CompactSingleKES d)) = SignKeySizeKES (CompactSingleKES d)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingletype FixedSize (UnsoundPureSignKeyKES (CompactSumKES h d)) = SignKeySizeKES (CompactSumKES h d)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSumtype FixedSize (UnsoundPureSignKeyKES (MockKES t)) = FixedSize (SignKeyKES (MockKES t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Mocktype FixedSize (UnsoundPureSignKeyKES (SimpleKES d t)) = SignKeySizeKES (SimpleKES d t)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Simpletype FixedSize (UnsoundPureSignKeyKES (SingleKES d)) = SignKeySizeKES (SingleKES d)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Singletype FixedSize (UnsoundPureSignKeyKES (SumKES h d)) = SignKeySizeKES (SumKES h d)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Sumdata UnsoundPureSignKeyKES NeverKESNeverUsedUnsoundPureSignKeyKES
data UnsoundPureSignKeyKES (CompactSingleKES d)UnsoundPureSignKeyCompactSingleKES (SignKeyDSIGN d)
data UnsoundPureSignKeyKES (CompactSumKES h d)UnsoundPureSignKeyCompactSumKES !(UnsoundPureSignKeyKES d) !Seed !(VerKeyKES d) !(VerKeyKES d)
data UnsoundPureSignKeyKES (MockKES t)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Mockdata UnsoundPureSignKeyKES (SimpleKES d t)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Simpledata UnsoundPureSignKeyKES (SingleKES d)UnsoundPureSignKeySingleKES (SignKeyDSIGN d)
data UnsoundPureSignKeyKES (SumKES h d)UnsoundPureSignKeySumKES !(UnsoundPureSignKeyKES d) !Seed !(VerKeyKES d) !(VerKeyKES d)
pattern
pattern UnsoundPureSignKeySimpleKES :: Vector (SignKeyDSIGN d) -> UnsoundPureSignKeyKES (SimpleKES d t)Instances86Eq, Ord, Show, Generic, NFData, NoThunks, …
DSIGNAlgorithm d => Eq (VerKeyKES (SingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SingleDSIGNMAlgorithm d => Eq (VerKeyKES (CompactSingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingleDSIGNMAlgorithm d => Eq (VerKeyKES (SimpleKES d t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SimpleEq (VerKeyKES NeverKES)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.NeverUsedEq (VerKeyKES (CompactSumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSumEq (VerKeyKES (MockKES t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.MockEq (VerKeyKES (SumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Sum(TypeError ('TextDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Class"Ord not supported for verification keys, use the hash instead"
), KESAlgorithm v) => Ord (VerKeyKES v)DSIGNAlgorithm d => Show (VerKeyKES (SingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SingleDSIGNMAlgorithm d => Show (VerKeyKES (CompactSingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingleDSIGNMAlgorithm d => Show (VerKeyKES (SimpleKES d t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SimpleHashAlgorithm h => Show (VerKeyKES (CompactSumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSumHashAlgorithm h => Show (VerKeyKES (SumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SumShow (VerKeyKES NeverKES)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.NeverUsedShow (VerKeyKES (MockKES t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.MockGeneric (VerKeyKES NeverKES)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.NeverUsedGeneric (VerKeyKES (CompactSingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingleGeneric (VerKeyKES (CompactSumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSumGeneric (VerKeyKES (MockKES t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.MockGeneric (VerKeyKES (SimpleKES d t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SimpleGeneric (VerKeyKES (SingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SingleGeneric (VerKeyKES (SumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SumNFData (VerKeyDSIGN d) => NFData (VerKeyKES (CompactSingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingleNFData (VerKeyDSIGN d) => NFData (VerKeyKES (SingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SingleNFData (VerKeyKES (CompactSumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSumNFData (VerKeyKES (MockKES t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.MockNFData (VerKeyKES (SumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SumDSIGNMAlgorithm d => NoThunks (VerKeyKES (CompactSingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingleDSIGNMAlgorithm d => NoThunks (VerKeyKES (SimpleKES d t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SimpleDSIGNMAlgorithm d => NoThunks (VerKeyKES (SingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SingleKESAlgorithm d => NoThunks (VerKeyKES (CompactSumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSumKESAlgorithm d => NoThunks (VerKeyKES (SumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SumNoThunks (VerKeyKES NeverKES)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.NeverUsedNoThunks (VerKeyKES (MockKES t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.MockDSIGNMAlgorithm d => FromCBOR (VerKeyKES (SingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SingleKnownNat t => FromCBOR (VerKeyKES (MockKES t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Mock(DSIGNMAlgorithm d, KnownNat (SigSizeDSIGN d + VerKeySizeDSIGN d)) => FromCBOR (VerKeyKES (CompactSingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingle(DSIGNMAlgorithm d, KnownNat t, KnownNat (SeedSizeDSIGN d * t), KnownNat (VerKeySizeDSIGN d * t), KnownNat (SignKeySizeDSIGN d * t)) => FromCBOR (VerKeyKES (SimpleKES d t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Simple(KESAlgorithm (SumKES h d), SodiumHashAlgorithm h, HashSize h ~ SeedSizeKES d) => FromCBOR (VerKeyKES (SumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Sum(OptimizedKESAlgorithm d, SodiumHashAlgorithm h, HashSize h ~ SeedSizeKES d, NoThunks (VerKeyKES (CompactSumKES h d)), KESAlgorithm (CompactSumKES h d)) => FromCBOR (VerKeyKES (CompactSumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSumDSIGNMAlgorithm d => ToCBOR (VerKeyKES (SingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SingleKnownNat t => ToCBOR (VerKeyKES (MockKES t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Mock(DSIGNMAlgorithm d, KnownNat (SigSizeDSIGN d + VerKeySizeDSIGN d)) => ToCBOR (VerKeyKES (CompactSingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingle(DSIGNMAlgorithm d, KnownNat t, KnownNat (SeedSizeDSIGN d * t), KnownNat (VerKeySizeDSIGN d * t), KnownNat (SignKeySizeDSIGN d * t)) => ToCBOR (VerKeyKES (SimpleKES d t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Simple(KESAlgorithm (SumKES h d), SodiumHashAlgorithm h, HashSize h ~ SeedSizeKES d) => ToCBOR (VerKeyKES (SumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Sum(OptimizedKESAlgorithm d, SodiumHashAlgorithm h, HashSize h ~ SeedSizeKES d, NoThunks (VerKeyKES (CompactSumKES h d)), KESAlgorithm (CompactSumKES h d)) => ToCBOR (VerKeyKES (CompactSumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSumFixedSizeCodec (VerKeyKES NeverKES)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.NeverUsedDSIGNAlgorithm d => FixedSizeCodec (VerKeyKES (CompactSingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingleDSIGNAlgorithm d => FixedSizeCodec (VerKeyKES (SingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SingleHashAlgorithm h => FixedSizeCodec (VerKeyKES (CompactSumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSumHashAlgorithm h => FixedSizeCodec (VerKeyKES (SumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SumKnownNat t => FixedSizeCodec (VerKeyKES (MockKES t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Mock(DSIGNAlgorithm d, KnownNat t, KnownNat (VerKeySizeDSIGN d * t)) => FixedSizeCodec (VerKeyKES (SimpleKES d t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SimpleDirectDeserialise (VerKeyDSIGN d) => DirectDeserialise (VerKeyKES (CompactSingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingleDirectDeserialise (VerKeyDSIGN d) => DirectDeserialise (VerKeyKES (SingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SingleHashAlgorithm h => DirectDeserialise (VerKeyKES (CompactSumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSumHashAlgorithm h => DirectDeserialise (VerKeyKES (SumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SumKnownNat t => DirectDeserialise (VerKeyKES (MockKES t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Mock(DirectDeserialise (VerKeyDSIGN d), KnownNat t) => DirectDeserialise (VerKeyKES (SimpleKES d t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SimpleDirectSerialise (VerKeyDSIGN d) => DirectSerialise (VerKeyKES (CompactSingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingleDirectSerialise (VerKeyDSIGN d) => DirectSerialise (VerKeyKES (SimpleKES d t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SimpleDirectSerialise (VerKeyDSIGN d) => DirectSerialise (VerKeyKES (SingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SingleDirectSerialise (VerKeyKES (CompactSumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSumDirectSerialise (VerKeyKES (SumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SumKnownNat t => DirectSerialise (VerKeyKES (MockKES t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Mocktype Rep (VerKeyKES NeverKES) = D1 ('MetaDataDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.NeverUsed"VerKeyKES"
"Cardano.Crypto.KES.NeverUsed"
"cardano-crypto-class-2.5.1.0-2YbSTqCvsz43JrgaH5m8D0"
'False) (C1 ('MetaCons"NeverUsedVerKeyKES"
'PrefixI 'False) U1)type Rep (VerKeyKES (CompactSingleKES d)) = D1 ('MetaDataDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingle"VerKeyKES"
"Cardano.Crypto.KES.CompactSingle"
"cardano-crypto-class-2.5.1.0-2YbSTqCvsz43JrgaH5m8D0"
'True) (C1 ('MetaCons"VerKeyCompactSingleKES"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (VerKeyDSIGN d))))type Rep (VerKeyKES (CompactSumKES h d)) = D1 ('MetaDataDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSum"VerKeyKES"
"Cardano.Crypto.KES.CompactSum"
"cardano-crypto-class-2.5.1.0-2YbSTqCvsz43JrgaH5m8D0"
'True) (C1 ('MetaCons"VerKeyCompactSumKES"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Hash h (VerKeyKES d, VerKeyKES d)))))type Rep (VerKeyKES (MockKES t)) = D1 ('MetaDataDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Mock"VerKeyKES"
"Cardano.Crypto.KES.Mock"
"cardano-crypto-class-2.5.1.0-2YbSTqCvsz43JrgaH5m8D0"
'True) (C1 ('MetaCons"VerKeyMockKES"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))type Rep (VerKeyKES (SimpleKES d t)) = D1 ('MetaDataDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Simple"VerKeyKES"
"Cardano.Crypto.KES.Simple"
"cardano-crypto-class-2.5.1.0-2YbSTqCvsz43JrgaH5m8D0"
'True) (C1 ('MetaCons"ThunkyVerKeySimpleKES"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Vector (VerKeyDSIGN d)))))type Rep (VerKeyKES (SingleKES d)) = D1 ('MetaDataDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Single"VerKeyKES"
"Cardano.Crypto.KES.Single"
"cardano-crypto-class-2.5.1.0-2YbSTqCvsz43JrgaH5m8D0"
'True) (C1 ('MetaCons"VerKeySingleKES"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (VerKeyDSIGN d))))type Rep (VerKeyKES (SumKES h d)) = D1 ('MetaDataDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Sum"VerKeyKES"
"Cardano.Crypto.KES.Sum"
"cardano-crypto-class-2.5.1.0-2YbSTqCvsz43JrgaH5m8D0"
'True) (C1 ('MetaCons"VerKeySumKES"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Hash h (VerKeyKES d, VerKeyKES d)))))type FixedSize (VerKeyKES NeverKES) =Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.NeverUsed0
type FixedSize (VerKeyKES (CompactSingleKES d)) = VerKeySizeDSIGN dDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingletype FixedSize (VerKeyKES (CompactSumKES h d)) = HashSize hDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSumtype FixedSize (VerKeyKES (MockKES t)) =Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Mock8
type FixedSize (VerKeyKES (SimpleKES d t)) = VerKeySizeDSIGN d * tDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Simpletype FixedSize (VerKeyKES (SingleKES d)) = FixedSize (VerKeyDSIGN d)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Singletype FixedSize (VerKeyKES (SumKES h d)) = HashSize hDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Sumdata VerKeyKES NeverKESDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.NeverUseddata VerKeyKES (CompactSingleKES d)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingledata VerKeyKES (CompactSumKES h d)VerKeyCompactSumKES (Hash h (VerKeyKES d, VerKeyKES d))
data VerKeyKES (MockKES t)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Mockdata VerKeyKES (SimpleKES d t)ThunkyVerKeySimpleKES (Vector (VerKeyDSIGN d))
data VerKeyKES (SingleKES d)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Singledata VerKeyKES (SumKES h d)VerKeySumKES (Hash h (VerKeyKES d, VerKeyKES d))
Instances7VerKeySizeKES, …
type VerKeySizeKES NeverKES = FixedSize (VerKeyKES NeverKES)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.NeverUsedtype VerKeySizeKES (CompactSingleKES d) = FixedSize (VerKeyKES (CompactSingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingletype VerKeySizeKES (CompactSumKES h d) = FixedSize (VerKeyKES (CompactSumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSumtype VerKeySizeKES (MockKES t) = FixedSize (VerKeyKES (MockKES t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Mocktype VerKeySizeKES (SimpleKES d t) = FixedSize (VerKeyKES (SimpleKES d t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Simpletype VerKeySizeKES (SingleKES d) = FixedSize (VerKeyKES (SingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Singletype VerKeySizeKES (SumKES h d) = FixedSize (VerKeyKES (SumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Sum
Instances53Eq, Show, Generic, NFData, NoThunks, FromCBOR, …
DSIGNMAlgorithm d => Eq (SigKES (CompactSingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingleDSIGNMAlgorithm d => Eq (VerKeyKES (CompactSingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingle(DSIGNAlgorithm d, Eq (SignKeyDSIGN d)) => Eq (UnsoundPureSignKeyKES (CompactSingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingleDSIGNAlgorithm d => Show (UnsoundPureSignKeyKES (CompactSingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingleDSIGNMAlgorithm d => Show (SigKES (CompactSingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingleDSIGNMAlgorithm d => Show (VerKeyKES (CompactSingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingleGeneric (SigKES (CompactSingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingleGeneric (UnsoundPureSignKeyKES (CompactSingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingleGeneric (VerKeyKES (CompactSingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingleNFData (SignKeyDSIGNM d) => NFData (SignKeyKES (CompactSingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingleNFData (VerKeyDSIGN d) => NFData (VerKeyKES (CompactSingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingle(NFData (SigDSIGN d), NFData (VerKeyDSIGN d)) => NFData (SigKES (CompactSingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingleDSIGNAlgorithm d => NoThunks (UnsoundPureSignKeyKES (CompactSingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingleDSIGNMAlgorithm d => NoThunks (SigKES (CompactSingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingleDSIGNMAlgorithm d => NoThunks (SignKeyKES (CompactSingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingleDSIGNMAlgorithm d => NoThunks (VerKeyKES (CompactSingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingle(DSIGNMAlgorithm d, KnownNat (SigSizeDSIGN d + VerKeySizeDSIGN d)) => FromCBOR (VerKeyKES (CompactSingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingle(DSIGNMAlgorithm d, KnownNat (SigSizeKES (CompactSingleKES d))) => FromCBOR (SigKES (CompactSingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingle(UnsoundDSIGNMAlgorithm d, KnownNat (SigSizeDSIGN d + VerKeySizeDSIGN d)) => FromCBOR (UnsoundPureSignKeyKES (CompactSingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingle(DSIGNMAlgorithm d, KnownNat (SigSizeDSIGN d + VerKeySizeDSIGN d)) => ToCBOR (VerKeyKES (CompactSingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingle(DSIGNMAlgorithm d, KnownNat (SigSizeKES (CompactSingleKES d))) => ToCBOR (SigKES (CompactSingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingle(UnsoundDSIGNMAlgorithm d, KnownNat (SigSizeDSIGN d + VerKeySizeDSIGN d)) => ToCBOR (UnsoundPureSignKeyKES (CompactSingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingleDSIGNAlgorithm d => FixedSizeCodec (UnsoundPureSignKeyKES (CompactSingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingleDSIGNAlgorithm d => FixedSizeCodec (VerKeyKES (CompactSingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingle(DSIGNAlgorithm d, KnownNat (SigSizeDSIGN d + VerKeySizeDSIGN d)) => FixedSizeCodec (SigKES (CompactSingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingleDirectDeserialise (SignKeyDSIGNM d) => DirectDeserialise (SignKeyKES (CompactSingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingleDirectDeserialise (VerKeyDSIGN d) => DirectDeserialise (VerKeyKES (CompactSingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingleDirectSerialise (SignKeyDSIGNM d) => DirectSerialise (SignKeyKES (CompactSingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingleDirectSerialise (VerKeyDSIGN d) => DirectSerialise (VerKeyKES (CompactSingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingle(DSIGNMAlgorithm d, KnownNat (SigSizeDSIGN d + VerKeySizeDSIGN d)) => KESAlgorithm (CompactSingleKES d)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingle(KESAlgorithm (CompactSingleKES d), DSIGNMAlgorithm d) => OptimizedKESAlgorithm (CompactSingleKES d)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingle(KESAlgorithm (CompactSingleKES d), UnsoundDSIGNMAlgorithm d) => UnsoundKESAlgorithm (CompactSingleKES d)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingle(KESAlgorithm (CompactSingleKES d), UnsoundDSIGNMAlgorithm d) => UnsoundPureKESAlgorithm (CompactSingleKES d)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingletype Rep (SigKES (CompactSingleKES d)) = D1 ('MetaDataDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingle"SigKES"
"Cardano.Crypto.KES.CompactSingle"
"cardano-crypto-class-2.5.1.0-2YbSTqCvsz43JrgaH5m8D0"
'False) (C1 ('MetaCons"SigCompactSingleKES"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SigDSIGN d)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VerKeyDSIGN d))))type Rep (UnsoundPureSignKeyKES (CompactSingleKES d)) = D1 ('MetaDataDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingle"UnsoundPureSignKeyKES"
"Cardano.Crypto.KES.CompactSingle"
"cardano-crypto-class-2.5.1.0-2YbSTqCvsz43JrgaH5m8D0"
'False) (C1 ('MetaCons"UnsoundPureSignKeyCompactSingleKES"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SignKeyDSIGN d))))type Rep (VerKeyKES (CompactSingleKES d)) = D1 ('MetaDataDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingle"VerKeyKES"
"Cardano.Crypto.KES.CompactSingle"
"cardano-crypto-class-2.5.1.0-2YbSTqCvsz43JrgaH5m8D0"
'True) (C1 ('MetaCons"VerKeyCompactSingleKES"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (VerKeyDSIGN d))))type FixedSize (SigKES (CompactSingleKES d)) = SigSizeDSIGN d + VerKeySizeDSIGN dDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingletype FixedSize (UnsoundPureSignKeyKES (CompactSingleKES d)) = SignKeySizeKES (CompactSingleKES d)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingletype FixedSize (VerKeyKES (CompactSingleKES d)) = VerKeySizeDSIGN dDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingletype ContextKES (CompactSingleKES d) = ContextDSIGN dDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingletype SeedSizeKES (CompactSingleKES d) = SeedSizeDSIGN dDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingledata SigKES (CompactSingleKES d)SigCompactSingleKES !(SigDSIGN d) !(VerKeyDSIGN d)
type SigSizeKES (CompactSingleKES d) = FixedSize (SigKES (CompactSingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingledata SignKeyKES (CompactSingleKES d)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingletype SignKeySizeKES (CompactSingleKES d) = SignKeySizeDSIGN dDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingletype Signable (CompactSingleKES d) = Signable dDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingletype SizeSigKES (CompactSingleKES d) = SigSizeKES (CompactSingleKES d)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingletype SizeSignKeyKES (CompactSingleKES d) = SignKeySizeKES (CompactSingleKES d)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingletype SizeVerKeyKES (CompactSingleKES d) = VerKeySizeKES (CompactSingleKES d)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingletype TotalPeriodsKES (CompactSingleKES d) =Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingle1
data VerKeyKES (CompactSingleKES d)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingletype VerKeySizeKES (CompactSingleKES d) = FixedSize (VerKeyKES (CompactSingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingledata UnsoundPureSignKeyKES (CompactSingleKES d)UnsoundPureSignKeyCompactSingleKES (SignKeyDSIGN d)
Instances53Eq, Show, Generic, NFData, NoThunks, FromCBOR, …
KESAlgorithm d => Eq (SigKES (CompactSumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSumEq (VerKeyKES (CompactSumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSum(KESAlgorithm d, Eq (UnsoundPureSignKeyKES d)) => Eq (UnsoundPureSignKeyKES (CompactSumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSumHashAlgorithm h => Show (VerKeyKES (CompactSumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSumKESAlgorithm d => Show (SigKES (CompactSumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSum(KESAlgorithm d, Show (UnsoundPureSignKeyKES d)) => Show (UnsoundPureSignKeyKES (CompactSumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSumGeneric (SigKES (CompactSumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSumGeneric (UnsoundPureSignKeyKES (CompactSumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSumGeneric (VerKeyKES (CompactSumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSumNFData (VerKeyKES (CompactSumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSum(NFData (SigKES d), NFData (VerKeyKES d)) => NFData (SigKES (CompactSumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSum(NFData (SignKeyKES d), NFData (VerKeyKES d)) => NFData (SignKeyKES (CompactSumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSumKESAlgorithm d => NoThunks (SigKES (CompactSumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSumKESAlgorithm d => NoThunks (VerKeyKES (CompactSumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSumNoThunks (SignKeyKES (CompactSumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSum(NoThunks (UnsoundPureSignKeyKES d), KESAlgorithm d) => NoThunks (UnsoundPureSignKeyKES (CompactSumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSum(HashSize h ~ SeedSizeKES d, OptimizedKESAlgorithm d, UnsoundPureKESAlgorithm d, SodiumHashAlgorithm h, KESAlgorithm (CompactSumKES h d)) => FromCBOR (UnsoundPureSignKeyKES (CompactSumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSum(OptimizedKESAlgorithm d, SodiumHashAlgorithm h, HashSize h ~ SeedSizeKES d, NoThunks (VerKeyKES (CompactSumKES h d)), KESAlgorithm (CompactSumKES h d)) => FromCBOR (SigKES (CompactSumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSum(OptimizedKESAlgorithm d, SodiumHashAlgorithm h, HashSize h ~ SeedSizeKES d, NoThunks (VerKeyKES (CompactSumKES h d)), KESAlgorithm (CompactSumKES h d)) => FromCBOR (VerKeyKES (CompactSumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSum(HashSize h ~ SeedSizeKES d, OptimizedKESAlgorithm d, UnsoundPureKESAlgorithm d, SodiumHashAlgorithm h, KESAlgorithm (CompactSumKES h d)) => ToCBOR (UnsoundPureSignKeyKES (CompactSumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSum(OptimizedKESAlgorithm d, SodiumHashAlgorithm h, HashSize h ~ SeedSizeKES d, NoThunks (VerKeyKES (CompactSumKES h d)), KESAlgorithm (CompactSumKES h d)) => ToCBOR (SigKES (CompactSumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSum(OptimizedKESAlgorithm d, SodiumHashAlgorithm h, HashSize h ~ SeedSizeKES d, NoThunks (VerKeyKES (CompactSumKES h d)), KESAlgorithm (CompactSumKES h d)) => ToCBOR (VerKeyKES (CompactSumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSumHashAlgorithm h => FixedSizeCodec (VerKeyKES (CompactSumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSum(KESAlgorithm (CompactSumKES h d), UnsoundPureKESAlgorithm d, KnownNat ((SignKeySizeKES d + SeedSizeKES d) + (VerKeySizeKES d *Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSum2
))) => FixedSizeCodec (UnsoundPureSignKeyKES (CompactSumKES h d))(KESAlgorithm d, KnownNat (SigSizeKES d + VerKeySizeKES d), Typeable h) => FixedSizeCodec (SigKES (CompactSumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSumHashAlgorithm h => DirectDeserialise (VerKeyKES (CompactSumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSum(DirectDeserialise (SignKeyKES d), DirectDeserialise (VerKeyKES d), KESAlgorithm d) => DirectDeserialise (SignKeyKES (CompactSumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSumDirectSerialise (VerKeyKES (CompactSumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSum(DirectSerialise (SignKeyKES d), DirectSerialise (VerKeyKES d), KESAlgorithm d) => DirectSerialise (SignKeyKES (CompactSumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSum(OptimizedKESAlgorithm d, SodiumHashAlgorithm h, HashSize h ~ SeedSizeKES d, NoThunks (VerKeyKES (CompactSumKES h d)), KnownNat (VerKeySizeKES (CompactSumKES h d)), KnownNat (SignKeySizeKES (CompactSumKES h d)), KnownNat (SigSizeKES (CompactSumKES h d)), KnownNat (Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSum2
* TotalPeriodsKES d)) => KESAlgorithm (CompactSumKES h d)(KESAlgorithm (CompactSumKES h d), OptimizedKESAlgorithm d, HashAlgorithm h) => OptimizedKESAlgorithm (CompactSumKES h d)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSum(KESAlgorithm (CompactSumKES h d), UnsoundKESAlgorithm d) => UnsoundKESAlgorithm (CompactSumKES h d)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSum(KESAlgorithm (CompactSumKES h d), HashAlgorithm h, UnsoundPureKESAlgorithm d) => UnsoundPureKESAlgorithm (CompactSumKES h d)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSumtype Rep (SigKES (CompactSumKES h d)) = D1 ('MetaDataDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSum"SigKES"
"Cardano.Crypto.KES.CompactSum"
"cardano-crypto-class-2.5.1.0-2YbSTqCvsz43JrgaH5m8D0"
'False) (C1 ('MetaCons"SigCompactSumKES"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SigKES d)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VerKeyKES d))))type Rep (UnsoundPureSignKeyKES (CompactSumKES h d)) = D1 ('MetaDataDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSum"UnsoundPureSignKeyKES"
"Cardano.Crypto.KES.CompactSum"
"cardano-crypto-class-2.5.1.0-2YbSTqCvsz43JrgaH5m8D0"
'False) (C1 ('MetaCons"UnsoundPureSignKeyCompactSumKES"
'PrefixI 'False) ((S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (UnsoundPureSignKeyKES d)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Seed)) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VerKeyKES d)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VerKeyKES d)))))type Rep (VerKeyKES (CompactSumKES h d)) = D1 ('MetaDataDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSum"VerKeyKES"
"Cardano.Crypto.KES.CompactSum"
"cardano-crypto-class-2.5.1.0-2YbSTqCvsz43JrgaH5m8D0"
'True) (C1 ('MetaCons"VerKeyCompactSumKES"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Hash h (VerKeyKES d, VerKeyKES d)))))type FixedSize (SigKES (CompactSumKES h d)) = SigSizeKES d + VerKeySizeKES dDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSumtype FixedSize (UnsoundPureSignKeyKES (CompactSumKES h d)) = SignKeySizeKES (CompactSumKES h d)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSumtype FixedSize (VerKeyKES (CompactSumKES h d)) = HashSize hDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSumtype ContextKES (CompactSumKES h d) = ContextKES dDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSumtype SeedSizeKES (CompactSumKES h d) = SeedSizeKES dDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSumdata SigKES (CompactSumKES h d)SigCompactSumKES !(SigKES d) !(VerKeyKES d)
type SigSizeKES (CompactSumKES h d) = FixedSize (SigKES (CompactSumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSumdata SignKeyKES (CompactSumKES h d)SignKeyCompactSumKES !(SignKeyKES d) !(MLockedSeed (SeedSizeKES d)) !(VerKeyKES d) !(VerKeyKES d)
type SignKeySizeKES (CompactSumKES h d) = (SignKeySizeKES d + SeedSizeKES d) + (VerKeySizeKES d *Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSum2
)type Signable (CompactSumKES h d) = Signable dDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSumtype SizeSigKES (CompactSumKES h d) = SigSizeKES (CompactSumKES h d)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSumtype SizeSignKeyKES (CompactSumKES h d) = SignKeySizeKES (CompactSumKES h d)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSumtype SizeVerKeyKES (CompactSumKES h d) = VerKeySizeKES (CompactSumKES h d)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSumtype TotalPeriodsKES (CompactSumKES h d) =Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSum2
* TotalPeriodsKES ddata VerKeyKES (CompactSumKES h d)VerKeyCompactSumKES (Hash h (VerKeyKES d, VerKeyKES d))
type VerKeySizeKES (CompactSumKES h d) = FixedSize (VerKeyKES (CompactSumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSumdata UnsoundPureSignKeyKES (CompactSumKES h d)UnsoundPureSignKeyCompactSumKES !(UnsoundPureSignKeyKES d) !Seed !(VerKeyKES d) !(VerKeyKES d)
Instances56Eq, Show, Generic, NFData, NoThunks, FromCBOR, …
Eq (SigKES (MockKES t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.MockEq (SignKeyKES (MockKES t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.MockEq (UnsoundPureSignKeyKES (MockKES t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.MockEq (VerKeyKES (MockKES t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.MockShow (SigKES (MockKES t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.MockShow (SignKeyKES (MockKES t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.MockShow (UnsoundPureSignKeyKES (MockKES t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.MockShow (VerKeyKES (MockKES t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.MockGeneric (SigKES (MockKES t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.MockGeneric (SignKeyKES (MockKES t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.MockGeneric (UnsoundPureSignKeyKES (MockKES t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.MockGeneric (VerKeyKES (MockKES t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.MockNFData (VerKeyKES (MockKES t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.MockNoThunks (SigKES (MockKES t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.MockNoThunks (SignKeyKES (MockKES t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.MockNoThunks (UnsoundPureSignKeyKES (MockKES t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.MockNoThunks (VerKeyKES (MockKES t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.MockKnownNat t => FromCBOR (SigKES (MockKES t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.MockKnownNat t => FromCBOR (UnsoundPureSignKeyKES (MockKES t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.MockKnownNat t => FromCBOR (VerKeyKES (MockKES t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.MockKnownNat t => ToCBOR (SigKES (MockKES t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.MockKnownNat t => ToCBOR (UnsoundPureSignKeyKES (MockKES t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.MockKnownNat t => ToCBOR (VerKeyKES (MockKES t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.MockKnownNat t => FixedSizeCodec (SigKES (MockKES t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.MockKnownNat t => FixedSizeCodec (SignKeyKES (MockKES t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.MockKnownNat t => FixedSizeCodec (UnsoundPureSignKeyKES (MockKES t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.MockKnownNat t => FixedSizeCodec (VerKeyKES (MockKES t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.MockKnownNat t => DirectDeserialise (SignKeyKES (MockKES t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.MockKnownNat t => DirectDeserialise (VerKeyKES (MockKES t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.MockKnownNat t => DirectSerialise (SignKeyKES (MockKES t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.MockKnownNat t => DirectSerialise (VerKeyKES (MockKES t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.MockKnownNat t => KESAlgorithm (MockKES t)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.MockKnownNat t => UnsoundKESAlgorithm (MockKES t)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.MockKnownNat t => UnsoundPureKESAlgorithm (MockKES t)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Mocktype Rep (SigKES (MockKES t)) = D1 ('MetaDataDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Mock"SigKES"
"Cardano.Crypto.KES.Mock"
"cardano-crypto-class-2.5.1.0-2YbSTqCvsz43JrgaH5m8D0"
'False) (C1 ('MetaCons"SigMockKES"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Hash ShortHash ())) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SignKeyKES (MockKES t)))))type Rep (SignKeyKES (MockKES t)) = D1 ('MetaDataDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Mock"SignKeyKES"
"Cardano.Crypto.KES.Mock"
"cardano-crypto-class-2.5.1.0-2YbSTqCvsz43JrgaH5m8D0"
'False) (C1 ('MetaCons"SignKeyMockKES"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VerKeyKES (MockKES t))) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Period)))type Rep (UnsoundPureSignKeyKES (MockKES t)) = D1 ('MetaDataDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Mock"UnsoundPureSignKeyKES"
"Cardano.Crypto.KES.Mock"
"cardano-crypto-class-2.5.1.0-2YbSTqCvsz43JrgaH5m8D0"
'False) (C1 ('MetaCons"UnsoundPureSignKeyMockKES"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VerKeyKES (MockKES t))) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Period)))type Rep (VerKeyKES (MockKES t)) = D1 ('MetaDataDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Mock"VerKeyKES"
"Cardano.Crypto.KES.Mock"
"cardano-crypto-class-2.5.1.0-2YbSTqCvsz43JrgaH5m8D0"
'True) (C1 ('MetaCons"VerKeyMockKES"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))type FixedSize (SigKES (MockKES t)) =Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Mock24
type FixedSize (SignKeyKES (MockKES t)) =Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Mock16
type FixedSize (UnsoundPureSignKeyKES (MockKES t)) = FixedSize (SignKeyKES (MockKES t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Mocktype FixedSize (VerKeyKES (MockKES t)) =Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Mock8
type ContextKES (MockKES t) = ()Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Mocktype SeedSizeKES (MockKES t) =Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Mock8
data SigKES (MockKES t)SigMockKES !(Hash ShortHash ()) !(SignKeyKES (MockKES t))
type SigSizeKES (MockKES t) = FixedSize (SigKES (MockKES t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Mockdata SignKeyKES (MockKES t)SignKeyMockKES !(VerKeyKES (MockKES t)) !Period
type SignKeySizeKES (MockKES t) = FixedSize (SignKeyKES (MockKES t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Mocktype Signable (MockKES t) = SignableRepresentationDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Mocktype SizeSigKES (MockKES t) = SigSizeKES (MockKES t)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Mocktype SizeSignKeyKES (MockKES t) = SignKeySizeKES (MockKES t)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Mocktype SizeVerKeyKES (MockKES t) = VerKeySizeKES (MockKES t)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Mocktype TotalPeriodsKES (MockKES t) = tDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Mockdata VerKeyKES (MockKES t)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Mocktype VerKeySizeKES (MockKES t) = FixedSize (VerKeyKES (MockKES t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Mockdata UnsoundPureSignKeyKES (MockKES t)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Mock
Instances43KESAlgorithm, UnsoundKESAlgorithm, UnsoundPureKESAlgorithm, Eq, Show, Generic, …
KESAlgorithm NeverKESDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.NeverUsedUnsoundKESAlgorithm NeverKESDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.NeverUsedUnsoundPureKESAlgorithm NeverKESDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.NeverUsedEq (SigKES NeverKES)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.NeverUsedEq (SignKeyKES NeverKES)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.NeverUsedEq (UnsoundPureSignKeyKES NeverKES)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.NeverUsedEq (VerKeyKES NeverKES)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.NeverUsedShow (SigKES NeverKES)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.NeverUsedShow (SignKeyKES NeverKES)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.NeverUsedShow (UnsoundPureSignKeyKES NeverKES)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.NeverUsedShow (VerKeyKES NeverKES)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.NeverUsedGeneric (SigKES NeverKES)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.NeverUsedGeneric (SignKeyKES NeverKES)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.NeverUsedGeneric (UnsoundPureSignKeyKES NeverKES)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.NeverUsedGeneric (VerKeyKES NeverKES)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.NeverUsedNoThunks (SigKES NeverKES)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.NeverUsedNoThunks (SignKeyKES NeverKES)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.NeverUsedNoThunks (UnsoundPureSignKeyKES NeverKES)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.NeverUsedNoThunks (VerKeyKES NeverKES)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.NeverUsedFixedSizeCodec (SigKES NeverKES)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.NeverUsedFixedSizeCodec (UnsoundPureSignKeyKES NeverKES)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.NeverUsedFixedSizeCodec (VerKeyKES NeverKES)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.NeverUsedtype Rep (SigKES NeverKES) = D1 ('MetaDataDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.NeverUsed"SigKES"
"Cardano.Crypto.KES.NeverUsed"
"cardano-crypto-class-2.5.1.0-2YbSTqCvsz43JrgaH5m8D0"
'False) (C1 ('MetaCons"NeverUsedSigKES"
'PrefixI 'False) U1)type Rep (SignKeyKES NeverKES) = D1 ('MetaDataDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.NeverUsed"SignKeyKES"
"Cardano.Crypto.KES.NeverUsed"
"cardano-crypto-class-2.5.1.0-2YbSTqCvsz43JrgaH5m8D0"
'False) (C1 ('MetaCons"NeverUsedSignKeyKES"
'PrefixI 'False) U1)type Rep (UnsoundPureSignKeyKES NeverKES) = D1 ('MetaDataDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.NeverUsed"UnsoundPureSignKeyKES"
"Cardano.Crypto.KES.NeverUsed"
"cardano-crypto-class-2.5.1.0-2YbSTqCvsz43JrgaH5m8D0"
'False) (C1 ('MetaCons"NeverUsedUnsoundPureSignKeyKES"
'PrefixI 'False) U1)type Rep (VerKeyKES NeverKES) = D1 ('MetaDataDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.NeverUsed"VerKeyKES"
"Cardano.Crypto.KES.NeverUsed"
"cardano-crypto-class-2.5.1.0-2YbSTqCvsz43JrgaH5m8D0"
'False) (C1 ('MetaCons"NeverUsedVerKeyKES"
'PrefixI 'False) U1)type FixedSize (SigKES NeverKES) =Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.NeverUsed0
type FixedSize (UnsoundPureSignKeyKES NeverKES) = SignKeySizeKES NeverKESDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.NeverUsedtype FixedSize (VerKeyKES NeverKES) =Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.NeverUsed0
type ContextKES NeverKES = ()Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.NeverUsedtype SeedSizeKES NeverKES =Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.NeverUsed0
data SigKES NeverKESDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.NeverUsedtype SigSizeKES NeverKES = FixedSize (SigKES NeverKES)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.NeverUseddata SignKeyKES NeverKESDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.NeverUsedtype SignKeySizeKES NeverKES =Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.NeverUsed0
type Signable NeverKES = EmptyDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.NeverUsedtype SizeSigKES NeverKES = SigSizeKES NeverKESDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.NeverUsedtype SizeSignKeyKES NeverKES = SignKeySizeKES NeverKESDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.NeverUsedtype SizeVerKeyKES NeverKES = VerKeySizeKES NeverKESDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.NeverUsedtype TotalPeriodsKES NeverKES =Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.NeverUsed0
data VerKeyKES NeverKESDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.NeverUsedtype VerKeySizeKES NeverKES = FixedSize (VerKeyKES NeverKES)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.NeverUseddata UnsoundPureSignKeyKES NeverKESNeverUsedUnsoundPureSignKeyKES
Instances50Eq, Show, Generic, NoThunks, FromCBOR, ToCBOR, …
DSIGNMAlgorithm d => Eq (SigKES (SimpleKES d t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SimpleDSIGNMAlgorithm d => Eq (VerKeyKES (SimpleKES d t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SimpleEq (SignKeyDSIGN d) => Eq (UnsoundPureSignKeyKES (SimpleKES d t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SimpleDSIGNMAlgorithm d => Show (SigKES (SimpleKES d t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SimpleDSIGNMAlgorithm d => Show (VerKeyKES (SimpleKES d t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Simple(DSIGNMAlgorithm d, Show (SignKeyDSIGNM d)) => Show (SignKeyKES (SimpleKES d t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Simple(DSIGNMAlgorithm d, Show (SignKeyDSIGNM d)) => Show (UnsoundPureSignKeyKES (SimpleKES d t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SimpleGeneric (SigKES (SimpleKES d t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SimpleGeneric (SignKeyKES (SimpleKES d t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SimpleGeneric (UnsoundPureSignKeyKES (SimpleKES d t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SimpleGeneric (VerKeyKES (SimpleKES d t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SimpleDSIGNMAlgorithm d => NoThunks (SigKES (SimpleKES d t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SimpleDSIGNMAlgorithm d => NoThunks (SignKeyKES (SimpleKES d t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SimpleDSIGNMAlgorithm d => NoThunks (UnsoundPureSignKeyKES (SimpleKES d t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SimpleDSIGNMAlgorithm d => NoThunks (VerKeyKES (SimpleKES d t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Simple(DSIGNMAlgorithm d, KnownNat t, KnownNat (SeedSizeDSIGN d * t), KnownNat (VerKeySizeDSIGN d * t), KnownNat (SignKeySizeDSIGN d * t)) => FromCBOR (SigKES (SimpleKES d t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Simple(DSIGNMAlgorithm d, KnownNat t, KnownNat (SeedSizeDSIGN d * t), KnownNat (VerKeySizeDSIGN d * t), KnownNat (SignKeySizeDSIGN d * t)) => FromCBOR (VerKeyKES (SimpleKES d t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Simple(DSIGNMAlgorithm d, KnownNat t, KnownNat (SeedSizeDSIGN d * t), KnownNat (VerKeySizeDSIGN d * t), KnownNat (SignKeySizeDSIGN d * t)) => ToCBOR (SigKES (SimpleKES d t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Simple(DSIGNMAlgorithm d, KnownNat t, KnownNat (SeedSizeDSIGN d * t), KnownNat (VerKeySizeDSIGN d * t), KnownNat (SignKeySizeDSIGN d * t)) => ToCBOR (VerKeyKES (SimpleKES d t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Simple(DSIGNAlgorithm d, KnownNat t) => FixedSizeCodec (SigKES (SimpleKES d t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Simple(DSIGNAlgorithm d, KnownNat t, KnownNat (SignKeySizeDSIGN d * t)) => FixedSizeCodec (UnsoundPureSignKeyKES (SimpleKES d t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Simple(DSIGNAlgorithm d, KnownNat t, KnownNat (VerKeySizeDSIGN d * t)) => FixedSizeCodec (VerKeyKES (SimpleKES d t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Simple(DirectDeserialise (SignKeyDSIGNM d), KnownNat t) => DirectDeserialise (SignKeyKES (SimpleKES d t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Simple(DirectDeserialise (VerKeyDSIGN d), KnownNat t) => DirectDeserialise (VerKeyKES (SimpleKES d t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SimpleDirectSerialise (SignKeyDSIGNM d) => DirectSerialise (SignKeyKES (SimpleKES d t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SimpleDirectSerialise (VerKeyDSIGN d) => DirectSerialise (VerKeyKES (SimpleKES d t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Simple(DSIGNMAlgorithm d, KnownNat t, KnownNat (SeedSizeDSIGN d * t), KnownNat (VerKeySizeDSIGN d * t), KnownNat (SignKeySizeDSIGN d * t)) => KESAlgorithm (SimpleKES d t)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Simple(UnsoundDSIGNMAlgorithm d, KnownNat t, KESAlgorithm (SimpleKES d t)) => UnsoundKESAlgorithm (SimpleKES d t)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Simple(KESAlgorithm (SimpleKES d t), KnownNat t, DSIGNAlgorithm d, UnsoundDSIGNMAlgorithm d) => UnsoundPureKESAlgorithm (SimpleKES d t)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Simpletype Rep (SigKES (SimpleKES d t)) = D1 ('MetaDataDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Simple"SigKES"
"Cardano.Crypto.KES.Simple"
"cardano-crypto-class-2.5.1.0-2YbSTqCvsz43JrgaH5m8D0"
'True) (C1 ('MetaCons"SigSimpleKES"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SigDSIGN d))))type Rep (SignKeyKES (SimpleKES d t)) = D1 ('MetaDataDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Simple"SignKeyKES"
"Cardano.Crypto.KES.Simple"
"cardano-crypto-class-2.5.1.0-2YbSTqCvsz43JrgaH5m8D0"
'True) (C1 ('MetaCons"ThunkySignKeySimpleKES"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Vector (SignKeyDSIGNM d)))))type Rep (UnsoundPureSignKeyKES (SimpleKES d t)) = D1 ('MetaDataDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Simple"UnsoundPureSignKeyKES"
"Cardano.Crypto.KES.Simple"
"cardano-crypto-class-2.5.1.0-2YbSTqCvsz43JrgaH5m8D0"
'True) (C1 ('MetaCons"UnsoundPureThunkySignKeySimpleKES"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Vector (SignKeyDSIGN d)))))type Rep (VerKeyKES (SimpleKES d t)) = D1 ('MetaDataDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Simple"VerKeyKES"
"Cardano.Crypto.KES.Simple"
"cardano-crypto-class-2.5.1.0-2YbSTqCvsz43JrgaH5m8D0"
'True) (C1 ('MetaCons"ThunkyVerKeySimpleKES"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Vector (VerKeyDSIGN d)))))type FixedSize (SigKES (SimpleKES d t)) = SigSizeDSIGN dDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Simpletype FixedSize (UnsoundPureSignKeyKES (SimpleKES d t)) = SignKeySizeKES (SimpleKES d t)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Simpletype FixedSize (VerKeyKES (SimpleKES d t)) = VerKeySizeDSIGN d * tDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Simpletype ContextKES (SimpleKES d t) = ContextDSIGN dDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Simpletype SeedSizeKES (SimpleKES d t) = SeedSizeDSIGN d * tDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Simpledata SigKES (SimpleKES d t)SigSimpleKES (SigDSIGN d)
type SigSizeKES (SimpleKES d t) = FixedSize (SigKES (SimpleKES d t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Simpledata SignKeyKES (SimpleKES d t)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Simpletype SignKeySizeKES (SimpleKES d t) = SignKeySizeDSIGN d * tDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Simpletype Signable (SimpleKES d t) = Signable dDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Simpletype SizeSigKES (SimpleKES d t) = SigSizeKES (SimpleKES d t)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Simpletype SizeSignKeyKES (SimpleKES d t) = SignKeySizeKES (SimpleKES d t)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Simpletype SizeVerKeyKES (SimpleKES d t) = VerKeySizeKES (SimpleKES d t)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Simpletype TotalPeriodsKES (SimpleKES d t) = tDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Simpledata VerKeyKES (SimpleKES d t)ThunkyVerKeySimpleKES (Vector (VerKeyDSIGN d))
type VerKeySizeKES (SimpleKES d t) = FixedSize (VerKeyKES (SimpleKES d t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Simpledata UnsoundPureSignKeyKES (SimpleKES d t)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Simple
Instances52Eq, Show, Generic, NFData, NoThunks, FromCBOR, …
DSIGNAlgorithm d => Eq (SigKES (SingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SingleDSIGNAlgorithm d => Eq (VerKeyKES (SingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SingleEq (SignKeyDSIGN d) => Eq (UnsoundPureSignKeyKES (SingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SingleDSIGNAlgorithm d => Show (SigKES (SingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SingleDSIGNAlgorithm d => Show (UnsoundPureSignKeyKES (SingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SingleDSIGNAlgorithm d => Show (VerKeyKES (SingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SingleGeneric (SigKES (SingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SingleGeneric (UnsoundPureSignKeyKES (SingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SingleGeneric (VerKeyKES (SingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SingleNFData (SigDSIGN d) => NFData (SigKES (SingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SingleNFData (SignKeyDSIGNM d) => NFData (SignKeyKES (SingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SingleNFData (VerKeyDSIGN d) => NFData (VerKeyKES (SingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SingleDSIGNAlgorithm d => NoThunks (SigKES (SingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SingleDSIGNAlgorithm d => NoThunks (UnsoundPureSignKeyKES (SingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SingleDSIGNMAlgorithm d => NoThunks (SignKeyKES (SingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SingleDSIGNMAlgorithm d => NoThunks (VerKeyKES (SingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SingleDSIGNMAlgorithm d => FromCBOR (SigKES (SingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SingleDSIGNMAlgorithm d => FromCBOR (VerKeyKES (SingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SingleUnsoundDSIGNMAlgorithm d => FromCBOR (UnsoundPureSignKeyKES (SingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SingleDSIGNMAlgorithm d => ToCBOR (SigKES (SingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SingleDSIGNMAlgorithm d => ToCBOR (VerKeyKES (SingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SingleUnsoundDSIGNMAlgorithm d => ToCBOR (UnsoundPureSignKeyKES (SingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SingleDSIGNAlgorithm d => FixedSizeCodec (SigKES (SingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SingleDSIGNAlgorithm d => FixedSizeCodec (UnsoundPureSignKeyKES (SingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SingleDSIGNAlgorithm d => FixedSizeCodec (VerKeyKES (SingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SingleDirectDeserialise (SignKeyDSIGNM d) => DirectDeserialise (SignKeyKES (SingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SingleDirectDeserialise (VerKeyDSIGN d) => DirectDeserialise (VerKeyKES (SingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SingleDirectSerialise (SignKeyDSIGNM d) => DirectSerialise (SignKeyKES (SingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SingleDirectSerialise (VerKeyDSIGN d) => DirectSerialise (VerKeyKES (SingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Single(DSIGNMAlgorithm d, KnownNat (FixedSize (VerKeyDSIGN d)), KnownNat (FixedSize (SigDSIGN d))) => KESAlgorithm (SingleKES d)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Single(KESAlgorithm (SingleKES d), UnsoundDSIGNMAlgorithm d) => UnsoundKESAlgorithm (SingleKES d)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Single(KESAlgorithm (SingleKES d), UnsoundDSIGNMAlgorithm d) => UnsoundPureKESAlgorithm (SingleKES d)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Singletype Rep (SigKES (SingleKES d)) = D1 ('MetaDataDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Single"SigKES"
"Cardano.Crypto.KES.Single"
"cardano-crypto-class-2.5.1.0-2YbSTqCvsz43JrgaH5m8D0"
'True) (C1 ('MetaCons"SigSingleKES"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SigDSIGN d))))type Rep (UnsoundPureSignKeyKES (SingleKES d)) = D1 ('MetaDataDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Single"UnsoundPureSignKeyKES"
"Cardano.Crypto.KES.Single"
"cardano-crypto-class-2.5.1.0-2YbSTqCvsz43JrgaH5m8D0"
'True) (C1 ('MetaCons"UnsoundPureSignKeySingleKES"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SignKeyDSIGN d))))type Rep (VerKeyKES (SingleKES d)) = D1 ('MetaDataDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Single"VerKeyKES"
"Cardano.Crypto.KES.Single"
"cardano-crypto-class-2.5.1.0-2YbSTqCvsz43JrgaH5m8D0"
'True) (C1 ('MetaCons"VerKeySingleKES"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (VerKeyDSIGN d))))type FixedSize (SigKES (SingleKES d)) = FixedSize (SigDSIGN d)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Singletype FixedSize (UnsoundPureSignKeyKES (SingleKES d)) = SignKeySizeKES (SingleKES d)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Singletype FixedSize (VerKeyKES (SingleKES d)) = FixedSize (VerKeyDSIGN d)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Singletype ContextKES (SingleKES d) = ContextDSIGN dDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Singletype SeedSizeKES (SingleKES d) = SeedSizeDSIGN dDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Singledata SigKES (SingleKES d)SigSingleKES (SigDSIGN d)
type SigSizeKES (SingleKES d) = FixedSize (SigKES (SingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Singledata SignKeyKES (SingleKES d)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Singletype SignKeySizeKES (SingleKES d) = SignKeySizeDSIGN dDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Singletype Signable (SingleKES d) = Signable dDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Singletype SizeSigKES (SingleKES d) = SigSizeKES (SingleKES d)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Singletype SizeSignKeyKES (SingleKES d) = SignKeySizeKES (SingleKES d)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Singletype SizeVerKeyKES (SingleKES d) = VerKeySizeKES (SingleKES d)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Singletype TotalPeriodsKES (SingleKES d) =Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Single1
data VerKeyKES (SingleKES d)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Singletype VerKeySizeKES (SingleKES d) = FixedSize (VerKeyKES (SingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Singledata UnsoundPureSignKeyKES (SingleKES d)UnsoundPureSignKeySingleKES (SignKeyDSIGN d)
Instances52Eq, Show, Generic, NFData, NoThunks, FromCBOR, …
Eq (VerKeyKES (SumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Sum(KESAlgorithm d, KESAlgorithm (SumKES h d)) => Eq (SigKES (SumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Sum(KESAlgorithm d, Eq (UnsoundPureSignKeyKES d)) => Eq (UnsoundPureSignKeyKES (SumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SumHashAlgorithm h => Show (VerKeyKES (SumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Sum(KESAlgorithm d, KESAlgorithm (SumKES h d)) => Show (SigKES (SumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Sum(KESAlgorithm d, Show (UnsoundPureSignKeyKES d)) => Show (UnsoundPureSignKeyKES (SumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SumGeneric (SigKES (SumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SumGeneric (UnsoundPureSignKeyKES (SumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SumGeneric (VerKeyKES (SumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SumNFData (VerKeyKES (SumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Sum(NFData (SigKES d), NFData (VerKeyKES d)) => NFData (SigKES (SumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Sum(NFData (SignKeyKES d), NFData (VerKeyKES d)) => NFData (SignKeyKES (SumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SumKESAlgorithm d => NoThunks (SigKES (SumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SumKESAlgorithm d => NoThunks (VerKeyKES (SumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SumNoThunks (SignKeyKES (SumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Sum(NoThunks (UnsoundPureSignKeyKES d), KESAlgorithm d) => NoThunks (UnsoundPureSignKeyKES (SumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Sum(HashSize h ~ SeedSizeKES d, UnsoundPureKESAlgorithm d, SodiumHashAlgorithm h, KESAlgorithm (SumKES h d)) => FromCBOR (UnsoundPureSignKeyKES (SumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Sum(KESAlgorithm (SumKES h d), SodiumHashAlgorithm h, HashSize h ~ SeedSizeKES d) => FromCBOR (SigKES (SumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Sum(KESAlgorithm (SumKES h d), SodiumHashAlgorithm h, HashSize h ~ SeedSizeKES d) => FromCBOR (VerKeyKES (SumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Sum(HashSize h ~ SeedSizeKES d, UnsoundPureKESAlgorithm d, SodiumHashAlgorithm h, KESAlgorithm (SumKES h d)) => ToCBOR (UnsoundPureSignKeyKES (SumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Sum(KESAlgorithm (SumKES h d), SodiumHashAlgorithm h, HashSize h ~ SeedSizeKES d) => ToCBOR (SigKES (SumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Sum(KESAlgorithm (SumKES h d), SodiumHashAlgorithm h, HashSize h ~ SeedSizeKES d) => ToCBOR (VerKeyKES (SumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SumHashAlgorithm h => FixedSizeCodec (VerKeyKES (SumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Sum(KESAlgorithm (SumKES h d), UnsoundPureKESAlgorithm d, KnownNat ((SignKeySizeKES d + SeedSizeKES d) + (Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Sum2
* VerKeySizeKES d))) => FixedSizeCodec (UnsoundPureSignKeyKES (SumKES h d))(KESAlgorithm d, KnownNat (SigSizeKES d + (VerKeySizeKES d *Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Sum2
)), Typeable h) => FixedSizeCodec (SigKES (SumKES h d))HashAlgorithm h => DirectDeserialise (VerKeyKES (SumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Sum(DirectDeserialise (SignKeyKES d), DirectDeserialise (VerKeyKES d), KESAlgorithm d) => DirectDeserialise (SignKeyKES (SumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.SumDirectSerialise (VerKeyKES (SumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Sum(DirectSerialise (SignKeyKES d), DirectSerialise (VerKeyKES d), KESAlgorithm d) => DirectSerialise (SignKeyKES (SumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Sum(KESAlgorithm d, SodiumHashAlgorithm h, HashSize h ~ SeedSizeKES d, KnownNat ((SignKeySizeKES d + SeedSizeKES d) + (Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Sum2
* VerKeySizeKES d)), KnownNat (SigSizeKES d + (VerKeySizeKES d *2
)), KnownNat (2
* TotalPeriodsKES d)) => KESAlgorithm (SumKES h d)(KESAlgorithm (SumKES h d), UnsoundKESAlgorithm d) => UnsoundKESAlgorithm (SumKES h d)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Sum(KESAlgorithm (SumKES h d), HashAlgorithm h, UnsoundPureKESAlgorithm d) => UnsoundPureKESAlgorithm (SumKES h d)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Sumtype Rep (SigKES (SumKES h d)) = D1 ('MetaDataDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Sum"SigKES"
"Cardano.Crypto.KES.Sum"
"cardano-crypto-class-2.5.1.0-2YbSTqCvsz43JrgaH5m8D0"
'False) (C1 ('MetaCons"SigSumKES"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SigKES d)) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VerKeyKES d)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VerKeyKES d)))))type Rep (UnsoundPureSignKeyKES (SumKES h d)) = D1 ('MetaDataDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Sum"UnsoundPureSignKeyKES"
"Cardano.Crypto.KES.Sum"
"cardano-crypto-class-2.5.1.0-2YbSTqCvsz43JrgaH5m8D0"
'False) (C1 ('MetaCons"UnsoundPureSignKeySumKES"
'PrefixI 'False) ((S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (UnsoundPureSignKeyKES d)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Seed)) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VerKeyKES d)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VerKeyKES d)))))type Rep (VerKeyKES (SumKES h d)) = D1 ('MetaDataDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Sum"VerKeyKES"
"Cardano.Crypto.KES.Sum"
"cardano-crypto-class-2.5.1.0-2YbSTqCvsz43JrgaH5m8D0"
'True) (C1 ('MetaCons"VerKeySumKES"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Hash h (VerKeyKES d, VerKeyKES d)))))type FixedSize (SigKES (SumKES h d)) = SigSizeKES d + (VerKeySizeKES d *Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Sum2
)type FixedSize (UnsoundPureSignKeyKES (SumKES h d)) = SignKeySizeKES (SumKES h d)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Sumtype FixedSize (VerKeyKES (SumKES h d)) = HashSize hDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Sumtype ContextKES (SumKES h d) = ContextKES dDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Sumtype SeedSizeKES (SumKES h d) = SeedSizeKES dDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Sumdata SigKES (SumKES h d)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Sumtype SigSizeKES (SumKES h d) = FixedSize (SigKES (SumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Sumdata SignKeyKES (SumKES h d)SignKeySumKES !(SignKeyKES d) !(MLockedSeed (SeedSizeKES d)) !(VerKeyKES d) !(VerKeyKES d)
type SignKeySizeKES (SumKES h d) = (SignKeySizeKES d + SeedSizeKES d) + (Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Sum2
* VerKeySizeKES d)type Signable (SumKES h d) = Signable dDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Sumtype SizeSigKES (SumKES h d) = SigSizeKES (SumKES h d)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Sumtype SizeSignKeyKES (SumKES h d) = SignKeySizeKES (SumKES h d)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Sumtype SizeVerKeyKES (SumKES h d) = VerKeySizeKES (SumKES h d)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Sumtype TotalPeriodsKES (SumKES h d) =Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Sum2
* TotalPeriodsKES ddata VerKeyKES (SumKES h d)VerKeySumKES (Hash h (VerKeyKES d, VerKeyKES d))
type VerKeySizeKES (SumKES h d) = FixedSize (VerKeyKES (SumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Sumdata UnsoundPureSignKeyKES (SumKES h d)UnsoundPureSignKeySumKES !(UnsoundPureSignKeyKES d) !Seed !(VerKeyKES d) !(VerKeyKES d)