Documentation

Associated Types

type SeedSizeDSIGN Ed25519Bip32DSIGN
Instance details Defined in Cardano.Api.Crypto.Ed25519Bip32 type SeedSizeDSIGN Ed25519Bip32DSIGN = 32
type SignKeySizeDSIGN Ed25519Bip32DSIGN
Instance details Defined in Cardano.Api.Crypto.Ed25519Bip32 type SignKeySizeDSIGN Ed25519Bip32DSIGN = 96
type VerKeySizeDSIGN Ed25519Bip32DSIGN
Instance details Defined in Cardano.Api.Crypto.Ed25519Bip32 type VerKeySizeDSIGN Ed25519Bip32DSIGN = 64
type SigSizeDSIGN Ed25519Bip32DSIGN
Instance details Defined in Cardano.Api.Crypto.Ed25519Bip32 type SigSizeDSIGN Ed25519Bip32DSIGN = 64
type SizeSignKeyDSIGN Ed25519Bip32DSIGN
Instance details Defined in Cardano.Api.Crypto.Ed25519Bip32 type SizeSignKeyDSIGN Ed25519Bip32DSIGN = SignKeySizeDSIGN Ed25519Bip32DSIGN
type SizeVerKeyDSIGN Ed25519Bip32DSIGN
Instance details Defined in Cardano.Api.Crypto.Ed25519Bip32 type SizeVerKeyDSIGN Ed25519Bip32DSIGN = VerKeySizeDSIGN Ed25519Bip32DSIGN
type SizeSigDSIGN Ed25519Bip32DSIGN
Instance details Defined in Cardano.Api.Crypto.Ed25519Bip32 type SizeSigDSIGN Ed25519Bip32DSIGN = SigSizeDSIGN Ed25519Bip32DSIGN
newtype VerKeyDSIGN Ed25519Bip32DSIGN
Instance details Defined in Cardano.Api.Crypto.Ed25519Bip32 newtype VerKeyDSIGN Ed25519Bip32DSIGN = VerKeyEd25519Bip32DSIGN XPub
newtype SignKeyDSIGN Ed25519Bip32DSIGN
Instance details Defined in Cardano.Api.Crypto.Ed25519Bip32 newtype SignKeyDSIGN Ed25519Bip32DSIGN = SignKeyEd25519Bip32DSIGN XPrv
newtype SigDSIGN Ed25519Bip32DSIGN
Instance details Defined in Cardano.Api.Crypto.Ed25519Bip32 newtype SigDSIGN Ed25519Bip32DSIGN = SigEd25519Bip32DSIGN XSignature
type ContextDSIGN Ed25519Bip32DSIGN
Instance details Defined in Cardano.Api.Crypto.Ed25519Bip32 type ContextDSIGN Ed25519Bip32DSIGN = ()
type Signable Ed25519Bip32DSIGN
Instance details Defined in Cardano.Api.Crypto.Ed25519Bip32 type Signable Ed25519Bip32DSIGN = SignableRepresentation
type KeyGenContextDSIGN Ed25519Bip32DSIGN
Instance details Defined in Cardano.Api.Crypto.Ed25519Bip32 type KeyGenContextDSIGN Ed25519Bip32DSIGN = ()

Methods

algorithmNameDSIGN :: proxy Ed25519Bip32DSIGN -> String Source #

deriveVerKeyDSIGN :: SignKeyDSIGN Ed25519Bip32DSIGN -> VerKeyDSIGN Ed25519Bip32DSIGN Source #

hashVerKeyDSIGN :: HashAlgorithm h => VerKeyDSIGN Ed25519Bip32DSIGN -> Hash h (VerKeyDSIGN Ed25519Bip32DSIGN) Source #

signDSIGN :: (Signable Ed25519Bip32DSIGN a, HasCallStack) => ContextDSIGN Ed25519Bip32DSIGN -> a -> SignKeyDSIGN Ed25519Bip32DSIGN -> SigDSIGN Ed25519Bip32DSIGN Source #

verifyDSIGN :: (Signable Ed25519Bip32DSIGN a, HasCallStack) => ContextDSIGN Ed25519Bip32DSIGN -> VerKeyDSIGN Ed25519Bip32DSIGN -> a -> SigDSIGN Ed25519Bip32DSIGN -> Either String () Source #

genKeyDSIGN :: Seed -> SignKeyDSIGN Ed25519Bip32DSIGN Source #

genKeyDSIGNWithContext :: KeyGenContextDSIGN Ed25519Bip32DSIGN -> Seed -> SignKeyDSIGN Ed25519Bip32DSIGN Source #

rawSerialiseVerKeyDSIGN :: VerKeyDSIGN Ed25519Bip32DSIGN -> ByteString Source #

rawSerialiseSignKeyDSIGN :: SignKeyDSIGN Ed25519Bip32DSIGN -> ByteString Source #

rawSerialiseSigDSIGN :: SigDSIGN Ed25519Bip32DSIGN -> ByteString Source #

rawDeserialiseVerKeyDSIGN :: ByteString -> Maybe (VerKeyDSIGN Ed25519Bip32DSIGN) Source #

rawDeserialiseSignKeyDSIGN :: ByteString -> Maybe (SignKeyDSIGN Ed25519Bip32DSIGN) Source #

rawDeserialiseSigDSIGN :: ByteString -> Maybe (SigDSIGN Ed25519Bip32DSIGN) Source #

FromCBOR (SigDSIGN Ed25519Bip32DSIGN) Source #

Instance details

Methods

fromCBOR :: Decoder s (SigDSIGN Ed25519Bip32DSIGN) Source #

label :: Proxy (SigDSIGN Ed25519Bip32DSIGN) -> Text Source #

FromCBOR (SignKeyDSIGN Ed25519Bip32DSIGN) Source #

Instance details

Methods

fromCBOR :: Decoder s (SignKeyDSIGN Ed25519Bip32DSIGN) Source #

label :: Proxy (SignKeyDSIGN Ed25519Bip32DSIGN) -> Text Source #

FromCBOR (VerKeyDSIGN Ed25519Bip32DSIGN) Source #

Instance details

Methods

fromCBOR :: Decoder s (VerKeyDSIGN Ed25519Bip32DSIGN) Source #

label :: Proxy (VerKeyDSIGN Ed25519Bip32DSIGN) -> Text Source #

ToCBOR (SigDSIGN Ed25519Bip32DSIGN) Source #

Instance details

Methods

toCBOR :: SigDSIGN Ed25519Bip32DSIGN -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SigDSIGN Ed25519Bip32DSIGN) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SigDSIGN Ed25519Bip32DSIGN] -> Size Source #

ToCBOR (SignKeyDSIGN Ed25519Bip32DSIGN) Source #

Instance details

Methods

toCBOR :: SignKeyDSIGN Ed25519Bip32DSIGN -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SignKeyDSIGN Ed25519Bip32DSIGN) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SignKeyDSIGN Ed25519Bip32DSIGN] -> Size Source #

ToCBOR (VerKeyDSIGN Ed25519Bip32DSIGN) Source #

Instance details

Methods

toCBOR :: VerKeyDSIGN Ed25519Bip32DSIGN -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (VerKeyDSIGN Ed25519Bip32DSIGN) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [VerKeyDSIGN Ed25519Bip32DSIGN] -> Size Source #

NFData (SignKeyDSIGN Ed25519Bip32DSIGN) Source #

Instance details

Methods

rnf :: SignKeyDSIGN Ed25519Bip32DSIGN -> () Source #

NFData (VerKeyDSIGN Ed25519Bip32DSIGN) Source #

Instance details

Methods

rnf :: VerKeyDSIGN Ed25519Bip32DSIGN -> () Source #

Eq (SigDSIGN Ed25519Bip32DSIGN) Source #

Instance details

Methods

(==) :: SigDSIGN Ed25519Bip32DSIGN -> SigDSIGN Ed25519Bip32DSIGN -> Bool Source #

(/=) :: SigDSIGN Ed25519Bip32DSIGN -> SigDSIGN Ed25519Bip32DSIGN -> Bool Source #

Eq (VerKeyDSIGN Ed25519Bip32DSIGN) Source #

Instance details

Methods

(==) :: VerKeyDSIGN Ed25519Bip32DSIGN -> VerKeyDSIGN Ed25519Bip32DSIGN -> Bool Source #

(/=) :: VerKeyDSIGN Ed25519Bip32DSIGN -> VerKeyDSIGN Ed25519Bip32DSIGN -> Bool Source #

Generic (SigDSIGN Ed25519Bip32DSIGN) Source #

Instance details

Associated Types

