Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Crypto.KES.NeverUsed

Synopsis

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

Documentation

data NeverKES Source #

KES never used

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

Instances

Instances details

KESAlgorithm NeverKES Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed Associated Types type SeedSizeKES NeverKES :: Nat Source # data VerKeyKES NeverKES Source # data SignKeyKES NeverKES Source # data SigKES NeverKES Source # type ContextKES NeverKES Source # type Signable NeverKES :: Type -> Constraint Source # Methods algorithmNameKES :: proxy NeverKES -> String Source # deriveVerKeyKES :: SignKeyKES NeverKES -> VerKeyKES NeverKES Source # hashVerKeyKES :: HashAlgorithm h => VerKeyKES NeverKES -> Hash h (VerKeyKES NeverKES) Source # signKES :: (Signable NeverKES a, HasCallStack) => ContextKES NeverKES -> Period -> a -> SignKeyKES NeverKES -> SigKES NeverKES Source # verifyKES :: (Signable NeverKES a, HasCallStack) => ContextKES NeverKES -> VerKeyKES NeverKES -> Period -> a -> SigKES NeverKES -> Either String () Source # updateKES :: ContextKES NeverKES -> SignKeyKES NeverKES -> Period -> Maybe (SignKeyKES NeverKES) Source # totalPeriodsKES :: proxy NeverKES -> Word Source # genKeyKES :: Seed -> SignKeyKES NeverKES Source # seedSizeKES :: proxy NeverKES -> Word Source # forgetSignKeyKES :: SignKeyKES NeverKES -> IO () Source # sizeVerKeyKES :: proxy NeverKES -> Word Source # sizeSignKeyKES :: proxy NeverKES -> Word Source # sizeSigKES :: proxy NeverKES -> Word Source # rawSerialiseVerKeyKES :: VerKeyKES NeverKES -> ByteString Source # rawSerialiseSignKeyKES :: SignKeyKES NeverKES -> ByteString Source # rawSerialiseSigKES :: SigKES NeverKES -> ByteString Source # rawDeserialiseVerKeyKES :: ByteString -> Maybe (VerKeyKES NeverKES) Source # rawDeserialiseSignKeyKES :: ByteString -> Maybe (SignKeyKES NeverKES) Source # rawDeserialiseSigKES :: ByteString -> Maybe (SigKES NeverKES) Source #
Generic (SigKES NeverKES) Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed Associated Types type Rep (SigKES NeverKES) :: Type -> Type Source # Methods from :: SigKES NeverKES -> Rep (SigKES NeverKES) x Source # to :: Rep (SigKES NeverKES) x -> SigKES NeverKES Source #
Generic (SignKeyKES NeverKES) Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed Associated Types type Rep (SignKeyKES NeverKES) :: Type -> Type Source # Methods from :: SignKeyKES NeverKES -> Rep (SignKeyKES NeverKES) x Source # to :: Rep (SignKeyKES NeverKES) x -> SignKeyKES NeverKES Source #
Generic (VerKeyKES NeverKES) Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed Associated Types type Rep (VerKeyKES NeverKES) :: Type -> Type Source # Methods from :: VerKeyKES NeverKES -> Rep (VerKeyKES NeverKES) x Source # to :: Rep (VerKeyKES NeverKES) x -> VerKeyKES NeverKES Source #
Show (SigKES NeverKES) Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed Methods showsPrec :: Int -> SigKES NeverKES -> ShowS Source # show :: SigKES NeverKES -> String Source # showList :: [SigKES NeverKES] -> ShowS Source #
Show (SignKeyKES NeverKES) Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed Methods showsPrec :: Int -> SignKeyKES NeverKES -> ShowS Source # show :: SignKeyKES NeverKES -> String Source # showList :: [SignKeyKES NeverKES] -> ShowS Source #
Show (VerKeyKES NeverKES) Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed Methods showsPrec :: Int -> VerKeyKES NeverKES -> ShowS Source # show :: VerKeyKES NeverKES -> String Source # showList :: [VerKeyKES NeverKES] -> ShowS Source #
Eq (SigKES NeverKES) Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed Methods (==) :: SigKES NeverKES -> SigKES NeverKES -> Bool Source # (/=) :: SigKES NeverKES -> SigKES NeverKES -> Bool Source #
Eq (SignKeyKES NeverKES) Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed Methods (==) :: SignKeyKES NeverKES -> SignKeyKES NeverKES -> Bool Source # (/=) :: SignKeyKES NeverKES -> SignKeyKES NeverKES -> Bool Source #
Eq (VerKeyKES NeverKES) Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed Methods (==) :: VerKeyKES NeverKES -> VerKeyKES NeverKES -> Bool Source # (/=) :: VerKeyKES NeverKES -> VerKeyKES NeverKES -> Bool Source #
NoThunks (SigKES NeverKES) Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed Methods noThunks :: Context -> SigKES NeverKES -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> SigKES NeverKES -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (SigKES NeverKES) -> String Source #
NoThunks (SignKeyKES NeverKES) Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed Methods noThunks :: Context -> SignKeyKES NeverKES -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> SignKeyKES NeverKES -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (SignKeyKES NeverKES) -> String Source #
NoThunks (VerKeyKES NeverKES) Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed Methods noThunks :: Context -> VerKeyKES NeverKES -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> VerKeyKES NeverKES -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (VerKeyKES NeverKES) -> String Source #
type ContextKES NeverKES Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed type ContextKES NeverKES = ()
type SeedSizeKES NeverKES Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed type SeedSizeKES NeverKES = 0
data SigKES NeverKES Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed data SigKES NeverKES = NeverUsedSigKES
data SignKeyKES NeverKES Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed data SignKeyKES NeverKES = NeverUsedSignKeyKES
type Signable NeverKES Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed type Signable NeverKES = Empty
data VerKeyKES NeverKES Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed data VerKeyKES NeverKES = NeverUsedVerKeyKES
type Rep (SigKES NeverKES) Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed type Rep (SigKES NeverKES) = D1 ('MetaData "SigKES" "Cardano.Crypto.KES.NeverUsed" "cardano-crypto-class-2.0.0.0.0.0.0.2-DK6Ti6yI0b4E6vuoX0zDQ9" 'False) (C1 ('MetaCons "NeverUsedSigKES" 'PrefixI 'False) (U1 :: Type -> Type))
type Rep (SignKeyKES NeverKES) Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed type Rep (SignKeyKES NeverKES) = D1 ('MetaData "SignKeyKES" "Cardano.Crypto.KES.NeverUsed" "cardano-crypto-class-2.0.0.0.0.0.0.2-DK6Ti6yI0b4E6vuoX0zDQ9" 'False) (C1 ('MetaCons "NeverUsedSignKeyKES" 'PrefixI 'False) (U1 :: Type -> Type))
type Rep (VerKeyKES NeverKES) Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed type Rep (VerKeyKES NeverKES) = D1 ('MetaData "VerKeyKES" "Cardano.Crypto.KES.NeverUsed" "cardano-crypto-class-2.0.0.0.0.0.0.2-DK6Ti6yI0b4E6vuoX0zDQ9" 'False) (C1 ('MetaCons "NeverUsedVerKeyKES" 'PrefixI 'False) (U1 :: Type -> Type))

data family VerKeyKES v :: Type Source #

Instances

Instances details

Generic (VerKeyKES (CompactSingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSingle Associated Types type Rep (VerKeyKES (CompactSingleKES d)) :: Type -> Type Source # Methods from :: VerKeyKES (CompactSingleKES d) -> Rep (VerKeyKES (CompactSingleKES d)) x Source # to :: Rep (VerKeyKES (CompactSingleKES d)) x -> VerKeyKES (CompactSingleKES d) Source #
Generic (VerKeyKES (CompactSumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum Associated Types type Rep (VerKeyKES (CompactSumKES h d)) :: Type -> Type Source # Methods from :: VerKeyKES (CompactSumKES h d) -> Rep (VerKeyKES (CompactSumKES h d)) x Source # to :: Rep (VerKeyKES (CompactSumKES h d)) x -> VerKeyKES (CompactSumKES h d) Source #
Generic (VerKeyKES (MockKES t)) Source #
Instance details Defined in Cardano.Crypto.KES.Mock Associated Types type Rep (VerKeyKES (MockKES t)) :: Type -> Type Source # Methods from :: VerKeyKES (MockKES t) -> Rep (VerKeyKES (MockKES t)) x Source # to :: Rep (VerKeyKES (MockKES t)) x -> VerKeyKES (MockKES t) Source #
Generic (VerKeyKES NeverKES) Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed Associated Types type Rep (VerKeyKES NeverKES) :: Type -> Type Source # Methods from :: VerKeyKES NeverKES -> Rep (VerKeyKES NeverKES) x Source # to :: Rep (VerKeyKES NeverKES) x -> VerKeyKES NeverKES Source #
Generic (VerKeyKES (SimpleKES d t)) Source #
Instance details Defined in Cardano.Crypto.KES.Simple Associated Types type Rep (VerKeyKES (SimpleKES d t)) :: Type -> Type Source # Methods from :: VerKeyKES (SimpleKES d t) -> Rep (VerKeyKES (SimpleKES d t)) x Source # to :: Rep (VerKeyKES (SimpleKES d t)) x -> VerKeyKES (SimpleKES d t) Source #
Generic (VerKeyKES (SingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.Single Associated Types type Rep (VerKeyKES (SingleKES d)) :: Type -> Type Source # Methods from :: VerKeyKES (SingleKES d) -> Rep (VerKeyKES (SingleKES d)) x Source # to :: Rep (VerKeyKES (SingleKES d)) x -> VerKeyKES (SingleKES d) Source #
Generic (VerKeyKES (SumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.Sum Associated Types type Rep (VerKeyKES (SumKES h d)) :: Type -> Type Source # Methods from :: VerKeyKES (SumKES h d) -> Rep (VerKeyKES (SumKES h d)) x Source # to :: Rep (VerKeyKES (SumKES h d)) x -> VerKeyKES (SumKES h d) Source #
DSIGNAlgorithm d => Show (VerKeyKES (CompactSingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSingle Methods showsPrec :: Int -> VerKeyKES (CompactSingleKES d) -> ShowS Source # show :: VerKeyKES (CompactSingleKES d) -> String Source # showList :: [VerKeyKES (CompactSingleKES d)] -> ShowS Source #
HashAlgorithm h => Show (VerKeyKES (CompactSumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum Methods showsPrec :: Int -> VerKeyKES (CompactSumKES h d) -> ShowS Source # show :: VerKeyKES (CompactSumKES h d) -> String Source # showList :: [VerKeyKES (CompactSumKES h d)] -> ShowS Source #
Show (VerKeyKES (MockKES t)) Source #
Instance details Defined in Cardano.Crypto.KES.Mock Methods showsPrec :: Int -> VerKeyKES (MockKES t) -> ShowS Source # show :: VerKeyKES (MockKES t) -> String Source # showList :: [VerKeyKES (MockKES t)] -> ShowS Source #
Show (VerKeyKES NeverKES) Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed Methods showsPrec :: Int -> VerKeyKES NeverKES -> ShowS Source # show :: VerKeyKES NeverKES -> String Source # showList :: [VerKeyKES NeverKES] -> ShowS Source #
DSIGNAlgorithm d => Show (VerKeyKES (SimpleKES d t)) Source #
Instance details Defined in Cardano.Crypto.KES.Simple Methods showsPrec :: Int -> VerKeyKES (SimpleKES d t) -> ShowS Source # show :: VerKeyKES (SimpleKES d t) -> String Source # showList :: [VerKeyKES (SimpleKES d t)] -> ShowS Source #
DSIGNAlgorithm d => Show (VerKeyKES (SingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.Single Methods showsPrec :: Int -> VerKeyKES (SingleKES d) -> ShowS Source # show :: VerKeyKES (SingleKES d) -> String Source # showList :: [VerKeyKES (SingleKES d)] -> ShowS Source #
HashAlgorithm h => Show (VerKeyKES (SumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.Sum Methods showsPrec :: Int -> VerKeyKES (SumKES h d) -> ShowS Source # show :: VerKeyKES (SumKES h d) -> String Source # showList :: [VerKeyKES (SumKES h d)] -> ShowS Source #
DSIGNAlgorithm d => FromCBOR (VerKeyKES (CompactSingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSingle Methods fromCBOR :: Decoder s (VerKeyKES (CompactSingleKES d)) Source # label :: Proxy (VerKeyKES (CompactSingleKES d)) -> Text Source #
(OptimizedKESAlgorithm d, HashAlgorithm h) => FromCBOR (VerKeyKES (CompactSumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum Methods fromCBOR :: Decoder s (VerKeyKES (CompactSumKES h d)) Source # label :: Proxy (VerKeyKES (CompactSumKES h d)) -> Text Source #
KnownNat t => FromCBOR (VerKeyKES (MockKES t)) Source #
Instance details Defined in Cardano.Crypto.KES.Mock Methods fromCBOR :: Decoder s (VerKeyKES (MockKES t)) Source # label :: Proxy (VerKeyKES (MockKES t)) -> Text Source #
(DSIGNAlgorithm d, KnownNat t, KnownNat (SeedSizeDSIGN d * t)) => FromCBOR (VerKeyKES (SimpleKES d t)) Source #
Instance details Defined in Cardano.Crypto.KES.Simple Methods fromCBOR :: Decoder s (VerKeyKES (SimpleKES d t)) Source # label :: Proxy (VerKeyKES (SimpleKES d t)) -> Text Source #
DSIGNAlgorithm d => FromCBOR (VerKeyKES (SingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.Single Methods fromCBOR :: Decoder s (VerKeyKES (SingleKES d)) Source # label :: Proxy (VerKeyKES (SingleKES d)) -> Text Source #
(KESAlgorithm d, HashAlgorithm h) => FromCBOR (VerKeyKES (SumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.Sum Methods fromCBOR :: Decoder s (VerKeyKES (SumKES h d)) Source # label :: Proxy (VerKeyKES (SumKES h d)) -> Text Source #
DSIGNAlgorithm d => ToCBOR (VerKeyKES (CompactSingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSingle Methods toCBOR :: VerKeyKES (CompactSingleKES d) -> Encoding Source # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (VerKeyKES (CompactSingleKES d)) -> Size Source # encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [VerKeyKES (CompactSingleKES d)] -> Size Source #
(OptimizedKESAlgorithm d, HashAlgorithm h) => ToCBOR (VerKeyKES (CompactSumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum Methods toCBOR :: VerKeyKES (CompactSumKES h d) -> Encoding Source # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (VerKeyKES (CompactSumKES h d)) -> Size Source # encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [VerKeyKES (CompactSumKES h d)] -> Size Source #
KnownNat t => ToCBOR (VerKeyKES (MockKES t)) Source #
Instance details Defined in Cardano.Crypto.KES.Mock Methods toCBOR :: VerKeyKES (MockKES t) -> Encoding Source # encodedSizeExpr :: (forall t0. ToCBOR t0 => Proxy t0 -> Size) -> Proxy (VerKeyKES (MockKES t)) -> Size Source # encodedListSizeExpr :: (forall t0. ToCBOR t0 => Proxy t0 -> Size) -> Proxy [VerKeyKES (MockKES t)] -> Size Source #
(DSIGNAlgorithm d, KnownNat t, KnownNat (SeedSizeDSIGN d * t)) => ToCBOR (VerKeyKES (SimpleKES d t)) Source #
Instance details Defined in Cardano.Crypto.KES.Simple Methods toCBOR :: VerKeyKES (SimpleKES d t) -> Encoding Source # encodedSizeExpr :: (forall t0. ToCBOR t0 => Proxy t0 -> Size) -> Proxy (VerKeyKES (SimpleKES d t)) -> Size Source # encodedListSizeExpr :: (forall t0. ToCBOR t0 => Proxy t0 -> Size) -> Proxy [VerKeyKES (SimpleKES d t)] -> Size Source #
DSIGNAlgorithm d => ToCBOR (VerKeyKES (SingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.Single Methods toCBOR :: VerKeyKES (SingleKES d) -> Encoding Source # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (VerKeyKES (SingleKES d)) -> Size Source # encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [VerKeyKES (SingleKES d)] -> Size Source #
(KESAlgorithm d, HashAlgorithm h) => ToCBOR (VerKeyKES (SumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.Sum Methods toCBOR :: VerKeyKES (SumKES h d) -> Encoding Source # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (VerKeyKES (SumKES h d)) -> Size Source # encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [VerKeyKES (SumKES h d)] -> Size Source #
NFData (VerKeyDSIGN d) => NFData (VerKeyKES (CompactSingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSingle Methods rnf :: VerKeyKES (CompactSingleKES d) -> () Source #
NFData (VerKeyKES (CompactSumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum Methods rnf :: VerKeyKES (CompactSumKES h d) -> () Source #
NFData (VerKeyDSIGN d) => NFData (VerKeyKES (SingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.Single Methods rnf :: VerKeyKES (SingleKES d) -> () Source #
NFData (VerKeyKES (SumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.Sum Methods rnf :: VerKeyKES (SumKES h d) -> () Source #
DSIGNAlgorithm d => Eq (VerKeyKES (CompactSingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSingle Methods (==) :: VerKeyKES (CompactSingleKES d) -> VerKeyKES (CompactSingleKES d) -> Bool Source # (/=) :: VerKeyKES (CompactSingleKES d) -> VerKeyKES (CompactSingleKES d) -> Bool Source #
Eq (VerKeyKES (CompactSumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum Methods (==) :: VerKeyKES (CompactSumKES h d) -> VerKeyKES (CompactSumKES h d) -> Bool Source # (/=) :: VerKeyKES (CompactSumKES h d) -> VerKeyKES (CompactSumKES h d) -> Bool Source #
Eq (VerKeyKES (MockKES t)) Source #
Instance details Defined in Cardano.Crypto.KES.Mock Methods (==) :: VerKeyKES (MockKES t) -> VerKeyKES (MockKES t) -> Bool Source # (/=) :: VerKeyKES (MockKES t) -> VerKeyKES (MockKES t) -> Bool Source #
Eq (VerKeyKES NeverKES) Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed Methods (==) :: VerKeyKES NeverKES -> VerKeyKES NeverKES -> Bool Source # (/=) :: VerKeyKES NeverKES -> VerKeyKES NeverKES -> Bool Source #
DSIGNAlgorithm d => Eq (VerKeyKES (SimpleKES d t)) Source #
Instance details Defined in Cardano.Crypto.KES.Simple Methods (==) :: VerKeyKES (SimpleKES d t) -> VerKeyKES (SimpleKES d t) -> Bool Source # (/=) :: VerKeyKES (SimpleKES d t) -> VerKeyKES (SimpleKES d t) -> Bool Source #
DSIGNAlgorithm d => Eq (VerKeyKES (SingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.Single Methods (==) :: VerKeyKES (SingleKES d) -> VerKeyKES (SingleKES d) -> Bool Source # (/=) :: VerKeyKES (SingleKES d) -> VerKeyKES (SingleKES d) -> Bool Source #
Eq (VerKeyKES (SumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.Sum Methods (==) :: VerKeyKES (SumKES h d) -> VerKeyKES (SumKES h d) -> Bool Source # (/=) :: VerKeyKES (SumKES h d) -> VerKeyKES (SumKES h d) -> Bool Source #
(TypeError ('Text "Ord not supported for verification keys, use the hash instead") :: Constraint, KESAlgorithm v) => Ord (VerKeyKES v) Source #
Instance details Defined in Cardano.Crypto.KES.Class Methods compare :: VerKeyKES v -> VerKeyKES v -> Ordering Source # (<) :: VerKeyKES v -> VerKeyKES v -> Bool Source # (<=) :: VerKeyKES v -> VerKeyKES v -> Bool Source # (>) :: VerKeyKES v -> VerKeyKES v -> Bool Source # (>=) :: VerKeyKES v -> VerKeyKES v -> Bool Source # max :: VerKeyKES v -> VerKeyKES v -> VerKeyKES v Source # min :: VerKeyKES v -> VerKeyKES v -> VerKeyKES v Source #
DSIGNAlgorithm d => NoThunks (VerKeyKES (CompactSingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSingle Methods noThunks :: Context -> VerKeyKES (CompactSingleKES d) -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> VerKeyKES (CompactSingleKES d) -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (VerKeyKES (CompactSingleKES d)) -> String Source #
OptimizedKESAlgorithm d => NoThunks (VerKeyKES (CompactSumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum Methods noThunks :: Context -> VerKeyKES (CompactSumKES h d) -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> VerKeyKES (CompactSumKES h d) -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (VerKeyKES (CompactSumKES h d)) -> String Source #
NoThunks (VerKeyKES (MockKES t)) Source #
Instance details Defined in Cardano.Crypto.KES.Mock Methods noThunks :: Context -> VerKeyKES (MockKES t) -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> VerKeyKES (MockKES t) -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (VerKeyKES (MockKES t)) -> String Source #
NoThunks (VerKeyKES NeverKES) Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed Methods noThunks :: Context -> VerKeyKES NeverKES -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> VerKeyKES NeverKES -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (VerKeyKES NeverKES) -> String Source #
DSIGNAlgorithm d => NoThunks (VerKeyKES (SimpleKES d t)) Source #
Instance details Defined in Cardano.Crypto.KES.Simple Methods noThunks :: Context -> VerKeyKES (SimpleKES d t) -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> VerKeyKES (SimpleKES d t) -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (VerKeyKES (SimpleKES d t)) -> String Source #
DSIGNAlgorithm d => NoThunks (VerKeyKES (SingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.Single Methods noThunks :: Context -> VerKeyKES (SingleKES d) -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> VerKeyKES (SingleKES d) -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (VerKeyKES (SingleKES d)) -> String Source #
KESAlgorithm d => NoThunks (VerKeyKES (SumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.Sum Methods noThunks :: Context -> VerKeyKES (SumKES h d) -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> VerKeyKES (SumKES h d) -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (VerKeyKES (SumKES h d)) -> String Source #
data VerKeyKES NeverKES Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed data VerKeyKES NeverKES = NeverUsedVerKeyKES
type Rep (VerKeyKES (CompactSingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSingle type Rep (VerKeyKES (CompactSingleKES d)) = D1 ('MetaData "VerKeyKES" "Cardano.Crypto.KES.CompactSingle" "cardano-crypto-class-2.0.0.0.0.0.0.2-DK6Ti6yI0b4E6vuoX0zDQ9" '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.0.0.0.2-DK6Ti6yI0b4E6vuoX0zDQ9" 'True) (C1 ('MetaCons "VerKeyCompactSumKES" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Hash h (VerKeyKES d, VerKeyKES d)))))
type Rep (VerKeyKES (MockKES t)) Source #
Instance details Defined in Cardano.Crypto.KES.Mock type Rep (VerKeyKES (MockKES t)) = D1 ('MetaData "VerKeyKES" "Cardano.Crypto.KES.Mock" "cardano-crypto-class-2.0.0.0.0.0.0.2-DK6Ti6yI0b4E6vuoX0zDQ9" 'True) (C1 ('MetaCons "VerKeyMockKES" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))
type Rep (VerKeyKES NeverKES) Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed type Rep (VerKeyKES NeverKES) = D1 ('MetaData "VerKeyKES" "Cardano.Crypto.KES.NeverUsed" "cardano-crypto-class-2.0.0.0.0.0.0.2-DK6Ti6yI0b4E6vuoX0zDQ9" 'False) (C1 ('MetaCons "NeverUsedVerKeyKES" 'PrefixI 'False) (U1 :: Type -> Type))
type Rep (VerKeyKES (SimpleKES d t)) Source #
Instance details Defined in Cardano.Crypto.KES.Simple type Rep (VerKeyKES (SimpleKES d t)) = D1 ('MetaData "VerKeyKES" "Cardano.Crypto.KES.Simple" "cardano-crypto-class-2.0.0.0.0.0.0.2-DK6Ti6yI0b4E6vuoX0zDQ9" 'True) (C1 ('MetaCons "ThunkyVerKeySimpleKES" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Vector (VerKeyDSIGN d)))))
type Rep (VerKeyKES (SingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.Single type Rep (VerKeyKES (SingleKES d)) = D1 ('MetaData "VerKeyKES" "Cardano.Crypto.KES.Single" "cardano-crypto-class-2.0.0.0.0.0.0.2-DK6Ti6yI0b4E6vuoX0zDQ9" '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.0.0.0.2-DK6Ti6yI0b4E6vuoX0zDQ9" 'True) (C1 ('MetaCons "VerKeySumKES" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Hash h (VerKeyKES d, VerKeyKES d)))))
newtype VerKeyKES (CompactSingleKES d) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSingle newtype VerKeyKES (CompactSingleKES d) = VerKeyCompactSingleKES (VerKeyDSIGN d)
newtype VerKeyKES (MockKES t) Source #
Instance details Defined in Cardano.Crypto.KES.Mock newtype VerKeyKES (MockKES t) = VerKeyMockKES Word64
newtype VerKeyKES (SingleKES d) Source #
Instance details Defined in Cardano.Crypto.KES.Single newtype VerKeyKES (SingleKES d) = VerKeySingleKES (VerKeyDSIGN d)
newtype VerKeyKES (CompactSumKES h d) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum newtype VerKeyKES (CompactSumKES h d) = VerKeyCompactSumKES (Hash h (VerKeyKES d, VerKeyKES d))
newtype VerKeyKES (SimpleKES d t) Source #
Instance details Defined in Cardano.Crypto.KES.Simple newtype VerKeyKES (SimpleKES d t) = ThunkyVerKeySimpleKES (Vector (VerKeyDSIGN d))
newtype VerKeyKES (SumKES h d) Source #
Instance details Defined in Cardano.Crypto.KES.Sum newtype VerKeyKES (SumKES h d) = VerKeySumKES (Hash h (VerKeyKES d, VerKeyKES d))

data family SignKeyKES v :: Type Source #

Instances

Instances details

Generic (SignKeyKES (CompactSingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSingle Associated Types type Rep (SignKeyKES (CompactSingleKES d)) :: Type -> Type Source # Methods from :: SignKeyKES (CompactSingleKES d) -> Rep (SignKeyKES (CompactSingleKES d)) x Source # to :: Rep (SignKeyKES (CompactSingleKES d)) x -> SignKeyKES (CompactSingleKES d) Source #
Generic (SignKeyKES (CompactSumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum Associated Types type Rep (SignKeyKES (CompactSumKES h d)) :: Type -> Type Source # Methods from :: SignKeyKES (CompactSumKES h d) -> Rep (SignKeyKES (CompactSumKES h d)) x Source # to :: Rep (SignKeyKES (CompactSumKES h d)) x -> SignKeyKES (CompactSumKES h d) Source #
Generic (SignKeyKES (MockKES t)) Source #
Instance details Defined in Cardano.Crypto.KES.Mock Associated Types type Rep (SignKeyKES (MockKES t)) :: Type -> Type Source # Methods from :: SignKeyKES (MockKES t) -> Rep (SignKeyKES (MockKES t)) x Source # to :: Rep (SignKeyKES (MockKES t)) x -> SignKeyKES (MockKES t) Source #
Generic (SignKeyKES NeverKES) Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed Associated Types type Rep (SignKeyKES NeverKES) :: Type -> Type Source # Methods from :: SignKeyKES NeverKES -> Rep (SignKeyKES NeverKES) x Source # to :: Rep (SignKeyKES NeverKES) x -> SignKeyKES NeverKES Source #
Generic (SignKeyKES (SimpleKES d t)) Source #
Instance details Defined in Cardano.Crypto.KES.Simple Associated Types type Rep (SignKeyKES (SimpleKES d t)) :: Type -> Type Source # Methods from :: SignKeyKES (SimpleKES d t) -> Rep (SignKeyKES (SimpleKES d t)) x Source # to :: Rep (SignKeyKES (SimpleKES d t)) x -> SignKeyKES (SimpleKES d t) Source #
Generic (SignKeyKES (SingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.Single Associated Types type Rep (SignKeyKES (SingleKES d)) :: Type -> Type Source # Methods from :: SignKeyKES (SingleKES d) -> Rep (SignKeyKES (SingleKES d)) x Source # to :: Rep (SignKeyKES (SingleKES d)) x -> SignKeyKES (SingleKES d) Source #
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 # Methods from :: SignKeyKES (SumKES h d) -> Rep (SignKeyKES (SumKES h d)) x Source # to :: Rep (SignKeyKES (SumKES h d)) x -> SignKeyKES (SumKES h d) Source #
DSIGNAlgorithm d => Show (SignKeyKES (CompactSingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSingle Methods showsPrec :: Int -> SignKeyKES (CompactSingleKES d) -> ShowS Source # show :: SignKeyKES (CompactSingleKES d) -> String Source # showList :: [SignKeyKES (CompactSingleKES d)] -> ShowS Source #
KESAlgorithm d => Show (SignKeyKES (CompactSumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum Methods showsPrec :: Int -> SignKeyKES (CompactSumKES h d) -> ShowS Source # show :: SignKeyKES (CompactSumKES h d) -> String Source # showList :: [SignKeyKES (CompactSumKES h d)] -> ShowS Source #
Show (SignKeyKES (MockKES t)) Source #
Instance details Defined in Cardano.Crypto.KES.Mock Methods showsPrec :: Int -> SignKeyKES (MockKES t) -> ShowS Source # show :: SignKeyKES (MockKES t) -> String Source # showList :: [SignKeyKES (MockKES t)] -> ShowS Source #
Show (SignKeyKES NeverKES) Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed Methods showsPrec :: Int -> SignKeyKES NeverKES -> ShowS Source # show :: SignKeyKES NeverKES -> String Source # showList :: [SignKeyKES NeverKES] -> ShowS Source #
DSIGNAlgorithm d => Show (SignKeyKES (SimpleKES d t)) Source #
Instance details Defined in Cardano.Crypto.KES.Simple Methods showsPrec :: Int -> SignKeyKES (SimpleKES d t) -> ShowS Source # show :: SignKeyKES (SimpleKES d t) -> String Source # showList :: [SignKeyKES (SimpleKES d t)] -> ShowS Source #
DSIGNAlgorithm d => Show (SignKeyKES (SingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.Single Methods showsPrec :: Int -> SignKeyKES (SingleKES d) -> ShowS Source # show :: SignKeyKES (SingleKES d) -> String Source # showList :: [SignKeyKES (SingleKES d)] -> ShowS Source #
KESAlgorithm d => Show (SignKeyKES (SumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.Sum Methods showsPrec :: Int -> SignKeyKES (SumKES h d) -> ShowS Source # show :: SignKeyKES (SumKES h d) -> String Source # showList :: [SignKeyKES (SumKES h d)] -> ShowS Source #
DSIGNAlgorithm d => FromCBOR (SignKeyKES (CompactSingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSingle Methods fromCBOR :: Decoder s (SignKeyKES (CompactSingleKES d)) Source # label :: Proxy (SignKeyKES (CompactSingleKES d)) -> Text Source #
(OptimizedKESAlgorithm d, HashAlgorithm h) => FromCBOR (SignKeyKES (CompactSumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum Methods fromCBOR :: Decoder s (SignKeyKES (CompactSumKES h d)) Source # label :: Proxy (SignKeyKES (CompactSumKES h d)) -> Text Source #
KnownNat t => FromCBOR (SignKeyKES (MockKES t)) Source #
Instance details Defined in Cardano.Crypto.KES.Mock Methods fromCBOR :: Decoder s (SignKeyKES (MockKES t)) Source # label :: Proxy (SignKeyKES (MockKES t)) -> Text Source #
(DSIGNAlgorithm d, KnownNat t, KnownNat (SeedSizeDSIGN d * t)) => FromCBOR (SignKeyKES (SimpleKES d t)) Source #
Instance details Defined in Cardano.Crypto.KES.Simple Methods fromCBOR :: Decoder s (SignKeyKES (SimpleKES d t)) Source # label :: Proxy (SignKeyKES (SimpleKES d t)) -> Text Source #
DSIGNAlgorithm d => FromCBOR (SignKeyKES (SingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.Single Methods fromCBOR :: Decoder s (SignKeyKES (SingleKES d)) Source # label :: Proxy (SignKeyKES (SingleKES d)) -> Text Source #
(KESAlgorithm d, HashAlgorithm h) => FromCBOR (SignKeyKES (SumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.Sum Methods fromCBOR :: Decoder s (SignKeyKES (SumKES h d)) Source # label :: Proxy (SignKeyKES (SumKES h d)) -> Text Source #
DSIGNAlgorithm d => ToCBOR (SignKeyKES (CompactSingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSingle Methods toCBOR :: SignKeyKES (CompactSingleKES d) -> Encoding Source # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SignKeyKES (CompactSingleKES d)) -> Size Source # encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SignKeyKES (CompactSingleKES d)] -> Size Source #
(OptimizedKESAlgorithm d, HashAlgorithm h) => ToCBOR (SignKeyKES (CompactSumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum Methods toCBOR :: SignKeyKES (CompactSumKES h d) -> Encoding Source # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SignKeyKES (CompactSumKES h d)) -> Size Source # encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SignKeyKES (CompactSumKES h d)] -> Size Source #
KnownNat t => ToCBOR (SignKeyKES (MockKES t)) Source #
Instance details Defined in Cardano.Crypto.KES.Mock Methods toCBOR :: SignKeyKES (MockKES t) -> Encoding Source # encodedSizeExpr :: (forall t0. ToCBOR t0 => Proxy t0 -> Size) -> Proxy (SignKeyKES (MockKES t)) -> Size Source # encodedListSizeExpr :: (forall t0. ToCBOR t0 => Proxy t0 -> Size) -> Proxy [SignKeyKES (MockKES t)] -> Size Source #
(DSIGNAlgorithm d, KnownNat t, KnownNat (SeedSizeDSIGN d * t)) => ToCBOR (SignKeyKES (SimpleKES d t)) Source #
Instance details Defined in Cardano.Crypto.KES.Simple Methods toCBOR :: SignKeyKES (SimpleKES d t) -> Encoding Source # encodedSizeExpr :: (forall t0. ToCBOR t0 => Proxy t0 -> Size) -> Proxy (SignKeyKES (SimpleKES d t)) -> Size Source # encodedListSizeExpr :: (forall t0. ToCBOR t0 => Proxy t0 -> Size) -> Proxy [SignKeyKES (SimpleKES d t)] -> Size Source #
DSIGNAlgorithm d => ToCBOR (SignKeyKES (SingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.Single Methods toCBOR :: SignKeyKES (SingleKES d) -> Encoding Source # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SignKeyKES (SingleKES d)) -> Size Source # encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SignKeyKES (SingleKES d)] -> Size Source #
(KESAlgorithm d, HashAlgorithm h) => ToCBOR (SignKeyKES (SumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.Sum Methods toCBOR :: SignKeyKES (SumKES h d) -> Encoding Source # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SignKeyKES (SumKES h d)) -> Size Source # encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SignKeyKES (SumKES h d)] -> Size Source #
NFData (SignKeyDSIGN d) => NFData (SignKeyKES (CompactSingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSingle Methods rnf :: SignKeyKES (CompactSingleKES d) -> () Source #
(NFData (SignKeyKES d), NFData (VerKeyKES d)) => NFData (SignKeyKES (CompactSumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum Methods rnf :: SignKeyKES (CompactSumKES h d) -> () Source #
NFData (SignKeyDSIGN d) => NFData (SignKeyKES (SingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.Single Methods rnf :: SignKeyKES (SingleKES d) -> () Source #
(NFData (SignKeyKES d), NFData (VerKeyKES d)) => NFData (SignKeyKES (SumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.Sum Methods rnf :: SignKeyKES (SumKES h d) -> () Source #
Eq (SignKeyKES (MockKES t)) Source #
Instance details Defined in Cardano.Crypto.KES.Mock Methods (==) :: SignKeyKES (MockKES t) -> SignKeyKES (MockKES t) -> Bool Source # (/=) :: SignKeyKES (MockKES t) -> SignKeyKES (MockKES t) -> Bool Source #
Eq (SignKeyKES NeverKES) Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed Methods (==) :: SignKeyKES NeverKES -> SignKeyKES NeverKES -> Bool Source # (/=) :: SignKeyKES NeverKES -> SignKeyKES NeverKES -> Bool Source #
(TypeError ('Text "Ord not supported for signing keys, use the hash instead") :: Constraint, Eq (SignKeyKES v)) => Ord (SignKeyKES v) Source #
Instance details Defined in Cardano.Crypto.KES.Class Methods compare :: SignKeyKES v -> SignKeyKES v -> Ordering Source # (<) :: SignKeyKES v -> SignKeyKES v -> Bool Source # (<=) :: SignKeyKES v -> SignKeyKES v -> Bool Source # (>) :: SignKeyKES v -> SignKeyKES v -> Bool Source # (>=) :: SignKeyKES v -> SignKeyKES v -> Bool Source # max :: SignKeyKES v -> SignKeyKES v -> SignKeyKES v Source # min :: SignKeyKES v -> SignKeyKES v -> SignKeyKES v Source #
DSIGNAlgorithm d => NoThunks (SignKeyKES (CompactSingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSingle Methods noThunks :: Context -> SignKeyKES (CompactSingleKES d) -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> SignKeyKES (CompactSingleKES d) -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (SignKeyKES (CompactSingleKES d)) -> String Source #
KESAlgorithm d => NoThunks (SignKeyKES (CompactSumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum Methods noThunks :: Context -> SignKeyKES (CompactSumKES h d) -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> SignKeyKES (CompactSumKES h d) -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (SignKeyKES (CompactSumKES h d)) -> String Source #
NoThunks (SignKeyKES (MockKES t)) Source #
Instance details Defined in Cardano.Crypto.KES.Mock Methods noThunks :: Context -> SignKeyKES (MockKES t) -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> SignKeyKES (MockKES t) -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (SignKeyKES (MockKES t)) -> String Source #
NoThunks (SignKeyKES NeverKES) Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed Methods noThunks :: Context -> SignKeyKES NeverKES -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> SignKeyKES NeverKES -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (SignKeyKES NeverKES) -> String Source #
DSIGNAlgorithm d => NoThunks (SignKeyKES (SimpleKES d t)) Source #
Instance details Defined in Cardano.Crypto.KES.Simple Methods noThunks :: Context -> SignKeyKES (SimpleKES d t) -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> SignKeyKES (SimpleKES d t) -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (SignKeyKES (SimpleKES d t)) -> String Source #
DSIGNAlgorithm d => NoThunks (SignKeyKES (SingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.Single Methods noThunks :: Context -> SignKeyKES (SingleKES d) -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> SignKeyKES (SingleKES d) -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (SignKeyKES (SingleKES d)) -> String Source #
KESAlgorithm d => NoThunks (SignKeyKES (SumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.Sum Methods noThunks :: Context -> SignKeyKES (SumKES h d) -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> SignKeyKES (SumKES h d) -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (SignKeyKES (SumKES h d)) -> String Source #
data SignKeyKES NeverKES Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed data SignKeyKES NeverKES = NeverUsedSignKeyKES
type Rep (SignKeyKES (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.0.0.0.2-DK6Ti6yI0b4E6vuoX0zDQ9" '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 type Rep (SignKeyKES (CompactSumKES h d)) = D1 ('MetaData "SignKeyKES" "Cardano.Crypto.KES.CompactSum" "cardano-crypto-class-2.0.0.0.0.0.0.2-DK6Ti6yI0b4E6vuoX0zDQ9" 'False) (C1 ('MetaCons "SignKeyCompactSumKES" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SignKeyKES d)) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Seed)) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VerKeyKES d)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VerKeyKES d)))))
type Rep (SignKeyKES (MockKES t)) Source #
Instance details Defined in Cardano.Crypto.KES.Mock type Rep (SignKeyKES (MockKES t)) = D1 ('MetaData "SignKeyKES" "Cardano.Crypto.KES.Mock" "cardano-crypto-class-2.0.0.0.0.0.0.2-DK6Ti6yI0b4E6vuoX0zDQ9" 'False) (C1 ('MetaCons "SignKeyMockKES" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VerKeyKES (MockKES t))) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Period)))
type Rep (SignKeyKES NeverKES) Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed type Rep (SignKeyKES NeverKES) = D1 ('MetaData "SignKeyKES" "Cardano.Crypto.KES.NeverUsed" "cardano-crypto-class-2.0.0.0.0.0.0.2-DK6Ti6yI0b4E6vuoX0zDQ9" 'False) (C1 ('MetaCons "NeverUsedSignKeyKES" 'PrefixI 'False) (U1 :: Type -> Type))
type Rep (SignKeyKES (SimpleKES d t)) Source #
Instance details Defined in Cardano.Crypto.KES.Simple type Rep (SignKeyKES (SimpleKES d t)) = D1 ('MetaData "SignKeyKES" "Cardano.Crypto.KES.Simple" "cardano-crypto-class-2.0.0.0.0.0.0.2-DK6Ti6yI0b4E6vuoX0zDQ9" 'True) (C1 ('MetaCons "ThunkySignKeySimpleKES" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Vector (SignKeyDSIGN d)))))
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.0.0.0.2-DK6Ti6yI0b4E6vuoX0zDQ9" '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 (SumKES h d)) = D1 ('MetaData "SignKeyKES" "Cardano.Crypto.KES.Sum" "cardano-crypto-class-2.0.0.0.0.0.0.2-DK6Ti6yI0b4E6vuoX0zDQ9" 'False) (C1 ('MetaCons "SignKeySumKES" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SignKeyKES d)) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Seed)) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VerKeyKES d)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VerKeyKES d)))))
newtype SignKeyKES (CompactSingleKES d) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSingle newtype SignKeyKES (CompactSingleKES d) = SignKeyCompactSingleKES (SignKeyDSIGN d)
data SignKeyKES (MockKES t) Source #
Instance details Defined in Cardano.Crypto.KES.Mock data SignKeyKES (MockKES t) = SignKeyMockKES !(VerKeyKES (MockKES t)) !Period
newtype SignKeyKES (SingleKES d) Source #
Instance details Defined in Cardano.Crypto.KES.Single newtype SignKeyKES (SingleKES d) = SignKeySingleKES (SignKeyDSIGN d)
data SignKeyKES (CompactSumKES h d) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum data SignKeyKES (CompactSumKES h d) = SignKeyCompactSumKES !(SignKeyKES d) !Seed !(VerKeyKES d) !(VerKeyKES d)
newtype SignKeyKES (SimpleKES d t) Source #
Instance details Defined in Cardano.Crypto.KES.Simple newtype SignKeyKES (SimpleKES d t) = ThunkySignKeySimpleKES (Vector (SignKeyDSIGN d))
data SignKeyKES (SumKES h d) Source #
Instance details Defined in Cardano.Crypto.KES.Sum data SignKeyKES (SumKES h d) = SignKeySumKES !(SignKeyKES d) !Seed !(VerKeyKES d) !(VerKeyKES d)

data family SigKES v :: Type Source #

Instances

Instances details

Generic (SigKES (CompactSingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSingle Associated Types type Rep (SigKES (CompactSingleKES d)) :: Type -> Type Source # Methods from :: SigKES (CompactSingleKES d) -> Rep (SigKES (CompactSingleKES d)) x Source # to :: Rep (SigKES (CompactSingleKES d)) x -> SigKES (CompactSingleKES d) Source #
Generic (SigKES (CompactSumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum Associated Types type Rep (SigKES (CompactSumKES h d)) :: Type -> Type Source # Methods from :: SigKES (CompactSumKES h d) -> Rep (SigKES (CompactSumKES h d)) x Source # to :: Rep (SigKES (CompactSumKES h d)) x -> SigKES (CompactSumKES h d) Source #
Generic (SigKES (MockKES t)) Source #
Instance details Defined in Cardano.Crypto.KES.Mock Associated Types type Rep (SigKES (MockKES t)) :: Type -> Type Source # Methods from :: SigKES (MockKES t) -> Rep (SigKES (MockKES t)) x Source # to :: Rep (SigKES (MockKES t)) x -> SigKES (MockKES t) Source #
Generic (SigKES NeverKES) Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed Associated Types type Rep (SigKES NeverKES) :: Type -> Type Source # Methods from :: SigKES NeverKES -> Rep (SigKES NeverKES) x Source # to :: Rep (SigKES NeverKES) x -> SigKES NeverKES Source #
Generic (SigKES (SimpleKES d t)) Source #
Instance details Defined in Cardano.Crypto.KES.Simple Associated Types type Rep (SigKES (SimpleKES d t)) :: Type -> Type Source # Methods from :: SigKES (SimpleKES d t) -> Rep (SigKES (SimpleKES d t)) x Source # to :: Rep (SigKES (SimpleKES d t)) x -> SigKES (SimpleKES d t) Source #
Generic (SigKES (SingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.Single Associated Types type Rep (SigKES (SingleKES d)) :: Type -> Type Source # Methods from :: SigKES (SingleKES d) -> Rep (SigKES (SingleKES d)) x Source # to :: Rep (SigKES (SingleKES d)) x -> SigKES (SingleKES d) Source #
Generic (SigKES (SumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.Sum Associated Types type Rep (SigKES (SumKES h d)) :: Type -> Type Source # Methods from :: SigKES (SumKES h d) -> Rep (SigKES (SumKES h d)) x Source # to :: Rep (SigKES (SumKES h d)) x -> SigKES (SumKES h d) Source #
DSIGNAlgorithm d => Show (SigKES (CompactSingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSingle Methods showsPrec :: Int -> SigKES (CompactSingleKES d) -> ShowS Source # show :: SigKES (CompactSingleKES d) -> String Source # showList :: [SigKES (CompactSingleKES d)] -> ShowS Source #
KESAlgorithm d => Show (SigKES (CompactSumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum Methods showsPrec :: Int -> SigKES (CompactSumKES h d) -> ShowS Source # show :: SigKES (CompactSumKES h d) -> String Source # showList :: [SigKES (CompactSumKES h d)] -> ShowS Source #
Show (SigKES (MockKES t)) Source #
Instance details Defined in Cardano.Crypto.KES.Mock Methods showsPrec :: Int -> SigKES (MockKES t) -> ShowS Source # show :: SigKES (MockKES t) -> String Source # showList :: [SigKES (MockKES t)] -> ShowS Source #
Show (SigKES NeverKES) Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed Methods showsPrec :: Int -> SigKES NeverKES -> ShowS Source # show :: SigKES NeverKES -> String Source # showList :: [SigKES NeverKES] -> ShowS Source #
DSIGNAlgorithm d => Show (SigKES (SimpleKES d t)) Source #
Instance details Defined in Cardano.Crypto.KES.Simple Methods showsPrec :: Int -> SigKES (SimpleKES d t) -> ShowS Source # show :: SigKES (SimpleKES d t) -> String Source # showList :: [SigKES (SimpleKES d t)] -> ShowS Source #
DSIGNAlgorithm d => Show (SigKES (SingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.Single Methods showsPrec :: Int -> SigKES (SingleKES d) -> ShowS Source # show :: SigKES (SingleKES d) -> String Source # showList :: [SigKES (SingleKES d)] -> ShowS Source #
KESAlgorithm d => Show (SigKES (SumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.Sum Methods showsPrec :: Int -> SigKES (SumKES h d) -> ShowS Source # show :: SigKES (SumKES h d) -> String Source # showList :: [SigKES (SumKES h d)] -> ShowS Source #
DSIGNAlgorithm d => FromCBOR (SigKES (CompactSingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSingle Methods fromCBOR :: Decoder s (SigKES (CompactSingleKES d)) Source # label :: Proxy (SigKES (CompactSingleKES d)) -> Text Source #
(OptimizedKESAlgorithm d, HashAlgorithm h) => FromCBOR (SigKES (CompactSumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum Methods fromCBOR :: Decoder s (SigKES (CompactSumKES h d)) Source # label :: Proxy (SigKES (CompactSumKES h d)) -> Text Source #
KnownNat t => FromCBOR (SigKES (MockKES t)) Source #
Instance details Defined in Cardano.Crypto.KES.Mock Methods fromCBOR :: Decoder s (SigKES (MockKES t)) Source # label :: Proxy (SigKES (MockKES t)) -> Text Source #
(DSIGNAlgorithm d, KnownNat t, KnownNat (SeedSizeDSIGN d * t)) => FromCBOR (SigKES (SimpleKES d t)) Source #
Instance details Defined in Cardano.Crypto.KES.Simple Methods fromCBOR :: Decoder s (SigKES (SimpleKES d t)) Source # label :: Proxy (SigKES (SimpleKES d t)) -> Text Source #
DSIGNAlgorithm d => FromCBOR (SigKES (SingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.Single Methods fromCBOR :: Decoder s (SigKES (SingleKES d)) Source # label :: Proxy (SigKES (SingleKES d)) -> Text Source #
(KESAlgorithm d, HashAlgorithm h) => FromCBOR (SigKES (SumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.Sum Methods fromCBOR :: Decoder s (SigKES (SumKES h d)) Source # label :: Proxy (SigKES (SumKES h d)) -> Text Source #
DSIGNAlgorithm d => ToCBOR (SigKES (CompactSingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSingle Methods toCBOR :: SigKES (CompactSingleKES d) -> Encoding Source # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SigKES (CompactSingleKES d)) -> Size Source # encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SigKES (CompactSingleKES d)] -> Size Source #
(OptimizedKESAlgorithm d, HashAlgorithm h) => ToCBOR (SigKES (CompactSumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum Methods toCBOR :: SigKES (CompactSumKES h d) -> Encoding Source # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SigKES (CompactSumKES h d)) -> Size Source # encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SigKES (CompactSumKES h d)] -> Size Source #
KnownNat t => ToCBOR (SigKES (MockKES t)) Source #
Instance details Defined in Cardano.Crypto.KES.Mock Methods toCBOR :: SigKES (MockKES t) -> Encoding Source # encodedSizeExpr :: (forall t0. ToCBOR t0 => Proxy t0 -> Size) -> Proxy (SigKES (MockKES t)) -> Size Source # encodedListSizeExpr :: (forall t0. ToCBOR t0 => Proxy t0 -> Size) -> Proxy [SigKES (MockKES t)] -> Size Source #
(DSIGNAlgorithm d, KnownNat t, KnownNat (SeedSizeDSIGN d * t)) => ToCBOR (SigKES (SimpleKES d t)) Source #
Instance details Defined in Cardano.Crypto.KES.Simple Methods toCBOR :: SigKES (SimpleKES d t) -> Encoding Source # encodedSizeExpr :: (forall t0. ToCBOR t0 => Proxy t0 -> Size) -> Proxy (SigKES (SimpleKES d t)) -> Size Source # encodedListSizeExpr :: (forall t0. ToCBOR t0 => Proxy t0 -> Size) -> Proxy [SigKES (SimpleKES d t)] -> Size Source #
DSIGNAlgorithm d => ToCBOR (SigKES (SingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.Single Methods toCBOR :: SigKES (SingleKES d) -> Encoding Source # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SigKES (SingleKES d)) -> Size Source # encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SigKES (SingleKES d)] -> Size Source #
(KESAlgorithm d, HashAlgorithm h) => ToCBOR (SigKES (SumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.Sum Methods toCBOR :: SigKES (SumKES h d) -> Encoding Source # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SigKES (SumKES h d)) -> Size Source # encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SigKES (SumKES h d)] -> Size Source #
(NFData (SigDSIGN d), NFData (VerKeyDSIGN d)) => NFData (SigKES (CompactSingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSingle Methods rnf :: SigKES (CompactSingleKES d) -> () Source #
(NFData (SigKES d), NFData (VerKeyKES d)) => NFData (SigKES (CompactSumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum Methods rnf :: SigKES (CompactSumKES h d) -> () Source #
NFData (SigDSIGN d) => NFData (SigKES (SingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.Single Methods rnf :: SigKES (SingleKES d) -> () Source #
(NFData (SigKES d), NFData (VerKeyKES d)) => NFData (SigKES (SumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.Sum Methods rnf :: SigKES (SumKES h d) -> () Source #
DSIGNAlgorithm d => Eq (SigKES (CompactSingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSingle Methods (==) :: SigKES (CompactSingleKES d) -> SigKES (CompactSingleKES d) -> Bool Source # (/=) :: SigKES (CompactSingleKES d) -> SigKES (CompactSingleKES d) -> Bool Source #
KESAlgorithm d => Eq (SigKES (CompactSumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum Methods (==) :: SigKES (CompactSumKES h d) -> SigKES (CompactSumKES h d) -> Bool Source # (/=) :: SigKES (CompactSumKES h d) -> SigKES (CompactSumKES h d) -> Bool Source #
Eq (SigKES (MockKES t)) Source #
Instance details Defined in Cardano.Crypto.KES.Mock Methods (==) :: SigKES (MockKES t) -> SigKES (MockKES t) -> Bool Source # (/=) :: SigKES (MockKES t) -> SigKES (MockKES t) -> Bool Source #
Eq (SigKES NeverKES) Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed Methods (==) :: SigKES NeverKES -> SigKES NeverKES -> Bool Source # (/=) :: SigKES NeverKES -> SigKES NeverKES -> Bool Source #
DSIGNAlgorithm d => Eq (SigKES (SimpleKES d t)) Source #
Instance details Defined in Cardano.Crypto.KES.Simple Methods (==) :: SigKES (SimpleKES d t) -> SigKES (SimpleKES d t) -> Bool Source # (/=) :: SigKES (SimpleKES d t) -> SigKES (SimpleKES d t) -> Bool Source #
DSIGNAlgorithm d => Eq (SigKES (SingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.Single Methods (==) :: SigKES (SingleKES d) -> SigKES (SingleKES d) -> Bool Source # (/=) :: SigKES (SingleKES d) -> SigKES (SingleKES d) -> Bool Source #
KESAlgorithm d => Eq (SigKES (SumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.Sum Methods (==) :: SigKES (SumKES h d) -> SigKES (SumKES h d) -> Bool Source # (/=) :: SigKES (SumKES h d) -> SigKES (SumKES h d) -> Bool Source #
(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 Methods compare :: SigKES (MockKES t) -> SigKES (MockKES t) -> Ordering Source # (<) :: SigKES (MockKES t) -> SigKES (MockKES t) -> Bool Source # (<=) :: SigKES (MockKES t) -> SigKES (MockKES t) -> Bool Source # (>) :: SigKES (MockKES t) -> SigKES (MockKES t) -> Bool Source # (>=) :: SigKES (MockKES t) -> SigKES (MockKES t) -> Bool Source # max :: SigKES (MockKES t) -> SigKES (MockKES t) -> SigKES (MockKES t) Source # min :: SigKES (MockKES t) -> SigKES (MockKES t) -> SigKES (MockKES t) Source #
DSIGNAlgorithm d => NoThunks (SigKES (CompactSingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSingle Methods noThunks :: Context -> SigKES (CompactSingleKES d) -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> SigKES (CompactSingleKES d) -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (SigKES (CompactSingleKES d)) -> String Source #
KESAlgorithm d => NoThunks (SigKES (CompactSumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum Methods noThunks :: Context -> SigKES (CompactSumKES h d) -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> SigKES (CompactSumKES h d) -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (SigKES (CompactSumKES h d)) -> String Source #
NoThunks (SigKES (MockKES t)) Source #
Instance details Defined in Cardano.Crypto.KES.Mock Methods noThunks :: Context -> SigKES (MockKES t) -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> SigKES (MockKES t) -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (SigKES (MockKES t)) -> String Source #
NoThunks (SigKES NeverKES) Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed Methods noThunks :: Context -> SigKES NeverKES -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> SigKES NeverKES -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (SigKES NeverKES) -> String Source #
DSIGNAlgorithm d => NoThunks (SigKES (SimpleKES d t)) Source #
Instance details Defined in Cardano.Crypto.KES.Simple Methods noThunks :: Context -> SigKES (SimpleKES d t) -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> SigKES (SimpleKES d t) -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (SigKES (SimpleKES d t)) -> String Source #
DSIGNAlgorithm d => NoThunks (SigKES (SingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.Single Methods noThunks :: Context -> SigKES (SingleKES d) -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> SigKES (SingleKES d) -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (SigKES (SingleKES d)) -> String Source #
KESAlgorithm d => NoThunks (SigKES (SumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.Sum Methods noThunks :: Context -> SigKES (SumKES h d) -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> SigKES (SumKES h d) -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (SigKES (SumKES h d)) -> String Source #
data SigKES NeverKES Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed data SigKES NeverKES = NeverUsedSigKES
type Rep (SigKES (CompactSingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSingle type Rep (SigKES (CompactSingleKES d)) = D1 ('MetaData "SigKES" "Cardano.Crypto.KES.CompactSingle" "cardano-crypto-class-2.0.0.0.0.0.0.2-DK6Ti6yI0b4E6vuoX0zDQ9" 'False) (C1 ('MetaCons "SigCompactSingleKES" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SigDSIGN d)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VerKeyDSIGN d))))
type Rep (SigKES (CompactSumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum type Rep (SigKES (CompactSumKES h d)) = D1 ('MetaData "SigKES" "Cardano.Crypto.KES.CompactSum" "cardano-crypto-class-2.0.0.0.0.0.0.2-DK6Ti6yI0b4E6vuoX0zDQ9" 'False) (C1 ('MetaCons "SigCompactSumKES" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SigKES d)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VerKeyKES d))))
type Rep (SigKES (MockKES t)) Source #
Instance details Defined in Cardano.Crypto.KES.Mock type Rep (SigKES (MockKES t)) = D1 ('MetaData "SigKES" "Cardano.Crypto.KES.Mock" "cardano-crypto-class-2.0.0.0.0.0.0.2-DK6Ti6yI0b4E6vuoX0zDQ9" 'False) (C1 ('MetaCons "SigMockKES" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Hash ShortHash ())) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SignKeyKES (MockKES t)))))
type Rep (SigKES NeverKES) Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed type Rep (SigKES NeverKES) = D1 ('MetaData "SigKES" "Cardano.Crypto.KES.NeverUsed" "cardano-crypto-class-2.0.0.0.0.0.0.2-DK6Ti6yI0b4E6vuoX0zDQ9" 'False) (C1 ('MetaCons "NeverUsedSigKES" 'PrefixI 'False) (U1 :: Type -> Type))
type Rep (SigKES (SimpleKES d t)) Source #
Instance details Defined in Cardano.Crypto.KES.Simple type Rep (SigKES (SimpleKES d t)) = D1 ('MetaData "SigKES" "Cardano.Crypto.KES.Simple" "cardano-crypto-class-2.0.0.0.0.0.0.2-DK6Ti6yI0b4E6vuoX0zDQ9" 'True) (C1 ('MetaCons "SigSimpleKES" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SigDSIGN d))))
type Rep (SigKES (SingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.Single type Rep (SigKES (SingleKES d)) = D1 ('MetaData "SigKES" "Cardano.Crypto.KES.Single" "cardano-crypto-class-2.0.0.0.0.0.0.2-DK6Ti6yI0b4E6vuoX0zDQ9" 'True) (C1 ('MetaCons "SigSingleKES" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SigDSIGN d))))
type Rep (SigKES (SumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.Sum type Rep (SigKES (SumKES h d)) = D1 ('MetaData "SigKES" "Cardano.Crypto.KES.Sum" "cardano-crypto-class-2.0.0.0.0.0.0.2-DK6Ti6yI0b4E6vuoX0zDQ9" 'False) (C1 ('MetaCons "SigSumKES" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SigKES d)) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VerKeyKES d)) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VerKeyKES d)))))
data SigKES (CompactSingleKES d) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSingle data SigKES (CompactSingleKES d) = SigCompactSingleKES !(SigDSIGN d) !(VerKeyDSIGN d)
data SigKES (MockKES t) Source #
Instance details Defined in Cardano.Crypto.KES.Mock data SigKES (MockKES t) = SigMockKES !(Hash ShortHash ()) !(SignKeyKES (MockKES t))
newtype SigKES (SingleKES d) Source #
Instance details Defined in Cardano.Crypto.KES.Single newtype SigKES (SingleKES d) = SigSingleKES (SigDSIGN d)
data SigKES (CompactSumKES h d) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum data SigKES (CompactSumKES h d) = SigCompactSumKES !(SigKES d) !(VerKeyKES d)
newtype SigKES (SimpleKES d t) Source #
Instance details Defined in Cardano.Crypto.KES.Simple newtype SigKES (SimpleKES d t) = SigSimpleKES (SigDSIGN d)
data SigKES (SumKES h d) Source #
Instance details Defined in Cardano.Crypto.KES.Sum data SigKES (SumKES h d) = SigSumKES !(SigKES d) !(VerKeyKES d) !(VerKeyKES d)