Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Crypto.KES.NeverUsed

Synopsis

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

Documentation

data NeverKES #

KES never used

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

Instances

Instances details

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

data family VerKeyKES v :: Type #

Instances

Instances details

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

data family SignKeyKES v :: Type #

Instances

Instances details

(Monad m, MEq m (SignKeyDSIGNM d)) => MEq m (SignKeyKES (SimpleKES d t)) #
Instance details Defined in Cardano.Crypto.KES.Simple Methods equalsM :: SignKeyKES (SimpleKES d t) -> SignKeyKES (SimpleKES d t) -> m Bool #
Generic (SignKeyKES (MockKES t)) #
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) #
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)) #
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 #
Show (SignKeyKES (MockKES t)) #
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) #
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 #
DSIGNMAlgorithmBase d => Show (SignKeyKES (SimpleKES d t)) #
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 #
NFData (SignKeyDSIGNM d) => NFData (SignKeyKES (CompactSingleKES d)) #
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)) #
Instance details Defined in Cardano.Crypto.KES.CompactSum Methods rnf :: SignKeyKES (CompactSumKES h d) -> () Source #
NFData (SignKeyDSIGNM d) => NFData (SignKeyKES (SingleKES d)) #
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)) #
Instance details Defined in Cardano.Crypto.KES.Sum Methods rnf :: SignKeyKES (SumKES h d) -> () Source #
Eq (SignKeyKES (MockKES t)) #
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) #
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) #
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 #
DSIGNMAlgorithmBase d => NoThunks (SignKeyKES (CompactSingleKES d)) #
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 #
NoThunks (SignKeyKES (CompactSumKES h d)) #
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)) #
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) #
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 #
DSIGNMAlgorithmBase d => NoThunks (SignKeyKES (SimpleKES d t)) #
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 #
DSIGNMAlgorithmBase d => NoThunks (SignKeyKES (SingleKES d)) #
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 #
NoThunks (SignKeyKES (SumKES h d)) #
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 #
Instance details Defined in Cardano.Crypto.KES.NeverUsed data SignKeyKES NeverKES = NeverUsedSignKeyKES
type Rep (SignKeyKES (MockKES t)) #
Instance details Defined in Cardano.Crypto.KES.Mock type Rep (SignKeyKES (MockKES t)) = D1 ('MetaData "SignKeyKES" "Cardano.Crypto.KES.Mock" "cardano-crypto-class-2.1.1.0-inplace" '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) #
Instance details Defined in Cardano.Crypto.KES.NeverUsed type Rep (SignKeyKES NeverKES) = D1 ('MetaData "SignKeyKES" "Cardano.Crypto.KES.NeverUsed" "cardano-crypto-class-2.1.1.0-inplace" 'False) (C1 ('MetaCons "NeverUsedSignKeyKES" 'PrefixI 'False) (U1 :: Type -> Type))
type Rep (SignKeyKES (SimpleKES d t)) #
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.1.1.0-inplace" 'True) (C1 ('MetaCons "ThunkySignKeySimpleKES" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Vector (SignKeyDSIGNM d)))))
newtype SignKeyKES (CompactSingleKES d) #
Instance details Defined in Cardano.Crypto.KES.CompactSingle newtype SignKeyKES (CompactSingleKES d) = SignKeyCompactSingleKES (SignKeyDSIGNM d)
data SignKeyKES (MockKES t) #
Instance details Defined in Cardano.Crypto.KES.Mock data SignKeyKES (MockKES t) = SignKeyMockKES !(VerKeyKES (MockKES t)) !Period
newtype SignKeyKES (SingleKES d) #
Instance details Defined in Cardano.Crypto.KES.Single newtype SignKeyKES (SingleKES d) = SignKeySingleKES (SignKeyDSIGNM d)
data SignKeyKES (CompactSumKES h d) #
Instance details Defined in Cardano.Crypto.KES.CompactSum data SignKeyKES (CompactSumKES h d) = SignKeyCompactSumKES !(SignKeyKES d) !(MLockedSeed (SeedSizeKES d)) !(VerKeyKES d) !(VerKeyKES d)
newtype SignKeyKES (SimpleKES d t) #
Instance details Defined in Cardano.Crypto.KES.Simple newtype SignKeyKES (SimpleKES d t) = ThunkySignKeySimpleKES (Vector (SignKeyDSIGNM d))
data SignKeyKES (SumKES h d) #
Instance details Defined in Cardano.Crypto.KES.Sum data SignKeyKES (SumKES h d) = SignKeySumKES !(SignKeyKES d) !(MLockedSeed (SeedSizeKES d)) !(VerKeyKES d) !(VerKeyKES d)

data family SigKES v :: Type #

Instances

Instances details

Generic (SigKES (CompactSingleKES d)) #
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)) #
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)) #
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) #
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)) #
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)) #
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)) #
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 #
DSIGNMAlgorithmBase d => Show (SigKES (CompactSingleKES d)) #
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)) #
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)) #
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) #
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 #
DSIGNMAlgorithmBase d => Show (SigKES (SimpleKES d t)) #
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 #
DSIGNMAlgorithmBase d => Show (SigKES (SingleKES d)) #
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, KESAlgorithm (SumKES h d)) => Show (SigKES (SumKES h d)) #
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 #
(DSIGNMAlgorithmBase d, KnownNat (SizeSigKES (CompactSingleKES d))) => FromCBOR (SigKES (CompactSingleKES d)) #
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, SodiumHashAlgorithm h, SizeHash h ~ SeedSizeKES d, NoThunks (VerKeyKES (CompactSumKES h d)), KnownNat (SizeVerKeyKES (CompactSumKES h d)), KnownNat (SizeSignKeyKES (CompactSumKES h d)), KnownNat (SizeSigKES (CompactSumKES h d))) => FromCBOR (SigKES (CompactSumKES h d)) #
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)) #
Instance details Defined in Cardano.Crypto.KES.Mock Methods fromCBOR :: Decoder s (SigKES (MockKES t)) Source # label :: Proxy (SigKES (MockKES t)) -> Text Source #
(DSIGNMAlgorithmBase d, KnownNat t, KnownNat (SeedSizeDSIGNM d * t), KnownNat (SizeVerKeyDSIGNM d * t), KnownNat (SizeSignKeyDSIGNM d * t)) => FromCBOR (SigKES (SimpleKES d t)) #
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 #
DSIGNMAlgorithmBase d => FromCBOR (SigKES (SingleKES d)) #
Instance details Defined in Cardano.Crypto.KES.Single Methods fromCBOR :: Decoder s (SigKES (SingleKES d)) Source # label :: Proxy (SigKES (SingleKES d)) -> Text Source #
(KESAlgorithm (SumKES h d), SodiumHashAlgorithm h, SizeHash h ~ SeedSizeKES d) => FromCBOR (SigKES (SumKES h d)) #
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 #
(DSIGNMAlgorithmBase d, KnownNat (SizeSigKES (CompactSingleKES d))) => ToCBOR (SigKES (CompactSingleKES d)) #
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, SodiumHashAlgorithm h, SizeHash h ~ SeedSizeKES d, NoThunks (VerKeyKES (CompactSumKES h d)), KnownNat (SizeVerKeyKES (CompactSumKES h d)), KnownNat (SizeSignKeyKES (CompactSumKES h d)), KnownNat (SizeSigKES (CompactSumKES h d))) => ToCBOR (SigKES (CompactSumKES h d)) #
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)) #
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 #
(DSIGNMAlgorithmBase d, KnownNat t, KnownNat (SeedSizeDSIGNM d * t), KnownNat (SizeVerKeyDSIGNM d * t), KnownNat (SizeSignKeyDSIGNM d * t)) => ToCBOR (SigKES (SimpleKES d t)) #
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 #
DSIGNMAlgorithmBase d => ToCBOR (SigKES (SingleKES d)) #
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 (SumKES h d), SodiumHashAlgorithm h, SizeHash h ~ SeedSizeKES d) => ToCBOR (SigKES (SumKES h d)) #
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 (SigDSIGNM d), NFData (VerKeyDSIGNM d)) => NFData (SigKES (CompactSingleKES d)) #
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)) #
Instance details Defined in Cardano.Crypto.KES.CompactSum Methods rnf :: SigKES (CompactSumKES h d) -> () Source #
NFData (SigDSIGNM d) => NFData (SigKES (SingleKES d)) #
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)) #
Instance details Defined in Cardano.Crypto.KES.Sum Methods rnf :: SigKES (SumKES h d) -> () Source #
DSIGNMAlgorithmBase d => Eq (SigKES (CompactSingleKES d)) #
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)) #
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)) #
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) #
Instance details Defined in Cardano.Crypto.KES.NeverUsed Methods (==) :: SigKES NeverKES -> SigKES NeverKES -> Bool Source # (/=) :: SigKES NeverKES -> SigKES NeverKES -> Bool Source #
DSIGNMAlgorithmBase d => Eq (SigKES (SimpleKES d t)) #
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 #
DSIGNMAlgorithmBase d => Eq (SigKES (SingleKES d)) #
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, KESAlgorithm (SumKES h d)) => Eq (SigKES (SumKES h d)) #
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)) #
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 #
DSIGNMAlgorithmBase d => NoThunks (SigKES (CompactSingleKES d)) #
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)) #
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)) #
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) #
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 #
DSIGNMAlgorithmBase d => NoThunks (SigKES (SimpleKES d t)) #
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 #
DSIGNMAlgorithmBase d => NoThunks (SigKES (SingleKES d)) #
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)) #
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 #
Instance details Defined in Cardano.Crypto.KES.NeverUsed data SigKES NeverKES = NeverUsedSigKES
type Rep (SigKES (CompactSingleKES d)) #
Instance details Defined in Cardano.Crypto.KES.CompactSingle type Rep (SigKES (CompactSingleKES d)) = D1 ('MetaData "SigKES" "Cardano.Crypto.KES.CompactSingle" "cardano-crypto-class-2.1.1.0-inplace" 'False) (C1 ('MetaCons "SigCompactSingleKES" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SigDSIGNM d)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VerKeyDSIGNM d))))
type Rep (SigKES (CompactSumKES h d)) #
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.1.1.0-inplace" 'False) (C1 ('MetaCons "SigCompactSumKES" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SigKES d)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VerKeyKES d))))
type Rep (SigKES (MockKES t)) #
Instance details Defined in Cardano.Crypto.KES.Mock type Rep (SigKES (MockKES t)) = D1 ('MetaData "SigKES" "Cardano.Crypto.KES.Mock" "cardano-crypto-class-2.1.1.0-inplace" 'False) (C1 ('MetaCons "SigMockKES" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Hash ShortHash ())) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SignKeyKES (MockKES t)))))
type Rep (SigKES NeverKES) #
Instance details Defined in Cardano.Crypto.KES.NeverUsed type Rep (SigKES NeverKES) = D1 ('MetaData "SigKES" "Cardano.Crypto.KES.NeverUsed" "cardano-crypto-class-2.1.1.0-inplace" 'False) (C1 ('MetaCons "NeverUsedSigKES" 'PrefixI 'False) (U1 :: Type -> Type))
type Rep (SigKES (SimpleKES d t)) #
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.1.1.0-inplace" 'True) (C1 ('MetaCons "SigSimpleKES" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SigDSIGNM d))))
type Rep (SigKES (SingleKES d)) #
Instance details Defined in Cardano.Crypto.KES.Single type Rep (SigKES (SingleKES d)) = D1 ('MetaData "SigKES" "Cardano.Crypto.KES.Single" "cardano-crypto-class-2.1.1.0-inplace" 'True) (C1 ('MetaCons "SigSingleKES" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SigDSIGNM d))))
type Rep (SigKES (SumKES h d)) #
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.1.1.0-inplace" 'False) (C1 ('MetaCons "SigSumKES" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SigKES d)) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VerKeyKES d)) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VerKeyKES d)))))
data SigKES (CompactSingleKES d) #
Instance details Defined in Cardano.Crypto.KES.CompactSingle data SigKES (CompactSingleKES d) = SigCompactSingleKES !(SigDSIGNM d) !(VerKeyDSIGNM d)
data SigKES (MockKES t) #
Instance details Defined in Cardano.Crypto.KES.Mock data SigKES (MockKES t) = SigMockKES !(Hash ShortHash ()) !(SignKeyKES (MockKES t))
newtype SigKES (SingleKES d) #
Instance details Defined in Cardano.Crypto.KES.Single newtype SigKES (SingleKES d) = SigSingleKES (SigDSIGNM d)
data SigKES (CompactSumKES h d) #
Instance details Defined in Cardano.Crypto.KES.CompactSum data SigKES (CompactSumKES h d) = SigCompactSumKES !(SigKES d) !(VerKeyKES d)
newtype SigKES (SimpleKES d t) #
Instance details Defined in Cardano.Crypto.KES.Simple newtype SigKES (SimpleKES d t) = SigSimpleKES (SigDSIGNM d)
data SigKES (SumKES h d) #
Instance details Defined in Cardano.Crypto.KES.Sum data SigKES (SumKES h d) = SigSumKES !(SigKES d) !(VerKeyKES d) !(VerKeyKES d)