Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Crypto.DSIGN.Ed25519

Description

Ed25519 digital signatures.

Documentation

data Ed25519DSIGN #

Instances

Instances details

DSIGNAlgorithm Ed25519DSIGN #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Associated Types type SeedSizeDSIGN Ed25519DSIGN :: Nat # type SizeVerKeyDSIGN Ed25519DSIGN :: Nat # type SizeSignKeyDSIGN Ed25519DSIGN :: Nat # type SizeSigDSIGN Ed25519DSIGN :: Nat # data VerKeyDSIGN Ed25519DSIGN # data SignKeyDSIGN Ed25519DSIGN # data SigDSIGN Ed25519DSIGN # type ContextDSIGN Ed25519DSIGN # type Signable Ed25519DSIGN :: Type -> Constraint # Methods algorithmNameDSIGN :: proxy Ed25519DSIGN -> String # deriveVerKeyDSIGN :: SignKeyDSIGN Ed25519DSIGN -> VerKeyDSIGN Ed25519DSIGN # hashVerKeyDSIGN :: HashAlgorithm h => VerKeyDSIGN Ed25519DSIGN -> Hash h (VerKeyDSIGN Ed25519DSIGN) # signDSIGN :: (Signable Ed25519DSIGN a, HasCallStack) => ContextDSIGN Ed25519DSIGN -> a -> SignKeyDSIGN Ed25519DSIGN -> SigDSIGN Ed25519DSIGN # verifyDSIGN :: (Signable Ed25519DSIGN a, HasCallStack) => ContextDSIGN Ed25519DSIGN -> VerKeyDSIGN Ed25519DSIGN -> a -> SigDSIGN Ed25519DSIGN -> Either String () # genKeyDSIGN :: Seed -> SignKeyDSIGN Ed25519DSIGN # rawSerialiseVerKeyDSIGN :: VerKeyDSIGN Ed25519DSIGN -> ByteString # rawSerialiseSignKeyDSIGN :: SignKeyDSIGN Ed25519DSIGN -> ByteString # rawSerialiseSigDSIGN :: SigDSIGN Ed25519DSIGN -> ByteString # rawDeserialiseVerKeyDSIGN :: ByteString -> Maybe (VerKeyDSIGN Ed25519DSIGN) # rawDeserialiseSignKeyDSIGN :: ByteString -> Maybe (SignKeyDSIGN Ed25519DSIGN) # rawDeserialiseSigDSIGN :: ByteString -> Maybe (SigDSIGN Ed25519DSIGN) #
Generic (SigDSIGN Ed25519DSIGN) #
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 #
Generic (SignKeyDSIGN Ed25519DSIGN) #
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 #
Generic (VerKeyDSIGN Ed25519DSIGN) #
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 #
Show (SigDSIGN Ed25519DSIGN) #
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 #
Show (SignKeyDSIGN Ed25519DSIGN) #
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 #
Show (VerKeyDSIGN Ed25519DSIGN) #
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 #
FromCBOR (SigDSIGN Ed25519DSIGN) #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods fromCBOR :: Decoder s (SigDSIGN Ed25519DSIGN) Source # label :: Proxy (SigDSIGN Ed25519DSIGN) -> Text Source #
FromCBOR (SignKeyDSIGN Ed25519DSIGN) #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods fromCBOR :: Decoder s (SignKeyDSIGN Ed25519DSIGN) Source # label :: Proxy (SignKeyDSIGN Ed25519DSIGN) -> Text Source #
FromCBOR (VerKeyDSIGN Ed25519DSIGN) #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods fromCBOR :: Decoder s (VerKeyDSIGN Ed25519DSIGN) Source # label :: Proxy (VerKeyDSIGN Ed25519DSIGN) -> Text Source #
ToCBOR (SigDSIGN Ed25519DSIGN) #
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 #
ToCBOR (SignKeyDSIGN Ed25519DSIGN) #
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 #
ToCBOR (VerKeyDSIGN Ed25519DSIGN) #
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 #
NFData (SigDSIGN Ed25519DSIGN) #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods rnf :: SigDSIGN Ed25519DSIGN -> () Source #
NFData (SignKeyDSIGN Ed25519DSIGN) #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods rnf :: SignKeyDSIGN Ed25519DSIGN -> () Source #
NFData (VerKeyDSIGN Ed25519DSIGN) #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods rnf :: VerKeyDSIGN Ed25519DSIGN -> () Source #
Eq (SigDSIGN Ed25519DSIGN) #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods (==) :: SigDSIGN Ed25519DSIGN -> SigDSIGN Ed25519DSIGN -> Bool Source # (/=) :: SigDSIGN Ed25519DSIGN -> SigDSIGN Ed25519DSIGN -> Bool Source #
Eq (SignKeyDSIGN Ed25519DSIGN) #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods (==) :: SignKeyDSIGN Ed25519DSIGN -> SignKeyDSIGN Ed25519DSIGN -> Bool Source # (/=) :: SignKeyDSIGN Ed25519DSIGN -> SignKeyDSIGN Ed25519DSIGN -> Bool Source #
Eq (VerKeyDSIGN Ed25519DSIGN) #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods (==) :: VerKeyDSIGN Ed25519DSIGN -> VerKeyDSIGN Ed25519DSIGN -> Bool Source # (/=) :: VerKeyDSIGN Ed25519DSIGN -> VerKeyDSIGN Ed25519DSIGN -> Bool Source #
NoThunks (SigDSIGN Ed25519DSIGN) #
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 #
NoThunks (SignKeyDSIGN Ed25519DSIGN) #
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 #
NoThunks (VerKeyDSIGN Ed25519DSIGN) #
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 #
type ContextDSIGN Ed25519DSIGN #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 type ContextDSIGN Ed25519DSIGN = ()
type SeedSizeDSIGN Ed25519DSIGN #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 type SeedSizeDSIGN Ed25519DSIGN = CRYPTO_SIGN_ED25519_SEEDBYTES
newtype SigDSIGN Ed25519DSIGN #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 newtype SigDSIGN Ed25519DSIGN = SigEd25519DSIGN (PinnedSizedBytes (SizeSigDSIGN Ed25519DSIGN))
newtype SignKeyDSIGN Ed25519DSIGN #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 newtype SignKeyDSIGN Ed25519DSIGN = SignKeyEd25519DSIGN (PinnedSizedBytes CRYPTO_SIGN_ED25519_SECRETKEYBYTES)
type Signable Ed25519DSIGN #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 type Signable Ed25519DSIGN = SignableRepresentation
type SizeSigDSIGN Ed25519DSIGN #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 type SizeSigDSIGN Ed25519DSIGN = CRYPTO_SIGN_ED25519_BYTES
type SizeSignKeyDSIGN Ed25519DSIGN #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 type SizeSignKeyDSIGN Ed25519DSIGN = CRYPTO_SIGN_ED25519_SEEDBYTES
type SizeVerKeyDSIGN Ed25519DSIGN #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 type SizeVerKeyDSIGN Ed25519DSIGN = CRYPTO_SIGN_ED25519_PUBLICKEYBYTES
newtype VerKeyDSIGN Ed25519DSIGN #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 newtype VerKeyDSIGN Ed25519DSIGN = VerKeyEd25519DSIGN (PinnedSizedBytes (SizeVerKeyDSIGN Ed25519DSIGN))
type Rep (SigDSIGN Ed25519DSIGN) #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 type Rep (SigDSIGN Ed25519DSIGN) = D1 ('MetaData "SigDSIGN" "Cardano.Crypto.DSIGN.Ed25519" "cardano-crypto-class-2.1.1.0-inplace" 'True) (C1 ('MetaCons "SigEd25519DSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PinnedSizedBytes (SizeSigDSIGN Ed25519DSIGN)))))
type Rep (SignKeyDSIGN Ed25519DSIGN) #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 type Rep (SignKeyDSIGN Ed25519DSIGN) = D1 ('MetaData "SignKeyDSIGN" "Cardano.Crypto.DSIGN.Ed25519" "cardano-crypto-class-2.1.1.0-inplace" 'True) (C1 ('MetaCons "SignKeyEd25519DSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PinnedSizedBytes CRYPTO_SIGN_ED25519_SECRETKEYBYTES))))
type Rep (VerKeyDSIGN Ed25519DSIGN) #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 type Rep (VerKeyDSIGN Ed25519DSIGN) = D1 ('MetaData "VerKeyDSIGN" "Cardano.Crypto.DSIGN.Ed25519" "cardano-crypto-class-2.1.1.0-inplace" 'True) (C1 ('MetaCons "VerKeyEd25519DSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PinnedSizedBytes (SizeVerKeyDSIGN Ed25519DSIGN)))))

