Generic (SigKES (CompactSingleKES d)) Source # | |
Instance detailsDefined in Cardano.Crypto.KES.CompactSingle |
Generic (SigKES (CompactSumKES h d)) Source # | |
Instance detailsDefined in Cardano.Crypto.KES.CompactSum |
Generic (SigKES (MockKES t)) Source # | |
Instance detailsDefined in Cardano.Crypto.KES.Mock |
Generic (SigKES NeverKES) Source # | |
Instance detailsDefined in Cardano.Crypto.KES.NeverUsed |
Generic (SigKES (SimpleKES d t)) Source # | |
Instance detailsDefined in Cardano.Crypto.KES.Simple |
Generic (SigKES (SingleKES d)) Source # | |
Instance detailsDefined in Cardano.Crypto.KES.Single |
Generic (SigKES (SumKES h d)) Source # | |
Instance detailsDefined in Cardano.Crypto.KES.Sum |
DSIGNMAlgorithm d ⇒ Show (SigKES (CompactSingleKES d)) Source # | |
Instance detailsDefined in Cardano.Crypto.KES.CompactSingle |
KESAlgorithm d ⇒ Show (SigKES (CompactSumKES h d)) Source # | |
Instance detailsDefined in Cardano.Crypto.KES.CompactSum |
Show (SigKES (MockKES t)) Source # | |
Instance detailsDefined in Cardano.Crypto.KES.Mock |
Show (SigKES NeverKES) Source # | |
Instance detailsDefined in Cardano.Crypto.KES.NeverUsed |
DSIGNMAlgorithm d ⇒ Show (SigKES (SimpleKES d t)) Source # | |
Instance detailsDefined in Cardano.Crypto.KES.Simple |
DSIGNAlgorithm d ⇒ Show (SigKES (SingleKES d)) Source # | |
Instance detailsDefined in Cardano.Crypto.KES.Single |
(KESAlgorithm d, KESAlgorithm (SumKES h d)) ⇒ Show (SigKES (SumKES h d)) Source # | |
Instance detailsDefined in Cardano.Crypto.KES.Sum |
(DSIGNMAlgorithm d, KnownNat (SizeSigKES (CompactSingleKES d))) ⇒ FromCBOR (SigKES (CompactSingleKES d)) Source # | |
Instance detailsDefined in Cardano.Crypto.KES.CompactSingle |
(OptimizedKESAlgorithm d, SodiumHashAlgorithm h, SizeHash h ~ SeedSizeKES d, NoThunks (VerKeyKES (CompactSumKES h d)), KnownNat (SizeVerKeyKES (CompactSumKES h d)), KnownNat (SizeSignKeyKES (CompactSumKES h d)), KnownNat (SizeSigKES (CompactSumKES h d))) ⇒ FromCBOR (SigKES (CompactSumKES h d)) Source # | |
Instance detailsDefined in Cardano.Crypto.KES.CompactSum |
KnownNat t ⇒ FromCBOR (SigKES (MockKES t)) Source # | |
Instance detailsDefined in Cardano.Crypto.KES.Mock |
(DSIGNMAlgorithm d, KnownNat t, KnownNat (SeedSizeDSIGN d * t), KnownNat (SizeVerKeyDSIGN d * t), KnownNat (SizeSignKeyDSIGN d * t)) ⇒ FromCBOR (SigKES (SimpleKES d t)) Source # | |
Instance detailsDefined in Cardano.Crypto.KES.Simple |
DSIGNMAlgorithm d ⇒ FromCBOR (SigKES (SingleKES d)) Source # | |
Instance detailsDefined in Cardano.Crypto.KES.Single |
(KESAlgorithm (SumKES h d), SodiumHashAlgorithm h, SizeHash h ~ SeedSizeKES d) ⇒ FromCBOR (SigKES (SumKES h d)) Source # | |
Instance detailsDefined in Cardano.Crypto.KES.Sum |
(DSIGNMAlgorithm d, KnownNat (SizeSigKES (CompactSingleKES d))) ⇒ ToCBOR (SigKES (CompactSingleKES d)) Source # | |
Instance detailsDefined in Cardano.Crypto.KES.CompactSingle |
(OptimizedKESAlgorithm d, SodiumHashAlgorithm h, SizeHash h ~ SeedSizeKES d, NoThunks (VerKeyKES (CompactSumKES h d)), KnownNat (SizeVerKeyKES (CompactSumKES h d)), KnownNat (SizeSignKeyKES (CompactSumKES h d)), KnownNat (SizeSigKES (CompactSumKES h d))) ⇒ ToCBOR (SigKES (CompactSumKES h d)) Source # | |
Instance detailsDefined in Cardano.Crypto.KES.CompactSum |
KnownNat t ⇒ ToCBOR (SigKES (MockKES t)) Source # | |
Instance detailsDefined in Cardano.Crypto.KES.Mock |
(DSIGNMAlgorithm d, KnownNat t, KnownNat (SeedSizeDSIGN d * t), KnownNat (SizeVerKeyDSIGN d * t), KnownNat (SizeSignKeyDSIGN d * t)) ⇒ ToCBOR (SigKES (SimpleKES d t)) Source # | |
Instance detailsDefined in Cardano.Crypto.KES.Simple |
DSIGNMAlgorithm d ⇒ ToCBOR (SigKES (SingleKES d)) Source # | |
Instance detailsDefined in Cardano.Crypto.KES.Single |
(KESAlgorithm (SumKES h d), SodiumHashAlgorithm h, SizeHash h ~ SeedSizeKES d) ⇒ ToCBOR (SigKES (SumKES h d)) Source # | |
Instance detailsDefined in Cardano.Crypto.KES.Sum |
(NFData (SigDSIGN d), NFData (VerKeyDSIGN d)) ⇒ NFData (SigKES (CompactSingleKES d)) | |
Instance detailsDefined in Cardano.Crypto.KES.CompactSingle |
(NFData (SigKES d), NFData (VerKeyKES d)) ⇒ NFData (SigKES (CompactSumKES h d)) | |
Instance detailsDefined in Cardano.Crypto.KES.CompactSum |
NFData (SigDSIGN d) ⇒ NFData (SigKES (SingleKES d)) | |
Instance detailsDefined in Cardano.Crypto.KES.Single |
(NFData (SigKES d), NFData (VerKeyKES d)) ⇒ NFData (SigKES (SumKES h d)) | |
Instance detailsDefined in Cardano.Crypto.KES.Sum |
DSIGNMAlgorithm d ⇒ Eq (SigKES (CompactSingleKES d)) Source # | |
Instance detailsDefined in Cardano.Crypto.KES.CompactSingle |
KESAlgorithm d ⇒ Eq (SigKES (CompactSumKES h d)) Source # | |
Instance detailsDefined in Cardano.Crypto.KES.CompactSum |
Eq (SigKES (MockKES t)) Source # | |
Instance detailsDefined in Cardano.Crypto.KES.Mock |
Eq (SigKES NeverKES) Source # | |
Instance detailsDefined in Cardano.Crypto.KES.NeverUsed |
DSIGNMAlgorithm d ⇒ Eq (SigKES (SimpleKES d t)) Source # | |
Instance detailsDefined in Cardano.Crypto.KES.Simple |
DSIGNAlgorithm d ⇒ Eq (SigKES (SingleKES d)) Source # | |
Instance detailsDefined in Cardano.Crypto.KES.Single |
(KESAlgorithm d, KESAlgorithm (SumKES h d)) ⇒ Eq (SigKES (SumKES h d)) Source # | |
Instance detailsDefined in Cardano.Crypto.KES.Sum |
DSIGNMAlgorithm d ⇒ NoThunks (SigKES (CompactSingleKES d)) Source # | |
Instance detailsDefined in Cardano.Crypto.KES.CompactSingle |
KESAlgorithm d ⇒ NoThunks (SigKES (CompactSumKES h d)) Source # | |
Instance detailsDefined in Cardano.Crypto.KES.CompactSum |
NoThunks (SigKES (MockKES t)) Source # | |
Instance detailsDefined in Cardano.Crypto.KES.Mock |
NoThunks (SigKES NeverKES) Source # | |
Instance detailsDefined in Cardano.Crypto.KES.NeverUsed |
DSIGNMAlgorithm d ⇒ NoThunks (SigKES (SimpleKES d t)) Source # | |
Instance detailsDefined in Cardano.Crypto.KES.Simple |
DSIGNAlgorithm d ⇒ NoThunks (SigKES (SingleKES d)) Source # | |
Instance detailsDefined in Cardano.Crypto.KES.Single |
KESAlgorithm d ⇒ NoThunks (SigKES (SumKES h d)) Source # | |
Instance detailsDefined in Cardano.Crypto.KES.Sum |
data SigKES NeverKES Source # | |
Instance detailsDefined in Cardano.Crypto.KES.NeverUsed |
type Rep (SigKES (CompactSingleKES d)) Source # | |
Instance detailsDefined in Cardano.Crypto.KES.CompactSingle type Rep ( SigKES ( CompactSingleKES d)) = D1 ('MetaData "SigKES" "Cardano.Crypto.KES.CompactSingle" "cardano-crypto-class-2.2.2.0-inplace" ' False) (C1 ('MetaCons "SigCompactSingleKES" 'PrefixI ' False) (S1 ('MetaSel (' Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ( SigDSIGN d)) :*: S1 ('MetaSel (' Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ( VerKeyDSIGN d)))) |
type Rep (SigKES (CompactSumKES h d)) Source # | |
Instance detailsDefined in Cardano.Crypto.KES.CompactSum type Rep ( SigKES ( CompactSumKES h d)) = D1 ('MetaData "SigKES" "Cardano.Crypto.KES.CompactSum" "cardano-crypto-class-2.2.2.0-inplace" ' False) (C1 ('MetaCons "SigCompactSumKES" 'PrefixI ' False) (S1 ('MetaSel (' Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ( SigKES d)) :*: S1 ('MetaSel (' Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ( VerKeyKES d)))) |
type Rep (SigKES (MockKES t)) Source # | |
Instance detailsDefined in Cardano.Crypto.KES.Mock type Rep ( SigKES ( MockKES t)) = D1 ('MetaData "SigKES" "Cardano.Crypto.KES.Mock" "cardano-crypto-class-2.2.2.0-inplace" ' False) (C1 ('MetaCons "SigMockKES" 'PrefixI ' False) (S1 ('MetaSel (' Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ( Hash ShortHash ())) :*: S1 ('MetaSel (' Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ( SignKeyKES ( MockKES t))))) |
type Rep (SigKES NeverKES) Source # | |
Instance detailsDefined in Cardano.Crypto.KES.NeverUsed type Rep ( SigKES NeverKES) = D1 ('MetaData "SigKES" "Cardano.Crypto.KES.NeverUsed" "cardano-crypto-class-2.2.2.0-inplace" ' False) (C1 ('MetaCons "NeverUsedSigKES" 'PrefixI ' False) (U1 ∷ Type → Type)) |
type Rep (SigKES (SimpleKES d t)) Source # | |
Instance detailsDefined in Cardano.Crypto.KES.Simple type Rep ( SigKES ( SimpleKES d t)) = D1 ('MetaData "SigKES" "Cardano.Crypto.KES.Simple" "cardano-crypto-class-2.2.2.0-inplace" ' True) (C1 ('MetaCons "SigSimpleKES" 'PrefixI ' False) (S1 ('MetaSel (' Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ( SigDSIGN d)))) |
type Rep (SigKES (SingleKES d)) Source # | |
Instance detailsDefined in Cardano.Crypto.KES.Single type Rep ( SigKES ( SingleKES d)) = D1 ('MetaData "SigKES" "Cardano.Crypto.KES.Single" "cardano-crypto-class-2.2.2.0-inplace" ' True) (C1 ('MetaCons "SigSingleKES" 'PrefixI ' False) (S1 ('MetaSel (' Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ( SigDSIGN d)))) |
type Rep (SigKES (SumKES h d)) Source # | |
Instance detailsDefined in Cardano.Crypto.KES.Sum type Rep ( SigKES ( SumKES h d)) = D1 ('MetaData "SigKES" "Cardano.Crypto.KES.Sum" "cardano-crypto-class-2.2.2.0-inplace" ' False) (C1 ('MetaCons "SigSumKES" 'PrefixI ' False) (S1 ('MetaSel (' Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ( SigKES d)) :*: (S1 ('MetaSel (' Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ( VerKeyKES d)) :*: S1 ('MetaSel (' Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ( VerKeyKES d))))) |
data SigKES (CompactSingleKES d) Source # | |
Instance detailsDefined in Cardano.Crypto.KES.CompactSingle |
data SigKES (MockKES t) Source # | |
Instance detailsDefined in Cardano.Crypto.KES.Mock |
newtype SigKES (SingleKES d) Source # | |
Instance detailsDefined in Cardano.Crypto.KES.Single |
data SigKES (CompactSumKES h d) Source # | |
Instance detailsDefined in Cardano.Crypto.KES.CompactSum |
newtype SigKES (SimpleKES d t) Source # | |
Instance detailsDefined in Cardano.Crypto.KES.Simple |
data SigKES (SumKES h d) Source # | |
Instance detailsDefined in Cardano.Crypto.KES.Sum |