type Rep (SigDSIGN Ed25519Bip32DSIGN)
Instance details Defined in Cardano.Api.Crypto.Ed25519Bip32 type Rep (SigDSIGN Ed25519Bip32DSIGN) = D1 ('MetaData "SigDSIGN" "Cardano.Api.Crypto.Ed25519Bip32" "cardano-api-10.26.0.0-inplace" 'True) (C1 ('MetaCons "SigEd25519Bip32DSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 XSignature)))

Methods

from :: SigDSIGN Ed25519Bip32DSIGN -> Rep (SigDSIGN Ed25519Bip32DSIGN) x Source #

to :: Rep (SigDSIGN Ed25519Bip32DSIGN) x -> SigDSIGN Ed25519Bip32DSIGN Source #

Generic (SignKeyDSIGN Ed25519Bip32DSIGN) Source #

Instance details

Associated Types

type Rep (SignKeyDSIGN Ed25519Bip32DSIGN)
Instance details Defined in Cardano.Api.Crypto.Ed25519Bip32 type Rep (SignKeyDSIGN Ed25519Bip32DSIGN) = D1 ('MetaData "SignKeyDSIGN" "Cardano.Api.Crypto.Ed25519Bip32" "cardano-api-10.26.0.0-inplace" 'True) (C1 ('MetaCons "SignKeyEd25519Bip32DSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 XPrv)))

Methods

from :: SignKeyDSIGN Ed25519Bip32DSIGN -> Rep (SignKeyDSIGN Ed25519Bip32DSIGN) x Source #

to :: Rep (SignKeyDSIGN Ed25519Bip32DSIGN) x -> SignKeyDSIGN Ed25519Bip32DSIGN Source #

Generic (VerKeyDSIGN Ed25519Bip32DSIGN) Source #

Instance details

Associated Types

type Rep (VerKeyDSIGN Ed25519Bip32DSIGN)
Instance details Defined in Cardano.Api.Crypto.Ed25519Bip32 type Rep (VerKeyDSIGN Ed25519Bip32DSIGN) = D1 ('MetaData "VerKeyDSIGN" "Cardano.Api.Crypto.Ed25519Bip32" "cardano-api-10.26.0.0-inplace" 'True) (C1 ('MetaCons "VerKeyEd25519Bip32DSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 XPub)))

Methods

from :: VerKeyDSIGN Ed25519Bip32DSIGN -> Rep (VerKeyDSIGN Ed25519Bip32DSIGN) x Source #

to :: Rep (VerKeyDSIGN Ed25519Bip32DSIGN) x -> VerKeyDSIGN Ed25519Bip32DSIGN Source #

Show (SigDSIGN Ed25519Bip32DSIGN) Source #

Instance details

Methods

showsPrec :: Int -> SigDSIGN Ed25519Bip32DSIGN -> ShowS Source #

show :: SigDSIGN Ed25519Bip32DSIGN -> String Source #

showList :: [SigDSIGN Ed25519Bip32DSIGN] -> ShowS Source #

Show (SignKeyDSIGN Ed25519Bip32DSIGN) Source #

Instance details

Methods

showsPrec :: Int -> SignKeyDSIGN Ed25519Bip32DSIGN -> ShowS Source #

show :: SignKeyDSIGN Ed25519Bip32DSIGN -> String Source #

showList :: [SignKeyDSIGN Ed25519Bip32DSIGN] -> ShowS Source #

Show (VerKeyDSIGN Ed25519Bip32DSIGN) Source #

Instance details

Methods

showsPrec :: Int -> VerKeyDSIGN Ed25519Bip32DSIGN -> ShowS Source #

show :: VerKeyDSIGN Ed25519Bip32DSIGN -> String Source #

showList :: [VerKeyDSIGN Ed25519Bip32DSIGN] -> ShowS Source #

ByteArrayAccess (SigDSIGN Ed25519Bip32DSIGN) Source #

Instance details

Methods

length :: SigDSIGN Ed25519Bip32DSIGN -> Int

withByteArray :: SigDSIGN Ed25519Bip32DSIGN -> (Ptr p -> IO a) -> IO a

copyByteArrayToPtr :: SigDSIGN Ed25519Bip32DSIGN -> Ptr p -> IO ()

ByteArrayAccess (SignKeyDSIGN Ed25519Bip32DSIGN) Source #

Instance details

Methods

length :: SignKeyDSIGN Ed25519Bip32DSIGN -> Int

withByteArray :: SignKeyDSIGN Ed25519Bip32DSIGN -> (Ptr p -> IO a) -> IO a

copyByteArrayToPtr :: SignKeyDSIGN Ed25519Bip32DSIGN -> Ptr p -> IO ()

NoThunks (SigDSIGN Ed25519Bip32DSIGN) Source #

Instance details

Methods

noThunks :: Context -> SigDSIGN Ed25519Bip32DSIGN -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> SigDSIGN Ed25519Bip32DSIGN -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy (SigDSIGN Ed25519Bip32DSIGN) -> String #

NoThunks (SignKeyDSIGN Ed25519Bip32DSIGN) Source #

Instance details

Methods

noThunks :: Context -> SignKeyDSIGN Ed25519Bip32DSIGN -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> SignKeyDSIGN Ed25519Bip32DSIGN -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy (SignKeyDSIGN Ed25519Bip32DSIGN) -> String #

NoThunks (VerKeyDSIGN Ed25519Bip32DSIGN) Source #

Instance details

Methods

noThunks :: Context -> VerKeyDSIGN Ed25519Bip32DSIGN -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> VerKeyDSIGN Ed25519Bip32DSIGN -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy (VerKeyDSIGN Ed25519Bip32DSIGN) -> String #

type ContextDSIGN Ed25519Bip32DSIGN Source #

Instance details

type ContextDSIGN Ed25519Bip32DSIGN = ()

type KeyGenContextDSIGN Ed25519Bip32DSIGN Source #

Instance details

type KeyGenContextDSIGN Ed25519Bip32DSIGN = ()

type SeedSizeDSIGN Ed25519Bip32DSIGN Source #

Instance details

type SeedSizeDSIGN Ed25519Bip32DSIGN = 32

newtype SigDSIGN Ed25519Bip32DSIGN Source #

Instance details

newtype SigDSIGN Ed25519Bip32DSIGN = SigEd25519Bip32DSIGN XSignature

type SigSizeDSIGN Ed25519Bip32DSIGN Source #

Instance details

type SigSizeDSIGN Ed25519Bip32DSIGN = 64

newtype SignKeyDSIGN Ed25519Bip32DSIGN Source #

Instance details

newtype SignKeyDSIGN Ed25519Bip32DSIGN = SignKeyEd25519Bip32DSIGN XPrv

type SignKeySizeDSIGN Ed25519Bip32DSIGN Source #

Instance details

type SignKeySizeDSIGN Ed25519Bip32DSIGN = 96

type Signable Ed25519Bip32DSIGN Source #

Instance details

type Signable Ed25519Bip32DSIGN = SignableRepresentation

type SizeSigDSIGN Ed25519Bip32DSIGN Source #

Instance details

type SizeSigDSIGN Ed25519Bip32DSIGN = SigSizeDSIGN Ed25519Bip32DSIGN

type SizeSignKeyDSIGN Ed25519Bip32DSIGN Source #

Instance details

type SizeSignKeyDSIGN Ed25519Bip32DSIGN = SignKeySizeDSIGN Ed25519Bip32DSIGN

type SizeVerKeyDSIGN Ed25519Bip32DSIGN Source #

Instance details

type SizeVerKeyDSIGN Ed25519Bip32DSIGN = VerKeySizeDSIGN Ed25519Bip32DSIGN

newtype VerKeyDSIGN Ed25519Bip32DSIGN Source #

Instance details

newtype VerKeyDSIGN Ed25519Bip32DSIGN = VerKeyEd25519Bip32DSIGN XPub

type VerKeySizeDSIGN Ed25519Bip32DSIGN Source #

Instance details

type VerKeySizeDSIGN Ed25519Bip32DSIGN = 64

type Rep (SigDSIGN Ed25519Bip32DSIGN) Source #

Instance details

type Rep (SigDSIGN Ed25519Bip32DSIGN) = D1 ('MetaData "SigDSIGN" "Cardano.Api.Crypto.Ed25519Bip32" "cardano-api-10.26.0.0-inplace" 'True) (C1 ('MetaCons "SigEd25519Bip32DSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 XSignature)))

type Rep (SignKeyDSIGN Ed25519Bip32DSIGN) Source #

Instance details

type Rep (SignKeyDSIGN Ed25519Bip32DSIGN) = D1 ('MetaData "SignKeyDSIGN" "Cardano.Api.Crypto.Ed25519Bip32" "cardano-api-10.26.0.0-inplace" 'True) (C1 ('MetaCons "SignKeyEd25519Bip32DSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 XPrv)))

type Rep (VerKeyDSIGN Ed25519Bip32DSIGN) Source #

Instance details

type Rep (VerKeyDSIGN Ed25519Bip32DSIGN) = D1 ('MetaData "VerKeyDSIGN" "Cardano.Api.Crypto.Ed25519Bip32" "cardano-api-10.26.0.0-inplace" 'True) (C1 ('MetaCons "VerKeyEd25519Bip32DSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 XPub)))

data family SigDSIGN v Source #

Instances

Instances details

FromCBOR (SigDSIGN Ed25519Bip32DSIGN) Source #

Instance details

Methods

fromCBOR :: Decoder s (SigDSIGN Ed25519Bip32DSIGN) Source #

label :: Proxy (SigDSIGN Ed25519Bip32DSIGN) -> Text Source #

BLS12381CurveConstraints curve => FromCBOR (SigDSIGN (BLS12381DSIGN curve)) Source #

Instance details

Methods

fromCBOR :: Decoder s (SigDSIGN (BLS12381DSIGN curve)) Source #

label :: Proxy (SigDSIGN (BLS12381DSIGN curve)) -> Text Source #

FromCBOR (SigDSIGN EcdsaSecp256k1DSIGN) Source #

Instance details

Methods

fromCBOR :: Decoder s (SigDSIGN EcdsaSecp256k1DSIGN) Source #

label :: Proxy (SigDSIGN EcdsaSecp256k1DSIGN) -> Text Source #

FromCBOR (SigDSIGN Ed25519DSIGN) Source #

Instance details

Methods

fromCBOR :: Decoder s (SigDSIGN Ed25519DSIGN) Source #

label :: Proxy (SigDSIGN Ed25519DSIGN) -> Text Source #

FromCBOR (SigDSIGN Ed448DSIGN) Source #

Instance details

Methods

fromCBOR :: Decoder s (SigDSIGN Ed448DSIGN) Source #

label :: Proxy (SigDSIGN Ed448DSIGN) -> 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

Methods

fromCBOR :: Decoder s (SigDSIGN SchnorrSecp256k1DSIGN) Source #

label :: Proxy (SigDSIGN SchnorrSecp256k1DSIGN) -> Text Source #

ToCBOR (SigDSIGN Ed25519Bip32DSIGN) Source #

Instance details

Methods

toCBOR :: SigDSIGN Ed25519Bip32DSIGN -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SigDSIGN Ed25519Bip32DSIGN) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SigDSIGN Ed25519Bip32DSIGN] -> Size Source #

BLS12381CurveConstraints curve => ToCBOR (SigDSIGN (BLS12381DSIGN curve)) Source #

Instance details

Methods

toCBOR :: SigDSIGN (BLS12381DSIGN curve) -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SigDSIGN (BLS12381DSIGN curve)) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SigDSIGN (BLS12381DSIGN curve)] -> Size Source #

ToCBOR (SigDSIGN EcdsaSecp256k1DSIGN) Source #

Instance details

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) Source #

Instance details

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) Source #

Instance details

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) 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

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 #

DSIGNAlgorithm v => DecCBOR (SigDSIGN v) Source #

Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

Methods

decCBOR :: Decoder s (SigDSIGN v) Source #

dropCBOR :: Proxy (SigDSIGN v) -> Decoder s () Source #

label :: Proxy (SigDSIGN v) -> Text Source #

DSIGNAlgorithm v => EncCBOR (SigDSIGN v) Source #

Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR :: SigDSIGN v -> Encoding Source #

NFData (SigDSIGN (BLS12381DSIGN curve)) Source #

Instance details

Methods

rnf :: SigDSIGN (BLS12381DSIGN curve) -> () Source #

NFData (SigDSIGN EcdsaSecp256k1DSIGN) Source #

Instance details

Methods

rnf :: SigDSIGN EcdsaSecp256k1DSIGN -> () Source #

NFData (SigDSIGN Ed25519DSIGN) Source #

Instance details

Methods

rnf :: SigDSIGN Ed25519DSIGN -> () Source #

NFData (SigDSIGN MockDSIGN) Source #

Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Methods

rnf :: SigDSIGN MockDSIGN -> () Source #

NFData (SigDSIGN SchnorrSecp256k1DSIGN) Source #

Instance details

Methods

rnf :: SigDSIGN SchnorrSecp256k1DSIGN -> () Source #

Eq (SigDSIGN Ed25519Bip32DSIGN) Source #

Instance details

Methods

(==) :: SigDSIGN Ed25519Bip32DSIGN -> SigDSIGN Ed25519Bip32DSIGN -> Bool Source #

(/=) :: SigDSIGN Ed25519Bip32DSIGN -> SigDSIGN Ed25519Bip32DSIGN -> Bool Source #

BLS (DualCurve curve) => Eq (SigDSIGN (BLS12381DSIGN curve)) Source #

Instance details

Methods

(==) :: SigDSIGN (BLS12381DSIGN curve) -> SigDSIGN (BLS12381DSIGN curve) -> Bool Source #

(/=) :: SigDSIGN (BLS12381DSIGN curve) -> SigDSIGN (BLS12381DSIGN curve) -> Bool Source #

Eq (SigDSIGN EcdsaSecp256k1DSIGN) Source #

Instance details

Methods

(==) :: SigDSIGN EcdsaSecp256k1DSIGN -> SigDSIGN EcdsaSecp256k1DSIGN -> Bool Source #

(/=) :: SigDSIGN EcdsaSecp256k1DSIGN -> SigDSIGN EcdsaSecp256k1DSIGN -> Bool Source #

Eq (SigDSIGN Ed25519DSIGN) Source #

Instance details

Methods

(==) :: SigDSIGN Ed25519DSIGN -> SigDSIGN Ed25519DSIGN -> Bool Source #

(/=) :: SigDSIGN Ed25519DSIGN -> SigDSIGN Ed25519DSIGN -> Bool Source #

Eq (SigDSIGN Ed448DSIGN) Source #

Instance details

Methods

(==) :: SigDSIGN Ed448DSIGN -> SigDSIGN Ed448DSIGN -> Bool Source #

(/=) :: SigDSIGN Ed448DSIGN -> SigDSIGN Ed448DSIGN -> 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 NeverDSIGN) Source #

Instance details

Methods

(==) :: SigDSIGN NeverDSIGN -> SigDSIGN NeverDSIGN -> Bool Source #

(/=) :: SigDSIGN NeverDSIGN -> SigDSIGN NeverDSIGN -> Bool Source #

Eq (SigDSIGN SchnorrSecp256k1DSIGN) Source #

Instance details

Methods

(==) :: SigDSIGN SchnorrSecp256k1DSIGN -> SigDSIGN SchnorrSecp256k1DSIGN -> Bool Source #

(/=) :: SigDSIGN SchnorrSecp256k1DSIGN -> SigDSIGN SchnorrSecp256k1DSIGN -> Bool Source #

Eq (SigDSIGN ByronDSIGN) #

Instance details

Methods

(==) :: SigDSIGN ByronDSIGN -> SigDSIGN ByronDSIGN -> Bool Source #

(/=) :: SigDSIGN ByronDSIGN -> SigDSIGN ByronDSIGN -> 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 #

Generic (SigDSIGN Ed25519Bip32DSIGN) Source #

Instance details

Associated Types

type Rep (SigDSIGN Ed25519Bip32DSIGN)
Instance details Defined in Cardano.Api.Crypto.Ed25519Bip32 type Rep (SigDSIGN Ed25519Bip32DSIGN) = D1 ('MetaData "SigDSIGN" "Cardano.Api.Crypto.Ed25519Bip32" "cardano-api-10.26.0.0-inplace" 'True) (C1 ('MetaCons "SigEd25519Bip32DSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 XSignature)))

Methods

from :: SigDSIGN Ed25519Bip32DSIGN -> Rep (SigDSIGN Ed25519Bip32DSIGN) x Source #

to :: Rep (SigDSIGN Ed25519Bip32DSIGN) x -> SigDSIGN Ed25519Bip32DSIGN Source #

Generic (SigDSIGN (BLS12381DSIGN curve)) Source #

Instance details

Associated Types

type Rep (SigDSIGN (BLS12381DSIGN curve))

Instance details

type Rep (SigDSIGN (BLS12381DSIGN curve)) = D1 ('MetaData "SigDSIGN" "Cardano.Crypto.DSIGN.BLS12381" "cardano-crypto-class-2.3.2.0-2011db05f0f9ec1eddf7491631a24bf2a41f32c8295316aeac0bb558d89c9f6b" 'True) (C1 ('MetaCons "SigBLS12381" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Point (DualCurve curve)))))

Methods

from :: SigDSIGN (BLS12381DSIGN curve) -> Rep (SigDSIGN (BLS12381DSIGN curve)) x Source #

to :: Rep (SigDSIGN (BLS12381DSIGN curve)) x -> SigDSIGN (BLS12381DSIGN curve) Source #

Generic (SigDSIGN EcdsaSecp256k1DSIGN) Source #

Instance details

Associated Types

type Rep (SigDSIGN EcdsaSecp256k1DSIGN)

Instance details

type Rep (SigDSIGN EcdsaSecp256k1DSIGN) = D1 ('MetaData "SigDSIGN" "Cardano.Crypto.DSIGN.EcdsaSecp256k1" "cardano-crypto-class-2.3.2.0-2011db05f0f9ec1eddf7491631a24bf2a41f32c8295316aeac0bb558d89c9f6b" 'True) (C1 ('MetaCons "SigEcdsaSecp256k1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PinnedSizedBytes SECP256K1_ECDSA_SIGNATURE_BYTES_INTERNAL))))

Methods

from :: SigDSIGN EcdsaSecp256k1DSIGN -> Rep (SigDSIGN EcdsaSecp256k1DSIGN) x Source #

to :: Rep (SigDSIGN EcdsaSecp256k1DSIGN) x -> SigDSIGN EcdsaSecp256k1DSIGN Source #

Generic (SigDSIGN Ed25519DSIGN) Source #

Instance details

Associated Types

type Rep (SigDSIGN Ed25519DSIGN)

Instance details

type Rep (SigDSIGN Ed25519DSIGN) = D1 ('MetaData "SigDSIGN" "Cardano.Crypto.DSIGN.Ed25519" "cardano-crypto-class-2.3.2.0-2011db05f0f9ec1eddf7491631a24bf2a41f32c8295316aeac0bb558d89c9f6b" 'True) (C1 ('MetaCons "SigEd25519DSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PinnedSizedBytes (SigSizeDSIGN Ed25519DSIGN)))))

Methods

from :: SigDSIGN Ed25519DSIGN -> Rep (SigDSIGN Ed25519DSIGN) x Source #

to :: Rep (SigDSIGN Ed25519DSIGN) x -> SigDSIGN Ed25519DSIGN Source #

Generic (SigDSIGN Ed448DSIGN) Source #

Instance details

Associated Types

type Rep (SigDSIGN Ed448DSIGN)

Instance details

type Rep (SigDSIGN Ed448DSIGN) = D1 ('MetaData "SigDSIGN" "Cardano.Crypto.DSIGN.Ed448" "cardano-crypto-class-2.3.2.0-2011db05f0f9ec1eddf7491631a24bf2a41f32c8295316aeac0bb558d89c9f6b" 'True) (C1 ('MetaCons "SigEd448DSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Signature)))

Methods

from :: SigDSIGN Ed448DSIGN -> Rep (SigDSIGN Ed448DSIGN) x Source #

to :: Rep (SigDSIGN Ed448DSIGN) x -> SigDSIGN Ed448DSIGN Source #

Generic (SigDSIGN MockDSIGN) Source #

Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Associated Types

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.3.2.0-2011db05f0f9ec1eddf7491631a24bf2a41f32c8295316aeac0bb558d89c9f6b" 'False) (C1 ('MetaCons "SigMockDSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Hash ShortHash ())) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Word64)))

Methods

from :: SigDSIGN MockDSIGN -> Rep (SigDSIGN MockDSIGN) x Source #

to :: Rep (SigDSIGN MockDSIGN) x -> SigDSIGN MockDSIGN Source #

Generic (SigDSIGN NeverDSIGN) Source #

Instance details

Associated Types

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.3.2.0-2011db05f0f9ec1eddf7491631a24bf2a41f32c8295316aeac0bb558d89c9f6b" 'False) (C1 ('MetaCons "NeverUsedSigDSIGN" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: SigDSIGN NeverDSIGN -> Rep (SigDSIGN NeverDSIGN) x Source #

to :: Rep (SigDSIGN NeverDSIGN) x -> SigDSIGN NeverDSIGN Source #

Generic (SigDSIGN SchnorrSecp256k1DSIGN) Source #

Instance details

Associated Types

type Rep (SigDSIGN SchnorrSecp256k1DSIGN)

Instance details

type Rep (SigDSIGN SchnorrSecp256k1DSIGN) = D1 ('MetaData "SigDSIGN" "Cardano.Crypto.DSIGN.SchnorrSecp256k1" "cardano-crypto-class-2.3.2.0-2011db05f0f9ec1eddf7491631a24bf2a41f32c8295316aeac0bb558d89c9f6b" 'True) (C1 ('MetaCons "SigSchnorrSecp256k1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PinnedSizedBytes (SigSizeDSIGN SchnorrSecp256k1DSIGN)))))

Methods

from :: SigDSIGN SchnorrSecp256k1DSIGN -> Rep (SigDSIGN SchnorrSecp256k1DSIGN) x Source #

to :: Rep (SigDSIGN SchnorrSecp256k1DSIGN) x -> SigDSIGN SchnorrSecp256k1DSIGN Source #

Generic (SigDSIGN ByronDSIGN) #

Instance details

Associated Types

type Rep (SigDSIGN ByronDSIGN)

Instance details

type Rep (SigDSIGN ByronDSIGN) = D1 ('MetaData "SigDSIGN" "Ouroboros.Consensus.Byron.Crypto.DSIGN" "ouroboros-consensus-3.0.1.0-l-cardano-6ebc9a48bba481e033369983fdaf7bfd8ce1134d270b29c7b1500730fb2c01e2" 'True) (C1 ('MetaCons "SigByronDSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Signature ToSign))))

Methods

from :: SigDSIGN ByronDSIGN -> Rep (SigDSIGN ByronDSIGN) x Source #

to :: Rep (SigDSIGN ByronDSIGN) x -> SigDSIGN ByronDSIGN Source #

Show (SigDSIGN Ed25519Bip32DSIGN) Source #

Instance details

Methods

showsPrec :: Int -> SigDSIGN Ed25519Bip32DSIGN -> ShowS Source #

show :: SigDSIGN Ed25519Bip32DSIGN -> String Source #

showList :: [SigDSIGN Ed25519Bip32DSIGN] -> ShowS Source #

Show (SigDSIGN (BLS12381DSIGN curve)) Source #

Instance details

Methods

showsPrec :: Int -> SigDSIGN (BLS12381DSIGN curve) -> ShowS Source #

show :: SigDSIGN (BLS12381DSIGN curve) -> String Source #

showList :: [SigDSIGN (BLS12381DSIGN curve)] -> ShowS Source #

Show (SigDSIGN EcdsaSecp256k1DSIGN) Source #

Instance details

Methods

showsPrec :: Int -> SigDSIGN EcdsaSecp256k1DSIGN -> ShowS Source #

show :: SigDSIGN EcdsaSecp256k1DSIGN -> String Source #

showList :: [SigDSIGN EcdsaSecp256k1DSIGN] -> ShowS Source #

Show (SigDSIGN Ed25519DSIGN) Source #

Instance details

Methods

showsPrec :: Int -> SigDSIGN Ed25519DSIGN -> ShowS Source #

show :: SigDSIGN Ed25519DSIGN -> String Source #

showList :: [SigDSIGN Ed25519DSIGN] -> ShowS Source #

Show (SigDSIGN Ed448DSIGN) Source #

Instance details

Methods

showsPrec :: Int -> SigDSIGN Ed448DSIGN -> ShowS Source #

show :: SigDSIGN Ed448DSIGN -> String Source #

showList :: [SigDSIGN Ed448DSIGN] -> 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 NeverDSIGN) Source #

Instance details

Methods

showsPrec :: Int -> SigDSIGN NeverDSIGN -> ShowS Source #

show :: SigDSIGN NeverDSIGN -> String Source #

showList :: [SigDSIGN NeverDSIGN] -> ShowS Source #

Show (SigDSIGN SchnorrSecp256k1DSIGN) Source #

Instance details

Methods

showsPrec :: Int -> SigDSIGN SchnorrSecp256k1DSIGN -> ShowS Source #

show :: SigDSIGN SchnorrSecp256k1DSIGN -> String Source #

showList :: [SigDSIGN SchnorrSecp256k1DSIGN] -> ShowS Source #

Show (SigDSIGN ByronDSIGN) #

Instance details

Methods

showsPrec :: Int -> SigDSIGN ByronDSIGN -> ShowS Source #

show :: SigDSIGN ByronDSIGN -> String Source #

showList :: [SigDSIGN ByronDSIGN] -> ShowS Source #

ByteArrayAccess (SigDSIGN Ed25519Bip32DSIGN)

Instance details

Methods

length :: SigDSIGN Ed25519Bip32DSIGN -> Int

withByteArray :: SigDSIGN Ed25519Bip32DSIGN -> (Ptr p -> IO a) -> IO a

copyByteArrayToPtr :: SigDSIGN Ed25519Bip32DSIGN -> Ptr p -> IO ()

ByteArrayAccess (SigDSIGN Ed448DSIGN)

Instance details

Methods

length :: SigDSIGN Ed448DSIGN -> Int

withByteArray :: SigDSIGN Ed448DSIGN -> (Ptr p -> IO a) -> IO a

copyByteArrayToPtr :: SigDSIGN Ed448DSIGN -> Ptr p -> IO ()

NoThunks (SigDSIGN Ed25519Bip32DSIGN) Source #

Instance details

Methods

noThunks :: Context -> SigDSIGN Ed25519Bip32DSIGN -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> SigDSIGN Ed25519Bip32DSIGN -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy (SigDSIGN Ed25519Bip32DSIGN) -> String #

NoThunks (SigDSIGN (BLS12381DSIGN curve)) Source #

Instance details

Methods

noThunks :: Context -> SigDSIGN (BLS12381DSIGN curve) -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> SigDSIGN (BLS12381DSIGN curve) -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy (SigDSIGN (BLS12381DSIGN curve)) -> String #

NoThunks (SigDSIGN EcdsaSecp256k1DSIGN) Source #

Instance details

Methods

noThunks :: Context -> SigDSIGN EcdsaSecp256k1DSIGN -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> SigDSIGN EcdsaSecp256k1DSIGN -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy (SigDSIGN EcdsaSecp256k1DSIGN) -> String #

NoThunks (SigDSIGN Ed25519DSIGN) Source #

Instance details

Methods

noThunks :: Context -> SigDSIGN Ed25519DSIGN -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> SigDSIGN Ed25519DSIGN -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy (SigDSIGN Ed25519DSIGN) -> String #

NoThunks (SigDSIGN Ed448DSIGN) Source #

Instance details

Methods

noThunks :: Context -> SigDSIGN Ed448DSIGN -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> SigDSIGN Ed448DSIGN -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy (SigDSIGN Ed448DSIGN) -> String #

NoThunks (SigDSIGN MockDSIGN) Source #

Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Methods

noThunks :: Context -> SigDSIGN MockDSIGN -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> SigDSIGN MockDSIGN -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy (SigDSIGN MockDSIGN) -> String #

NoThunks (SigDSIGN NeverDSIGN) Source #

Instance details

Methods

noThunks :: Context -> SigDSIGN NeverDSIGN -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> SigDSIGN NeverDSIGN -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy (SigDSIGN NeverDSIGN) -> String #

NoThunks (SigDSIGN SchnorrSecp256k1DSIGN) Source #

Instance details

Methods

noThunks :: Context -> SigDSIGN SchnorrSecp256k1DSIGN -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> SigDSIGN SchnorrSecp256k1DSIGN -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy (SigDSIGN SchnorrSecp256k1DSIGN) -> String #

NoThunks (SigDSIGN ByronDSIGN) #

Instance details

Methods

noThunks :: Context -> SigDSIGN ByronDSIGN -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> SigDSIGN ByronDSIGN -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy (SigDSIGN ByronDSIGN) -> String #

Condense (SigDSIGN Ed25519DSIGN) Source #

Instance details

Methods

condense :: SigDSIGN Ed25519DSIGN -> String Source #

Condense (SigDSIGN Ed448DSIGN) Source #

Instance details

Methods

condense :: SigDSIGN Ed448DSIGN -> String Source #

Condense (SigDSIGN MockDSIGN) Source #

Instance details

Methods

condense :: SigDSIGN MockDSIGN -> String Source #

Condense (SigDSIGN ByronDSIGN) #

Instance details

Methods

condense :: SigDSIGN ByronDSIGN -> String Source #

DSIGNAlgorithm dsign => HasInfo (DirectCodec m) (SigDSIGN dsign)

Instance details

Defined in Cardano.KESAgent.Serialization.DirectCodec

Methods

info :: Proxy (DirectCodec m) -> Proxy (SigDSIGN dsign) -> FieldInfo (DirectCodec m)

(MonadST m, MonadSTM m, MonadThrow m, DSIGNAlgorithm dsign) => Serializable (DirectCodec m) (SigDSIGN dsign)

Instance details

Defined in Cardano.KESAgent.Serialization.DirectCodec

Methods

encode :: Proxy (DirectCodec m) -> SigDSIGN dsign -> MonadEncode (DirectCodec m) ()

decode :: Proxy (DirectCodec m) -> MonadDecode (DirectCodec m) (SigDSIGN dsign)

newtype SigDSIGN Ed25519Bip32DSIGN Source #

Instance details

newtype SigDSIGN Ed25519Bip32DSIGN = SigEd25519Bip32DSIGN XSignature

newtype SigDSIGN EcdsaSecp256k1DSIGN Source #

Instance details

newtype SigDSIGN EcdsaSecp256k1DSIGN = SigEcdsaSecp256k1 (PinnedSizedBytes SECP256K1_ECDSA_SIGNATURE_BYTES_INTERNAL)

newtype SigDSIGN Ed25519DSIGN Source #

Instance details

newtype SigDSIGN Ed25519DSIGN = SigEd25519DSIGN (PinnedSizedBytes (SigSizeDSIGN Ed25519DSIGN))

newtype SigDSIGN Ed448DSIGN Source #

Instance details

newtype SigDSIGN Ed448DSIGN = SigEd448DSIGN Signature

data SigDSIGN MockDSIGN Source #

Instance details

Defined in Cardano.Crypto.DSIGN.Mock

data SigDSIGN MockDSIGN = SigMockDSIGN !(Hash ShortHash ()) !Word64

data SigDSIGN NeverDSIGN Source #

Instance details

data SigDSIGN NeverDSIGN = NeverUsedSigDSIGN

newtype SigDSIGN SchnorrSecp256k1DSIGN Source #

Instance details

newtype SigDSIGN SchnorrSecp256k1DSIGN = SigSchnorrSecp256k1 (PinnedSizedBytes (SigSizeDSIGN SchnorrSecp256k1DSIGN))

newtype SigDSIGN ByronDSIGN #

Instance details

newtype SigDSIGN ByronDSIGN = SigByronDSIGN (Signature ToSign)

newtype SigDSIGN (BLS12381DSIGN curve) Source #

Instance details

newtype SigDSIGN (BLS12381DSIGN curve) = SigBLS12381 (Point (DualCurve curve))

type Rep (SigDSIGN Ed25519Bip32DSIGN) Source #

Instance details

type Rep (SigDSIGN Ed25519Bip32DSIGN) = D1 ('MetaData "SigDSIGN" "Cardano.Api.Crypto.Ed25519Bip32" "cardano-api-10.26.0.0-inplace" 'True) (C1 ('MetaCons "SigEd25519Bip32DSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 XSignature)))

type Rep (SigDSIGN (BLS12381DSIGN curve)) Source #

Instance details

type Rep (SigDSIGN (BLS12381DSIGN curve)) = D1 ('MetaData "SigDSIGN" "Cardano.Crypto.DSIGN.BLS12381" "cardano-crypto-class-2.3.2.0-2011db05f0f9ec1eddf7491631a24bf2a41f32c8295316aeac0bb558d89c9f6b" 'True) (C1 ('MetaCons "SigBLS12381" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Point (DualCurve curve)))))

type Rep (SigDSIGN EcdsaSecp256k1DSIGN) Source #

Instance details

type Rep (SigDSIGN EcdsaSecp256k1DSIGN) = D1 ('MetaData "SigDSIGN" "Cardano.Crypto.DSIGN.EcdsaSecp256k1" "cardano-crypto-class-2.3.2.0-2011db05f0f9ec1eddf7491631a24bf2a41f32c8295316aeac0bb558d89c9f6b" '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) Source #

Instance details

type Rep (SigDSIGN Ed25519DSIGN) = D1 ('MetaData "SigDSIGN" "Cardano.Crypto.DSIGN.Ed25519" "cardano-crypto-class-2.3.2.0-2011db05f0f9ec1eddf7491631a24bf2a41f32c8295316aeac0bb558d89c9f6b" 'True) (C1 ('MetaCons "SigEd25519DSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PinnedSizedBytes (SigSizeDSIGN Ed25519DSIGN)))))

type Rep (SigDSIGN Ed448DSIGN) Source #

Instance details

type Rep (SigDSIGN Ed448DSIGN) = D1 ('MetaData "SigDSIGN" "Cardano.Crypto.DSIGN.Ed448" "cardano-crypto-class-2.3.2.0-2011db05f0f9ec1eddf7491631a24bf2a41f32c8295316aeac0bb558d89c9f6b" 'True) (C1 ('MetaCons "SigEd448DSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Signature)))

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.3.2.0-2011db05f0f9ec1eddf7491631a24bf2a41f32c8295316aeac0bb558d89c9f6b" 'False) (C1 ('MetaCons "SigMockDSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Hash ShortHash ())) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Word64)))

type Rep (SigDSIGN NeverDSIGN) Source #

Instance details

type Rep (SigDSIGN NeverDSIGN) = D1 ('MetaData "SigDSIGN" "Cardano.Crypto.DSIGN.NeverUsed" "cardano-crypto-class-2.3.2.0-2011db05f0f9ec1eddf7491631a24bf2a41f32c8295316aeac0bb558d89c9f6b" 'False) (C1 ('MetaCons "NeverUsedSigDSIGN" 'PrefixI 'False) (U1 :: Type -> Type))

type Rep (SigDSIGN SchnorrSecp256k1DSIGN) Source #

Instance details

type Rep (SigDSIGN SchnorrSecp256k1DSIGN) = D1 ('MetaData "SigDSIGN" "Cardano.Crypto.DSIGN.SchnorrSecp256k1" "cardano-crypto-class-2.3.2.0-2011db05f0f9ec1eddf7491631a24bf2a41f32c8295316aeac0bb558d89c9f6b" 'True) (C1 ('MetaCons "SigSchnorrSecp256k1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PinnedSizedBytes (SigSizeDSIGN SchnorrSecp256k1DSIGN)))))

type Rep (SigDSIGN ByronDSIGN) #

Instance details

type Rep (SigDSIGN ByronDSIGN) = D1 ('MetaData "SigDSIGN" "Ouroboros.Consensus.Byron.Crypto.DSIGN" "ouroboros-consensus-3.0.1.0-l-cardano-6ebc9a48bba481e033369983fdaf7bfd8ce1134d270b29c7b1500730fb2c01e2" 'True) (C1 ('MetaCons "SigByronDSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Signature ToSign))))

data family SignKeyDSIGN v Source #

Instances

Instances details

FromCBOR (SignKeyDSIGN Ed25519Bip32DSIGN) Source #

Instance details

Methods

fromCBOR :: Decoder s (SignKeyDSIGN Ed25519Bip32DSIGN) Source #

label :: Proxy (SignKeyDSIGN Ed25519Bip32DSIGN) -> Text Source #

BLS12381CurveConstraints curve => FromCBOR (SignKeyDSIGN (BLS12381DSIGN curve)) Source #

Instance details

Methods

fromCBOR :: Decoder s (SignKeyDSIGN (BLS12381DSIGN curve)) Source #

label :: Proxy (SignKeyDSIGN (BLS12381DSIGN curve)) -> Text Source #

FromCBOR (SignKeyDSIGN EcdsaSecp256k1DSIGN) Source #

Instance details

Methods

fromCBOR :: Decoder s (SignKeyDSIGN EcdsaSecp256k1DSIGN) Source #

label :: Proxy (SignKeyDSIGN EcdsaSecp256k1DSIGN) -> Text Source #

FromCBOR (SignKeyDSIGN Ed25519DSIGN) Source #

Instance details

Methods

fromCBOR :: Decoder s (SignKeyDSIGN Ed25519DSIGN) Source #

label :: Proxy (SignKeyDSIGN Ed25519DSIGN) -> Text Source #

FromCBOR (SignKeyDSIGN Ed448DSIGN) Source #

Instance details

Methods

fromCBOR :: Decoder s (SignKeyDSIGN Ed448DSIGN) Source #

label :: Proxy (SignKeyDSIGN Ed448DSIGN) -> 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

Methods

fromCBOR :: Decoder s (SignKeyDSIGN SchnorrSecp256k1DSIGN) Source #

label :: Proxy (SignKeyDSIGN SchnorrSecp256k1DSIGN) -> Text Source #

ToCBOR (SignKeyDSIGN Ed25519Bip32DSIGN) Source #

Instance details

Methods

toCBOR :: SignKeyDSIGN Ed25519Bip32DSIGN -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SignKeyDSIGN Ed25519Bip32DSIGN) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SignKeyDSIGN Ed25519Bip32DSIGN] -> Size Source #

BLS12381CurveConstraints curve => ToCBOR (SignKeyDSIGN (BLS12381DSIGN curve)) Source #

Instance details

Methods

toCBOR :: SignKeyDSIGN (BLS12381DSIGN curve) -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SignKeyDSIGN (BLS12381DSIGN curve)) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SignKeyDSIGN (BLS12381DSIGN curve)] -> Size Source #

ToCBOR (SignKeyDSIGN EcdsaSecp256k1DSIGN) Source #

Instance details

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) Source #

Instance details

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) Source #

Instance details

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) 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

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 #

DSIGNAlgorithm v => DecCBOR (SignKeyDSIGN v) Source #

Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

Methods

decCBOR :: Decoder s (SignKeyDSIGN v) Source #

dropCBOR :: Proxy (SignKeyDSIGN v) -> Decoder s () Source #

label :: Proxy (SignKeyDSIGN v) -> Text Source #

DSIGNAlgorithm v => EncCBOR (SignKeyDSIGN v) Source #

Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR :: SignKeyDSIGN v -> Encoding Source #

NFData (SignKeyDSIGN Ed25519Bip32DSIGN) Source #

Instance details

Methods

rnf :: SignKeyDSIGN Ed25519Bip32DSIGN -> () Source #

NFData (SignKeyDSIGN (BLS12381DSIGN curve)) Source #

Instance details

Methods

rnf :: SignKeyDSIGN (BLS12381DSIGN curve) -> () Source #

NFData (SignKeyDSIGN EcdsaSecp256k1DSIGN) Source #

Instance details

Methods

rnf :: SignKeyDSIGN EcdsaSecp256k1DSIGN -> () Source #

NFData (SignKeyDSIGN Ed25519DSIGN) Source #

Instance details

Methods

rnf :: SignKeyDSIGN Ed25519DSIGN -> () Source #

NFData (SignKeyDSIGN Ed448DSIGN) Source #

Instance details

Methods

rnf :: SignKeyDSIGN Ed448DSIGN -> () Source #

NFData (SignKeyDSIGN MockDSIGN) Source #

Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Methods

rnf :: SignKeyDSIGN MockDSIGN -> () Source #

NFData (SignKeyDSIGN SchnorrSecp256k1DSIGN) Source #

Instance details

Methods

rnf :: SignKeyDSIGN SchnorrSecp256k1DSIGN -> () Source #

Eq (SignKeyDSIGN (BLS12381DSIGN curve)) Source #

Instance details

Methods

(==) :: SignKeyDSIGN (BLS12381DSIGN curve) -> SignKeyDSIGN (BLS12381DSIGN curve) -> Bool Source #

(/=) :: SignKeyDSIGN (BLS12381DSIGN curve) -> SignKeyDSIGN (BLS12381DSIGN curve) -> Bool Source #

Eq (SignKeyDSIGN EcdsaSecp256k1DSIGN) Source #

Instance details

Methods

(==) :: SignKeyDSIGN EcdsaSecp256k1DSIGN -> SignKeyDSIGN EcdsaSecp256k1DSIGN -> Bool Source #

(/=) :: SignKeyDSIGN EcdsaSecp256k1DSIGN -> SignKeyDSIGN EcdsaSecp256k1DSIGN -> Bool Source #

Eq (SignKeyDSIGN Ed25519DSIGN) Source #

Instance details

Methods

(==) :: SignKeyDSIGN Ed25519DSIGN -> SignKeyDSIGN Ed25519DSIGN -> Bool Source #

(/=) :: SignKeyDSIGN Ed25519DSIGN -> SignKeyDSIGN Ed25519DSIGN -> Bool Source #

Eq (SignKeyDSIGN Ed448DSIGN) Source #

Instance details

Methods

(==) :: SignKeyDSIGN Ed448DSIGN -> SignKeyDSIGN Ed448DSIGN -> Bool Source #

(/=) :: SignKeyDSIGN Ed448DSIGN -> SignKeyDSIGN Ed448DSIGN -> 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 NeverDSIGN) Source #

Instance details

Methods

(==) :: SignKeyDSIGN NeverDSIGN -> SignKeyDSIGN NeverDSIGN -> Bool Source #

(/=) :: SignKeyDSIGN NeverDSIGN -> SignKeyDSIGN NeverDSIGN -> Bool Source #

Eq (SignKeyDSIGN SchnorrSecp256k1DSIGN) Source #

Instance details

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) 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 #

Generic (SignKeyDSIGN Ed25519Bip32DSIGN) Source #

Instance details

Associated Types

type Rep (SignKeyDSIGN Ed25519Bip32DSIGN)
Instance details Defined in Cardano.Api.Crypto.Ed25519Bip32 type Rep (SignKeyDSIGN Ed25519Bip32DSIGN) = D1 ('MetaData "SignKeyDSIGN" "Cardano.Api.Crypto.Ed25519Bip32" "cardano-api-10.26.0.0-inplace" 'True) (C1 ('MetaCons "SignKeyEd25519Bip32DSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 XPrv)))

Methods

from :: SignKeyDSIGN Ed25519Bip32DSIGN -> Rep (SignKeyDSIGN Ed25519Bip32DSIGN) x Source #

to :: Rep (SignKeyDSIGN Ed25519Bip32DSIGN) x -> SignKeyDSIGN Ed25519Bip32DSIGN Source #

Generic (SignKeyDSIGN (BLS12381DSIGN curve)) Source #

Instance details

Associated Types

type Rep (SignKeyDSIGN (BLS12381DSIGN curve))

Instance details

type Rep (SignKeyDSIGN (BLS12381DSIGN curve)) = D1 ('MetaData "SignKeyDSIGN" "Cardano.Crypto.DSIGN.BLS12381" "cardano-crypto-class-2.3.2.0-2011db05f0f9ec1eddf7491631a24bf2a41f32c8295316aeac0bb558d89c9f6b" 'True) (C1 ('MetaCons "SignKeyBLS12381" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Scalar)))

Methods

from :: SignKeyDSIGN (BLS12381DSIGN curve) -> Rep (SignKeyDSIGN (BLS12381DSIGN curve)) x Source #

to :: Rep (SignKeyDSIGN (BLS12381DSIGN curve)) x -> SignKeyDSIGN (BLS12381DSIGN curve) Source #

Generic (SignKeyDSIGN EcdsaSecp256k1DSIGN) Source #

Instance details

Associated Types

type Rep (SignKeyDSIGN EcdsaSecp256k1DSIGN)

Instance details

type Rep (SignKeyDSIGN EcdsaSecp256k1DSIGN) = D1 ('MetaData "SignKeyDSIGN" "Cardano.Crypto.DSIGN.EcdsaSecp256k1" "cardano-crypto-class-2.3.2.0-2011db05f0f9ec1eddf7491631a24bf2a41f32c8295316aeac0bb558d89c9f6b" 'True) (C1 ('MetaCons "SignKeyEcdsaSecp256k1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PinnedSizedBytes SECP256K1_ECDSA_PRIVKEY_BYTES))))

Methods

from :: SignKeyDSIGN EcdsaSecp256k1DSIGN -> Rep (SignKeyDSIGN EcdsaSecp256k1DSIGN) x Source #

to :: Rep (SignKeyDSIGN EcdsaSecp256k1DSIGN) x -> SignKeyDSIGN EcdsaSecp256k1DSIGN Source #

Generic (SignKeyDSIGN Ed25519DSIGN) Source #

Instance details

Associated Types

type Rep (SignKeyDSIGN Ed25519DSIGN)

Instance details

type Rep (SignKeyDSIGN Ed25519DSIGN) = D1 ('MetaData "SignKeyDSIGN" "Cardano.Crypto.DSIGN.Ed25519" "cardano-crypto-class-2.3.2.0-2011db05f0f9ec1eddf7491631a24bf2a41f32c8295316aeac0bb558d89c9f6b" 'True) (C1 ('MetaCons "SignKeyEd25519DSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PinnedSizedBytes CRYPTO_SIGN_ED25519_SECRETKEYBYTES))))

Methods

from :: SignKeyDSIGN Ed25519DSIGN -> Rep (SignKeyDSIGN Ed25519DSIGN) x Source #

to :: Rep (SignKeyDSIGN Ed25519DSIGN) x -> SignKeyDSIGN Ed25519DSIGN Source #

Generic (SignKeyDSIGN Ed448DSIGN) Source #

Instance details

Associated Types

type Rep (SignKeyDSIGN Ed448DSIGN)

Instance details

type Rep (SignKeyDSIGN Ed448DSIGN) = D1 ('MetaData "SignKeyDSIGN" "Cardano.Crypto.DSIGN.Ed448" "cardano-crypto-class-2.3.2.0-2011db05f0f9ec1eddf7491631a24bf2a41f32c8295316aeac0bb558d89c9f6b" 'True) (C1 ('MetaCons "SignKeyEd448DSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SecretKey)))

Methods

from :: SignKeyDSIGN Ed448DSIGN -> Rep (SignKeyDSIGN Ed448DSIGN) x Source #

to :: Rep (SignKeyDSIGN Ed448DSIGN) x -> SignKeyDSIGN Ed448DSIGN Source #

Generic (SignKeyDSIGN MockDSIGN) Source #

Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Associated Types

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.3.2.0-2011db05f0f9ec1eddf7491631a24bf2a41f32c8295316aeac0bb558d89c9f6b" 'True) (C1 ('MetaCons "SignKeyMockDSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

Methods

from :: SignKeyDSIGN MockDSIGN -> Rep (SignKeyDSIGN MockDSIGN) x Source #

to :: Rep (SignKeyDSIGN MockDSIGN) x -> SignKeyDSIGN MockDSIGN Source #

Generic (SignKeyDSIGN NeverDSIGN) Source #

Instance details

Associated Types

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.3.2.0-2011db05f0f9ec1eddf7491631a24bf2a41f32c8295316aeac0bb558d89c9f6b" 'False) (C1 ('MetaCons "NeverUsedSignKeyDSIGN" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: SignKeyDSIGN NeverDSIGN -> Rep (SignKeyDSIGN NeverDSIGN) x Source #

to :: Rep (SignKeyDSIGN NeverDSIGN) x -> SignKeyDSIGN NeverDSIGN Source #

Generic (SignKeyDSIGN SchnorrSecp256k1DSIGN) Source #

Instance details

Associated Types

type Rep (SignKeyDSIGN SchnorrSecp256k1DSIGN)

Instance details

type Rep (SignKeyDSIGN SchnorrSecp256k1DSIGN) = D1 ('MetaData "SignKeyDSIGN" "Cardano.Crypto.DSIGN.SchnorrSecp256k1" "cardano-crypto-class-2.3.2.0-2011db05f0f9ec1eddf7491631a24bf2a41f32c8295316aeac0bb558d89c9f6b" 'True) (C1 ('MetaCons "SignKeySchnorrSecp256k1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PinnedSizedBytes (SignKeySizeDSIGN SchnorrSecp256k1DSIGN)))))

Methods

from :: SignKeyDSIGN SchnorrSecp256k1DSIGN -> Rep (SignKeyDSIGN SchnorrSecp256k1DSIGN) x Source #

to :: Rep (SignKeyDSIGN SchnorrSecp256k1DSIGN) x -> SignKeyDSIGN SchnorrSecp256k1DSIGN Source #

Generic (SignKeyDSIGN ByronDSIGN) #

Instance details

Associated Types

type Rep (SignKeyDSIGN ByronDSIGN)

Instance details

type Rep (SignKeyDSIGN ByronDSIGN) = D1 ('MetaData "SignKeyDSIGN" "Ouroboros.Consensus.Byron.Crypto.DSIGN" "ouroboros-consensus-3.0.1.0-l-cardano-6ebc9a48bba481e033369983fdaf7bfd8ce1134d270b29c7b1500730fb2c01e2" 'True) (C1 ('MetaCons "SignKeyByronDSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SigningKey)))

Methods

from :: SignKeyDSIGN ByronDSIGN -> Rep (SignKeyDSIGN ByronDSIGN) x Source #

to :: Rep (SignKeyDSIGN ByronDSIGN) x -> SignKeyDSIGN ByronDSIGN 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 #

Show (SignKeyDSIGN Ed25519Bip32DSIGN) Source #

Instance details

Methods

showsPrec :: Int -> SignKeyDSIGN Ed25519Bip32DSIGN -> ShowS Source #

show :: SignKeyDSIGN Ed25519Bip32DSIGN -> String Source #

showList :: [SignKeyDSIGN Ed25519Bip32DSIGN] -> ShowS Source #

Show (SignKeyDSIGN (BLS12381DSIGN curve)) Source #

Instance details

Methods

showsPrec :: Int -> SignKeyDSIGN (BLS12381DSIGN curve) -> ShowS Source #

show :: SignKeyDSIGN (BLS12381DSIGN curve) -> String Source #

showList :: [SignKeyDSIGN (BLS12381DSIGN curve)] -> ShowS Source #

Show (SignKeyDSIGN EcdsaSecp256k1DSIGN) Source #

Instance details

Methods

showsPrec :: Int -> SignKeyDSIGN EcdsaSecp256k1DSIGN -> ShowS Source #

show :: SignKeyDSIGN EcdsaSecp256k1DSIGN -> String Source #

showList :: [SignKeyDSIGN EcdsaSecp256k1DSIGN] -> ShowS Source #

Show (SignKeyDSIGN Ed25519DSIGN) Source #

Instance details

Methods

showsPrec :: Int -> SignKeyDSIGN Ed25519DSIGN -> ShowS Source #

show :: SignKeyDSIGN Ed25519DSIGN -> String Source #

showList :: [SignKeyDSIGN Ed25519DSIGN] -> ShowS Source #

Show (SignKeyDSIGN Ed448DSIGN) Source #

Instance details

Methods

showsPrec :: Int -> SignKeyDSIGN Ed448DSIGN -> ShowS Source #

show :: SignKeyDSIGN Ed448DSIGN -> String Source #

showList :: [SignKeyDSIGN Ed448DSIGN] -> 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 NeverDSIGN) Source #

Instance details

Methods

showsPrec :: Int -> SignKeyDSIGN NeverDSIGN -> ShowS Source #

show :: SignKeyDSIGN NeverDSIGN -> String Source #

showList :: [SignKeyDSIGN NeverDSIGN] -> ShowS Source #

Show (SignKeyDSIGN SchnorrSecp256k1DSIGN) Source #

Instance details

Methods

showsPrec :: Int -> SignKeyDSIGN SchnorrSecp256k1DSIGN -> ShowS Source #

show :: SignKeyDSIGN SchnorrSecp256k1DSIGN -> String Source #

showList :: [SignKeyDSIGN SchnorrSecp256k1DSIGN] -> ShowS Source #

Show (SignKeyDSIGN ByronDSIGN) #

Instance details

Methods

showsPrec :: Int -> SignKeyDSIGN ByronDSIGN -> ShowS Source #

show :: SignKeyDSIGN ByronDSIGN -> String Source #

showList :: [SignKeyDSIGN ByronDSIGN] -> ShowS Source #

ByteArrayAccess (SignKeyDSIGN Ed25519Bip32DSIGN)

Instance details

Methods

length :: SignKeyDSIGN Ed25519Bip32DSIGN -> Int

withByteArray :: SignKeyDSIGN Ed25519Bip32DSIGN -> (Ptr p -> IO a) -> IO a

copyByteArrayToPtr :: SignKeyDSIGN Ed25519Bip32DSIGN -> Ptr p -> IO ()

ByteArrayAccess (SignKeyDSIGN Ed448DSIGN)

Instance details

Methods

length :: SignKeyDSIGN Ed448DSIGN -> Int

withByteArray :: SignKeyDSIGN Ed448DSIGN -> (Ptr p -> IO a) -> IO a

copyByteArrayToPtr :: SignKeyDSIGN Ed448DSIGN -> Ptr p -> IO ()

NoThunks (SignKeyDSIGN Ed25519Bip32DSIGN) Source #

Instance details

Methods

noThunks :: Context -> SignKeyDSIGN Ed25519Bip32DSIGN -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> SignKeyDSIGN Ed25519Bip32DSIGN -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy (SignKeyDSIGN Ed25519Bip32DSIGN) -> String #

NoThunks (SignKeyDSIGN (BLS12381DSIGN curve)) Source #

Instance details

Methods

noThunks :: Context -> SignKeyDSIGN (BLS12381DSIGN curve) -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> SignKeyDSIGN (BLS12381DSIGN curve) -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy (SignKeyDSIGN (BLS12381DSIGN curve)) -> String #

NoThunks (SignKeyDSIGN EcdsaSecp256k1DSIGN) Source #

Instance details

Methods

noThunks :: Context -> SignKeyDSIGN EcdsaSecp256k1DSIGN -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> SignKeyDSIGN EcdsaSecp256k1DSIGN -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy (SignKeyDSIGN EcdsaSecp256k1DSIGN) -> String #

NoThunks (SignKeyDSIGN Ed25519DSIGN) Source #

Instance details

Methods

noThunks :: Context -> SignKeyDSIGN Ed25519DSIGN -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> SignKeyDSIGN Ed25519DSIGN -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy (SignKeyDSIGN Ed25519DSIGN) -> String #

NoThunks (SignKeyDSIGN Ed448DSIGN) Source #

Instance details

Methods

noThunks :: Context -> SignKeyDSIGN Ed448DSIGN -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> SignKeyDSIGN Ed448DSIGN -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy (SignKeyDSIGN Ed448DSIGN) -> String #

NoThunks (SignKeyDSIGN MockDSIGN) Source #

Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Methods

noThunks :: Context -> SignKeyDSIGN MockDSIGN -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> SignKeyDSIGN MockDSIGN -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy (SignKeyDSIGN MockDSIGN) -> String #

NoThunks (SignKeyDSIGN NeverDSIGN) Source #

Instance details

Methods

noThunks :: Context -> SignKeyDSIGN NeverDSIGN -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> SignKeyDSIGN NeverDSIGN -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy (SignKeyDSIGN NeverDSIGN) -> String #

NoThunks (SignKeyDSIGN SchnorrSecp256k1DSIGN) Source #

Instance details

Methods

noThunks :: Context -> SignKeyDSIGN SchnorrSecp256k1DSIGN -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> SignKeyDSIGN SchnorrSecp256k1DSIGN -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy (SignKeyDSIGN SchnorrSecp256k1DSIGN) -> String #

NoThunks (SignKeyDSIGN ByronDSIGN) #

Instance details

Methods

noThunks :: Context -> SignKeyDSIGN ByronDSIGN -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> SignKeyDSIGN ByronDSIGN -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy (SignKeyDSIGN ByronDSIGN) -> String #

DSIGNAlgorithm dsign => HasInfo (DirectCodec m) (SignKeyDSIGN dsign)

Instance details

Defined in Cardano.KESAgent.Serialization.DirectCodec

Methods

info :: Proxy (DirectCodec m) -> Proxy (SignKeyDSIGN dsign) -> FieldInfo (DirectCodec m)

(MonadST m, MonadSTM m, MonadThrow m, DSIGNAlgorithm dsign) => Serializable (DirectCodec m) (SignKeyDSIGN dsign)

Instance details

Defined in Cardano.KESAgent.Serialization.DirectCodec

Methods

encode :: Proxy (DirectCodec m) -> SignKeyDSIGN dsign -> MonadEncode (DirectCodec m) ()

decode :: Proxy (DirectCodec m) -> MonadDecode (DirectCodec m) (SignKeyDSIGN dsign)

newtype SignKeyDSIGN Ed25519Bip32DSIGN Source #

Instance details

newtype SignKeyDSIGN Ed25519Bip32DSIGN = SignKeyEd25519Bip32DSIGN XPrv

newtype SignKeyDSIGN EcdsaSecp256k1DSIGN Source #

Instance details

newtype SignKeyDSIGN EcdsaSecp256k1DSIGN = SignKeyEcdsaSecp256k1 (PinnedSizedBytes SECP256K1_ECDSA_PRIVKEY_BYTES)

newtype SignKeyDSIGN Ed25519DSIGN Source #

Instance details

newtype SignKeyDSIGN Ed25519DSIGN = SignKeyEd25519DSIGN (PinnedSizedBytes CRYPTO_SIGN_ED25519_SECRETKEYBYTES)

newtype SignKeyDSIGN Ed448DSIGN Source #

Instance details

newtype SignKeyDSIGN Ed448DSIGN = SignKeyEd448DSIGN SecretKey

newtype SignKeyDSIGN MockDSIGN Source #

Instance details

Defined in Cardano.Crypto.DSIGN.Mock

newtype SignKeyDSIGN MockDSIGN = SignKeyMockDSIGN Word64

data SignKeyDSIGN NeverDSIGN Source #

Instance details

data SignKeyDSIGN NeverDSIGN = NeverUsedSignKeyDSIGN

newtype SignKeyDSIGN SchnorrSecp256k1DSIGN Source #

Instance details

newtype SignKeyDSIGN SchnorrSecp256k1DSIGN = SignKeySchnorrSecp256k1 (PinnedSizedBytes (SignKeySizeDSIGN SchnorrSecp256k1DSIGN))

newtype SignKeyDSIGN ByronDSIGN #

Instance details

newtype SignKeyDSIGN ByronDSIGN = SignKeyByronDSIGN SigningKey

newtype SignKeyDSIGN (BLS12381DSIGN curve) Source #

Instance details

newtype SignKeyDSIGN (BLS12381DSIGN curve) = SignKeyBLS12381 Scalar

type Rep (SignKeyDSIGN Ed25519Bip32DSIGN) Source #

Instance details

type Rep (SignKeyDSIGN Ed25519Bip32DSIGN) = D1 ('MetaData "SignKeyDSIGN" "Cardano.Api.Crypto.Ed25519Bip32" "cardano-api-10.26.0.0-inplace" 'True) (C1 ('MetaCons "SignKeyEd25519Bip32DSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 XPrv)))

type Rep (SignKeyDSIGN (BLS12381DSIGN curve)) Source #

Instance details

type Rep (SignKeyDSIGN (BLS12381DSIGN curve)) = D1 ('MetaData "SignKeyDSIGN" "Cardano.Crypto.DSIGN.BLS12381" "cardano-crypto-class-2.3.2.0-2011db05f0f9ec1eddf7491631a24bf2a41f32c8295316aeac0bb558d89c9f6b" 'True) (C1 ('MetaCons "SignKeyBLS12381" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Scalar)))

type Rep (SignKeyDSIGN EcdsaSecp256k1DSIGN) Source #

Instance details

type Rep (SignKeyDSIGN EcdsaSecp256k1DSIGN) = D1 ('MetaData "SignKeyDSIGN" "Cardano.Crypto.DSIGN.EcdsaSecp256k1" "cardano-crypto-class-2.3.2.0-2011db05f0f9ec1eddf7491631a24bf2a41f32c8295316aeac0bb558d89c9f6b" 'True) (C1 ('MetaCons "SignKeyEcdsaSecp256k1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PinnedSizedBytes SECP256K1_ECDSA_PRIVKEY_BYTES))))

type Rep (SignKeyDSIGN Ed25519DSIGN) Source #

Instance details

type Rep (SignKeyDSIGN Ed25519DSIGN) = D1 ('MetaData "SignKeyDSIGN" "Cardano.Crypto.DSIGN.Ed25519" "cardano-crypto-class-2.3.2.0-2011db05f0f9ec1eddf7491631a24bf2a41f32c8295316aeac0bb558d89c9f6b" 'True) (C1 ('MetaCons "SignKeyEd25519DSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PinnedSizedBytes CRYPTO_SIGN_ED25519_SECRETKEYBYTES))))

type Rep (SignKeyDSIGN Ed448DSIGN) Source #

Instance details

type Rep (SignKeyDSIGN Ed448DSIGN) = D1 ('MetaData "SignKeyDSIGN" "Cardano.Crypto.DSIGN.Ed448" "cardano-crypto-class-2.3.2.0-2011db05f0f9ec1eddf7491631a24bf2a41f32c8295316aeac0bb558d89c9f6b" 'True) (C1 ('MetaCons "SignKeyEd448DSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SecretKey)))

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.3.2.0-2011db05f0f9ec1eddf7491631a24bf2a41f32c8295316aeac0bb558d89c9f6b" 'True) (C1 ('MetaCons "SignKeyMockDSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

type Rep (SignKeyDSIGN NeverDSIGN) Source #

Instance details

type Rep (SignKeyDSIGN NeverDSIGN) = D1 ('MetaData "SignKeyDSIGN" "Cardano.Crypto.DSIGN.NeverUsed" "cardano-crypto-class-2.3.2.0-2011db05f0f9ec1eddf7491631a24bf2a41f32c8295316aeac0bb558d89c9f6b" 'False) (C1 ('MetaCons "NeverUsedSignKeyDSIGN" 'PrefixI 'False) (U1 :: Type -> Type))

type Rep (SignKeyDSIGN SchnorrSecp256k1DSIGN) Source #

Instance details

type Rep (SignKeyDSIGN SchnorrSecp256k1DSIGN) = D1 ('MetaData "SignKeyDSIGN" "Cardano.Crypto.DSIGN.SchnorrSecp256k1" "cardano-crypto-class-2.3.2.0-2011db05f0f9ec1eddf7491631a24bf2a41f32c8295316aeac0bb558d89c9f6b" 'True) (C1 ('MetaCons "SignKeySchnorrSecp256k1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PinnedSizedBytes (SignKeySizeDSIGN SchnorrSecp256k1DSIGN)))))

type Rep (SignKeyDSIGN ByronDSIGN) #

Instance details

type Rep (SignKeyDSIGN ByronDSIGN) = D1 ('MetaData "SignKeyDSIGN" "Ouroboros.Consensus.Byron.Crypto.DSIGN" "ouroboros-consensus-3.0.1.0-l-cardano-6ebc9a48bba481e033369983fdaf7bfd8ce1134d270b29c7b1500730fb2c01e2" 'True) (C1 ('MetaCons "SignKeyByronDSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SigningKey)))

data family VerKeyDSIGN v Source #

Instances

Instances details

FromCBOR (VerKeyDSIGN Ed25519Bip32DSIGN) Source #

Instance details

Methods

fromCBOR :: Decoder s (VerKeyDSIGN Ed25519Bip32DSIGN) Source #

label :: Proxy (VerKeyDSIGN Ed25519Bip32DSIGN) -> Text Source #

BLS12381CurveConstraints curve => FromCBOR (VerKeyDSIGN (BLS12381DSIGN curve)) Source #

Instance details

Methods

fromCBOR :: Decoder s (VerKeyDSIGN (BLS12381DSIGN curve)) Source #

label :: Proxy (VerKeyDSIGN (BLS12381DSIGN curve)) -> Text Source #

FromCBOR (VerKeyDSIGN EcdsaSecp256k1DSIGN) Source #

Instance details

Methods

fromCBOR :: Decoder s (VerKeyDSIGN EcdsaSecp256k1DSIGN) Source #

label :: Proxy (VerKeyDSIGN EcdsaSecp256k1DSIGN) -> Text Source #

FromCBOR (VerKeyDSIGN Ed25519DSIGN) Source #

Instance details

Methods

fromCBOR :: Decoder s (VerKeyDSIGN Ed25519DSIGN) Source #

label :: Proxy (VerKeyDSIGN Ed25519DSIGN) -> Text Source #

FromCBOR (VerKeyDSIGN Ed448DSIGN) Source #

Instance details

Methods

fromCBOR :: Decoder s (VerKeyDSIGN Ed448DSIGN) Source #

label :: Proxy (VerKeyDSIGN Ed448DSIGN) -> 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

Methods

fromCBOR :: Decoder s (VerKeyDSIGN SchnorrSecp256k1DSIGN) Source #

label :: Proxy (VerKeyDSIGN SchnorrSecp256k1DSIGN) -> Text Source #

ToCBOR (VerKeyDSIGN Ed25519Bip32DSIGN) Source #

Instance details

Methods

toCBOR :: VerKeyDSIGN Ed25519Bip32DSIGN -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (VerKeyDSIGN Ed25519Bip32DSIGN) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [VerKeyDSIGN Ed25519Bip32DSIGN] -> Size Source #

BLS12381CurveConstraints curve => ToCBOR (VerKeyDSIGN (BLS12381DSIGN curve)) Source #

Instance details

Methods

toCBOR :: VerKeyDSIGN (BLS12381DSIGN curve) -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (VerKeyDSIGN (BLS12381DSIGN curve)) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [VerKeyDSIGN (BLS12381DSIGN curve)] -> Size Source #

ToCBOR (VerKeyDSIGN EcdsaSecp256k1DSIGN) Source #

Instance details

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) Source #

Instance details

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) Source #

Instance details

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) 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

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 #

DirectDeserialise (VerKeyDSIGN Ed25519DSIGN) Source #

Instance details

Methods

directDeserialise :: (MonadST m, MonadThrow m) => (Ptr CChar -> CSize -> m ()) -> m (VerKeyDSIGN Ed25519DSIGN) Source #

DirectSerialise (VerKeyDSIGN Ed25519DSIGN) Source #

Instance details

Methods

directSerialise :: (MonadST m, MonadThrow m) => (Ptr CChar -> CSize -> m ()) -> VerKeyDSIGN Ed25519DSIGN -> m () Source #

DSIGNAlgorithm v => DecCBOR (VerKeyDSIGN v) Source #

Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

Methods

decCBOR :: Decoder s (VerKeyDSIGN v) Source #

dropCBOR :: Proxy (VerKeyDSIGN v) -> Decoder s () Source #

label :: Proxy (VerKeyDSIGN v) -> Text Source #

DSIGNAlgorithm v => EncCBOR (VerKeyDSIGN v) Source #

Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR :: VerKeyDSIGN v -> Encoding Source #

NFData (VerKeyDSIGN Ed25519Bip32DSIGN) Source #

Instance details

Methods

rnf :: VerKeyDSIGN Ed25519Bip32DSIGN -> () Source #

NFData (VerKeyDSIGN (BLS12381DSIGN curve)) Source #

Instance details

Methods

rnf :: VerKeyDSIGN (BLS12381DSIGN curve) -> () Source #

NFData (VerKeyDSIGN EcdsaSecp256k1DSIGN) Source #

Instance details

Methods

rnf :: VerKeyDSIGN EcdsaSecp256k1DSIGN -> () Source #

NFData (VerKeyDSIGN Ed25519DSIGN) Source #

Instance details

Methods

rnf :: VerKeyDSIGN Ed25519DSIGN -> () Source #

NFData (VerKeyDSIGN Ed448DSIGN) Source #

Instance details

Methods

rnf :: VerKeyDSIGN Ed448DSIGN -> () Source #

NFData (VerKeyDSIGN MockDSIGN) Source #

Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Methods

rnf :: VerKeyDSIGN MockDSIGN -> () Source #

NFData (VerKeyDSIGN SchnorrSecp256k1DSIGN) Source #

Instance details

Methods

rnf :: VerKeyDSIGN SchnorrSecp256k1DSIGN -> () Source #

Eq (VerKeyDSIGN Ed25519Bip32DSIGN) Source #

Instance details

Methods

(==) :: VerKeyDSIGN Ed25519Bip32DSIGN -> VerKeyDSIGN Ed25519Bip32DSIGN -> Bool Source #

(/=) :: VerKeyDSIGN Ed25519Bip32DSIGN -> VerKeyDSIGN Ed25519Bip32DSIGN -> Bool Source #

BLS curve => Eq (VerKeyDSIGN (BLS12381DSIGN curve)) Source #

Instance details

Methods

(==) :: VerKeyDSIGN (BLS12381DSIGN curve) -> VerKeyDSIGN (BLS12381DSIGN curve) -> Bool Source #

(/=) :: VerKeyDSIGN (BLS12381DSIGN curve) -> VerKeyDSIGN (BLS12381DSIGN curve) -> Bool Source #

Eq (VerKeyDSIGN EcdsaSecp256k1DSIGN) Source #

Instance details

Methods

(==) :: VerKeyDSIGN EcdsaSecp256k1DSIGN -> VerKeyDSIGN EcdsaSecp256k1DSIGN -> Bool Source #

(/=) :: VerKeyDSIGN EcdsaSecp256k1DSIGN -> VerKeyDSIGN EcdsaSecp256k1DSIGN -> Bool Source #

Eq (VerKeyDSIGN Ed25519DSIGN) Source #

Instance details

Methods

(==) :: VerKeyDSIGN Ed25519DSIGN -> VerKeyDSIGN Ed25519DSIGN -> Bool Source #

(/=) :: VerKeyDSIGN Ed25519DSIGN -> VerKeyDSIGN Ed25519DSIGN -> Bool Source #

Eq (VerKeyDSIGN Ed448DSIGN) Source #

Instance details

Methods

(==) :: VerKeyDSIGN Ed448DSIGN -> VerKeyDSIGN Ed448DSIGN -> Bool Source #

(/=) :: VerKeyDSIGN Ed448DSIGN -> VerKeyDSIGN Ed448DSIGN -> 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 NeverDSIGN) Source #

Instance details

Methods

(==) :: VerKeyDSIGN NeverDSIGN -> VerKeyDSIGN NeverDSIGN -> Bool Source #

(/=) :: VerKeyDSIGN NeverDSIGN -> VerKeyDSIGN NeverDSIGN -> Bool Source #

Eq (VerKeyDSIGN SchnorrSecp256k1DSIGN) Source #

Instance details

Methods

(==) :: VerKeyDSIGN SchnorrSecp256k1DSIGN -> VerKeyDSIGN SchnorrSecp256k1DSIGN -> Bool Source #

(/=) :: VerKeyDSIGN SchnorrSecp256k1DSIGN -> VerKeyDSIGN SchnorrSecp256k1DSIGN -> Bool Source #

Eq (VerKeyDSIGN ByronDSIGN) #

Instance details

Methods

(==) :: VerKeyDSIGN ByronDSIGN -> VerKeyDSIGN ByronDSIGN -> Bool Source #

(/=) :: VerKeyDSIGN ByronDSIGN -> VerKeyDSIGN ByronDSIGN -> Bool 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 #

Generic (VerKeyDSIGN Ed25519Bip32DSIGN) Source #

Instance details

Associated Types

type Rep (VerKeyDSIGN Ed25519Bip32DSIGN)
Instance details Defined in Cardano.Api.Crypto.Ed25519Bip32 type Rep (VerKeyDSIGN Ed25519Bip32DSIGN) = D1 ('MetaData "VerKeyDSIGN" "Cardano.Api.Crypto.Ed25519Bip32" "cardano-api-10.26.0.0-inplace" 'True) (C1 ('MetaCons "VerKeyEd25519Bip32DSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 XPub)))

Methods

from :: VerKeyDSIGN Ed25519Bip32DSIGN -> Rep (VerKeyDSIGN Ed25519Bip32DSIGN) x Source #

to :: Rep (VerKeyDSIGN Ed25519Bip32DSIGN) x -> VerKeyDSIGN Ed25519Bip32DSIGN Source #

Generic (VerKeyDSIGN (BLS12381DSIGN curve)) Source #

Instance details

Associated Types

type Rep (VerKeyDSIGN (BLS12381DSIGN curve))

Instance details

type Rep (VerKeyDSIGN (BLS12381DSIGN curve)) = D1 ('MetaData "VerKeyDSIGN" "Cardano.Crypto.DSIGN.BLS12381" "cardano-crypto-class-2.3.2.0-2011db05f0f9ec1eddf7491631a24bf2a41f32c8295316aeac0bb558d89c9f6b" 'True) (C1 ('MetaCons "VerKeyBLS12381" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Point curve))))

Methods

from :: VerKeyDSIGN (BLS12381DSIGN curve) -> Rep (VerKeyDSIGN (BLS12381DSIGN curve)) x Source #

to :: Rep (VerKeyDSIGN (BLS12381DSIGN curve)) x -> VerKeyDSIGN (BLS12381DSIGN curve) Source #

Generic (VerKeyDSIGN EcdsaSecp256k1DSIGN) Source #

Instance details

Associated Types

type Rep (VerKeyDSIGN EcdsaSecp256k1DSIGN)

Instance details

type Rep (VerKeyDSIGN EcdsaSecp256k1DSIGN) = D1 ('MetaData "VerKeyDSIGN" "Cardano.Crypto.DSIGN.EcdsaSecp256k1" "cardano-crypto-class-2.3.2.0-2011db05f0f9ec1eddf7491631a24bf2a41f32c8295316aeac0bb558d89c9f6b" 'True) (C1 ('MetaCons "VerKeyEcdsaSecp256k1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PinnedSizedBytes SECP256K1_ECDSA_PUBKEY_BYTES_INTERNAL))))

Methods

from :: VerKeyDSIGN EcdsaSecp256k1DSIGN -> Rep (VerKeyDSIGN EcdsaSecp256k1DSIGN) x Source #

to :: Rep (VerKeyDSIGN EcdsaSecp256k1DSIGN) x -> VerKeyDSIGN EcdsaSecp256k1DSIGN Source #

Generic (VerKeyDSIGN Ed25519DSIGN) Source #

Instance details

Associated Types

type Rep (VerKeyDSIGN Ed25519DSIGN)

Instance details

type Rep (VerKeyDSIGN Ed25519DSIGN) = D1 ('MetaData "VerKeyDSIGN" "Cardano.Crypto.DSIGN.Ed25519" "cardano-crypto-class-2.3.2.0-2011db05f0f9ec1eddf7491631a24bf2a41f32c8295316aeac0bb558d89c9f6b" 'True) (C1 ('MetaCons "VerKeyEd25519DSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PinnedSizedBytes (VerKeySizeDSIGN Ed25519DSIGN)))))

Methods

from :: VerKeyDSIGN Ed25519DSIGN -> Rep (VerKeyDSIGN Ed25519DSIGN) x Source #

to :: Rep (VerKeyDSIGN Ed25519DSIGN) x -> VerKeyDSIGN Ed25519DSIGN Source #

Generic (VerKeyDSIGN Ed448DSIGN) Source #

Instance details

Associated Types

type Rep (VerKeyDSIGN Ed448DSIGN)

Instance details

type Rep (VerKeyDSIGN Ed448DSIGN) = D1 ('MetaData "VerKeyDSIGN" "Cardano.Crypto.DSIGN.Ed448" "cardano-crypto-class-2.3.2.0-2011db05f0f9ec1eddf7491631a24bf2a41f32c8295316aeac0bb558d89c9f6b" 'True) (C1 ('MetaCons "VerKeyEd448DSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PublicKey)))

Methods

from :: VerKeyDSIGN Ed448DSIGN -> Rep (VerKeyDSIGN Ed448DSIGN) x Source #

to :: Rep (VerKeyDSIGN Ed448DSIGN) x -> VerKeyDSIGN Ed448DSIGN Source #

Generic (VerKeyDSIGN MockDSIGN) Source #

Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Associated Types

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.3.2.0-2011db05f0f9ec1eddf7491631a24bf2a41f32c8295316aeac0bb558d89c9f6b" 'True) (C1 ('MetaCons "VerKeyMockDSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

Methods

from :: VerKeyDSIGN MockDSIGN -> Rep (VerKeyDSIGN MockDSIGN) x Source #

to :: Rep (VerKeyDSIGN MockDSIGN) x -> VerKeyDSIGN MockDSIGN Source #

Generic (VerKeyDSIGN NeverDSIGN) Source #

Instance details

Associated Types

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.3.2.0-2011db05f0f9ec1eddf7491631a24bf2a41f32c8295316aeac0bb558d89c9f6b" 'False) (C1 ('MetaCons "NeverUsedVerKeyDSIGN" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: VerKeyDSIGN NeverDSIGN -> Rep (VerKeyDSIGN NeverDSIGN) x Source #

to :: Rep (VerKeyDSIGN NeverDSIGN) x -> VerKeyDSIGN NeverDSIGN Source #

Generic (VerKeyDSIGN SchnorrSecp256k1DSIGN) Source #

Instance details

Associated Types

type Rep (VerKeyDSIGN SchnorrSecp256k1DSIGN)

Instance details

type Rep (VerKeyDSIGN SchnorrSecp256k1DSIGN) = D1 ('MetaData "VerKeyDSIGN" "Cardano.Crypto.DSIGN.SchnorrSecp256k1" "cardano-crypto-class-2.3.2.0-2011db05f0f9ec1eddf7491631a24bf2a41f32c8295316aeac0bb558d89c9f6b" 'True) (C1 ('MetaCons "VerKeySchnorrSecp256k1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PinnedSizedBytes SECP256K1_SCHNORR_PUBKEY_BYTES_INTERNAL))))

Methods

from :: VerKeyDSIGN SchnorrSecp256k1DSIGN -> Rep (VerKeyDSIGN SchnorrSecp256k1DSIGN) x Source #

to :: Rep (VerKeyDSIGN SchnorrSecp256k1DSIGN) x -> VerKeyDSIGN SchnorrSecp256k1DSIGN Source #

Generic (VerKeyDSIGN ByronDSIGN) #

Instance details

Associated Types

type Rep (VerKeyDSIGN ByronDSIGN)

Instance details

type Rep (VerKeyDSIGN ByronDSIGN) = D1 ('MetaData "VerKeyDSIGN" "Ouroboros.Consensus.Byron.Crypto.DSIGN" "ouroboros-consensus-3.0.1.0-l-cardano-6ebc9a48bba481e033369983fdaf7bfd8ce1134d270b29c7b1500730fb2c01e2" 'True) (C1 ('MetaCons "VerKeyByronDSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 VerificationKey)))

Methods

from :: VerKeyDSIGN ByronDSIGN -> Rep (VerKeyDSIGN ByronDSIGN) x Source #

to :: Rep (VerKeyDSIGN ByronDSIGN) x -> VerKeyDSIGN ByronDSIGN 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 #

Show (VerKeyDSIGN Ed25519Bip32DSIGN) Source #

Instance details

Methods

showsPrec :: Int -> VerKeyDSIGN Ed25519Bip32DSIGN -> ShowS Source #

show :: VerKeyDSIGN Ed25519Bip32DSIGN -> String Source #

showList :: [VerKeyDSIGN Ed25519Bip32DSIGN] -> ShowS Source #

Show (VerKeyDSIGN (BLS12381DSIGN curve)) Source #

Instance details

Methods

showsPrec :: Int -> VerKeyDSIGN (BLS12381DSIGN curve) -> ShowS Source #

show :: VerKeyDSIGN (BLS12381DSIGN curve) -> String Source #

showList :: [VerKeyDSIGN (BLS12381DSIGN curve)] -> ShowS Source #

Show (VerKeyDSIGN EcdsaSecp256k1DSIGN) Source #

Instance details

Methods

showsPrec :: Int -> VerKeyDSIGN EcdsaSecp256k1DSIGN -> ShowS Source #

show :: VerKeyDSIGN EcdsaSecp256k1DSIGN -> String Source #

showList :: [VerKeyDSIGN EcdsaSecp256k1DSIGN] -> ShowS Source #

Show (VerKeyDSIGN Ed25519DSIGN) Source #

Instance details

Methods

showsPrec :: Int -> VerKeyDSIGN Ed25519DSIGN -> ShowS Source #

show :: VerKeyDSIGN Ed25519DSIGN -> String Source #

showList :: [VerKeyDSIGN Ed25519DSIGN] -> ShowS Source #

Show (VerKeyDSIGN Ed448DSIGN) Source #

Instance details

Methods

showsPrec :: Int -> VerKeyDSIGN Ed448DSIGN -> ShowS Source #

show :: VerKeyDSIGN Ed448DSIGN -> String Source #

showList :: [VerKeyDSIGN Ed448DSIGN] -> 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 NeverDSIGN) Source #

Instance details

Methods

showsPrec :: Int -> VerKeyDSIGN NeverDSIGN -> ShowS Source #

show :: VerKeyDSIGN NeverDSIGN -> String Source #

showList :: [VerKeyDSIGN NeverDSIGN] -> ShowS Source #

Show (VerKeyDSIGN SchnorrSecp256k1DSIGN) Source #

Instance details

Methods

showsPrec :: Int -> VerKeyDSIGN SchnorrSecp256k1DSIGN -> ShowS Source #

show :: VerKeyDSIGN SchnorrSecp256k1DSIGN -> String Source #

showList :: [VerKeyDSIGN SchnorrSecp256k1DSIGN] -> ShowS Source #

Show (VerKeyDSIGN ByronDSIGN) #

Instance details

Methods

showsPrec :: Int -> VerKeyDSIGN ByronDSIGN -> ShowS Source #

show :: VerKeyDSIGN ByronDSIGN -> String Source #

showList :: [VerKeyDSIGN ByronDSIGN] -> ShowS Source #

ByteArrayAccess (VerKeyDSIGN Ed448DSIGN)

Instance details

Methods

length :: VerKeyDSIGN Ed448DSIGN -> Int

withByteArray :: VerKeyDSIGN Ed448DSIGN -> (Ptr p -> IO a) -> IO a

copyByteArrayToPtr :: VerKeyDSIGN Ed448DSIGN -> Ptr p -> IO ()

NoThunks (VerKeyDSIGN Ed25519Bip32DSIGN) Source #

Instance details

Methods

noThunks :: Context -> VerKeyDSIGN Ed25519Bip32DSIGN -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> VerKeyDSIGN Ed25519Bip32DSIGN -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy (VerKeyDSIGN Ed25519Bip32DSIGN) -> String #

NoThunks (VerKeyDSIGN (BLS12381DSIGN curve)) Source #

Instance details

Methods

noThunks :: Context -> VerKeyDSIGN (BLS12381DSIGN curve) -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> VerKeyDSIGN (BLS12381DSIGN curve) -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy (VerKeyDSIGN (BLS12381DSIGN curve)) -> String #

NoThunks (VerKeyDSIGN EcdsaSecp256k1DSIGN) Source #

Instance details

Methods

noThunks :: Context -> VerKeyDSIGN EcdsaSecp256k1DSIGN -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> VerKeyDSIGN EcdsaSecp256k1DSIGN -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy (VerKeyDSIGN EcdsaSecp256k1DSIGN) -> String #

NoThunks (VerKeyDSIGN Ed25519DSIGN) Source #

Instance details

Methods

noThunks :: Context -> VerKeyDSIGN Ed25519DSIGN -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> VerKeyDSIGN Ed25519DSIGN -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy (VerKeyDSIGN Ed25519DSIGN) -> String #

NoThunks (VerKeyDSIGN Ed448DSIGN) Source #

Instance details

Methods

noThunks :: Context -> VerKeyDSIGN Ed448DSIGN -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> VerKeyDSIGN Ed448DSIGN -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy (VerKeyDSIGN Ed448DSIGN) -> String #

NoThunks (VerKeyDSIGN MockDSIGN) Source #

Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Methods

noThunks :: Context -> VerKeyDSIGN MockDSIGN -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> VerKeyDSIGN MockDSIGN -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy (VerKeyDSIGN MockDSIGN) -> String #

NoThunks (VerKeyDSIGN NeverDSIGN) Source #

Instance details

Methods

noThunks :: Context -> VerKeyDSIGN NeverDSIGN -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> VerKeyDSIGN NeverDSIGN -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy (VerKeyDSIGN NeverDSIGN) -> String #

NoThunks (VerKeyDSIGN SchnorrSecp256k1DSIGN) Source #

Instance details

Methods

noThunks :: Context -> VerKeyDSIGN SchnorrSecp256k1DSIGN -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> VerKeyDSIGN SchnorrSecp256k1DSIGN -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy (VerKeyDSIGN SchnorrSecp256k1DSIGN) -> String #

NoThunks (VerKeyDSIGN ByronDSIGN) #

Instance details

Methods

noThunks :: Context -> VerKeyDSIGN ByronDSIGN -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> VerKeyDSIGN ByronDSIGN -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy (VerKeyDSIGN ByronDSIGN) -> String #

Show (VerKeyDSIGN d) => Condense (VerKeyDSIGN d) Source #

Instance details

Methods

condense :: VerKeyDSIGN d -> String Source #

Serialise (VerKeyDSIGN MockDSIGN)

Instance details

Defined in Ouroboros.Consensus.Util.Orphans

Methods

encode :: VerKeyDSIGN MockDSIGN -> Encoding

decode :: Decoder s (VerKeyDSIGN MockDSIGN)

encodeList :: [VerKeyDSIGN MockDSIGN] -> Encoding

decodeList :: Decoder s [VerKeyDSIGN MockDSIGN]

DSIGNAlgorithm dsign => HasInfo (DirectCodec m) (VerKeyDSIGN dsign)

Instance details

Defined in Cardano.KESAgent.Serialization.DirectCodec

Methods

info :: Proxy (DirectCodec m) -> Proxy (VerKeyDSIGN dsign) -> FieldInfo (DirectCodec m)

(MonadST m, MonadSTM m, MonadThrow m, DSIGNAlgorithm dsign) => Serializable (DirectCodec m) (VerKeyDSIGN dsign)

Instance details

Defined in Cardano.KESAgent.Serialization.DirectCodec

Methods

encode :: Proxy (DirectCodec m) -> VerKeyDSIGN dsign -> MonadEncode (DirectCodec m) ()

decode :: Proxy (DirectCodec m) -> MonadDecode (DirectCodec m) (VerKeyDSIGN dsign)

newtype VerKeyDSIGN Ed25519Bip32DSIGN Source #

Instance details

newtype VerKeyDSIGN Ed25519Bip32DSIGN = VerKeyEd25519Bip32DSIGN XPub

newtype VerKeyDSIGN EcdsaSecp256k1DSIGN Source #

Instance details

newtype VerKeyDSIGN EcdsaSecp256k1DSIGN = VerKeyEcdsaSecp256k1 (PinnedSizedBytes SECP256K1_ECDSA_PUBKEY_BYTES_INTERNAL)

newtype VerKeyDSIGN Ed25519DSIGN Source #

Instance details

newtype VerKeyDSIGN Ed25519DSIGN = VerKeyEd25519DSIGN (PinnedSizedBytes (VerKeySizeDSIGN Ed25519DSIGN))

newtype VerKeyDSIGN Ed448DSIGN Source #

Instance details

newtype VerKeyDSIGN Ed448DSIGN = VerKeyEd448DSIGN PublicKey

newtype VerKeyDSIGN MockDSIGN Source #

Instance details

Defined in Cardano.Crypto.DSIGN.Mock

newtype VerKeyDSIGN MockDSIGN = VerKeyMockDSIGN Word64

data VerKeyDSIGN NeverDSIGN Source #

Instance details

data VerKeyDSIGN NeverDSIGN = NeverUsedVerKeyDSIGN

newtype VerKeyDSIGN SchnorrSecp256k1DSIGN Source #

Instance details

newtype VerKeyDSIGN SchnorrSecp256k1DSIGN = VerKeySchnorrSecp256k1 (PinnedSizedBytes SECP256K1_SCHNORR_PUBKEY_BYTES_INTERNAL)

newtype VerKeyDSIGN ByronDSIGN #

Instance details

newtype VerKeyDSIGN ByronDSIGN = VerKeyByronDSIGN VerificationKey

newtype VerKeyDSIGN (BLS12381DSIGN curve) Source #

Instance details

newtype VerKeyDSIGN (BLS12381DSIGN curve) = VerKeyBLS12381 (Point curve)

type Rep (VerKeyDSIGN Ed25519Bip32DSIGN) Source #

Instance details

type Rep (VerKeyDSIGN Ed25519Bip32DSIGN) = D1 ('MetaData "VerKeyDSIGN" "Cardano.Api.Crypto.Ed25519Bip32" "cardano-api-10.26.0.0-inplace" 'True) (C1 ('MetaCons "VerKeyEd25519Bip32DSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 XPub)))

type Rep (VerKeyDSIGN (BLS12381DSIGN curve)) Source #

Instance details

type Rep (VerKeyDSIGN (BLS12381DSIGN curve)) = D1 ('MetaData "VerKeyDSIGN" "Cardano.Crypto.DSIGN.BLS12381" "cardano-crypto-class-2.3.2.0-2011db05f0f9ec1eddf7491631a24bf2a41f32c8295316aeac0bb558d89c9f6b" 'True) (C1 ('MetaCons "VerKeyBLS12381" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Point curve))))

type Rep (VerKeyDSIGN EcdsaSecp256k1DSIGN) Source #

Instance details

type Rep (VerKeyDSIGN EcdsaSecp256k1DSIGN) = D1 ('MetaData "VerKeyDSIGN" "Cardano.Crypto.DSIGN.EcdsaSecp256k1" "cardano-crypto-class-2.3.2.0-2011db05f0f9ec1eddf7491631a24bf2a41f32c8295316aeac0bb558d89c9f6b" '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) Source #

Instance details

type Rep (VerKeyDSIGN Ed25519DSIGN) = D1 ('MetaData "VerKeyDSIGN" "Cardano.Crypto.DSIGN.Ed25519" "cardano-crypto-class-2.3.2.0-2011db05f0f9ec1eddf7491631a24bf2a41f32c8295316aeac0bb558d89c9f6b" 'True) (C1 ('MetaCons "VerKeyEd25519DSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PinnedSizedBytes (VerKeySizeDSIGN Ed25519DSIGN)))))

type Rep (VerKeyDSIGN Ed448DSIGN) Source #

Instance details

type Rep (VerKeyDSIGN Ed448DSIGN) = D1 ('MetaData "VerKeyDSIGN" "Cardano.Crypto.DSIGN.Ed448" "cardano-crypto-class-2.3.2.0-2011db05f0f9ec1eddf7491631a24bf2a41f32c8295316aeac0bb558d89c9f6b" 'True) (C1 ('MetaCons "VerKeyEd448DSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PublicKey)))

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.3.2.0-2011db05f0f9ec1eddf7491631a24bf2a41f32c8295316aeac0bb558d89c9f6b" 'True) (C1 ('MetaCons "VerKeyMockDSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

type Rep (VerKeyDSIGN NeverDSIGN) Source #

Instance details

type Rep (VerKeyDSIGN NeverDSIGN) = D1 ('MetaData "VerKeyDSIGN" "Cardano.Crypto.DSIGN.NeverUsed" "cardano-crypto-class-2.3.2.0-2011db05f0f9ec1eddf7491631a24bf2a41f32c8295316aeac0bb558d89c9f6b" 'False) (C1 ('MetaCons "NeverUsedVerKeyDSIGN" 'PrefixI 'False) (U1 :: Type -> Type))

type Rep (VerKeyDSIGN SchnorrSecp256k1DSIGN) Source #

Instance details

type Rep (VerKeyDSIGN SchnorrSecp256k1DSIGN) = D1 ('MetaData "VerKeyDSIGN" "Cardano.Crypto.DSIGN.SchnorrSecp256k1" "cardano-crypto-class-2.3.2.0-2011db05f0f9ec1eddf7491631a24bf2a41f32c8295316aeac0bb558d89c9f6b" 'True) (C1 ('MetaCons "VerKeySchnorrSecp256k1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PinnedSizedBytes SECP256K1_SCHNORR_PUBKEY_BYTES_INTERNAL))))

type Rep (VerKeyDSIGN ByronDSIGN) #

Instance details