data family SigDSIGN v :: Type #

Instances

Instances details

Generic (SigDSIGN EcdsaSecp256k1DSIGN) #
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 Ed25519DSIGN) #
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 #
Generic (SigDSIGN Ed448DSIGN) #
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 MockDSIGN) #
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 NeverDSIGN) #
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 SchnorrSecp256k1DSIGN) #
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 #
Show (SigDSIGN EcdsaSecp256k1DSIGN) #
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 Ed25519DSIGN) #
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 #
Show (SigDSIGN Ed448DSIGN) #
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 MockDSIGN) #
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 NeverDSIGN) #
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 SchnorrSecp256k1DSIGN) #
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 #
FromCBOR (SigDSIGN EcdsaSecp256k1DSIGN) #
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods fromCBOR :: Decoder s (SigDSIGN EcdsaSecp256k1DSIGN) Source # label :: Proxy (SigDSIGN EcdsaSecp256k1DSIGN) -> Text Source #
FromCBOR (SigDSIGN Ed25519DSIGN) #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods fromCBOR :: Decoder s (SigDSIGN Ed25519DSIGN) Source # label :: Proxy (SigDSIGN Ed25519DSIGN) -> Text Source #
FromCBOR (SigDSIGN Ed448DSIGN) #
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods fromCBOR :: Decoder s (SigDSIGN Ed448DSIGN) Source # label :: Proxy (SigDSIGN Ed448DSIGN) -> Text Source #
FromCBOR (SigDSIGN MockDSIGN) #
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods fromCBOR :: Decoder s (SigDSIGN MockDSIGN) Source # label :: Proxy (SigDSIGN MockDSIGN) -> Text Source #
FromCBOR (SigDSIGN SchnorrSecp256k1DSIGN) #
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods fromCBOR :: Decoder s (SigDSIGN SchnorrSecp256k1DSIGN) Source # label :: Proxy (SigDSIGN SchnorrSecp256k1DSIGN) -> Text Source #
ToCBOR (SigDSIGN EcdsaSecp256k1DSIGN) #
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 Ed25519DSIGN) #
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 #
ToCBOR (SigDSIGN Ed448DSIGN) #
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 MockDSIGN) #
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) #
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 #
NFData (SigDSIGN EcdsaSecp256k1DSIGN) #
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods rnf :: SigDSIGN EcdsaSecp256k1DSIGN -> () Source #
NFData (SigDSIGN Ed25519DSIGN) #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods rnf :: SigDSIGN Ed25519DSIGN -> () Source #
NFData (SigDSIGN MockDSIGN) #
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods rnf :: SigDSIGN MockDSIGN -> () Source #
NFData (SigDSIGN SchnorrSecp256k1DSIGN) #
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods rnf :: SigDSIGN SchnorrSecp256k1DSIGN -> () Source #
Eq (SigDSIGN EcdsaSecp256k1DSIGN) #
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods (==) :: SigDSIGN EcdsaSecp256k1DSIGN -> SigDSIGN EcdsaSecp256k1DSIGN -> Bool Source # (/=) :: SigDSIGN EcdsaSecp256k1DSIGN -> SigDSIGN EcdsaSecp256k1DSIGN -> Bool Source #
Eq (SigDSIGN Ed25519DSIGN) #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods (==) :: SigDSIGN Ed25519DSIGN -> SigDSIGN Ed25519DSIGN -> Bool Source # (/=) :: SigDSIGN Ed25519DSIGN -> SigDSIGN Ed25519DSIGN -> Bool Source #
Eq (SigDSIGN Ed448DSIGN) #
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods (==) :: SigDSIGN Ed448DSIGN -> SigDSIGN Ed448DSIGN -> Bool Source # (/=) :: SigDSIGN Ed448DSIGN -> SigDSIGN Ed448DSIGN -> Bool Source #
Eq (SigDSIGN MockDSIGN) #
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods (==) :: SigDSIGN MockDSIGN -> SigDSIGN MockDSIGN -> Bool Source # (/=) :: SigDSIGN MockDSIGN -> SigDSIGN MockDSIGN -> Bool Source #
Eq (SigDSIGN NeverDSIGN) #
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed Methods (==) :: SigDSIGN NeverDSIGN -> SigDSIGN NeverDSIGN -> Bool Source # (/=) :: SigDSIGN NeverDSIGN -> SigDSIGN NeverDSIGN -> Bool Source #
Eq (SigDSIGN SchnorrSecp256k1DSIGN) #
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods (==) :: SigDSIGN SchnorrSecp256k1DSIGN -> SigDSIGN SchnorrSecp256k1DSIGN -> Bool Source # (/=) :: SigDSIGN SchnorrSecp256k1DSIGN -> SigDSIGN SchnorrSecp256k1DSIGN -> Bool Source #
Ord (SigDSIGN MockDSIGN) #
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 #
ByteArrayAccess (SigDSIGN Ed448DSIGN) #
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 EcdsaSecp256k1DSIGN) #
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 Ed25519DSIGN) #
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 #
NoThunks (SigDSIGN Ed448DSIGN) #
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 MockDSIGN) #
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 NeverDSIGN) #
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 SchnorrSecp256k1DSIGN) #
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 #
newtype SigDSIGN EcdsaSecp256k1DSIGN #
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 newtype SigDSIGN EcdsaSecp256k1DSIGN = SigEcdsaSecp256k1 (PinnedSizedBytes SECP256K1_ECDSA_SIGNATURE_BYTES_INTERNAL)
newtype SigDSIGN Ed25519DSIGN #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 newtype SigDSIGN Ed25519DSIGN = SigEd25519DSIGN (PinnedSizedBytes (SizeSigDSIGN Ed25519DSIGN))
newtype SigDSIGN Ed448DSIGN #
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 newtype SigDSIGN Ed448DSIGN = SigEd448DSIGN Signature
data SigDSIGN MockDSIGN #
Instance details Defined in Cardano.Crypto.DSIGN.Mock data SigDSIGN MockDSIGN = SigMockDSIGN !(Hash ShortHash ()) !Word64
data SigDSIGN NeverDSIGN #
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed data SigDSIGN NeverDSIGN = NeverUsedSigDSIGN
newtype SigDSIGN SchnorrSecp256k1DSIGN #
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 newtype SigDSIGN SchnorrSecp256k1DSIGN = SigSchnorrSecp256k1 (PinnedSizedBytes (SizeSigDSIGN SchnorrSecp256k1DSIGN))
type Rep (SigDSIGN EcdsaSecp256k1DSIGN) #
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 type Rep (SigDSIGN EcdsaSecp256k1DSIGN) = D1 ('MetaData "SigDSIGN" "Cardano.Crypto.DSIGN.EcdsaSecp256k1" "cardano-crypto-class-2.1.1.0-inplace" 'True) (C1 ('MetaCons "SigEcdsaSecp256k1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PinnedSizedBytes SECP256K1_ECDSA_SIGNATURE_BYTES_INTERNAL))))
type Rep (SigDSIGN Ed25519DSIGN) #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 type Rep (SigDSIGN Ed25519DSIGN) = D1 ('MetaData "SigDSIGN" "Cardano.Crypto.DSIGN.Ed25519" "cardano-crypto-class-2.1.1.0-inplace" 'True) (C1 ('MetaCons "SigEd25519DSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PinnedSizedBytes (SizeSigDSIGN Ed25519DSIGN)))))
type Rep (SigDSIGN Ed448DSIGN) #
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 type Rep (SigDSIGN Ed448DSIGN) = D1 ('MetaData "SigDSIGN" "Cardano.Crypto.DSIGN.Ed448" "cardano-crypto-class-2.1.1.0-inplace" 'True) (C1 ('MetaCons "SigEd448DSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Signature)))
type Rep (SigDSIGN MockDSIGN) #
Instance details Defined in Cardano.Crypto.DSIGN.Mock type Rep (SigDSIGN MockDSIGN) = D1 ('MetaData "SigDSIGN" "Cardano.Crypto.DSIGN.Mock" "cardano-crypto-class-2.1.1.0-inplace" '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 NeverDSIGN) #
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed type Rep (SigDSIGN NeverDSIGN) = D1 ('MetaData "SigDSIGN" "Cardano.Crypto.DSIGN.NeverUsed" "cardano-crypto-class-2.1.1.0-inplace" 'False) (C1 ('MetaCons "NeverUsedSigDSIGN" 'PrefixI 'False) (U1 :: Type -> Type))
type Rep (SigDSIGN SchnorrSecp256k1DSIGN) #
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 type Rep (SigDSIGN SchnorrSecp256k1DSIGN) = D1 ('MetaData "SigDSIGN" "Cardano.Crypto.DSIGN.SchnorrSecp256k1" "cardano-crypto-class-2.1.1.0-inplace" 'True) (C1 ('MetaCons "SigSchnorrSecp256k1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PinnedSizedBytes (SizeSigDSIGN SchnorrSecp256k1DSIGN)))))

data family SignKeyDSIGN v :: Type #

Instances

Instances details

Generic (SignKeyDSIGN EcdsaSecp256k1DSIGN) #
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 Ed25519DSIGN) #
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 #
Generic (SignKeyDSIGN Ed448DSIGN) #
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 MockDSIGN) #
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 NeverDSIGN) #
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 SchnorrSecp256k1DSIGN) #
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 #
Num (SignKeyDSIGN MockDSIGN) #
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 #
Show (SignKeyDSIGN EcdsaSecp256k1DSIGN) #
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 Ed25519DSIGN) #
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 #
Show (SignKeyDSIGN Ed448DSIGN) #
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 MockDSIGN) #
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 NeverDSIGN) #
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 SchnorrSecp256k1DSIGN) #
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 #
FromCBOR (SignKeyDSIGN EcdsaSecp256k1DSIGN) #
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods fromCBOR :: Decoder s (SignKeyDSIGN EcdsaSecp256k1DSIGN) Source # label :: Proxy (SignKeyDSIGN EcdsaSecp256k1DSIGN) -> Text Source #
FromCBOR (SignKeyDSIGN Ed25519DSIGN) #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods fromCBOR :: Decoder s (SignKeyDSIGN Ed25519DSIGN) Source # label :: Proxy (SignKeyDSIGN Ed25519DSIGN) -> Text Source #
FromCBOR (SignKeyDSIGN Ed448DSIGN) #
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods fromCBOR :: Decoder s (SignKeyDSIGN Ed448DSIGN) Source # label :: Proxy (SignKeyDSIGN Ed448DSIGN) -> Text Source #
FromCBOR (SignKeyDSIGN MockDSIGN) #
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods fromCBOR :: Decoder s (SignKeyDSIGN MockDSIGN) Source # label :: Proxy (SignKeyDSIGN MockDSIGN) -> Text Source #
FromCBOR (SignKeyDSIGN SchnorrSecp256k1DSIGN) #
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods fromCBOR :: Decoder s (SignKeyDSIGN SchnorrSecp256k1DSIGN) Source # label :: Proxy (SignKeyDSIGN SchnorrSecp256k1DSIGN) -> Text Source #
ToCBOR (SignKeyDSIGN EcdsaSecp256k1DSIGN) #
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 Ed25519DSIGN) #
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 #
ToCBOR (SignKeyDSIGN Ed448DSIGN) #
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 MockDSIGN) #
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) #
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 #
NFData (SignKeyDSIGN EcdsaSecp256k1DSIGN) #
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods rnf :: SignKeyDSIGN EcdsaSecp256k1DSIGN -> () Source #
NFData (SignKeyDSIGN Ed25519DSIGN) #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods rnf :: SignKeyDSIGN Ed25519DSIGN -> () Source #
NFData (SignKeyDSIGN Ed448DSIGN) #
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods rnf :: SignKeyDSIGN Ed448DSIGN -> () Source #
NFData (SignKeyDSIGN MockDSIGN) #
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods rnf :: SignKeyDSIGN MockDSIGN -> () Source #
NFData (SignKeyDSIGN SchnorrSecp256k1DSIGN) #
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods rnf :: SignKeyDSIGN SchnorrSecp256k1DSIGN -> () Source #
Eq (SignKeyDSIGN EcdsaSecp256k1DSIGN) #
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods (==) :: SignKeyDSIGN EcdsaSecp256k1DSIGN -> SignKeyDSIGN EcdsaSecp256k1DSIGN -> Bool Source # (/=) :: SignKeyDSIGN EcdsaSecp256k1DSIGN -> SignKeyDSIGN EcdsaSecp256k1DSIGN -> Bool Source #
Eq (SignKeyDSIGN Ed25519DSIGN) #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods (==) :: SignKeyDSIGN Ed25519DSIGN -> SignKeyDSIGN Ed25519DSIGN -> Bool Source # (/=) :: SignKeyDSIGN Ed25519DSIGN -> SignKeyDSIGN Ed25519DSIGN -> Bool Source #
Eq (SignKeyDSIGN Ed448DSIGN) #
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods (==) :: SignKeyDSIGN Ed448DSIGN -> SignKeyDSIGN Ed448DSIGN -> Bool Source # (/=) :: SignKeyDSIGN Ed448DSIGN -> SignKeyDSIGN Ed448DSIGN -> Bool Source #
Eq (SignKeyDSIGN MockDSIGN) #
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods (==) :: SignKeyDSIGN MockDSIGN -> SignKeyDSIGN MockDSIGN -> Bool Source # (/=) :: SignKeyDSIGN MockDSIGN -> SignKeyDSIGN MockDSIGN -> Bool Source #
Eq (SignKeyDSIGN NeverDSIGN) #
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed Methods (==) :: SignKeyDSIGN NeverDSIGN -> SignKeyDSIGN NeverDSIGN -> Bool Source # (/=) :: SignKeyDSIGN NeverDSIGN -> SignKeyDSIGN NeverDSIGN -> Bool Source #
Eq (SignKeyDSIGN SchnorrSecp256k1DSIGN) #
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods (==) :: SignKeyDSIGN SchnorrSecp256k1DSIGN -> SignKeyDSIGN SchnorrSecp256k1DSIGN -> Bool Source # (/=) :: SignKeyDSIGN SchnorrSecp256k1DSIGN -> SignKeyDSIGN SchnorrSecp256k1DSIGN -> Bool Source #
(TypeError ('Text "Ord not supported for signing keys, use the hash instead") :: Constraint, Eq (SignKeyDSIGN v)) => Ord (SignKeyDSIGN v) #
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 #
ByteArrayAccess (SignKeyDSIGN Ed448DSIGN) #
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 EcdsaSecp256k1DSIGN) #
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 Ed25519DSIGN) #
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 #
NoThunks (SignKeyDSIGN Ed448DSIGN) #
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 MockDSIGN) #
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 NeverDSIGN) #
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 SchnorrSecp256k1DSIGN) #
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 #
newtype SignKeyDSIGN EcdsaSecp256k1DSIGN #
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 newtype SignKeyDSIGN EcdsaSecp256k1DSIGN = SignKeyEcdsaSecp256k1 (PinnedSizedBytes SECP256K1_ECDSA_PRIVKEY_BYTES)
newtype SignKeyDSIGN Ed25519DSIGN #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 newtype SignKeyDSIGN Ed25519DSIGN = SignKeyEd25519DSIGN (PinnedSizedBytes CRYPTO_SIGN_ED25519_SECRETKEYBYTES)
newtype SignKeyDSIGN Ed448DSIGN #
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 newtype SignKeyDSIGN Ed448DSIGN = SignKeyEd448DSIGN SecretKey
newtype SignKeyDSIGN MockDSIGN #
Instance details Defined in Cardano.Crypto.DSIGN.Mock newtype SignKeyDSIGN MockDSIGN = SignKeyMockDSIGN Word64
data SignKeyDSIGN NeverDSIGN #
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed data SignKeyDSIGN NeverDSIGN = NeverUsedSignKeyDSIGN
newtype SignKeyDSIGN SchnorrSecp256k1DSIGN #
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 newtype SignKeyDSIGN SchnorrSecp256k1DSIGN = SignKeySchnorrSecp256k1 (PinnedSizedBytes (SizeSignKeyDSIGN SchnorrSecp256k1DSIGN))
type Rep (SignKeyDSIGN EcdsaSecp256k1DSIGN) #
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 type Rep (SignKeyDSIGN EcdsaSecp256k1DSIGN) = D1 ('MetaData "SignKeyDSIGN" "Cardano.Crypto.DSIGN.EcdsaSecp256k1" "cardano-crypto-class-2.1.1.0-inplace" 'True) (C1 ('MetaCons "SignKeyEcdsaSecp256k1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PinnedSizedBytes SECP256K1_ECDSA_PRIVKEY_BYTES))))
type Rep (SignKeyDSIGN Ed25519DSIGN) #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 type Rep (SignKeyDSIGN Ed25519DSIGN) = D1 ('MetaData "SignKeyDSIGN" "Cardano.Crypto.DSIGN.Ed25519" "cardano-crypto-class-2.1.1.0-inplace" 'True) (C1 ('MetaCons "SignKeyEd25519DSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PinnedSizedBytes CRYPTO_SIGN_ED25519_SECRETKEYBYTES))))
type Rep (SignKeyDSIGN Ed448DSIGN) #
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 type Rep (SignKeyDSIGN Ed448DSIGN) = D1 ('MetaData "SignKeyDSIGN" "Cardano.Crypto.DSIGN.Ed448" "cardano-crypto-class-2.1.1.0-inplace" 'True) (C1 ('MetaCons "SignKeyEd448DSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SecretKey)))
type Rep (SignKeyDSIGN MockDSIGN) #
Instance details Defined in Cardano.Crypto.DSIGN.Mock type Rep (SignKeyDSIGN MockDSIGN) = D1 ('MetaData "SignKeyDSIGN" "Cardano.Crypto.DSIGN.Mock" "cardano-crypto-class-2.1.1.0-inplace" 'True) (C1 ('MetaCons "SignKeyMockDSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))
type Rep (SignKeyDSIGN NeverDSIGN) #
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed type Rep (SignKeyDSIGN NeverDSIGN) = D1 ('MetaData "SignKeyDSIGN" "Cardano.Crypto.DSIGN.NeverUsed" "cardano-crypto-class-2.1.1.0-inplace" 'False) (C1 ('MetaCons "NeverUsedSignKeyDSIGN" 'PrefixI 'False) (U1 :: Type -> Type))
type Rep (SignKeyDSIGN SchnorrSecp256k1DSIGN) #
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 type Rep (SignKeyDSIGN SchnorrSecp256k1DSIGN) = D1 ('MetaData "SignKeyDSIGN" "Cardano.Crypto.DSIGN.SchnorrSecp256k1" "cardano-crypto-class-2.1.1.0-inplace" 'True) (C1 ('MetaCons "SignKeySchnorrSecp256k1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PinnedSizedBytes (SizeSignKeyDSIGN SchnorrSecp256k1DSIGN)))))

data family VerKeyDSIGN v :: Type #

Instances

Instances details

Generic (VerKeyDSIGN EcdsaSecp256k1DSIGN) #
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 Ed25519DSIGN) #
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 #
Generic (VerKeyDSIGN Ed448DSIGN) #
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 MockDSIGN) #
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 NeverDSIGN) #
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 SchnorrSecp256k1DSIGN) #
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 #
Num (VerKeyDSIGN MockDSIGN) #
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 #
Show (VerKeyDSIGN EcdsaSecp256k1DSIGN) #
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 Ed25519DSIGN) #
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 #
Show (VerKeyDSIGN Ed448DSIGN) #
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 MockDSIGN) #
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 NeverDSIGN) #
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 SchnorrSecp256k1DSIGN) #
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 #
FromCBOR (VerKeyDSIGN EcdsaSecp256k1DSIGN) #
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods fromCBOR :: Decoder s (VerKeyDSIGN EcdsaSecp256k1DSIGN) Source # label :: Proxy (VerKeyDSIGN EcdsaSecp256k1DSIGN) -> Text Source #
FromCBOR (VerKeyDSIGN Ed25519DSIGN) #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods fromCBOR :: Decoder s (VerKeyDSIGN Ed25519DSIGN) Source # label :: Proxy (VerKeyDSIGN Ed25519DSIGN) -> Text Source #
FromCBOR (VerKeyDSIGN Ed448DSIGN) #
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods fromCBOR :: Decoder s (VerKeyDSIGN Ed448DSIGN) Source # label :: Proxy (VerKeyDSIGN Ed448DSIGN) -> Text Source #
FromCBOR (VerKeyDSIGN MockDSIGN) #
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods fromCBOR :: Decoder s (VerKeyDSIGN MockDSIGN) Source # label :: Proxy (VerKeyDSIGN MockDSIGN) -> Text Source #
FromCBOR (VerKeyDSIGN SchnorrSecp256k1DSIGN) #
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods fromCBOR :: Decoder s (VerKeyDSIGN SchnorrSecp256k1DSIGN) Source # label :: Proxy (VerKeyDSIGN SchnorrSecp256k1DSIGN) -> Text Source #
ToCBOR (VerKeyDSIGN EcdsaSecp256k1DSIGN) #
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 Ed25519DSIGN) #
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 #
ToCBOR (VerKeyDSIGN Ed448DSIGN) #
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 MockDSIGN) #
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) #
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 #
NFData (VerKeyDSIGN EcdsaSecp256k1DSIGN) #
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods rnf :: VerKeyDSIGN EcdsaSecp256k1DSIGN -> () Source #
NFData (VerKeyDSIGN Ed25519DSIGN) #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods rnf :: VerKeyDSIGN Ed25519DSIGN -> () Source #
NFData (VerKeyDSIGN Ed448DSIGN) #
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods rnf :: VerKeyDSIGN Ed448DSIGN -> () Source #
NFData (VerKeyDSIGN MockDSIGN) #
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods rnf :: VerKeyDSIGN MockDSIGN -> () Source #
NFData (VerKeyDSIGN SchnorrSecp256k1DSIGN) #
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods rnf :: VerKeyDSIGN SchnorrSecp256k1DSIGN -> () Source #
Eq (VerKeyDSIGN EcdsaSecp256k1DSIGN) #
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods (==) :: VerKeyDSIGN EcdsaSecp256k1DSIGN -> VerKeyDSIGN EcdsaSecp256k1DSIGN -> Bool Source # (/=) :: VerKeyDSIGN EcdsaSecp256k1DSIGN -> VerKeyDSIGN EcdsaSecp256k1DSIGN -> Bool Source #
Eq (VerKeyDSIGN Ed25519DSIGN) #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods (==) :: VerKeyDSIGN Ed25519DSIGN -> VerKeyDSIGN Ed25519DSIGN -> Bool Source # (/=) :: VerKeyDSIGN Ed25519DSIGN -> VerKeyDSIGN Ed25519DSIGN -> Bool Source #
Eq (VerKeyDSIGN Ed448DSIGN) #
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods (==) :: VerKeyDSIGN Ed448DSIGN -> VerKeyDSIGN Ed448DSIGN -> Bool Source # (/=) :: VerKeyDSIGN Ed448DSIGN -> VerKeyDSIGN Ed448DSIGN -> Bool Source #
Eq (VerKeyDSIGN MockDSIGN) #
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods (==) :: VerKeyDSIGN MockDSIGN -> VerKeyDSIGN MockDSIGN -> Bool Source # (/=) :: VerKeyDSIGN MockDSIGN -> VerKeyDSIGN MockDSIGN -> Bool Source #
Eq (VerKeyDSIGN NeverDSIGN) #
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed Methods (==) :: VerKeyDSIGN NeverDSIGN -> VerKeyDSIGN NeverDSIGN -> Bool Source # (/=) :: VerKeyDSIGN NeverDSIGN -> VerKeyDSIGN NeverDSIGN -> Bool Source #
Eq (VerKeyDSIGN SchnorrSecp256k1DSIGN) #
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods (==) :: VerKeyDSIGN SchnorrSecp256k1DSIGN -> VerKeyDSIGN SchnorrSecp256k1DSIGN -> Bool Source # (/=) :: VerKeyDSIGN SchnorrSecp256k1DSIGN -> VerKeyDSIGN SchnorrSecp256k1DSIGN -> Bool Source #
(TypeError ('Text "Ord not supported for verification keys, use the hash instead") :: Constraint, Eq (VerKeyDSIGN v)) => Ord (VerKeyDSIGN v) #
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 #
ByteArrayAccess (VerKeyDSIGN Ed448DSIGN) #
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 EcdsaSecp256k1DSIGN) #
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 Ed25519DSIGN) #
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 #
NoThunks (VerKeyDSIGN Ed448DSIGN) #
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 MockDSIGN) #
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 NeverDSIGN) #
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 SchnorrSecp256k1DSIGN) #
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 #
newtype VerKeyDSIGN EcdsaSecp256k1DSIGN #
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 newtype VerKeyDSIGN EcdsaSecp256k1DSIGN = VerKeyEcdsaSecp256k1 (PinnedSizedBytes SECP256K1_ECDSA_PUBKEY_BYTES_INTERNAL)
newtype VerKeyDSIGN Ed25519DSIGN #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 newtype VerKeyDSIGN Ed25519DSIGN = VerKeyEd25519DSIGN (PinnedSizedBytes (SizeVerKeyDSIGN Ed25519DSIGN))
newtype VerKeyDSIGN Ed448DSIGN #
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 newtype VerKeyDSIGN Ed448DSIGN = VerKeyEd448DSIGN PublicKey
newtype VerKeyDSIGN MockDSIGN #
Instance details Defined in Cardano.Crypto.DSIGN.Mock newtype VerKeyDSIGN MockDSIGN = VerKeyMockDSIGN Word64
data VerKeyDSIGN NeverDSIGN #
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed data VerKeyDSIGN NeverDSIGN = NeverUsedVerKeyDSIGN
newtype VerKeyDSIGN SchnorrSecp256k1DSIGN #
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 newtype VerKeyDSIGN SchnorrSecp256k1DSIGN = VerKeySchnorrSecp256k1 (PinnedSizedBytes SECP256K1_SCHNORR_PUBKEY_BYTES_INTERNAL)
type Rep (VerKeyDSIGN EcdsaSecp256k1DSIGN) #
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 type Rep (VerKeyDSIGN EcdsaSecp256k1DSIGN) = D1 ('MetaData "VerKeyDSIGN" "Cardano.Crypto.DSIGN.EcdsaSecp256k1" "cardano-crypto-class-2.1.1.0-inplace" 'True) (C1 ('MetaCons "VerKeyEcdsaSecp256k1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PinnedSizedBytes SECP256K1_ECDSA_PUBKEY_BYTES_INTERNAL))))
type Rep (VerKeyDSIGN Ed25519DSIGN) #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 type Rep (VerKeyDSIGN Ed25519DSIGN) = D1 ('MetaData "VerKeyDSIGN" "Cardano.Crypto.DSIGN.Ed25519" "cardano-crypto-class-2.1.1.0-inplace" 'True) (C1 ('MetaCons "VerKeyEd25519DSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PinnedSizedBytes (SizeVerKeyDSIGN Ed25519DSIGN)))))
type Rep (VerKeyDSIGN Ed448DSIGN) #
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 type Rep (VerKeyDSIGN Ed448DSIGN) = D1 ('MetaData "VerKeyDSIGN" "Cardano.Crypto.DSIGN.Ed448" "cardano-crypto-class-2.1.1.0-inplace" 'True) (C1 ('MetaCons "VerKeyEd448DSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PublicKey)))
type Rep (VerKeyDSIGN MockDSIGN) #
Instance details Defined in Cardano.Crypto.DSIGN.Mock type Rep (VerKeyDSIGN MockDSIGN) = D1 ('MetaData "VerKeyDSIGN" "Cardano.Crypto.DSIGN.Mock" "cardano-crypto-class-2.1.1.0-inplace" 'True) (C1 ('MetaCons "VerKeyMockDSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))
type Rep (VerKeyDSIGN NeverDSIGN) #
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed type Rep (VerKeyDSIGN NeverDSIGN) = D1 ('MetaData "VerKeyDSIGN" "Cardano.Crypto.DSIGN.NeverUsed" "cardano-crypto-class-2.1.1.0-inplace" 'False) (C1 ('MetaCons "NeverUsedVerKeyDSIGN" 'PrefixI 'False) (U1 :: Type -> Type))
type Rep (VerKeyDSIGN SchnorrSecp256k1DSIGN) #
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 type Rep (VerKeyDSIGN SchnorrSecp256k1DSIGN) = D1 ('MetaData "VerKeyDSIGN" "Cardano.Crypto.DSIGN.SchnorrSecp256k1" "cardano-crypto-class-2.1.1.0-inplace" 'True) (C1 ('MetaCons "VerKeySchnorrSecp256k1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PinnedSizedBytes SECP256K1_SCHNORR_PUBKEY_BYTES_INTERNAL))))