Safe Haskell	None
Language	Haskell2010

Cardano.Crypto.DSIGN.NeverUsed

Synopsis

data NeverDSIGN
data family VerKeyDSIGN v :: Type
data family SignKeyDSIGN v :: Type
data family SigDSIGN v :: Type

Documentation

data NeverDSIGN Source #

DSIGN 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

DSIGNAlgorithm NeverDSIGN Source #
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed Associated Types type SeedSizeDSIGN NeverDSIGN :: Nat Source # type SizeVerKeyDSIGN NeverDSIGN :: Nat Source # type SizeSignKeyDSIGN NeverDSIGN :: Nat Source # type SizeSigDSIGN NeverDSIGN :: Nat Source # data VerKeyDSIGN NeverDSIGN Source # data SignKeyDSIGN NeverDSIGN Source # data SigDSIGN NeverDSIGN Source # type ContextDSIGN NeverDSIGN Source # type Signable NeverDSIGN :: Type -> Constraint Source # Methods algorithmNameDSIGN :: proxy NeverDSIGN -> String Source # deriveVerKeyDSIGN :: SignKeyDSIGN NeverDSIGN -> VerKeyDSIGN NeverDSIGN Source # hashVerKeyDSIGN :: HashAlgorithm h => VerKeyDSIGN NeverDSIGN -> Hash h ( VerKeyDSIGN NeverDSIGN ) Source # signDSIGN :: ( Signable NeverDSIGN a, HasCallStack ) => ContextDSIGN NeverDSIGN -> a -> SignKeyDSIGN NeverDSIGN -> SigDSIGN NeverDSIGN Source # verifyDSIGN :: ( Signable NeverDSIGN a, HasCallStack ) => ContextDSIGN NeverDSIGN -> VerKeyDSIGN NeverDSIGN -> a -> SigDSIGN NeverDSIGN -> Either String () Source # genKeyDSIGN :: Seed -> SignKeyDSIGN NeverDSIGN Source # rawSerialiseVerKeyDSIGN :: VerKeyDSIGN NeverDSIGN -> ByteString Source # rawSerialiseSignKeyDSIGN :: SignKeyDSIGN NeverDSIGN -> ByteString Source # rawSerialiseSigDSIGN :: SigDSIGN NeverDSIGN -> ByteString Source # rawDeserialiseVerKeyDSIGN :: ByteString -> Maybe ( VerKeyDSIGN NeverDSIGN ) Source # rawDeserialiseSignKeyDSIGN :: ByteString -> Maybe ( SignKeyDSIGN NeverDSIGN ) Source # rawDeserialiseSigDSIGN :: ByteString -> Maybe ( SigDSIGN NeverDSIGN ) Source #
Eq ( VerKeyDSIGN NeverDSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed Methods (==) :: VerKeyDSIGN NeverDSIGN -> VerKeyDSIGN NeverDSIGN -> Bool Source # (/=) :: VerKeyDSIGN NeverDSIGN -> VerKeyDSIGN NeverDSIGN -> Bool Source #
Eq ( SignKeyDSIGN NeverDSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed Methods (==) :: SignKeyDSIGN NeverDSIGN -> SignKeyDSIGN NeverDSIGN -> Bool Source # (/=) :: SignKeyDSIGN NeverDSIGN -> SignKeyDSIGN NeverDSIGN -> Bool Source #
Eq ( SigDSIGN NeverDSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed Methods (==) :: SigDSIGN NeverDSIGN -> SigDSIGN NeverDSIGN -> Bool Source # (/=) :: SigDSIGN NeverDSIGN -> SigDSIGN NeverDSIGN -> Bool Source #
Show ( VerKeyDSIGN NeverDSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed Methods showsPrec :: Int -> VerKeyDSIGN NeverDSIGN -> ShowS Source # show :: VerKeyDSIGN NeverDSIGN -> String Source # showList :: [ VerKeyDSIGN NeverDSIGN ] -> ShowS Source #
Show ( SignKeyDSIGN NeverDSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed Methods showsPrec :: Int -> SignKeyDSIGN NeverDSIGN -> ShowS Source # show :: SignKeyDSIGN NeverDSIGN -> String Source # showList :: [ SignKeyDSIGN NeverDSIGN ] -> ShowS Source #
Show ( SigDSIGN NeverDSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed Methods showsPrec :: Int -> SigDSIGN NeverDSIGN -> ShowS Source # show :: SigDSIGN NeverDSIGN -> String Source # showList :: [ SigDSIGN NeverDSIGN ] -> ShowS Source #
Generic ( VerKeyDSIGN NeverDSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed Associated Types type Rep ( VerKeyDSIGN NeverDSIGN ) :: Type -> Type Source # Methods from :: VerKeyDSIGN NeverDSIGN -> Rep ( VerKeyDSIGN NeverDSIGN ) x Source # to :: Rep ( VerKeyDSIGN NeverDSIGN ) x -> VerKeyDSIGN NeverDSIGN Source #
Generic ( SignKeyDSIGN NeverDSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed Associated Types type Rep ( SignKeyDSIGN NeverDSIGN ) :: Type -> Type Source # Methods from :: SignKeyDSIGN NeverDSIGN -> Rep ( SignKeyDSIGN NeverDSIGN ) x Source # to :: Rep ( SignKeyDSIGN NeverDSIGN ) x -> SignKeyDSIGN NeverDSIGN Source #
Generic ( SigDSIGN NeverDSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed Associated Types type Rep ( SigDSIGN NeverDSIGN ) :: Type -> Type Source # Methods from :: SigDSIGN NeverDSIGN -> Rep ( SigDSIGN NeverDSIGN ) x Source # to :: Rep ( SigDSIGN NeverDSIGN ) x -> SigDSIGN NeverDSIGN Source #
NoThunks ( VerKeyDSIGN NeverDSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed Methods noThunks :: Context -> VerKeyDSIGN NeverDSIGN -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> VerKeyDSIGN NeverDSIGN -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( VerKeyDSIGN NeverDSIGN ) -> String Source #
NoThunks ( SignKeyDSIGN NeverDSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed Methods noThunks :: Context -> SignKeyDSIGN NeverDSIGN -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> SignKeyDSIGN NeverDSIGN -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( SignKeyDSIGN NeverDSIGN ) -> String Source #
NoThunks ( SigDSIGN NeverDSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed Methods noThunks :: Context -> SigDSIGN NeverDSIGN -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> SigDSIGN NeverDSIGN -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( SigDSIGN NeverDSIGN ) -> String Source #
type SeedSizeDSIGN NeverDSIGN Source #
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed type SeedSizeDSIGN NeverDSIGN = 0
type SizeVerKeyDSIGN NeverDSIGN Source #
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed type SizeVerKeyDSIGN NeverDSIGN = 0
type SizeSignKeyDSIGN NeverDSIGN Source #
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed type SizeSignKeyDSIGN NeverDSIGN = 0
type SizeSigDSIGN NeverDSIGN Source #
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed type SizeSigDSIGN NeverDSIGN = 0
data VerKeyDSIGN NeverDSIGN Source #
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed data VerKeyDSIGN NeverDSIGN = NeverUsedVerKeyDSIGN
data SignKeyDSIGN NeverDSIGN Source #
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed data SignKeyDSIGN NeverDSIGN = NeverUsedSignKeyDSIGN
data SigDSIGN NeverDSIGN Source #
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed data SigDSIGN NeverDSIGN = NeverUsedSigDSIGN
type ContextDSIGN NeverDSIGN Source #
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed type ContextDSIGN NeverDSIGN = ()
type Signable NeverDSIGN Source #
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed type Signable NeverDSIGN = Empty
type Rep ( VerKeyDSIGN NeverDSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed type Rep ( VerKeyDSIGN NeverDSIGN ) = D1 (' MetaData "VerKeyDSIGN" "Cardano.Crypto.DSIGN.NeverUsed" "cardano-crypto-class-2.0.0.0.1-5PqST7yhL1v7PBV5z4tsb9" ' False ) ( C1 (' MetaCons "NeverUsedVerKeyDSIGN" ' PrefixI ' False ) ( U1 :: Type -> Type ))
type Rep ( SignKeyDSIGN NeverDSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed type Rep ( SignKeyDSIGN NeverDSIGN ) = D1 (' MetaData "SignKeyDSIGN" "Cardano.Crypto.DSIGN.NeverUsed" "cardano-crypto-class-2.0.0.0.1-5PqST7yhL1v7PBV5z4tsb9" ' False ) ( C1 (' MetaCons "NeverUsedSignKeyDSIGN" ' PrefixI ' False ) ( U1 :: Type -> Type ))
type Rep ( SigDSIGN NeverDSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed type Rep ( SigDSIGN NeverDSIGN ) = D1 (' MetaData "SigDSIGN" "Cardano.Crypto.DSIGN.NeverUsed" "cardano-crypto-class-2.0.0.0.1-5PqST7yhL1v7PBV5z4tsb9" ' False ) ( C1 (' MetaCons "NeverUsedSigDSIGN" ' PrefixI ' False ) ( U1 :: Type -> Type ))

data family VerKeyDSIGN v :: Type Source #

Instances

Instances details

Eq ( VerKeyDSIGN NeverDSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed Methods (==) :: VerKeyDSIGN NeverDSIGN -> VerKeyDSIGN NeverDSIGN -> Bool Source # (/=) :: VerKeyDSIGN NeverDSIGN -> VerKeyDSIGN NeverDSIGN -> Bool Source #
Eq ( VerKeyDSIGN Ed448DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods (==) :: VerKeyDSIGN Ed448DSIGN -> VerKeyDSIGN Ed448DSIGN -> Bool Source # (/=) :: VerKeyDSIGN Ed448DSIGN -> VerKeyDSIGN Ed448DSIGN -> Bool Source #
Eq ( VerKeyDSIGN EcdsaSecp256k1DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods (==) :: VerKeyDSIGN EcdsaSecp256k1DSIGN -> VerKeyDSIGN EcdsaSecp256k1DSIGN -> Bool Source # (/=) :: VerKeyDSIGN EcdsaSecp256k1DSIGN -> VerKeyDSIGN EcdsaSecp256k1DSIGN -> Bool Source #
Eq ( VerKeyDSIGN MockDSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods (==) :: VerKeyDSIGN MockDSIGN -> VerKeyDSIGN MockDSIGN -> Bool Source # (/=) :: VerKeyDSIGN MockDSIGN -> VerKeyDSIGN MockDSIGN -> Bool Source #
Eq ( VerKeyDSIGN SchnorrSecp256k1DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods (==) :: VerKeyDSIGN SchnorrSecp256k1DSIGN -> VerKeyDSIGN SchnorrSecp256k1DSIGN -> Bool Source # (/=) :: VerKeyDSIGN SchnorrSecp256k1DSIGN -> VerKeyDSIGN SchnorrSecp256k1DSIGN -> Bool Source #
Eq ( VerKeyDSIGN Ed25519DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods (==) :: VerKeyDSIGN Ed25519DSIGN -> VerKeyDSIGN Ed25519DSIGN -> Bool Source # (/=) :: VerKeyDSIGN Ed25519DSIGN -> VerKeyDSIGN Ed25519DSIGN -> Bool Source #
Num ( VerKeyDSIGN MockDSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods (+) :: VerKeyDSIGN MockDSIGN -> VerKeyDSIGN MockDSIGN -> VerKeyDSIGN MockDSIGN Source # (-) :: VerKeyDSIGN MockDSIGN -> VerKeyDSIGN MockDSIGN -> VerKeyDSIGN MockDSIGN Source # (*) :: VerKeyDSIGN MockDSIGN -> VerKeyDSIGN MockDSIGN -> VerKeyDSIGN MockDSIGN Source # negate :: VerKeyDSIGN MockDSIGN -> VerKeyDSIGN MockDSIGN Source # abs :: VerKeyDSIGN MockDSIGN -> VerKeyDSIGN MockDSIGN Source # signum :: VerKeyDSIGN MockDSIGN -> VerKeyDSIGN MockDSIGN Source # fromInteger :: Integer -> VerKeyDSIGN MockDSIGN Source #
( TypeError (' Text "Ord not supported for verification keys, use the hash instead") :: Constraint , Eq ( VerKeyDSIGN v)) => Ord ( VerKeyDSIGN v) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Class Methods compare :: VerKeyDSIGN v -> VerKeyDSIGN v -> Ordering Source # (<) :: VerKeyDSIGN v -> VerKeyDSIGN v -> Bool Source # (<=) :: VerKeyDSIGN v -> VerKeyDSIGN v -> Bool Source # (>) :: VerKeyDSIGN v -> VerKeyDSIGN v -> Bool Source # (>=) :: VerKeyDSIGN v -> VerKeyDSIGN v -> Bool Source # max :: VerKeyDSIGN v -> VerKeyDSIGN v -> VerKeyDSIGN v Source # min :: VerKeyDSIGN v -> VerKeyDSIGN v -> VerKeyDSIGN v Source #
Show ( VerKeyDSIGN NeverDSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed Methods showsPrec :: Int -> VerKeyDSIGN NeverDSIGN -> ShowS Source # show :: VerKeyDSIGN NeverDSIGN -> String Source # showList :: [ VerKeyDSIGN NeverDSIGN ] -> ShowS Source #
Show ( VerKeyDSIGN Ed448DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods showsPrec :: Int -> VerKeyDSIGN Ed448DSIGN -> ShowS Source # show :: VerKeyDSIGN Ed448DSIGN -> String Source # showList :: [ VerKeyDSIGN Ed448DSIGN ] -> ShowS Source #
Show ( VerKeyDSIGN EcdsaSecp256k1DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods showsPrec :: Int -> VerKeyDSIGN EcdsaSecp256k1DSIGN -> ShowS Source # show :: VerKeyDSIGN EcdsaSecp256k1DSIGN -> String Source # showList :: [ VerKeyDSIGN EcdsaSecp256k1DSIGN ] -> ShowS Source #
Show ( VerKeyDSIGN MockDSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods showsPrec :: Int -> VerKeyDSIGN MockDSIGN -> ShowS Source # show :: VerKeyDSIGN MockDSIGN -> String Source # showList :: [ VerKeyDSIGN MockDSIGN ] -> ShowS Source #
Show ( VerKeyDSIGN SchnorrSecp256k1DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods showsPrec :: Int -> VerKeyDSIGN SchnorrSecp256k1DSIGN -> ShowS Source # show :: VerKeyDSIGN SchnorrSecp256k1DSIGN -> String Source # showList :: [ VerKeyDSIGN SchnorrSecp256k1DSIGN ] -> ShowS Source #
Show ( VerKeyDSIGN Ed25519DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods showsPrec :: Int -> VerKeyDSIGN Ed25519DSIGN -> ShowS Source # show :: VerKeyDSIGN Ed25519DSIGN -> String Source # showList :: [ VerKeyDSIGN Ed25519DSIGN ] -> ShowS Source #
Generic ( VerKeyDSIGN NeverDSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed Associated Types type Rep ( VerKeyDSIGN NeverDSIGN ) :: Type -> Type Source # Methods from :: VerKeyDSIGN NeverDSIGN -> Rep ( VerKeyDSIGN NeverDSIGN ) x Source # to :: Rep ( VerKeyDSIGN NeverDSIGN ) x -> VerKeyDSIGN NeverDSIGN Source #
Generic ( VerKeyDSIGN Ed448DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Associated Types type Rep ( VerKeyDSIGN Ed448DSIGN ) :: Type -> Type Source # Methods from :: VerKeyDSIGN Ed448DSIGN -> Rep ( VerKeyDSIGN Ed448DSIGN ) x Source # to :: Rep ( VerKeyDSIGN Ed448DSIGN ) x -> VerKeyDSIGN Ed448DSIGN Source #
Generic ( VerKeyDSIGN EcdsaSecp256k1DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Associated Types type Rep ( VerKeyDSIGN EcdsaSecp256k1DSIGN ) :: Type -> Type Source # Methods from :: VerKeyDSIGN EcdsaSecp256k1DSIGN -> Rep ( VerKeyDSIGN EcdsaSecp256k1DSIGN ) x Source # to :: Rep ( VerKeyDSIGN EcdsaSecp256k1DSIGN ) x -> VerKeyDSIGN EcdsaSecp256k1DSIGN Source #
Generic ( VerKeyDSIGN MockDSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Mock Associated Types type Rep ( VerKeyDSIGN MockDSIGN ) :: Type -> Type Source # Methods from :: VerKeyDSIGN MockDSIGN -> Rep ( VerKeyDSIGN MockDSIGN ) x Source # to :: Rep ( VerKeyDSIGN MockDSIGN ) x -> VerKeyDSIGN MockDSIGN Source #
Generic ( VerKeyDSIGN SchnorrSecp256k1DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Associated Types type Rep ( VerKeyDSIGN SchnorrSecp256k1DSIGN ) :: Type -> Type Source # Methods from :: VerKeyDSIGN SchnorrSecp256k1DSIGN -> Rep ( VerKeyDSIGN SchnorrSecp256k1DSIGN ) x Source # to :: Rep ( VerKeyDSIGN SchnorrSecp256k1DSIGN ) x -> VerKeyDSIGN SchnorrSecp256k1DSIGN Source #
Generic ( VerKeyDSIGN Ed25519DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Associated Types type Rep ( VerKeyDSIGN Ed25519DSIGN ) :: Type -> Type Source # Methods from :: VerKeyDSIGN Ed25519DSIGN -> Rep ( VerKeyDSIGN Ed25519DSIGN ) x Source # to :: Rep ( VerKeyDSIGN Ed25519DSIGN ) x -> VerKeyDSIGN Ed25519DSIGN Source #
ToCBOR ( VerKeyDSIGN Ed448DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods toCBOR :: VerKeyDSIGN Ed448DSIGN -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( VerKeyDSIGN Ed448DSIGN ) -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ VerKeyDSIGN Ed448DSIGN ] -> Size Source #
ToCBOR ( VerKeyDSIGN EcdsaSecp256k1DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods toCBOR :: VerKeyDSIGN EcdsaSecp256k1DSIGN -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( VerKeyDSIGN EcdsaSecp256k1DSIGN ) -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ VerKeyDSIGN EcdsaSecp256k1DSIGN ] -> Size Source #
ToCBOR ( VerKeyDSIGN MockDSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods toCBOR :: VerKeyDSIGN MockDSIGN -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( VerKeyDSIGN MockDSIGN ) -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ VerKeyDSIGN MockDSIGN ] -> Size Source #
ToCBOR ( VerKeyDSIGN SchnorrSecp256k1DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods toCBOR :: VerKeyDSIGN SchnorrSecp256k1DSIGN -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( VerKeyDSIGN SchnorrSecp256k1DSIGN ) -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ VerKeyDSIGN SchnorrSecp256k1DSIGN ] -> Size Source #
ToCBOR ( VerKeyDSIGN Ed25519DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods toCBOR :: VerKeyDSIGN Ed25519DSIGN -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( VerKeyDSIGN Ed25519DSIGN ) -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ VerKeyDSIGN Ed25519DSIGN ] -> Size Source #
FromCBOR ( VerKeyDSIGN Ed448DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods fromCBOR :: Decoder s ( VerKeyDSIGN Ed448DSIGN ) Source # label :: Proxy ( VerKeyDSIGN Ed448DSIGN ) -> Text Source #
FromCBOR ( VerKeyDSIGN EcdsaSecp256k1DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods fromCBOR :: Decoder s ( VerKeyDSIGN EcdsaSecp256k1DSIGN ) Source # label :: Proxy ( VerKeyDSIGN EcdsaSecp256k1DSIGN ) -> Text Source #
FromCBOR ( VerKeyDSIGN MockDSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods fromCBOR :: Decoder s ( VerKeyDSIGN MockDSIGN ) Source # label :: Proxy ( VerKeyDSIGN MockDSIGN ) -> Text Source #
FromCBOR ( VerKeyDSIGN SchnorrSecp256k1DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods fromCBOR :: Decoder s ( VerKeyDSIGN SchnorrSecp256k1DSIGN ) Source # label :: Proxy ( VerKeyDSIGN SchnorrSecp256k1DSIGN ) -> Text Source #
FromCBOR ( VerKeyDSIGN Ed25519DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods fromCBOR :: Decoder s ( VerKeyDSIGN Ed25519DSIGN ) Source # label :: Proxy ( VerKeyDSIGN Ed25519DSIGN ) -> Text Source #
NFData ( VerKeyDSIGN Ed448DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods rnf :: VerKeyDSIGN Ed448DSIGN -> () Source #
NFData ( VerKeyDSIGN EcdsaSecp256k1DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods rnf :: VerKeyDSIGN EcdsaSecp256k1DSIGN -> () Source #
NFData ( VerKeyDSIGN MockDSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods rnf :: VerKeyDSIGN MockDSIGN -> () Source #
NFData ( VerKeyDSIGN SchnorrSecp256k1DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods rnf :: VerKeyDSIGN SchnorrSecp256k1DSIGN -> () Source #
NFData ( VerKeyDSIGN Ed25519DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods rnf :: VerKeyDSIGN Ed25519DSIGN -> () Source #
ByteArrayAccess ( VerKeyDSIGN Ed448DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods length :: VerKeyDSIGN Ed448DSIGN -> Int Source # withByteArray :: VerKeyDSIGN Ed448DSIGN -> ( Ptr p -> IO a) -> IO a Source # copyByteArrayToPtr :: VerKeyDSIGN Ed448DSIGN -> Ptr p -> IO () Source #
NoThunks ( VerKeyDSIGN NeverDSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed Methods noThunks :: Context -> VerKeyDSIGN NeverDSIGN -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> VerKeyDSIGN NeverDSIGN -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( VerKeyDSIGN NeverDSIGN ) -> String Source #
NoThunks ( VerKeyDSIGN Ed448DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods noThunks :: Context -> VerKeyDSIGN Ed448DSIGN -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> VerKeyDSIGN Ed448DSIGN -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( VerKeyDSIGN Ed448DSIGN ) -> String Source #
NoThunks ( VerKeyDSIGN EcdsaSecp256k1DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods noThunks :: Context -> VerKeyDSIGN EcdsaSecp256k1DSIGN -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> VerKeyDSIGN EcdsaSecp256k1DSIGN -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( VerKeyDSIGN EcdsaSecp256k1DSIGN ) -> String Source #
NoThunks ( VerKeyDSIGN MockDSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods noThunks :: Context -> VerKeyDSIGN MockDSIGN -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> VerKeyDSIGN MockDSIGN -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( VerKeyDSIGN MockDSIGN ) -> String Source #
NoThunks ( VerKeyDSIGN SchnorrSecp256k1DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods noThunks :: Context -> VerKeyDSIGN SchnorrSecp256k1DSIGN -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> VerKeyDSIGN SchnorrSecp256k1DSIGN -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( VerKeyDSIGN SchnorrSecp256k1DSIGN ) -> String Source #
NoThunks ( VerKeyDSIGN Ed25519DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods noThunks :: Context -> VerKeyDSIGN Ed25519DSIGN -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> VerKeyDSIGN Ed25519DSIGN -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( VerKeyDSIGN Ed25519DSIGN ) -> String Source #
data VerKeyDSIGN NeverDSIGN Source #
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed data VerKeyDSIGN NeverDSIGN = NeverUsedVerKeyDSIGN
newtype VerKeyDSIGN Ed448DSIGN Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 newtype VerKeyDSIGN Ed448DSIGN = VerKeyEd448DSIGN PublicKey
newtype VerKeyDSIGN EcdsaSecp256k1DSIGN Source #
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 newtype VerKeyDSIGN EcdsaSecp256k1DSIGN = VerKeyEcdsaSecp256k1 ( PinnedSizedBytes SECP256K1_ECDSA_PUBKEY_BYTES_INTERNAL )
newtype VerKeyDSIGN MockDSIGN Source #
Instance details Defined in Cardano.Crypto.DSIGN.Mock newtype VerKeyDSIGN MockDSIGN = VerKeyMockDSIGN Word64
newtype VerKeyDSIGN SchnorrSecp256k1DSIGN Source #
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 newtype VerKeyDSIGN SchnorrSecp256k1DSIGN = VerKeySchnorrSecp256k1 ( PinnedSizedBytes SECP256K1_SCHNORR_PUBKEY_BYTES_INTERNAL )
newtype VerKeyDSIGN Ed25519DSIGN Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 newtype VerKeyDSIGN Ed25519DSIGN = VerKeyEd25519DSIGN ( PinnedSizedBytes ( SizeVerKeyDSIGN Ed25519DSIGN ))
type Rep ( VerKeyDSIGN NeverDSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed type Rep ( VerKeyDSIGN NeverDSIGN ) = D1 (' MetaData "VerKeyDSIGN" "Cardano.Crypto.DSIGN.NeverUsed" "cardano-crypto-class-2.0.0.0.1-5PqST7yhL1v7PBV5z4tsb9" ' False ) ( C1 (' MetaCons "NeverUsedVerKeyDSIGN" ' PrefixI ' False ) ( U1 :: Type -> Type ))
type Rep ( VerKeyDSIGN Ed448DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 type Rep ( VerKeyDSIGN Ed448DSIGN ) = D1 (' MetaData "VerKeyDSIGN" "Cardano.Crypto.DSIGN.Ed448" "cardano-crypto-class-2.0.0.0.1-5PqST7yhL1v7PBV5z4tsb9" ' True ) ( C1 (' MetaCons "VerKeyEd448DSIGN" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 PublicKey )))
type Rep ( VerKeyDSIGN EcdsaSecp256k1DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 type Rep ( VerKeyDSIGN EcdsaSecp256k1DSIGN ) = D1 (' MetaData "VerKeyDSIGN" "Cardano.Crypto.DSIGN.EcdsaSecp256k1" "cardano-crypto-class-2.0.0.0.1-5PqST7yhL1v7PBV5z4tsb9" ' True ) ( C1 (' MetaCons "VerKeyEcdsaSecp256k1" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( PinnedSizedBytes SECP256K1_ECDSA_PUBKEY_BYTES_INTERNAL ))))
type Rep ( VerKeyDSIGN MockDSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Mock type Rep ( VerKeyDSIGN MockDSIGN ) = D1 (' MetaData "VerKeyDSIGN" "Cardano.Crypto.DSIGN.Mock" "cardano-crypto-class-2.0.0.0.1-5PqST7yhL1v7PBV5z4tsb9" ' True ) ( C1 (' MetaCons "VerKeyMockDSIGN" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 Word64 )))
type Rep ( VerKeyDSIGN SchnorrSecp256k1DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 type Rep ( VerKeyDSIGN SchnorrSecp256k1DSIGN ) = D1 (' MetaData "VerKeyDSIGN" "Cardano.Crypto.DSIGN.SchnorrSecp256k1" "cardano-crypto-class-2.0.0.0.1-5PqST7yhL1v7PBV5z4tsb9" ' True ) ( C1 (' MetaCons "VerKeySchnorrSecp256k1" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( PinnedSizedBytes SECP256K1_SCHNORR_PUBKEY_BYTES_INTERNAL ))))
type Rep ( VerKeyDSIGN Ed25519DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 type Rep ( VerKeyDSIGN Ed25519DSIGN ) = D1 (' MetaData "VerKeyDSIGN" "Cardano.Crypto.DSIGN.Ed25519" "cardano-crypto-class-2.0.0.0.1-5PqST7yhL1v7PBV5z4tsb9" ' True ) ( C1 (' MetaCons "VerKeyEd25519DSIGN" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( PinnedSizedBytes ( SizeVerKeyDSIGN Ed25519DSIGN )))))

data family SignKeyDSIGN v :: Type Source #

Instances

Instances details

Eq ( SignKeyDSIGN NeverDSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed Methods (==) :: SignKeyDSIGN NeverDSIGN -> SignKeyDSIGN NeverDSIGN -> Bool Source # (/=) :: SignKeyDSIGN NeverDSIGN -> SignKeyDSIGN NeverDSIGN -> Bool Source #
Eq ( SignKeyDSIGN Ed448DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods (==) :: SignKeyDSIGN Ed448DSIGN -> SignKeyDSIGN Ed448DSIGN -> Bool Source # (/=) :: SignKeyDSIGN Ed448DSIGN -> SignKeyDSIGN Ed448DSIGN -> Bool Source #
Eq ( SignKeyDSIGN EcdsaSecp256k1DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods (==) :: SignKeyDSIGN EcdsaSecp256k1DSIGN -> SignKeyDSIGN EcdsaSecp256k1DSIGN -> Bool Source # (/=) :: SignKeyDSIGN EcdsaSecp256k1DSIGN -> SignKeyDSIGN EcdsaSecp256k1DSIGN -> Bool Source #
Eq ( SignKeyDSIGN MockDSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods (==) :: SignKeyDSIGN MockDSIGN -> SignKeyDSIGN MockDSIGN -> Bool Source # (/=) :: SignKeyDSIGN MockDSIGN -> SignKeyDSIGN MockDSIGN -> Bool Source #
Eq ( SignKeyDSIGN SchnorrSecp256k1DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods (==) :: SignKeyDSIGN SchnorrSecp256k1DSIGN -> SignKeyDSIGN SchnorrSecp256k1DSIGN -> Bool Source # (/=) :: SignKeyDSIGN SchnorrSecp256k1DSIGN -> SignKeyDSIGN SchnorrSecp256k1DSIGN -> Bool Source #
Eq ( SignKeyDSIGN Ed25519DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods (==) :: SignKeyDSIGN Ed25519DSIGN -> SignKeyDSIGN Ed25519DSIGN -> Bool Source # (/=) :: SignKeyDSIGN Ed25519DSIGN -> SignKeyDSIGN Ed25519DSIGN -> Bool Source #
Num ( SignKeyDSIGN MockDSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods (+) :: SignKeyDSIGN MockDSIGN -> SignKeyDSIGN MockDSIGN -> SignKeyDSIGN MockDSIGN Source # (-) :: SignKeyDSIGN MockDSIGN -> SignKeyDSIGN MockDSIGN -> SignKeyDSIGN MockDSIGN Source # (*) :: SignKeyDSIGN MockDSIGN -> SignKeyDSIGN MockDSIGN -> SignKeyDSIGN MockDSIGN Source # negate :: SignKeyDSIGN MockDSIGN -> SignKeyDSIGN MockDSIGN Source # abs :: SignKeyDSIGN MockDSIGN -> SignKeyDSIGN MockDSIGN Source # signum :: SignKeyDSIGN MockDSIGN -> SignKeyDSIGN MockDSIGN Source # fromInteger :: Integer -> SignKeyDSIGN MockDSIGN Source #
( TypeError (' Text "Ord not supported for signing keys, use the hash instead") :: Constraint , Eq ( SignKeyDSIGN v)) => Ord ( SignKeyDSIGN v) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Class Methods compare :: SignKeyDSIGN v -> SignKeyDSIGN v -> Ordering Source # (<) :: SignKeyDSIGN v -> SignKeyDSIGN v -> Bool Source # (<=) :: SignKeyDSIGN v -> SignKeyDSIGN v -> Bool Source # (>) :: SignKeyDSIGN v -> SignKeyDSIGN v -> Bool Source # (>=) :: SignKeyDSIGN v -> SignKeyDSIGN v -> Bool Source # max :: SignKeyDSIGN v -> SignKeyDSIGN v -> SignKeyDSIGN v Source # min :: SignKeyDSIGN v -> SignKeyDSIGN v -> SignKeyDSIGN v Source #
Show ( SignKeyDSIGN NeverDSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed Methods showsPrec :: Int -> SignKeyDSIGN NeverDSIGN -> ShowS Source # show :: SignKeyDSIGN NeverDSIGN -> String Source # showList :: [ SignKeyDSIGN NeverDSIGN ] -> ShowS Source #
Show ( SignKeyDSIGN Ed448DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods showsPrec :: Int -> SignKeyDSIGN Ed448DSIGN -> ShowS Source # show :: SignKeyDSIGN Ed448DSIGN -> String Source # showList :: [ SignKeyDSIGN Ed448DSIGN ] -> ShowS Source #
Show ( SignKeyDSIGN EcdsaSecp256k1DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods showsPrec :: Int -> SignKeyDSIGN EcdsaSecp256k1DSIGN -> ShowS Source # show :: SignKeyDSIGN EcdsaSecp256k1DSIGN -> String Source # showList :: [ SignKeyDSIGN EcdsaSecp256k1DSIGN ] -> ShowS Source #
Show ( SignKeyDSIGN MockDSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods showsPrec :: Int -> SignKeyDSIGN MockDSIGN -> ShowS Source # show :: SignKeyDSIGN MockDSIGN -> String Source # showList :: [ SignKeyDSIGN MockDSIGN ] -> ShowS Source #
Show ( SignKeyDSIGN SchnorrSecp256k1DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods showsPrec :: Int -> SignKeyDSIGN SchnorrSecp256k1DSIGN -> ShowS Source # show :: SignKeyDSIGN SchnorrSecp256k1DSIGN -> String Source # showList :: [ SignKeyDSIGN SchnorrSecp256k1DSIGN ] -> ShowS Source #
Show ( SignKeyDSIGN Ed25519DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods showsPrec :: Int -> SignKeyDSIGN Ed25519DSIGN -> ShowS Source # show :: SignKeyDSIGN Ed25519DSIGN -> String Source # showList :: [ SignKeyDSIGN Ed25519DSIGN ] -> ShowS Source #
Generic ( SignKeyDSIGN NeverDSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed Associated Types type Rep ( SignKeyDSIGN NeverDSIGN ) :: Type -> Type Source # Methods from :: SignKeyDSIGN NeverDSIGN -> Rep ( SignKeyDSIGN NeverDSIGN ) x Source # to :: Rep ( SignKeyDSIGN NeverDSIGN ) x -> SignKeyDSIGN NeverDSIGN Source #
Generic ( SignKeyDSIGN Ed448DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Associated Types type Rep ( SignKeyDSIGN Ed448DSIGN ) :: Type -> Type Source # Methods from :: SignKeyDSIGN Ed448DSIGN -> Rep ( SignKeyDSIGN Ed448DSIGN ) x Source # to :: Rep ( SignKeyDSIGN Ed448DSIGN ) x -> SignKeyDSIGN Ed448DSIGN Source #
Generic ( SignKeyDSIGN EcdsaSecp256k1DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Associated Types type Rep ( SignKeyDSIGN EcdsaSecp256k1DSIGN ) :: Type -> Type Source # Methods from :: SignKeyDSIGN EcdsaSecp256k1DSIGN -> Rep ( SignKeyDSIGN EcdsaSecp256k1DSIGN ) x Source # to :: Rep ( SignKeyDSIGN EcdsaSecp256k1DSIGN ) x -> SignKeyDSIGN EcdsaSecp256k1DSIGN Source #
Generic ( SignKeyDSIGN MockDSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Mock Associated Types type Rep ( SignKeyDSIGN MockDSIGN ) :: Type -> Type Source # Methods from :: SignKeyDSIGN MockDSIGN -> Rep ( SignKeyDSIGN MockDSIGN ) x Source # to :: Rep ( SignKeyDSIGN MockDSIGN ) x -> SignKeyDSIGN MockDSIGN Source #
Generic ( SignKeyDSIGN SchnorrSecp256k1DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Associated Types type Rep ( SignKeyDSIGN SchnorrSecp256k1DSIGN ) :: Type -> Type Source # Methods from :: SignKeyDSIGN SchnorrSecp256k1DSIGN -> Rep ( SignKeyDSIGN SchnorrSecp256k1DSIGN ) x Source # to :: Rep ( SignKeyDSIGN SchnorrSecp256k1DSIGN ) x -> SignKeyDSIGN SchnorrSecp256k1DSIGN Source #
Generic ( SignKeyDSIGN Ed25519DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Associated Types type Rep ( SignKeyDSIGN Ed25519DSIGN ) :: Type -> Type Source # Methods from :: SignKeyDSIGN Ed25519DSIGN -> Rep ( SignKeyDSIGN Ed25519DSIGN ) x Source # to :: Rep ( SignKeyDSIGN Ed25519DSIGN ) x -> SignKeyDSIGN Ed25519DSIGN Source #
ToCBOR ( SignKeyDSIGN Ed448DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods toCBOR :: SignKeyDSIGN Ed448DSIGN -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( SignKeyDSIGN Ed448DSIGN ) -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ SignKeyDSIGN Ed448DSIGN ] -> Size Source #
ToCBOR ( SignKeyDSIGN EcdsaSecp256k1DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods toCBOR :: SignKeyDSIGN EcdsaSecp256k1DSIGN -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( SignKeyDSIGN EcdsaSecp256k1DSIGN ) -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ SignKeyDSIGN EcdsaSecp256k1DSIGN ] -> Size Source #
ToCBOR ( SignKeyDSIGN MockDSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods toCBOR :: SignKeyDSIGN MockDSIGN -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( SignKeyDSIGN MockDSIGN ) -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ SignKeyDSIGN MockDSIGN ] -> Size Source #
ToCBOR ( SignKeyDSIGN SchnorrSecp256k1DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods toCBOR :: SignKeyDSIGN SchnorrSecp256k1DSIGN -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( SignKeyDSIGN SchnorrSecp256k1DSIGN ) -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ SignKeyDSIGN SchnorrSecp256k1DSIGN ] -> Size Source #
ToCBOR ( SignKeyDSIGN Ed25519DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods toCBOR :: SignKeyDSIGN Ed25519DSIGN -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( SignKeyDSIGN Ed25519DSIGN ) -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ SignKeyDSIGN Ed25519DSIGN ] -> Size Source #
FromCBOR ( SignKeyDSIGN Ed448DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods fromCBOR :: Decoder s ( SignKeyDSIGN Ed448DSIGN ) Source # label :: Proxy ( SignKeyDSIGN Ed448DSIGN ) -> Text Source #
FromCBOR ( SignKeyDSIGN EcdsaSecp256k1DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods fromCBOR :: Decoder s ( SignKeyDSIGN EcdsaSecp256k1DSIGN ) Source # label :: Proxy ( SignKeyDSIGN EcdsaSecp256k1DSIGN ) -> Text Source #
FromCBOR ( SignKeyDSIGN MockDSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods fromCBOR :: Decoder s ( SignKeyDSIGN MockDSIGN ) Source # label :: Proxy ( SignKeyDSIGN MockDSIGN ) -> Text Source #
FromCBOR ( SignKeyDSIGN SchnorrSecp256k1DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods fromCBOR :: Decoder s ( SignKeyDSIGN SchnorrSecp256k1DSIGN ) Source # label :: Proxy ( SignKeyDSIGN SchnorrSecp256k1DSIGN ) -> Text Source #
FromCBOR ( SignKeyDSIGN Ed25519DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods fromCBOR :: Decoder s ( SignKeyDSIGN Ed25519DSIGN ) Source # label :: Proxy ( SignKeyDSIGN Ed25519DSIGN ) -> Text Source #
NFData ( SignKeyDSIGN Ed448DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods rnf :: SignKeyDSIGN Ed448DSIGN -> () Source #
NFData ( SignKeyDSIGN EcdsaSecp256k1DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods rnf :: SignKeyDSIGN EcdsaSecp256k1DSIGN -> () Source #
NFData ( SignKeyDSIGN MockDSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods rnf :: SignKeyDSIGN MockDSIGN -> () Source #
NFData ( SignKeyDSIGN SchnorrSecp256k1DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods rnf :: SignKeyDSIGN SchnorrSecp256k1DSIGN -> () Source #
NFData ( SignKeyDSIGN Ed25519DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods rnf :: SignKeyDSIGN Ed25519DSIGN -> () Source #
ByteArrayAccess ( SignKeyDSIGN Ed448DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods length :: SignKeyDSIGN Ed448DSIGN -> Int Source # withByteArray :: SignKeyDSIGN Ed448DSIGN -> ( Ptr p -> IO a) -> IO a Source # copyByteArrayToPtr :: SignKeyDSIGN Ed448DSIGN -> Ptr p -> IO () Source #
NoThunks ( SignKeyDSIGN NeverDSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed Methods noThunks :: Context -> SignKeyDSIGN NeverDSIGN -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> SignKeyDSIGN NeverDSIGN -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( SignKeyDSIGN NeverDSIGN ) -> String Source #
NoThunks ( SignKeyDSIGN Ed448DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods noThunks :: Context -> SignKeyDSIGN Ed448DSIGN -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> SignKeyDSIGN Ed448DSIGN -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( SignKeyDSIGN Ed448DSIGN ) -> String Source #
NoThunks ( SignKeyDSIGN EcdsaSecp256k1DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods noThunks :: Context -> SignKeyDSIGN EcdsaSecp256k1DSIGN -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> SignKeyDSIGN EcdsaSecp256k1DSIGN -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( SignKeyDSIGN EcdsaSecp256k1DSIGN ) -> String Source #
NoThunks ( SignKeyDSIGN MockDSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods noThunks :: Context -> SignKeyDSIGN MockDSIGN -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> SignKeyDSIGN MockDSIGN -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( SignKeyDSIGN MockDSIGN ) -> String Source #
NoThunks ( SignKeyDSIGN SchnorrSecp256k1DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods noThunks :: Context -> SignKeyDSIGN SchnorrSecp256k1DSIGN -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> SignKeyDSIGN SchnorrSecp256k1DSIGN -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( SignKeyDSIGN SchnorrSecp256k1DSIGN ) -> String Source #
NoThunks ( SignKeyDSIGN Ed25519DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods noThunks :: Context -> SignKeyDSIGN Ed25519DSIGN -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> SignKeyDSIGN Ed25519DSIGN -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( SignKeyDSIGN Ed25519DSIGN ) -> String Source #
data SignKeyDSIGN NeverDSIGN Source #
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed data SignKeyDSIGN NeverDSIGN = NeverUsedSignKeyDSIGN
newtype SignKeyDSIGN Ed448DSIGN Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 newtype SignKeyDSIGN Ed448DSIGN = SignKeyEd448DSIGN SecretKey
newtype SignKeyDSIGN EcdsaSecp256k1DSIGN Source #
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 newtype SignKeyDSIGN EcdsaSecp256k1DSIGN = SignKeyEcdsaSecp256k1 ( PinnedSizedBytes SECP256K1_ECDSA_PRIVKEY_BYTES )
newtype SignKeyDSIGN MockDSIGN Source #
Instance details Defined in Cardano.Crypto.DSIGN.Mock newtype SignKeyDSIGN MockDSIGN = SignKeyMockDSIGN Word64
newtype SignKeyDSIGN SchnorrSecp256k1DSIGN Source #
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 newtype SignKeyDSIGN SchnorrSecp256k1DSIGN = SignKeySchnorrSecp256k1 ( PinnedSizedBytes ( SizeSignKeyDSIGN SchnorrSecp256k1DSIGN ))
newtype SignKeyDSIGN Ed25519DSIGN Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 newtype SignKeyDSIGN Ed25519DSIGN = SignKeyEd25519DSIGN ( PinnedSizedBytes CRYPTO_SIGN_ED25519_SECRETKEYBYTES )
type Rep ( SignKeyDSIGN NeverDSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed type Rep ( SignKeyDSIGN NeverDSIGN ) = D1 (' MetaData "SignKeyDSIGN" "Cardano.Crypto.DSIGN.NeverUsed" "cardano-crypto-class-2.0.0.0.1-5PqST7yhL1v7PBV5z4tsb9" ' False ) ( C1 (' MetaCons "NeverUsedSignKeyDSIGN" ' PrefixI ' False ) ( U1 :: Type -> Type ))
type Rep ( SignKeyDSIGN Ed448DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 type Rep ( SignKeyDSIGN Ed448DSIGN ) = D1 (' MetaData "SignKeyDSIGN" "Cardano.Crypto.DSIGN.Ed448" "cardano-crypto-class-2.0.0.0.1-5PqST7yhL1v7PBV5z4tsb9" ' True ) ( C1 (' MetaCons "SignKeyEd448DSIGN" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 SecretKey )))
type Rep ( SignKeyDSIGN EcdsaSecp256k1DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 type Rep ( SignKeyDSIGN EcdsaSecp256k1DSIGN ) = D1 (' MetaData "SignKeyDSIGN" "Cardano.Crypto.DSIGN.EcdsaSecp256k1" "cardano-crypto-class-2.0.0.0.1-5PqST7yhL1v7PBV5z4tsb9" ' True ) ( C1 (' MetaCons "SignKeyEcdsaSecp256k1" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( PinnedSizedBytes SECP256K1_ECDSA_PRIVKEY_BYTES ))))
type Rep ( SignKeyDSIGN MockDSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Mock type Rep ( SignKeyDSIGN MockDSIGN ) = D1 (' MetaData "SignKeyDSIGN" "Cardano.Crypto.DSIGN.Mock" "cardano-crypto-class-2.0.0.0.1-5PqST7yhL1v7PBV5z4tsb9" ' True ) ( C1 (' MetaCons "SignKeyMockDSIGN" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 Word64 )))
type Rep ( SignKeyDSIGN SchnorrSecp256k1DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 type Rep ( SignKeyDSIGN SchnorrSecp256k1DSIGN ) = D1 (' MetaData "SignKeyDSIGN" "Cardano.Crypto.DSIGN.SchnorrSecp256k1" "cardano-crypto-class-2.0.0.0.1-5PqST7yhL1v7PBV5z4tsb9" ' True ) ( C1 (' MetaCons "SignKeySchnorrSecp256k1" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( PinnedSizedBytes ( SizeSignKeyDSIGN SchnorrSecp256k1DSIGN )))))
type Rep ( SignKeyDSIGN Ed25519DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 type Rep ( SignKeyDSIGN Ed25519DSIGN ) = D1 (' MetaData "SignKeyDSIGN" "Cardano.Crypto.DSIGN.Ed25519" "cardano-crypto-class-2.0.0.0.1-5PqST7yhL1v7PBV5z4tsb9" ' True ) ( C1 (' MetaCons "SignKeyEd25519DSIGN" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( PinnedSizedBytes CRYPTO_SIGN_ED25519_SECRETKEYBYTES ))))

data family SigDSIGN v :: Type Source #

Instances

Instances details

Eq ( SigDSIGN NeverDSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed Methods (==) :: SigDSIGN NeverDSIGN -> SigDSIGN NeverDSIGN -> Bool Source # (/=) :: SigDSIGN NeverDSIGN -> SigDSIGN NeverDSIGN -> Bool Source #
Eq ( SigDSIGN Ed448DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods (==) :: SigDSIGN Ed448DSIGN -> SigDSIGN Ed448DSIGN -> Bool Source # (/=) :: SigDSIGN Ed448DSIGN -> SigDSIGN Ed448DSIGN -> Bool Source #
Eq ( SigDSIGN EcdsaSecp256k1DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods (==) :: SigDSIGN EcdsaSecp256k1DSIGN -> SigDSIGN EcdsaSecp256k1DSIGN -> Bool Source # (/=) :: SigDSIGN EcdsaSecp256k1DSIGN -> SigDSIGN EcdsaSecp256k1DSIGN -> Bool Source #
Eq ( SigDSIGN MockDSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods (==) :: SigDSIGN MockDSIGN -> SigDSIGN MockDSIGN -> Bool Source # (/=) :: SigDSIGN MockDSIGN -> SigDSIGN MockDSIGN -> Bool Source #
Eq ( SigDSIGN SchnorrSecp256k1DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods (==) :: SigDSIGN SchnorrSecp256k1DSIGN -> SigDSIGN SchnorrSecp256k1DSIGN -> Bool Source # (/=) :: SigDSIGN SchnorrSecp256k1DSIGN -> SigDSIGN SchnorrSecp256k1DSIGN -> Bool Source #
Eq ( SigDSIGN Ed25519DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods (==) :: SigDSIGN Ed25519DSIGN -> SigDSIGN Ed25519DSIGN -> Bool Source # (/=) :: SigDSIGN Ed25519DSIGN -> SigDSIGN Ed25519DSIGN -> Bool Source #
Ord ( SigDSIGN MockDSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods compare :: SigDSIGN MockDSIGN -> SigDSIGN MockDSIGN -> Ordering Source # (<) :: SigDSIGN MockDSIGN -> SigDSIGN MockDSIGN -> Bool Source # (<=) :: SigDSIGN MockDSIGN -> SigDSIGN MockDSIGN -> Bool Source # (>) :: SigDSIGN MockDSIGN -> SigDSIGN MockDSIGN -> Bool Source # (>=) :: SigDSIGN MockDSIGN -> SigDSIGN MockDSIGN -> Bool Source # max :: SigDSIGN MockDSIGN -> SigDSIGN MockDSIGN -> SigDSIGN MockDSIGN Source # min :: SigDSIGN MockDSIGN -> SigDSIGN MockDSIGN -> SigDSIGN MockDSIGN Source #
Show ( SigDSIGN NeverDSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed Methods showsPrec :: Int -> SigDSIGN NeverDSIGN -> ShowS Source # show :: SigDSIGN NeverDSIGN -> String Source # showList :: [ SigDSIGN NeverDSIGN ] -> ShowS Source #
Show ( SigDSIGN Ed448DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods showsPrec :: Int -> SigDSIGN Ed448DSIGN -> ShowS Source # show :: SigDSIGN Ed448DSIGN -> String Source # showList :: [ SigDSIGN Ed448DSIGN ] -> ShowS Source #
Show ( SigDSIGN EcdsaSecp256k1DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods showsPrec :: Int -> SigDSIGN EcdsaSecp256k1DSIGN -> ShowS Source # show :: SigDSIGN EcdsaSecp256k1DSIGN -> String Source # showList :: [ SigDSIGN EcdsaSecp256k1DSIGN ] -> ShowS Source #
Show ( SigDSIGN MockDSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods showsPrec :: Int -> SigDSIGN MockDSIGN -> ShowS Source # show :: SigDSIGN MockDSIGN -> String Source # showList :: [ SigDSIGN MockDSIGN ] -> ShowS Source #
Show ( SigDSIGN SchnorrSecp256k1DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods showsPrec :: Int -> SigDSIGN SchnorrSecp256k1DSIGN -> ShowS Source # show :: SigDSIGN SchnorrSecp256k1DSIGN -> String Source # showList :: [ SigDSIGN SchnorrSecp256k1DSIGN ] -> ShowS Source #
Show ( SigDSIGN Ed25519DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods showsPrec :: Int -> SigDSIGN Ed25519DSIGN -> ShowS Source # show :: SigDSIGN Ed25519DSIGN -> String Source # showList :: [ SigDSIGN Ed25519DSIGN ] -> ShowS Source #
Generic ( SigDSIGN NeverDSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed Associated Types type Rep ( SigDSIGN NeverDSIGN ) :: Type -> Type Source # Methods from :: SigDSIGN NeverDSIGN -> Rep ( SigDSIGN NeverDSIGN ) x Source # to :: Rep ( SigDSIGN NeverDSIGN ) x -> SigDSIGN NeverDSIGN Source #
Generic ( SigDSIGN Ed448DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Associated Types type Rep ( SigDSIGN Ed448DSIGN ) :: Type -> Type Source # Methods from :: SigDSIGN Ed448DSIGN -> Rep ( SigDSIGN Ed448DSIGN ) x Source # to :: Rep ( SigDSIGN Ed448DSIGN ) x -> SigDSIGN Ed448DSIGN Source #
Generic ( SigDSIGN EcdsaSecp256k1DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Associated Types type Rep ( SigDSIGN EcdsaSecp256k1DSIGN ) :: Type -> Type Source # Methods from :: SigDSIGN EcdsaSecp256k1DSIGN -> Rep ( SigDSIGN EcdsaSecp256k1DSIGN ) x Source # to :: Rep ( SigDSIGN EcdsaSecp256k1DSIGN ) x -> SigDSIGN EcdsaSecp256k1DSIGN Source #
Generic ( SigDSIGN MockDSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Mock Associated Types type Rep ( SigDSIGN MockDSIGN ) :: Type -> Type Source # Methods from :: SigDSIGN MockDSIGN -> Rep ( SigDSIGN MockDSIGN ) x Source # to :: Rep ( SigDSIGN MockDSIGN ) x -> SigDSIGN MockDSIGN Source #
Generic ( SigDSIGN SchnorrSecp256k1DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Associated Types type Rep ( SigDSIGN SchnorrSecp256k1DSIGN ) :: Type -> Type Source # Methods from :: SigDSIGN SchnorrSecp256k1DSIGN -> Rep ( SigDSIGN SchnorrSecp256k1DSIGN ) x Source # to :: Rep ( SigDSIGN SchnorrSecp256k1DSIGN ) x -> SigDSIGN SchnorrSecp256k1DSIGN Source #
Generic ( SigDSIGN Ed25519DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Associated Types type Rep ( SigDSIGN Ed25519DSIGN ) :: Type -> Type Source # Methods from :: SigDSIGN Ed25519DSIGN -> Rep ( SigDSIGN Ed25519DSIGN ) x Source # to :: Rep ( SigDSIGN Ed25519DSIGN ) x -> SigDSIGN Ed25519DSIGN Source #
ToCBOR ( SigDSIGN Ed448DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods toCBOR :: SigDSIGN Ed448DSIGN -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( SigDSIGN Ed448DSIGN ) -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ SigDSIGN Ed448DSIGN ] -> Size Source #
ToCBOR ( SigDSIGN EcdsaSecp256k1DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods toCBOR :: SigDSIGN EcdsaSecp256k1DSIGN -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( SigDSIGN EcdsaSecp256k1DSIGN ) -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ SigDSIGN EcdsaSecp256k1DSIGN ] -> Size Source #
ToCBOR ( SigDSIGN MockDSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods toCBOR :: SigDSIGN MockDSIGN -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( SigDSIGN MockDSIGN ) -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ SigDSIGN MockDSIGN ] -> Size Source #
ToCBOR ( SigDSIGN SchnorrSecp256k1DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods toCBOR :: SigDSIGN SchnorrSecp256k1DSIGN -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( SigDSIGN SchnorrSecp256k1DSIGN ) -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ SigDSIGN SchnorrSecp256k1DSIGN ] -> Size Source #
ToCBOR ( SigDSIGN Ed25519DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods toCBOR :: SigDSIGN Ed25519DSIGN -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( SigDSIGN Ed25519DSIGN ) -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ SigDSIGN Ed25519DSIGN ] -> Size Source #
FromCBOR ( SigDSIGN Ed448DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods fromCBOR :: Decoder s ( SigDSIGN Ed448DSIGN ) Source # label :: Proxy ( SigDSIGN Ed448DSIGN ) -> Text Source #
FromCBOR ( SigDSIGN EcdsaSecp256k1DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods fromCBOR :: Decoder s ( SigDSIGN EcdsaSecp256k1DSIGN ) Source # label :: Proxy ( SigDSIGN EcdsaSecp256k1DSIGN ) -> Text Source #
FromCBOR ( SigDSIGN MockDSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods fromCBOR :: Decoder s ( SigDSIGN MockDSIGN ) Source # label :: Proxy ( SigDSIGN MockDSIGN ) -> Text Source #
FromCBOR ( SigDSIGN SchnorrSecp256k1DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods fromCBOR :: Decoder s ( SigDSIGN SchnorrSecp256k1DSIGN ) Source # label :: Proxy ( SigDSIGN SchnorrSecp256k1DSIGN ) -> Text Source #
FromCBOR ( SigDSIGN Ed25519DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods fromCBOR :: Decoder s ( SigDSIGN Ed25519DSIGN ) Source # label :: Proxy ( SigDSIGN Ed25519DSIGN ) -> Text Source #
NFData ( SigDSIGN EcdsaSecp256k1DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods rnf :: SigDSIGN EcdsaSecp256k1DSIGN -> () Source #
NFData ( SigDSIGN MockDSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods rnf :: SigDSIGN MockDSIGN -> () Source #
NFData ( SigDSIGN SchnorrSecp256k1DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods rnf :: SigDSIGN SchnorrSecp256k1DSIGN -> () Source #
NFData ( SigDSIGN Ed25519DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods rnf :: SigDSIGN Ed25519DSIGN -> () Source #
ByteArrayAccess ( SigDSIGN Ed448DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods length :: SigDSIGN Ed448DSIGN -> Int Source # withByteArray :: SigDSIGN Ed448DSIGN -> ( Ptr p -> IO a) -> IO a Source # copyByteArrayToPtr :: SigDSIGN Ed448DSIGN -> Ptr p -> IO () Source #
NoThunks ( SigDSIGN NeverDSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed Methods noThunks :: Context -> SigDSIGN NeverDSIGN -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> SigDSIGN NeverDSIGN -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( SigDSIGN NeverDSIGN ) -> String Source #
NoThunks ( SigDSIGN Ed448DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods noThunks :: Context -> SigDSIGN Ed448DSIGN -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> SigDSIGN Ed448DSIGN -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( SigDSIGN Ed448DSIGN ) -> String Source #
NoThunks ( SigDSIGN EcdsaSecp256k1DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods noThunks :: Context -> SigDSIGN EcdsaSecp256k1DSIGN -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> SigDSIGN EcdsaSecp256k1DSIGN -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( SigDSIGN EcdsaSecp256k1DSIGN ) -> String Source #
NoThunks ( SigDSIGN MockDSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods noThunks :: Context -> SigDSIGN MockDSIGN -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> SigDSIGN MockDSIGN -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( SigDSIGN MockDSIGN ) -> String Source #
NoThunks ( SigDSIGN SchnorrSecp256k1DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods noThunks :: Context -> SigDSIGN SchnorrSecp256k1DSIGN -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> SigDSIGN SchnorrSecp256k1DSIGN -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( SigDSIGN SchnorrSecp256k1DSIGN ) -> String Source #
NoThunks ( SigDSIGN Ed25519DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods noThunks :: Context -> SigDSIGN Ed25519DSIGN -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> SigDSIGN Ed25519DSIGN -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( SigDSIGN Ed25519DSIGN ) -> String Source #
data SigDSIGN NeverDSIGN Source #
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed data SigDSIGN NeverDSIGN = NeverUsedSigDSIGN
newtype SigDSIGN Ed448DSIGN Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 newtype SigDSIGN Ed448DSIGN = SigEd448DSIGN Signature
newtype SigDSIGN EcdsaSecp256k1DSIGN Source #
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 newtype SigDSIGN EcdsaSecp256k1DSIGN = SigEcdsaSecp256k1 ( PinnedSizedBytes SECP256K1_ECDSA_SIGNATURE_BYTES_INTERNAL )
data SigDSIGN MockDSIGN Source #
Instance details Defined in Cardano.Crypto.DSIGN.Mock data SigDSIGN MockDSIGN = SigMockDSIGN !( Hash ShortHash ()) ! Word64
newtype SigDSIGN SchnorrSecp256k1DSIGN Source #
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 newtype SigDSIGN SchnorrSecp256k1DSIGN = SigSchnorrSecp256k1 ( PinnedSizedBytes ( SizeSigDSIGN SchnorrSecp256k1DSIGN ))
newtype SigDSIGN Ed25519DSIGN Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 newtype SigDSIGN Ed25519DSIGN = SigEd25519DSIGN ( PinnedSizedBytes ( SizeSigDSIGN Ed25519DSIGN ))
type Rep ( SigDSIGN NeverDSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed type Rep ( SigDSIGN NeverDSIGN ) = D1 (' MetaData "SigDSIGN" "Cardano.Crypto.DSIGN.NeverUsed" "cardano-crypto-class-2.0.0.0.1-5PqST7yhL1v7PBV5z4tsb9" ' False ) ( C1 (' MetaCons "NeverUsedSigDSIGN" ' PrefixI ' False ) ( U1 :: Type -> Type ))
type Rep ( SigDSIGN Ed448DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 type Rep ( SigDSIGN Ed448DSIGN ) = D1 (' MetaData "SigDSIGN" "Cardano.Crypto.DSIGN.Ed448" "cardano-crypto-class-2.0.0.0.1-5PqST7yhL1v7PBV5z4tsb9" ' True ) ( C1 (' MetaCons "SigEd448DSIGN" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 Signature )))
type Rep ( SigDSIGN EcdsaSecp256k1DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 type Rep ( SigDSIGN EcdsaSecp256k1DSIGN ) = D1 (' MetaData "SigDSIGN" "Cardano.Crypto.DSIGN.EcdsaSecp256k1" "cardano-crypto-class-2.0.0.0.1-5PqST7yhL1v7PBV5z4tsb9" ' True ) ( C1 (' MetaCons "SigEcdsaSecp256k1" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( PinnedSizedBytes SECP256K1_ECDSA_SIGNATURE_BYTES_INTERNAL ))))
type Rep ( SigDSIGN MockDSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Mock type Rep ( SigDSIGN MockDSIGN ) = D1 (' MetaData "SigDSIGN" "Cardano.Crypto.DSIGN.Mock" "cardano-crypto-class-2.0.0.0.1-5PqST7yhL1v7PBV5z4tsb9" ' False ) ( C1 (' MetaCons "SigMockDSIGN" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( Hash ShortHash ())) :*: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 Word64 )))
type Rep ( SigDSIGN SchnorrSecp256k1DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 type Rep ( SigDSIGN SchnorrSecp256k1DSIGN ) = D1 (' MetaData "SigDSIGN" "Cardano.Crypto.DSIGN.SchnorrSecp256k1" "cardano-crypto-class-2.0.0.0.1-5PqST7yhL1v7PBV5z4tsb9" ' True ) ( C1 (' MetaCons "SigSchnorrSecp256k1" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( PinnedSizedBytes ( SizeSigDSIGN SchnorrSecp256k1DSIGN )))))
type Rep ( SigDSIGN Ed25519DSIGN ) Source #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 type Rep ( SigDSIGN Ed25519DSIGN ) = D1 (' MetaData "SigDSIGN" "Cardano.Crypto.DSIGN.Ed25519" "cardano-crypto-class-2.0.0.0.1-5PqST7yhL1v7PBV5z4tsb9" ' True ) ( C1 (' MetaCons "SigEd25519DSIGN" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( PinnedSizedBytes ( SizeSigDSIGN Ed25519DSIGN )))))