cardano-crypto-class-2.0.0.0.1: Type classes abstracting over cryptography primitives for Cardano
Safe Haskell None
Language Haskell2010

Cardano.Crypto.KES.NeverUsed

Synopsis

Documentation

data NeverKES Source #

KES never used

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

Instances

Instances details
KESAlgorithm NeverKES Source #
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

Eq ( VerKeyKES NeverKES ) Source #
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

Eq ( SignKeyKES NeverKES ) Source #
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

Eq ( SigKES NeverKES ) Source #
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

Show ( VerKeyKES NeverKES ) Source #
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

Show ( SignKeyKES NeverKES ) Source #
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

Show ( SigKES NeverKES ) Source #
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

Generic ( VerKeyKES NeverKES ) Source #
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

Generic ( SignKeyKES NeverKES ) Source #
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

Generic ( SigKES NeverKES ) Source #
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

NoThunks ( VerKeyKES NeverKES ) Source #
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

NoThunks ( SignKeyKES NeverKES ) Source #
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

NoThunks ( SigKES NeverKES ) Source #
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

type SeedSizeKES NeverKES Source #
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

data VerKeyKES NeverKES Source #
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

data SignKeyKES NeverKES Source #
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

data SigKES NeverKES Source #
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

type ContextKES NeverKES Source #
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

type Signable NeverKES Source #
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

type Rep ( VerKeyKES NeverKES ) Source #
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

