Safe Haskell	None
Language	Haskell2010

Cardano.Crypto.KES.CompactSingle

Description

A standard signature scheme is a forward-secure signature scheme with a single time period.

This is the base case in the naive recursive implementation of the sum composition from section 3 of the "MMM" paper:

Composition and Efficiency Tradeoffs for Forward-Secure Digital Signatures By Tal Malkin, Daniele Micciancio and Sara Miner https://eprint.iacr.org/2001/034

Specfically it states:

In order to unify the presentation, we regard standard signature schemes
as forward-seure signature schemes with one time period, namely T = 1.

So this module simply provides a wrapper CompactSingleKES that turns any DSIGNAlgorithm into an instance of KESAlgorithm with a single period.

See Cardano.Crypto.KES.CompactSum for the composition case.

Compared to the implementation in Single , this flavor stores the VerKey used for signing along with the signature. The purpose of this is so that we can avoid storing a pair of VerKeys at every branch node, like Sum does. See CompactSum for more details.

Synopsis

data CompactSingleKES d
data family VerKeyKES v :: Type
data family SignKeyKES v :: Type
data family SigKES v :: Type

Documentation

data CompactSingleKES d Source #

A standard signature scheme is a forward-secure signature scheme with a single time period.

Instances

Instances details

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 #
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 #
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 #
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 #
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 #
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 ( 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 ( 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 #
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 #
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 #
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 #
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 #
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 #
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 #
NFData ( VerKeyDSIGN d) => NFData ( VerKeyKES ( CompactSingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSingle Methods rnf :: VerKeyKES ( CompactSingleKES d) -> () Source #
NFData ( SignKeyDSIGN d) => NFData ( SignKeyKES ( CompactSingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSingle Methods rnf :: SignKeyKES ( CompactSingleKES d) -> () 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 #
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 #
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 #
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 ( CompactSingleKES d), DSIGNAlgorithm d) => OptimizedKESAlgorithm ( CompactSingleKES d) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSingle Methods verifySigKES :: ( Signable ( CompactSingleKES d) a, HasCallStack ) => ContextKES ( CompactSingleKES d) -> Period -> a -> SigKES ( CompactSingleKES d) -> Either String () Source # verKeyFromSigKES :: ContextKES ( CompactSingleKES d) -> Period -> SigKES ( CompactSingleKES d) -> VerKeyKES ( CompactSingleKES d) Source #
( DSIGNAlgorithm d, Typeable d) => KESAlgorithm ( CompactSingleKES d) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSingle Associated Types type SeedSizeKES ( CompactSingleKES d) :: Nat Source # data VerKeyKES ( CompactSingleKES d) Source # data SignKeyKES ( CompactSingleKES d) Source # data SigKES ( CompactSingleKES d) Source # type ContextKES ( CompactSingleKES d) Source # type Signable ( CompactSingleKES d) :: Type -> Constraint Source # Methods algorithmNameKES :: proxy ( CompactSingleKES d) -> String Source # deriveVerKeyKES :: SignKeyKES ( CompactSingleKES d) -> VerKeyKES ( CompactSingleKES d) Source # hashVerKeyKES :: HashAlgorithm h => VerKeyKES ( CompactSingleKES d) -> Hash h ( VerKeyKES ( CompactSingleKES d)) Source # signKES :: ( Signable ( CompactSingleKES d) a, HasCallStack ) => ContextKES ( CompactSingleKES d) -> Period -> a -> SignKeyKES ( CompactSingleKES d) -> SigKES ( CompactSingleKES d) Source # verifyKES :: ( Signable ( CompactSingleKES d) a, HasCallStack ) => ContextKES ( CompactSingleKES d) -> VerKeyKES ( CompactSingleKES d) -> Period -> a -> SigKES ( CompactSingleKES d) -> Either String () Source # updateKES :: ContextKES ( CompactSingleKES d) -> SignKeyKES ( CompactSingleKES d) -> Period -> Maybe ( SignKeyKES ( CompactSingleKES d)) Source # totalPeriodsKES :: proxy ( CompactSingleKES d) -> Word Source # genKeyKES :: Seed -> SignKeyKES ( CompactSingleKES d) Source # seedSizeKES :: proxy ( CompactSingleKES d) -> Word Source # forgetSignKeyKES :: SignKeyKES ( CompactSingleKES d) -> IO () Source # sizeVerKeyKES :: proxy ( CompactSingleKES d) -> Word Source # sizeSignKeyKES :: proxy ( CompactSingleKES d) -> Word Source # sizeSigKES :: proxy ( CompactSingleKES d) -> Word Source # rawSerialiseVerKeyKES :: VerKeyKES ( CompactSingleKES d) -> ByteString Source # rawSerialiseSignKeyKES :: SignKeyKES ( CompactSingleKES d) -> ByteString Source # rawSerialiseSigKES :: SigKES ( CompactSingleKES d) -> ByteString Source # rawDeserialiseVerKeyKES :: ByteString -> Maybe ( VerKeyKES ( CompactSingleKES d)) Source # rawDeserialiseSignKeyKES :: ByteString -> Maybe ( SignKeyKES ( CompactSingleKES d)) Source # rawDeserialiseSigKES :: ByteString -> Maybe ( SigKES ( CompactSingleKES d)) Source #
type Rep ( VerKeyKES ( CompactSingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSingle type Rep ( VerKeyKES ( CompactSingleKES d)) = D1 (' MetaData "VerKeyKES" "Cardano.Crypto.KES.CompactSingle" "cardano-crypto-class-2.0.0.0.1-5PqST7yhL1v7PBV5z4tsb9" ' True ) ( C1 (' MetaCons "VerKeyCompactSingleKES" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( VerKeyDSIGN d))))
type Rep ( SignKeyKES ( CompactSingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSingle type Rep ( SignKeyKES ( CompactSingleKES d)) = D1 (' MetaData "SignKeyKES" "Cardano.Crypto.KES.CompactSingle" "cardano-crypto-class-2.0.0.0.1-5PqST7yhL1v7PBV5z4tsb9" ' True ) ( C1 (' MetaCons "SignKeyCompactSingleKES" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( SignKeyDSIGN d))))
type Rep ( 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.1-5PqST7yhL1v7PBV5z4tsb9" ' 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 SeedSizeKES ( CompactSingleKES d) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSingle type SeedSizeKES ( CompactSingleKES d) = SeedSizeDSIGN d
newtype VerKeyKES ( CompactSingleKES d) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSingle newtype VerKeyKES ( CompactSingleKES d) = VerKeyCompactSingleKES ( VerKeyDSIGN d)
newtype SignKeyKES ( CompactSingleKES d) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSingle newtype SignKeyKES ( CompactSingleKES d) = SignKeyCompactSingleKES ( SignKeyDSIGN d)
data SigKES ( CompactSingleKES d) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSingle data SigKES ( CompactSingleKES d) = SigCompactSingleKES !( SigDSIGN d) !( VerKeyDSIGN d)
type ContextKES ( CompactSingleKES d) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSingle type ContextKES ( CompactSingleKES d) = ContextDSIGN d
type Signable ( CompactSingleKES d) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSingle type Signable ( CompactSingleKES d) = Signable d

data family VerKeyKES v :: Type Source #

Instances

Instances details

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 #
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 #
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 #
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 ( 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 #
( 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 #
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 #
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 #
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 => 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 ( 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 #
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 ( 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 ( 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 #
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 ( 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 #
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 => 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, Typeable d) => 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 #
( DSIGNAlgorithm d, Typeable 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 ( 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, Typeable d) => 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 => 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 => 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, Typeable d) => 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, Typeable 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 ( 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, Typeable d) => 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 #
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 #
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 #
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 #
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 #
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 #
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 ( 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 #
data VerKeyKES NeverKES Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed data VerKeyKES NeverKES = NeverUsedVerKeyKES
type Rep ( VerKeyKES NeverKES ) Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed type Rep ( VerKeyKES NeverKES ) = D1 (' MetaData "VerKeyKES" "Cardano.Crypto.KES.NeverUsed" "cardano-crypto-class-2.0.0.0.1-5PqST7yhL1v7PBV5z4tsb9" ' False ) ( C1 (' MetaCons "NeverUsedVerKeyKES" ' PrefixI ' False ) ( U1 :: Type -> Type ))
type Rep ( VerKeyKES ( MockKES t)) Source #
Instance details Defined in Cardano.Crypto.KES.Mock type Rep ( VerKeyKES ( MockKES t)) = D1 (' MetaData "VerKeyKES" "Cardano.Crypto.KES.Mock" "cardano-crypto-class-2.0.0.0.1-5PqST7yhL1v7PBV5z4tsb9" ' True ) ( C1 (' MetaCons "VerKeyMockKES" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 Word64 )))
type Rep ( VerKeyKES ( SingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.Single type Rep ( VerKeyKES ( SingleKES d)) = D1 (' MetaData "VerKeyKES" "Cardano.Crypto.KES.Single" "cardano-crypto-class-2.0.0.0.1-5PqST7yhL1v7PBV5z4tsb9" ' True ) ( C1 (' MetaCons "VerKeySingleKES" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( VerKeyDSIGN d))))
type Rep ( VerKeyKES ( SumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.Sum type Rep ( VerKeyKES ( SumKES h d)) = D1 (' MetaData "VerKeyKES" "Cardano.Crypto.KES.Sum" "cardano-crypto-class-2.0.0.0.1-5PqST7yhL1v7PBV5z4tsb9" ' True ) ( C1 (' MetaCons "VerKeySumKES" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( Hash h ( VerKeyKES d, VerKeyKES d)))))
type Rep ( VerKeyKES ( SimpleKES d t)) Source #
Instance details Defined in Cardano.Crypto.KES.Simple type Rep ( VerKeyKES ( SimpleKES d t)) = D1 (' MetaData "VerKeyKES" "Cardano.Crypto.KES.Simple" "cardano-crypto-class-2.0.0.0.1-5PqST7yhL1v7PBV5z4tsb9" ' True ) ( C1 (' MetaCons "ThunkyVerKeySimpleKES" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( Vector ( VerKeyDSIGN d)))))
type Rep ( VerKeyKES ( CompactSingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSingle type Rep ( VerKeyKES ( CompactSingleKES d)) = D1 (' MetaData "VerKeyKES" "Cardano.Crypto.KES.CompactSingle" "cardano-crypto-class-2.0.0.0.1-5PqST7yhL1v7PBV5z4tsb9" ' True ) ( C1 (' MetaCons "VerKeyCompactSingleKES" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( VerKeyDSIGN d))))
type Rep ( VerKeyKES ( CompactSumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum type Rep ( VerKeyKES ( CompactSumKES h d)) = D1 (' MetaData "VerKeyKES" "Cardano.Crypto.KES.CompactSum" "cardano-crypto-class-2.0.0.0.1-5PqST7yhL1v7PBV5z4tsb9" ' True ) ( C1 (' MetaCons "VerKeyCompactSumKES" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( Hash h ( VerKeyKES d, VerKeyKES d)))))
newtype VerKeyKES ( MockKES t) Source #
Instance details Defined in Cardano.Crypto.KES.Mock newtype VerKeyKES ( 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 ( CompactSingleKES d) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSingle newtype VerKeyKES ( CompactSingleKES d) = VerKeyCompactSingleKES ( 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))
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 ( CompactSumKES h d) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum newtype VerKeyKES ( CompactSumKES h d) = VerKeyCompactSumKES ( Hash h ( VerKeyKES d, VerKeyKES d))

data family SignKeyKES v :: Type Source #

Instances

Instances details

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 ( 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 #
( 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 #
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 ( 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 #
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 => 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 ( 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 #
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 ( 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 ( 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 #
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 ( 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 #
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 => 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, Typeable d) => 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 #
( DSIGNAlgorithm d, Typeable 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 ( 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, Typeable d) => 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 => 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 => 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, Typeable d) => 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, Typeable 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 ( 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, Typeable d) => 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 #
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 #
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 #
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 ( 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 #
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 #
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 ( 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 #
data SignKeyKES NeverKES Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed data SignKeyKES NeverKES = NeverUsedSignKeyKES
type Rep ( SignKeyKES NeverKES ) Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed type Rep ( SignKeyKES NeverKES ) = D1 (' MetaData "SignKeyKES" "Cardano.Crypto.KES.NeverUsed" "cardano-crypto-class-2.0.0.0.1-5PqST7yhL1v7PBV5z4tsb9" ' False ) ( C1 (' MetaCons "NeverUsedSignKeyKES" ' PrefixI ' False ) ( U1 :: Type -> Type ))
type Rep ( SignKeyKES ( MockKES t)) Source #
Instance details Defined in Cardano.Crypto.KES.Mock type Rep ( SignKeyKES ( MockKES t)) = D1 (' MetaData "SignKeyKES" "Cardano.Crypto.KES.Mock" "cardano-crypto-class-2.0.0.0.1-5PqST7yhL1v7PBV5z4tsb9" ' 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 ( SingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.Single type Rep ( SignKeyKES ( SingleKES d)) = D1 (' MetaData "SignKeyKES" "Cardano.Crypto.KES.Single" "cardano-crypto-class-2.0.0.0.1-5PqST7yhL1v7PBV5z4tsb9" ' True ) ( C1 (' MetaCons "SignKeySingleKES" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( SignKeyDSIGN d))))
type Rep ( SignKeyKES ( SumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.Sum type Rep ( SignKeyKES ( SumKES h d)) = D1 (' MetaData "SignKeyKES" "Cardano.Crypto.KES.Sum" "cardano-crypto-class-2.0.0.0.1-5PqST7yhL1v7PBV5z4tsb9" ' 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)))))
type Rep ( SignKeyKES ( SimpleKES d t)) Source #
Instance details Defined in Cardano.Crypto.KES.Simple type Rep ( SignKeyKES ( SimpleKES d t)) = D1 (' MetaData "SignKeyKES" "Cardano.Crypto.KES.Simple" "cardano-crypto-class-2.0.0.0.1-5PqST7yhL1v7PBV5z4tsb9" ' True ) ( C1 (' MetaCons "ThunkySignKeySimpleKES" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( Vector ( SignKeyDSIGN d)))))
type Rep ( SignKeyKES ( CompactSingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSingle type Rep ( SignKeyKES ( CompactSingleKES d)) = D1 (' MetaData "SignKeyKES" "Cardano.Crypto.KES.CompactSingle" "cardano-crypto-class-2.0.0.0.1-5PqST7yhL1v7PBV5z4tsb9" ' True ) ( C1 (' MetaCons "SignKeyCompactSingleKES" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( SignKeyDSIGN d))))
type Rep ( SignKeyKES ( CompactSumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSum type Rep ( SignKeyKES ( CompactSumKES h d)) = D1 (' MetaData "SignKeyKES" "Cardano.Crypto.KES.CompactSum" "cardano-crypto-class-2.0.0.0.1-5PqST7yhL1v7PBV5z4tsb9" ' 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)))))
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)
newtype SignKeyKES ( CompactSingleKES d) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSingle newtype SignKeyKES ( CompactSingleKES d) = SignKeyCompactSingleKES ( 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)
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 ( 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)

data family SigKES v :: Type Source #

Instances

Instances details

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 ( 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 #
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 #
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 ( 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 #
( 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 #
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 ( 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 #
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 => 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 ( 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 #
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 ( 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 ( 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 #
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 ( 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 #
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 => 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, Typeable d) => 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 #
( DSIGNAlgorithm d, Typeable 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 ( 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, Typeable d) => 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 => 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 => 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, Typeable d) => 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, Typeable 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 ( 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, Typeable d) => 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 #
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 #
( 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 #
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 ( 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 #
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 #
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 ( 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 #
data SigKES NeverKES Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed data SigKES NeverKES = NeverUsedSigKES
type Rep ( SigKES NeverKES ) Source #
Instance details Defined in Cardano.Crypto.KES.NeverUsed type Rep ( SigKES NeverKES ) = D1 (' MetaData "SigKES" "Cardano.Crypto.KES.NeverUsed" "cardano-crypto-class-2.0.0.0.1-5PqST7yhL1v7PBV5z4tsb9" ' False ) ( C1 (' MetaCons "NeverUsedSigKES" ' PrefixI ' False ) ( U1 :: Type -> Type ))
type Rep ( SigKES ( MockKES t)) Source #
Instance details Defined in Cardano.Crypto.KES.Mock type Rep ( SigKES ( MockKES t)) = D1 (' MetaData "SigKES" "Cardano.Crypto.KES.Mock" "cardano-crypto-class-2.0.0.0.1-5PqST7yhL1v7PBV5z4tsb9" ' 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 ( SingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.Single type Rep ( SigKES ( SingleKES d)) = D1 (' MetaData "SigKES" "Cardano.Crypto.KES.Single" "cardano-crypto-class-2.0.0.0.1-5PqST7yhL1v7PBV5z4tsb9" ' True ) ( C1 (' MetaCons "SigSingleKES" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( SigDSIGN d))))
type Rep ( SigKES ( SumKES h d)) Source #
Instance details Defined in Cardano.Crypto.KES.Sum type Rep ( SigKES ( SumKES h d)) = D1 (' MetaData "SigKES" "Cardano.Crypto.KES.Sum" "cardano-crypto-class-2.0.0.0.1-5PqST7yhL1v7PBV5z4tsb9" ' 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)))))
type Rep ( SigKES ( SimpleKES d t)) Source #
Instance details Defined in Cardano.Crypto.KES.Simple type Rep ( SigKES ( SimpleKES d t)) = D1 (' MetaData "SigKES" "Cardano.Crypto.KES.Simple" "cardano-crypto-class-2.0.0.0.1-5PqST7yhL1v7PBV5z4tsb9" ' True ) ( C1 (' MetaCons "SigSimpleKES" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( SigDSIGN d))))
type Rep ( SigKES ( CompactSingleKES d)) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSingle type Rep ( SigKES ( CompactSingleKES d)) = D1 (' MetaData "SigKES" "Cardano.Crypto.KES.CompactSingle" "cardano-crypto-class-2.0.0.0.1-5PqST7yhL1v7PBV5z4tsb9" ' 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.1-5PqST7yhL1v7PBV5z4tsb9" ' 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))))
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 ( CompactSingleKES d) Source #
Instance details Defined in Cardano.Crypto.KES.CompactSingle data SigKES ( CompactSingleKES d) = SigCompactSingleKES !( SigDSIGN d) !( VerKeyDSIGN 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)
newtype SigKES ( SimpleKES d t) Source #
Instance details Defined in Cardano.Crypto.KES.Simple newtype SigKES ( SimpleKES d t) = SigSimpleKES ( 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)