Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Crypto.KES.Simple

Description

Mock key evolving signatures.

Documentation

data SimpleKES d (t :: Nat) Source #

Instances

Instances details

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 (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 (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 #
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 (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 (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, 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, 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, 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, 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, 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, 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 => 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 (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 => 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 (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 (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, KnownNat t, KnownNat (SeedSizeDSIGN d * t)) => KESAlgorithm (SimpleKES d t) Source #
Instance details Defined in Cardano.Crypto.KES.Simple Associated Types type SeedSizeKES (SimpleKES d t) :: Nat Source # data VerKeyKES (SimpleKES d t) Source # data SignKeyKES (SimpleKES d t) Source # data SigKES (SimpleKES d t) Source # type ContextKES (SimpleKES d t) Source # type Signable (SimpleKES d t) :: Type -> Constraint Source # Methods algorithmNameKES :: proxy (SimpleKES d t) -> String Source # deriveVerKeyKES :: SignKeyKES (SimpleKES d t) -> VerKeyKES (SimpleKES d t) Source # hashVerKeyKES :: HashAlgorithm h => VerKeyKES (SimpleKES d t) -> Hash h (VerKeyKES (SimpleKES d t)) Source # signKES :: (Signable (SimpleKES d t) a, HasCallStack) => ContextKES (SimpleKES d t) -> Period -> a -> SignKeyKES (SimpleKES d t) -> SigKES (SimpleKES d t) Source # verifyKES :: (Signable (SimpleKES d t) a, HasCallStack) => ContextKES (SimpleKES d t) -> VerKeyKES (SimpleKES d t) -> Period -> a -> SigKES (SimpleKES d t) -> Either String () Source # updateKES :: ContextKES (SimpleKES d t) -> SignKeyKES (SimpleKES d t) -> Period -> Maybe (SignKeyKES (SimpleKES d t)) Source # totalPeriodsKES :: proxy (SimpleKES d t) -> Word Source # genKeyKES :: Seed -> SignKeyKES (SimpleKES d t) Source # seedSizeKES :: proxy (SimpleKES d t) -> Word Source # forgetSignKeyKES :: SignKeyKES (SimpleKES d t) -> IO () Source # sizeVerKeyKES :: proxy (SimpleKES d t) -> Word Source # sizeSignKeyKES :: proxy (SimpleKES d t) -> Word Source # sizeSigKES :: proxy (SimpleKES d t) -> Word Source # rawSerialiseVerKeyKES :: VerKeyKES (SimpleKES d t) -> ByteString Source # rawSerialiseSignKeyKES :: SignKeyKES (SimpleKES d t) -> ByteString Source # rawSerialiseSigKES :: SigKES (SimpleKES d t) -> ByteString Source # rawDeserialiseVerKeyKES :: ByteString -> Maybe (VerKeyKES (SimpleKES d t)) Source # rawDeserialiseSignKeyKES :: ByteString -> Maybe (SignKeyKES (SimpleKES d t)) Source # rawDeserialiseSigKES :: ByteString -> Maybe (SigKES (SimpleKES d t)) Source #
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 (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 (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 ContextKES (SimpleKES d t) Source #
Instance details Defined in Cardano.Crypto.KES.Simple type ContextKES (SimpleKES d t) = ContextDSIGN d
type SeedSizeKES (SimpleKES d t) Source #
Instance details Defined in Cardano.Crypto.KES.Simple type SeedSizeKES (SimpleKES d t) = SeedSizeDSIGN d * t
newtype SigKES (SimpleKES d t) Source #
Instance details Defined in Cardano.Crypto.KES.Simple newtype SigKES (SimpleKES d t) = SigSimpleKES (SigDSIGN d)
newtype SignKeyKES (SimpleKES d t) Source #
Instance details Defined in Cardano.Crypto.KES.Simple newtype SignKeyKES (SimpleKES d t) = ThunkySignKeySimpleKES (Vector (SignKeyDSIGN d))
type Signable (SimpleKES d t) Source #
Instance details Defined in Cardano.Crypto.KES.Simple type Signable (SimpleKES d t) = Signable d
newtype VerKeyKES (SimpleKES d t) Source #
Instance details Defined in Cardano.Crypto.KES.Simple newtype VerKeyKES (SimpleKES d t) = ThunkyVerKeySimpleKES (Vector (VerKeyDSIGN 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)

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)