type Rep ( VerKeyKES NeverKES ) = D1 (' MetaData "VerKeyKES" "Cardano.Crypto.KES.NeverUsed" "cardano-crypto-class-2.0.0.0.1-5PqST7yhL1v7PBV5z4tsb9" ' False ) ( C1 (' MetaCons "NeverUsedVerKeyKES" ' PrefixI ' False ) ( U1 :: Type -> Type ))
type Rep ( SignKeyKES NeverKES ) Source #
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

type Rep ( SignKeyKES NeverKES ) = D1 (' MetaData "SignKeyKES" "Cardano.Crypto.KES.NeverUsed" "cardano-crypto-class-2.0.0.0.1-5PqST7yhL1v7PBV5z4tsb9" ' False ) ( C1 (' MetaCons "NeverUsedSignKeyKES" ' PrefixI ' False ) ( U1 :: Type -> Type ))
type Rep ( SigKES NeverKES ) Source #
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

type Rep ( SigKES NeverKES ) = D1 (' MetaData "SigKES" "Cardano.Crypto.KES.NeverUsed" "cardano-crypto-class-2.0.0.0.1-5PqST7yhL1v7PBV5z4tsb9" ' False ) ( C1 (' MetaCons "NeverUsedSigKES" ' PrefixI ' False ) ( U1 :: Type -> Type ))

data family VerKeyKES v :: Type Source #

Instances

Instances details
Eq ( VerKeyKES NeverKES ) Source #
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

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

Defined in Cardano.Crypto.KES.Mock

DSIGNAlgorithm d => Eq ( VerKeyKES ( SingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.Single

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

Defined in Cardano.Crypto.KES.Sum

DSIGNAlgorithm d => Eq ( VerKeyKES ( SimpleKES d t)) Source #
Instance details

Defined in Cardano.Crypto.KES.Simple

DSIGNAlgorithm d => Eq ( VerKeyKES ( CompactSingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

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

Defined in Cardano.Crypto.KES.CompactSum

( TypeError (' Text "Ord not supported for verification keys, use the hash instead") :: Constraint , KESAlgorithm v) => Ord ( VerKeyKES v) Source #
Instance details

Defined in Cardano.Crypto.KES.Class

Show ( VerKeyKES NeverKES ) Source #
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

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

Defined in Cardano.Crypto.KES.Mock

DSIGNAlgorithm d => Show ( VerKeyKES ( SingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.Single

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

Defined in Cardano.Crypto.KES.Sum

DSIGNAlgorithm d => Show ( VerKeyKES ( SimpleKES d t)) Source #
Instance details

Defined in Cardano.Crypto.KES.Simple

DSIGNAlgorithm d => Show ( VerKeyKES ( CompactSingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

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

Defined in Cardano.Crypto.KES.CompactSum

Generic ( VerKeyKES NeverKES ) Source #
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

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

Defined in Cardano.Crypto.KES.Mock

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

Defined in Cardano.Crypto.KES.Single

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

Defined in Cardano.Crypto.KES.Sum

Associated Types

type Rep ( VerKeyKES ( SumKES h d)) :: Type -> Type Source #

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

Defined in Cardano.Crypto.KES.Simple

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

Defined in Cardano.Crypto.KES.CompactSingle

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

Defined in Cardano.Crypto.KES.CompactSum

KnownNat t => ToCBOR ( VerKeyKES ( MockKES t)) Source #
Instance details

Defined in Cardano.Crypto.KES.Mock

DSIGNAlgorithm d => ToCBOR ( VerKeyKES ( SingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.Single

( KESAlgorithm d, HashAlgorithm h, Typeable d) => ToCBOR ( VerKeyKES ( SumKES h d)) Source #
Instance details

Defined in Cardano.Crypto.KES.Sum

( DSIGNAlgorithm d, Typeable d, KnownNat t, KnownNat ( SeedSizeDSIGN d * t)) => ToCBOR ( VerKeyKES ( SimpleKES d t)) Source #
Instance details

Defined in Cardano.Crypto.KES.Simple

DSIGNAlgorithm d => ToCBOR ( VerKeyKES ( CompactSingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

( OptimizedKESAlgorithm d, HashAlgorithm h, Typeable d) => ToCBOR ( VerKeyKES ( CompactSumKES h d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSum

KnownNat t => FromCBOR ( VerKeyKES ( MockKES t)) Source #
Instance details

Defined in Cardano.Crypto.KES.Mock

DSIGNAlgorithm d => FromCBOR ( VerKeyKES ( SingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.Single

( KESAlgorithm d, HashAlgorithm h, Typeable d) => FromCBOR ( VerKeyKES ( SumKES h d)) Source #
Instance details

Defined in Cardano.Crypto.KES.Sum

( DSIGNAlgorithm d, Typeable d, KnownNat t, KnownNat ( SeedSizeDSIGN d * t)) => FromCBOR ( VerKeyKES ( SimpleKES d t)) Source #
Instance details

Defined in Cardano.Crypto.KES.Simple

DSIGNAlgorithm d => FromCBOR ( VerKeyKES ( CompactSingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

( OptimizedKESAlgorithm d, HashAlgorithm h, Typeable d) => FromCBOR ( VerKeyKES ( CompactSumKES h d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSum

NFData ( VerKeyDSIGN d) => NFData ( VerKeyKES ( SingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.Single

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

Defined in Cardano.Crypto.KES.Sum

NFData ( VerKeyDSIGN d) => NFData ( VerKeyKES ( CompactSingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

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

Defined in Cardano.Crypto.KES.CompactSum

NoThunks ( VerKeyKES NeverKES ) Source #
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

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

Defined in Cardano.Crypto.KES.Mock

DSIGNAlgorithm d => NoThunks ( VerKeyKES ( SingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.Single

KESAlgorithm d => NoThunks ( VerKeyKES ( SumKES h d)) Source #
Instance details

Defined in Cardano.Crypto.KES.Sum

DSIGNAlgorithm d => NoThunks ( VerKeyKES ( SimpleKES d t)) Source #
Instance details

Defined in Cardano.Crypto.KES.Simple

DSIGNAlgorithm d => NoThunks ( VerKeyKES ( CompactSingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

OptimizedKESAlgorithm d => NoThunks ( VerKeyKES ( CompactSumKES h d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSum

data VerKeyKES NeverKES Source #
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

type Rep ( VerKeyKES NeverKES ) Source #
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

type Rep ( VerKeyKES NeverKES ) = D1 (' MetaData "VerKeyKES" "Cardano.Crypto.KES.NeverUsed" "cardano-crypto-class-2.0.0.0.1-5PqST7yhL1v7PBV5z4tsb9" ' False ) ( C1 (' MetaCons "NeverUsedVerKeyKES" ' PrefixI ' False ) ( U1 :: Type -> Type ))
type Rep ( VerKeyKES ( MockKES t)) Source #
Instance details

Defined in Cardano.Crypto.KES.Mock

type Rep ( VerKeyKES ( MockKES t)) = D1 (' MetaData "VerKeyKES" "Cardano.Crypto.KES.Mock" "cardano-crypto-class-2.0.0.0.1-5PqST7yhL1v7PBV5z4tsb9" ' True ) ( C1 (' MetaCons "VerKeyMockKES" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 Word64 )))
type Rep ( VerKeyKES ( SingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.Single

type Rep ( VerKeyKES ( SingleKES d)) = D1 (' MetaData "VerKeyKES" "Cardano.Crypto.KES.Single" "cardano-crypto-class-2.0.0.0.1-5PqST7yhL1v7PBV5z4tsb9" ' True ) ( C1 (' MetaCons "VerKeySingleKES" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( VerKeyDSIGN d))))
type Rep ( VerKeyKES ( SumKES h d)) Source #
Instance details

Defined in Cardano.Crypto.KES.Sum

type Rep ( VerKeyKES ( SumKES h d)) = D1 (' MetaData "VerKeyKES" "Cardano.Crypto.KES.Sum" "cardano-crypto-class-2.0.0.0.1-5PqST7yhL1v7PBV5z4tsb9" ' True ) ( C1 (' MetaCons "VerKeySumKES" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( Hash h ( VerKeyKES d, VerKeyKES d)))))
type Rep ( VerKeyKES ( SimpleKES d t)) Source #
Instance details

Defined in Cardano.Crypto.KES.Simple

type Rep ( VerKeyKES ( SimpleKES d t)) = D1 (' MetaData "VerKeyKES" "Cardano.Crypto.KES.Simple" "cardano-crypto-class-2.0.0.0.1-5PqST7yhL1v7PBV5z4tsb9" ' True ) ( C1 (' MetaCons "ThunkyVerKeySimpleKES" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( Vector ( VerKeyDSIGN d)))))
type Rep ( VerKeyKES ( CompactSingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

type Rep ( VerKeyKES ( CompactSingleKES d)) = D1 (' MetaData "VerKeyKES" "Cardano.Crypto.KES.CompactSingle" "cardano-crypto-class-2.0.0.0.1-5PqST7yhL1v7PBV5z4tsb9" ' True ) ( C1 (' MetaCons "VerKeyCompactSingleKES" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( VerKeyDSIGN d))))
type Rep ( VerKeyKES ( CompactSumKES h d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSum

type Rep ( VerKeyKES ( CompactSumKES h d)) = D1 (' MetaData "VerKeyKES" "Cardano.Crypto.KES.CompactSum" "cardano-crypto-class-2.0.0.0.1-5PqST7yhL1v7PBV5z4tsb9" ' True ) ( C1 (' MetaCons "VerKeyCompactSumKES" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( Hash h ( VerKeyKES d, VerKeyKES d)))))
newtype VerKeyKES ( MockKES t) Source #
Instance details

Defined in Cardano.Crypto.KES.Mock

newtype VerKeyKES ( SingleKES d) Source #
Instance details

Defined in Cardano.Crypto.KES.Single

newtype VerKeyKES ( CompactSingleKES d) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

newtype VerKeyKES ( SumKES h d) Source #
Instance details

Defined in Cardano.Crypto.KES.Sum

newtype VerKeyKES ( SimpleKES d t) Source #
Instance details

Defined in Cardano.Crypto.KES.Simple

newtype VerKeyKES ( CompactSumKES h d) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSum

data family SignKeyKES v :: Type Source #

Instances

Instances details
Eq ( SignKeyKES NeverKES ) Source #
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

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

Defined in Cardano.Crypto.KES.Mock

( TypeError (' Text "Ord not supported for signing keys, use the hash instead") :: Constraint , Eq ( SignKeyKES v)) => Ord ( SignKeyKES v) Source #
Instance details

Defined in Cardano.Crypto.KES.Class

Show ( SignKeyKES NeverKES ) Source #
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

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

Defined in Cardano.Crypto.KES.Mock

DSIGNAlgorithm d => Show ( SignKeyKES ( SingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.Single

KESAlgorithm d => Show ( SignKeyKES ( SumKES h d)) Source #
Instance details

Defined in Cardano.Crypto.KES.Sum

DSIGNAlgorithm d => Show ( SignKeyKES ( SimpleKES d t)) Source #
Instance details

Defined in Cardano.Crypto.KES.Simple

DSIGNAlgorithm d => Show ( SignKeyKES ( CompactSingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

KESAlgorithm d => Show ( SignKeyKES ( CompactSumKES h d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSum

Generic ( SignKeyKES NeverKES ) Source #
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

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

Defined in Cardano.Crypto.KES.Mock

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

Defined in Cardano.Crypto.KES.Single

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

Defined in Cardano.Crypto.KES.Sum

Associated Types

type Rep ( SignKeyKES ( SumKES h d)) :: Type -> Type Source #

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

Defined in Cardano.Crypto.KES.Simple

Generic ( SignKeyKES ( CompactSingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

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

Defined in Cardano.Crypto.KES.CompactSum

KnownNat t => ToCBOR ( SignKeyKES ( MockKES t)) Source #
Instance details

Defined in Cardano.Crypto.KES.Mock

DSIGNAlgorithm d => ToCBOR ( SignKeyKES ( SingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.Single

( KESAlgorithm d, HashAlgorithm h, Typeable d) => ToCBOR ( SignKeyKES ( SumKES h d)) Source #
Instance details

Defined in Cardano.Crypto.KES.Sum

( DSIGNAlgorithm d, Typeable d, KnownNat t, KnownNat ( SeedSizeDSIGN d * t)) => ToCBOR ( SignKeyKES ( SimpleKES d t)) Source #
Instance details

Defined in Cardano.Crypto.KES.Simple

DSIGNAlgorithm d => ToCBOR ( SignKeyKES ( CompactSingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

( OptimizedKESAlgorithm d, HashAlgorithm h, Typeable d) => ToCBOR ( SignKeyKES ( CompactSumKES h d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSum

KnownNat t => FromCBOR ( SignKeyKES ( MockKES t)) Source #
Instance details

Defined in Cardano.Crypto.KES.Mock

DSIGNAlgorithm d => FromCBOR ( SignKeyKES ( SingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.Single

( KESAlgorithm d, HashAlgorithm h, Typeable d) => FromCBOR ( SignKeyKES ( SumKES h d)) Source #
Instance details

Defined in Cardano.Crypto.KES.Sum

( DSIGNAlgorithm d, Typeable d, KnownNat t, KnownNat ( SeedSizeDSIGN d * t)) => FromCBOR ( SignKeyKES ( SimpleKES d t)) Source #
Instance details

Defined in Cardano.Crypto.KES.Simple

DSIGNAlgorithm d => FromCBOR ( SignKeyKES ( CompactSingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

( OptimizedKESAlgorithm d, HashAlgorithm h, Typeable d) => FromCBOR ( SignKeyKES ( CompactSumKES h d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSum

NFData ( SignKeyDSIGN d) => NFData ( SignKeyKES ( SingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.Single

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

Defined in Cardano.Crypto.KES.Sum

NFData ( SignKeyDSIGN d) => NFData ( SignKeyKES ( CompactSingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

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

Defined in Cardano.Crypto.KES.CompactSum

NoThunks ( SignKeyKES NeverKES ) Source #
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

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

Defined in Cardano.Crypto.KES.Mock

DSIGNAlgorithm d => NoThunks ( SignKeyKES ( SingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.Single

KESAlgorithm d => NoThunks ( SignKeyKES ( SumKES h d)) Source #
Instance details

Defined in Cardano.Crypto.KES.Sum

DSIGNAlgorithm d => NoThunks ( SignKeyKES ( SimpleKES d t)) Source #
Instance details

Defined in Cardano.Crypto.KES.Simple

DSIGNAlgorithm d => NoThunks ( SignKeyKES ( CompactSingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

KESAlgorithm d => NoThunks ( SignKeyKES ( CompactSumKES h d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSum

data SignKeyKES NeverKES Source #
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

type Rep ( SignKeyKES NeverKES ) Source #
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

type Rep ( SignKeyKES NeverKES ) = D1 (' MetaData "SignKeyKES" "Cardano.Crypto.KES.NeverUsed" "cardano-crypto-class-2.0.0.0.1-5PqST7yhL1v7PBV5z4tsb9" ' False ) ( C1 (' MetaCons "NeverUsedSignKeyKES" ' PrefixI ' False ) ( U1 :: Type -> Type ))
type Rep ( SignKeyKES ( MockKES t)) Source #
Instance details

Defined in Cardano.Crypto.KES.Mock

type Rep ( SignKeyKES ( SingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.Single

type Rep ( SignKeyKES ( SingleKES d)) = D1 (' MetaData "SignKeyKES" "Cardano.Crypto.KES.Single" "cardano-crypto-class-2.0.0.0.1-5PqST7yhL1v7PBV5z4tsb9" ' True ) ( C1 (' MetaCons "SignKeySingleKES" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( SignKeyDSIGN d))))
type Rep ( SignKeyKES ( SumKES h d)) Source #
Instance details

Defined in Cardano.Crypto.KES.Sum

type Rep ( SignKeyKES ( SimpleKES d t)) Source #
Instance details

Defined in Cardano.Crypto.KES.Simple

type Rep ( SignKeyKES ( SimpleKES d t)) = D1 (' MetaData "SignKeyKES" "Cardano.Crypto.KES.Simple" "cardano-crypto-class-2.0.0.0.1-5PqST7yhL1v7PBV5z4tsb9" ' True ) ( C1 (' MetaCons "ThunkySignKeySimpleKES" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( Vector ( SignKeyDSIGN d)))))
type Rep ( SignKeyKES ( CompactSingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

type Rep ( SignKeyKES ( CompactSingleKES d)) = D1 (' MetaData "SignKeyKES" "Cardano.Crypto.KES.CompactSingle" "cardano-crypto-class-2.0.0.0.1-5PqST7yhL1v7PBV5z4tsb9" ' True ) ( C1 (' MetaCons "SignKeyCompactSingleKES" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( SignKeyDSIGN d))))
type Rep ( SignKeyKES ( CompactSumKES h d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSum

data SignKeyKES ( MockKES t) Source #
Instance details

Defined in Cardano.Crypto.KES.Mock

newtype SignKeyKES ( SingleKES d) Source #
Instance details

Defined in Cardano.Crypto.KES.Single

newtype SignKeyKES ( CompactSingleKES d) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

data SignKeyKES ( SumKES h d) Source #
Instance details

Defined in Cardano.Crypto.KES.Sum

newtype SignKeyKES ( SimpleKES d t) Source #
Instance details

Defined in Cardano.Crypto.KES.Simple

data SignKeyKES ( CompactSumKES h d) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSum

data family SigKES v :: Type Source #

Instances

Instances details
Eq ( SigKES NeverKES ) Source #
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

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

Defined in Cardano.Crypto.KES.Mock

DSIGNAlgorithm d => Eq ( SigKES ( SingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.Single

KESAlgorithm d => Eq ( SigKES ( SumKES h d)) Source #
Instance details

Defined in Cardano.Crypto.KES.Sum

DSIGNAlgorithm d => Eq ( SigKES ( SimpleKES d t)) Source #
Instance details

Defined in Cardano.Crypto.KES.Simple

DSIGNAlgorithm d => Eq ( SigKES ( CompactSingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

KESAlgorithm d => Eq ( SigKES ( CompactSumKES h d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSum

( TypeError (' Text "Ord not supported for signing keys, use the hash instead") :: Constraint ) => Ord ( SigKES ( MockKES t)) Source #
Instance details

Defined in Cardano.Crypto.KES.Mock

Show ( SigKES NeverKES ) Source #
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

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

Defined in Cardano.Crypto.KES.Mock

DSIGNAlgorithm d => Show ( SigKES ( SingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.Single

KESAlgorithm d => Show ( SigKES ( SumKES h d)) Source #
Instance details

Defined in Cardano.Crypto.KES.Sum

DSIGNAlgorithm d => Show ( SigKES ( SimpleKES d t)) Source #
Instance details

Defined in Cardano.Crypto.KES.Simple

DSIGNAlgorithm d => Show ( SigKES ( CompactSingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

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

Defined in Cardano.Crypto.KES.CompactSum

Generic ( SigKES NeverKES ) Source #
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

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

Defined in Cardano.Crypto.KES.Mock

Associated Types

type Rep ( SigKES ( MockKES t)) :: Type -> Type Source #

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

Defined in Cardano.Crypto.KES.Single

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

Defined in Cardano.Crypto.KES.Sum

Associated Types

type Rep ( SigKES ( SumKES h d)) :: Type -> Type Source #

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

Defined in Cardano.Crypto.KES.Simple

Associated Types

type Rep ( SigKES ( SimpleKES d t)) :: Type -> Type Source #

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

Defined in Cardano.Crypto.KES.CompactSingle

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

Defined in Cardano.Crypto.KES.CompactSum

KnownNat t => ToCBOR ( SigKES ( MockKES t)) Source #
Instance details

Defined in Cardano.Crypto.KES.Mock

DSIGNAlgorithm d => ToCBOR ( SigKES ( SingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.Single

( KESAlgorithm d, HashAlgorithm h, Typeable d) => ToCBOR ( SigKES ( SumKES h d)) Source #
Instance details

Defined in Cardano.Crypto.KES.Sum

( DSIGNAlgorithm d, Typeable d, KnownNat t, KnownNat ( SeedSizeDSIGN d * t)) => ToCBOR ( SigKES ( SimpleKES d t)) Source #
Instance details

Defined in Cardano.Crypto.KES.Simple

DSIGNAlgorithm d => ToCBOR ( SigKES ( CompactSingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

( OptimizedKESAlgorithm d, HashAlgorithm h, Typeable d) => ToCBOR ( SigKES ( CompactSumKES h d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSum

KnownNat t => FromCBOR ( SigKES ( MockKES t)) Source #
Instance details

Defined in Cardano.Crypto.KES.Mock

DSIGNAlgorithm d => FromCBOR ( SigKES ( SingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.Single

( KESAlgorithm d, HashAlgorithm h, Typeable d) => FromCBOR ( SigKES ( SumKES h d)) Source #
Instance details

Defined in Cardano.Crypto.KES.Sum

( DSIGNAlgorithm d, Typeable d, KnownNat t, KnownNat ( SeedSizeDSIGN d * t)) => FromCBOR ( SigKES ( SimpleKES d t)) Source #
Instance details

Defined in Cardano.Crypto.KES.Simple

DSIGNAlgorithm d => FromCBOR ( SigKES ( CompactSingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

( OptimizedKESAlgorithm d, HashAlgorithm h, Typeable d) => FromCBOR ( SigKES ( CompactSumKES h d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSum

NFData ( SigDSIGN d) => NFData ( SigKES ( SingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.Single

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

Defined in Cardano.Crypto.KES.Sum

( NFData ( SigDSIGN d), NFData ( VerKeyDSIGN d)) => NFData ( SigKES ( CompactSingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

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

Defined in Cardano.Crypto.KES.CompactSum

NoThunks ( SigKES NeverKES ) Source #
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

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

Defined in Cardano.Crypto.KES.Mock

DSIGNAlgorithm d => NoThunks ( SigKES ( SingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.Single

KESAlgorithm d => NoThunks ( SigKES ( SumKES h d)) Source #
Instance details

Defined in Cardano.Crypto.KES.Sum

DSIGNAlgorithm d => NoThunks ( SigKES ( SimpleKES d t)) Source #
Instance details

Defined in Cardano.Crypto.KES.Simple

DSIGNAlgorithm d => NoThunks ( SigKES ( CompactSingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

KESAlgorithm d => NoThunks ( SigKES ( CompactSumKES h d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSum

data SigKES NeverKES Source #
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

type Rep ( SigKES NeverKES ) Source #
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

type Rep ( SigKES NeverKES ) = D1 (' MetaData "SigKES" "Cardano.Crypto.KES.NeverUsed" "cardano-crypto-class-2.0.0.0.1-5PqST7yhL1v7PBV5z4tsb9" ' False ) ( C1 (' MetaCons "NeverUsedSigKES" ' PrefixI ' False ) ( U1 :: Type -> Type ))
type Rep ( SigKES ( MockKES t)) Source #
Instance details

Defined in Cardano.Crypto.KES.Mock

type Rep ( SigKES ( SingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.Single

type Rep ( SigKES ( SingleKES d)) = D1 (' MetaData "SigKES" "Cardano.Crypto.KES.Single" "cardano-crypto-class-2.0.0.0.1-5PqST7yhL1v7PBV5z4tsb9" ' True ) ( C1 (' MetaCons "SigSingleKES" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( SigDSIGN d))))
type Rep ( SigKES ( SumKES h d)) Source #
Instance details

Defined in Cardano.Crypto.KES.Sum

type Rep ( SigKES ( SimpleKES d t)) Source #
Instance details

Defined in Cardano.Crypto.KES.Simple

type Rep ( SigKES ( SimpleKES d t)) = D1 (' MetaData "SigKES" "Cardano.Crypto.KES.Simple" "cardano-crypto-class-2.0.0.0.1-5PqST7yhL1v7PBV5z4tsb9" ' True ) ( C1 (' MetaCons "SigSimpleKES" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( SigDSIGN d))))
type Rep ( SigKES ( CompactSingleKES d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

type Rep ( SigKES ( CompactSumKES h d)) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSum

data SigKES ( MockKES t) Source #
Instance details

Defined in Cardano.Crypto.KES.Mock

newtype SigKES ( SingleKES d) Source #
Instance details

Defined in Cardano.Crypto.KES.Single

data SigKES ( CompactSingleKES d) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

data SigKES ( SumKES h d) Source #
Instance details

Defined in Cardano.Crypto.KES.Sum

newtype SigKES ( SimpleKES d t) Source #
Instance details

Defined in Cardano.Crypto.KES.Simple

data SigKES ( CompactSumKES h d) Source #
Instance details

Defined in Cardano.Crypto.KES.CompactSum