ouroboros-consensus-byron-0.1.0.1: Byron ledger integration in the Ouroboros consensus layer
Safe Haskell None
Language Haskell2010

Ouroboros.Consensus.Byron.Crypto.DSIGN

Description

Byron digital signatures.

Documentation

data ByronDSIGN Source #

Instances

Instances details
DSIGNAlgorithm ByronDSIGN Source #
Instance details

Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN

Associated Types

type SeedSizeDSIGN ByronDSIGN :: Nat Source #

type SizeVerKeyDSIGN ByronDSIGN :: Nat Source #

type SizeSignKeyDSIGN ByronDSIGN :: Nat Source #

type SizeSigDSIGN ByronDSIGN :: Nat Source #

data VerKeyDSIGN ByronDSIGN Source #

data SignKeyDSIGN ByronDSIGN Source #

data SigDSIGN ByronDSIGN Source #

type ContextDSIGN ByronDSIGN Source #

type Signable ByronDSIGN :: Type -> Constraint Source #

Methods

algorithmNameDSIGN :: proxy ByronDSIGN -> String Source #

deriveVerKeyDSIGN :: SignKeyDSIGN ByronDSIGN -> VerKeyDSIGN ByronDSIGN Source #

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

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

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

genKeyDSIGN :: Seed -> SignKeyDSIGN ByronDSIGN Source #

rawSerialiseVerKeyDSIGN :: VerKeyDSIGN ByronDSIGN -> ByteString Source #

rawSerialiseSignKeyDSIGN :: SignKeyDSIGN ByronDSIGN -> ByteString Source #

rawSerialiseSigDSIGN :: SigDSIGN ByronDSIGN -> ByteString Source #

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

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

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

Eq ( SigDSIGN ByronDSIGN ) Source #
Instance details

Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN

Methods

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

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

Eq ( VerKeyDSIGN ByronDSIGN ) Source #
Instance details

Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN

Methods

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

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

Show ( SigDSIGN ByronDSIGN ) Source #
Instance details

Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN

Methods

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

show :: SigDSIGN ByronDSIGN -> String Source #

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

Show ( SignKeyDSIGN ByronDSIGN ) Source #
Instance details

Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN

Methods

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

show :: SignKeyDSIGN ByronDSIGN -> String Source #

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

Show ( VerKeyDSIGN ByronDSIGN ) Source #
Instance details

Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN

Methods

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

show :: VerKeyDSIGN ByronDSIGN -> String Source #

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

Generic ( SigDSIGN ByronDSIGN ) Source #
Instance details

Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN

Associated Types

type Rep ( SigDSIGN ByronDSIGN ) :: Type -> Type Source #

Methods

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

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

Generic ( SignKeyDSIGN ByronDSIGN ) Source #
Instance details

Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN

Associated Types

type Rep ( SignKeyDSIGN ByronDSIGN ) :: Type -> Type Source #

Methods

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

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

Generic ( VerKeyDSIGN ByronDSIGN ) Source #
Instance details

Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN

Associated Types

type Rep ( VerKeyDSIGN ByronDSIGN ) :: Type -> Type Source #

Methods

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

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

NoThunks ( SigDSIGN ByronDSIGN ) Source #
Instance details

Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN

Methods

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

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

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

NoThunks ( SignKeyDSIGN ByronDSIGN ) Source #
Instance details

Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN

Methods

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

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

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

NoThunks ( VerKeyDSIGN ByronDSIGN ) Source #
Instance details

Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN

Methods

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

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

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

Condense ( SigDSIGN ByronDSIGN ) Source #
Instance details

Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN

Methods

condense :: SigDSIGN ByronDSIGN -> String Source #

type Signable ByronDSIGN Source #
Instance details

Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN

type Signable ByronDSIGN
type ContextDSIGN ByronDSIGN Source #
Instance details

Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN

type ContextDSIGN ByronDSIGN = ( ProtocolMagicId , VerKeyDSIGN ByronDSIGN )
newtype SigDSIGN ByronDSIGN Source #
Instance details

Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN

newtype SigDSIGN ByronDSIGN = SigByronDSIGN ( Signature ToSign )
newtype SignKeyDSIGN ByronDSIGN Source #
Instance details

Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN

newtype SignKeyDSIGN ByronDSIGN = SignKeyByronDSIGN SigningKey
newtype VerKeyDSIGN ByronDSIGN Source #
Instance details

Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN

newtype VerKeyDSIGN ByronDSIGN = VerKeyByronDSIGN VerificationKey
type SizeSigDSIGN ByronDSIGN Source #
Instance details

Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN

type SizeSigDSIGN ByronDSIGN = 64
type SizeSignKeyDSIGN ByronDSIGN Source #
Instance details

Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN

type SizeSignKeyDSIGN ByronDSIGN = 128
type SizeVerKeyDSIGN ByronDSIGN Source #
Instance details

Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN

type SizeVerKeyDSIGN ByronDSIGN = 64
type SeedSizeDSIGN ByronDSIGN Source #
Instance details

Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN

type SeedSizeDSIGN ByronDSIGN = 32
type Rep ( SigDSIGN ByronDSIGN ) Source #
Instance details

Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN

type Rep ( SigDSIGN ByronDSIGN ) = D1 (' MetaData "SigDSIGN" "Ouroboros.Consensus.Byron.Crypto.DSIGN" "ouroboros-consensus-byron-0.1.0.1-1xx7v4AzrF0A75LZoaNMal" ' True ) ( C1 (' MetaCons "SigByronDSIGN" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( Signature ToSign ))))
type Rep ( SignKeyDSIGN ByronDSIGN ) Source #
Instance details

Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN

type Rep ( SignKeyDSIGN ByronDSIGN ) = D1 (' MetaData "SignKeyDSIGN" "Ouroboros.Consensus.Byron.Crypto.DSIGN" "ouroboros-consensus-byron-0.1.0.1-1xx7v4AzrF0A75LZoaNMal" ' True ) ( C1 (' MetaCons "SignKeyByronDSIGN" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 SigningKey )))
type Rep ( VerKeyDSIGN ByronDSIGN ) Source #
Instance details

Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN

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

class HasSignTag a where Source #

Methods

signTag :: VerKeyDSIGN ByronDSIGN -> proxy a -> SignTag Source #

Instances

Instances details
HasSignTag TxSigData Source #
Instance details

Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN

Methods

signTag :: VerKeyDSIGN ByronDSIGN -> proxy TxSigData -> SignTag Source #

HasSignTag ( Annotated ToSign ByteString ) Source #
Instance details

Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN

Methods

signTag :: VerKeyDSIGN ByronDSIGN -> proxy ( Annotated ToSign ByteString ) -> SignTag Source #

data family SigDSIGN v Source #

Instances

Instances details
Eq ( SigDSIGN Ed25519DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

Methods

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

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

Eq ( SigDSIGN SchnorrSecp256k1DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1

Methods

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

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

Eq ( SigDSIGN MockDSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Methods

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

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

Eq ( SigDSIGN EcdsaSecp256k1DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1

Methods

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

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

Eq ( SigDSIGN Ed448DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

Methods

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

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

Eq ( SigDSIGN NeverDSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.NeverUsed

Methods

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

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

Eq ( SigDSIGN ByronDSIGN ) Source #
Instance details

Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN

Methods

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

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

Ord ( SigDSIGN MockDSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Methods

compare :: SigDSIGN MockDSIGN -> SigDSIGN MockDSIGN -> Ordering Source #

(<) :: SigDSIGN MockDSIGN -> SigDSIGN MockDSIGN -> Bool Source #

(<=) :: SigDSIGN MockDSIGN -> SigDSIGN MockDSIGN -> Bool Source #

(>) :: SigDSIGN MockDSIGN -> SigDSIGN MockDSIGN -> Bool Source #

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

max :: SigDSIGN MockDSIGN -> SigDSIGN MockDSIGN -> SigDSIGN MockDSIGN Source #

min :: SigDSIGN MockDSIGN -> SigDSIGN MockDSIGN -> SigDSIGN MockDSIGN Source #

Show ( SigDSIGN Ed25519DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

Methods

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

show :: SigDSIGN Ed25519DSIGN -> String Source #

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

Show ( SigDSIGN SchnorrSecp256k1DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1

Methods

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

show :: SigDSIGN SchnorrSecp256k1DSIGN -> String Source #

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

Show ( SigDSIGN MockDSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Methods

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

show :: SigDSIGN MockDSIGN -> String Source #

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

Show ( SigDSIGN EcdsaSecp256k1DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1

Methods

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

show :: SigDSIGN EcdsaSecp256k1DSIGN -> String Source #

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

Show ( SigDSIGN Ed448DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

Methods

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

show :: SigDSIGN Ed448DSIGN -> String Source #

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

Show ( SigDSIGN NeverDSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.NeverUsed

Methods

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

show :: SigDSIGN NeverDSIGN -> String Source #

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

Show ( SigDSIGN ByronDSIGN ) Source #
Instance details

Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN

Methods

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

show :: SigDSIGN ByronDSIGN -> String Source #

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

Generic ( SigDSIGN Ed25519DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

Associated Types

type Rep ( SigDSIGN Ed25519DSIGN ) :: Type -> Type Source #

Methods

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

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

Generic ( SigDSIGN SchnorrSecp256k1DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1

Associated Types

type Rep ( SigDSIGN SchnorrSecp256k1DSIGN ) :: Type -> Type Source #

Methods

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

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

Generic ( SigDSIGN MockDSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Associated Types

type Rep ( SigDSIGN MockDSIGN ) :: Type -> Type Source #

Methods

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

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

Generic ( SigDSIGN EcdsaSecp256k1DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1

Associated Types

type Rep ( SigDSIGN EcdsaSecp256k1DSIGN ) :: Type -> Type Source #

Methods

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

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

Generic ( SigDSIGN Ed448DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

Associated Types

type Rep ( SigDSIGN Ed448DSIGN ) :: Type -> Type Source #

Methods

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

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

Generic ( SigDSIGN NeverDSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.NeverUsed

Associated Types

type Rep ( SigDSIGN NeverDSIGN ) :: Type -> Type Source #

Methods

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

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

Generic ( SigDSIGN ByronDSIGN ) Source #
Instance details

Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN

Associated Types

type Rep ( SigDSIGN ByronDSIGN ) :: Type -> Type Source #

Methods

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

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

NFData ( SigDSIGN Ed25519DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

Methods

rnf :: SigDSIGN Ed25519DSIGN -> () Source #

NFData ( SigDSIGN SchnorrSecp256k1DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1

Methods

rnf :: SigDSIGN SchnorrSecp256k1DSIGN -> () Source #

NFData ( SigDSIGN MockDSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Methods

rnf :: SigDSIGN MockDSIGN -> () Source #

NFData ( SigDSIGN EcdsaSecp256k1DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1

Methods

rnf :: SigDSIGN EcdsaSecp256k1DSIGN -> () Source #

ToCBOR ( SigDSIGN Ed25519DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

Methods

toCBOR :: SigDSIGN Ed25519DSIGN -> Encoding Source #

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

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

ToCBOR ( SigDSIGN SchnorrSecp256k1DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1

Methods

toCBOR :: SigDSIGN SchnorrSecp256k1DSIGN -> Encoding Source #

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

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

ToCBOR ( SigDSIGN MockDSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Methods

toCBOR :: SigDSIGN MockDSIGN -> Encoding Source #

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

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

ToCBOR ( SigDSIGN EcdsaSecp256k1DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1

Methods

toCBOR :: SigDSIGN EcdsaSecp256k1DSIGN -> Encoding Source #

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

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

ToCBOR ( SigDSIGN Ed448DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

Methods

toCBOR :: SigDSIGN Ed448DSIGN -> Encoding Source #

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

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

FromCBOR ( SigDSIGN Ed25519DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

Methods

fromCBOR :: Decoder s ( SigDSIGN Ed25519DSIGN ) Source #

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

FromCBOR ( SigDSIGN SchnorrSecp256k1DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1

Methods

fromCBOR :: Decoder s ( SigDSIGN SchnorrSecp256k1DSIGN ) Source #

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

FromCBOR ( SigDSIGN MockDSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Methods

fromCBOR :: Decoder s ( SigDSIGN MockDSIGN ) Source #

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

FromCBOR ( SigDSIGN EcdsaSecp256k1DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1

Methods

fromCBOR :: Decoder s ( SigDSIGN EcdsaSecp256k1DSIGN ) Source #

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

FromCBOR ( SigDSIGN Ed448DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

Methods

fromCBOR :: Decoder s ( SigDSIGN Ed448DSIGN ) Source #

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

ByteArrayAccess ( SigDSIGN Ed448DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

Methods

length :: SigDSIGN Ed448DSIGN -> Int Source #

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

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

NoThunks ( SigDSIGN Ed25519DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

Methods

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

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

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

NoThunks ( SigDSIGN SchnorrSecp256k1DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1

Methods

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

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

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

NoThunks ( SigDSIGN MockDSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Methods

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

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

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

NoThunks ( SigDSIGN EcdsaSecp256k1DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1

Methods

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

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

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

NoThunks ( SigDSIGN Ed448DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

Methods

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

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

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

NoThunks ( SigDSIGN NeverDSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.NeverUsed

Methods

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

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

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

NoThunks ( SigDSIGN ByronDSIGN ) Source #
Instance details

Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN

Methods

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

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

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

Condense ( SigDSIGN Ed25519DSIGN )
Instance details

Defined in Ouroboros.Consensus.Util.Condense

Methods

condense :: SigDSIGN Ed25519DSIGN -> String Source #

Condense ( SigDSIGN MockDSIGN )
Instance details

Defined in Ouroboros.Consensus.Util.Condense

Methods

condense :: SigDSIGN MockDSIGN -> String Source #

Condense ( SigDSIGN Ed448DSIGN )
Instance details

Defined in Ouroboros.Consensus.Util.Condense

Methods

condense :: SigDSIGN Ed448DSIGN -> String Source #

Condense ( SigDSIGN ByronDSIGN ) Source #
Instance details

Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN

Methods

condense :: SigDSIGN ByronDSIGN -> String Source #

newtype SigDSIGN Ed25519DSIGN
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

newtype SigDSIGN Ed25519DSIGN = SigEd25519DSIGN ( PinnedSizedBytes ( SizeSigDSIGN Ed25519DSIGN ))
newtype SigDSIGN SchnorrSecp256k1DSIGN
Instance details

Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1

newtype SigDSIGN SchnorrSecp256k1DSIGN = SigSchnorrSecp256k1 ( PinnedSizedBytes ( SizeSigDSIGN SchnorrSecp256k1DSIGN ))
data SigDSIGN MockDSIGN
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

data SigDSIGN MockDSIGN = SigMockDSIGN !( Hash ShortHash ()) ! Word64
newtype SigDSIGN EcdsaSecp256k1DSIGN
Instance details

Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1

newtype SigDSIGN EcdsaSecp256k1DSIGN = SigEcdsaSecp256k1 ( PinnedSizedBytes SECP256K1_ECDSA_SIGNATURE_BYTES_INTERNAL )
newtype SigDSIGN Ed448DSIGN
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

newtype SigDSIGN Ed448DSIGN = SigEd448DSIGN Signature
data SigDSIGN NeverDSIGN
Instance details

Defined in Cardano.Crypto.DSIGN.NeverUsed

data SigDSIGN NeverDSIGN = NeverUsedSigDSIGN
newtype SigDSIGN ByronDSIGN Source #
Instance details

Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN

newtype SigDSIGN ByronDSIGN = SigByronDSIGN ( Signature ToSign )
type Rep ( SigDSIGN Ed25519DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

type Rep ( SigDSIGN Ed25519DSIGN ) = D1 (' MetaData "SigDSIGN" "Cardano.Crypto.DSIGN.Ed25519" "cardano-crypto-class-2.0.0.0.1-5PqST7yhL1v7PBV5z4tsb9" ' True ) ( C1 (' MetaCons "SigEd25519DSIGN" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( PinnedSizedBytes ( SizeSigDSIGN Ed25519DSIGN )))))
type Rep ( SigDSIGN SchnorrSecp256k1DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1

type Rep ( SigDSIGN SchnorrSecp256k1DSIGN ) = D1 (' MetaData "SigDSIGN" "Cardano.Crypto.DSIGN.SchnorrSecp256k1" "cardano-crypto-class-2.0.0.0.1-5PqST7yhL1v7PBV5z4tsb9" ' True ) ( C1 (' MetaCons "SigSchnorrSecp256k1" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( PinnedSizedBytes ( SizeSigDSIGN SchnorrSecp256k1DSIGN )))))
type Rep ( SigDSIGN MockDSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

type Rep ( SigDSIGN MockDSIGN ) = D1 (' MetaData "SigDSIGN" "Cardano.Crypto.DSIGN.Mock" "cardano-crypto-class-2.0.0.0.1-5PqST7yhL1v7PBV5z4tsb9" ' False ) ( C1 (' MetaCons "SigMockDSIGN" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( Hash ShortHash ())) :*: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedUnpack ) ( Rec0 Word64 )))
type Rep ( SigDSIGN EcdsaSecp256k1DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1

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

Defined in Cardano.Crypto.DSIGN.Ed448

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

Defined in Cardano.Crypto.DSIGN.NeverUsed

type Rep ( SigDSIGN NeverDSIGN ) = D1 (' MetaData "SigDSIGN" "Cardano.Crypto.DSIGN.NeverUsed" "cardano-crypto-class-2.0.0.0.1-5PqST7yhL1v7PBV5z4tsb9" ' False ) ( C1 (' MetaCons "NeverUsedSigDSIGN" ' PrefixI ' False ) ( U1 :: Type -> Type ))
type Rep ( SigDSIGN ByronDSIGN ) Source #
Instance details

Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN

type Rep ( SigDSIGN ByronDSIGN ) = D1 (' MetaData "SigDSIGN" "Ouroboros.Consensus.Byron.Crypto.DSIGN" "ouroboros-consensus-byron-0.1.0.1-1xx7v4AzrF0A75LZoaNMal" ' 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
Eq ( SignKeyDSIGN Ed25519DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

Methods

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

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

Eq ( SignKeyDSIGN SchnorrSecp256k1DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1

Methods

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

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

Eq ( SignKeyDSIGN MockDSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Methods

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

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

Eq ( SignKeyDSIGN EcdsaSecp256k1DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1

Methods

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

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

Eq ( SignKeyDSIGN Ed448DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

Methods

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

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

Eq ( SignKeyDSIGN NeverDSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.NeverUsed

Methods

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

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

Num ( SignKeyDSIGN MockDSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Methods

(+) :: SignKeyDSIGN MockDSIGN -> SignKeyDSIGN MockDSIGN -> SignKeyDSIGN MockDSIGN Source #

(-) :: SignKeyDSIGN MockDSIGN -> SignKeyDSIGN MockDSIGN -> SignKeyDSIGN MockDSIGN Source #

(*) :: SignKeyDSIGN MockDSIGN -> SignKeyDSIGN MockDSIGN -> SignKeyDSIGN MockDSIGN Source #

negate :: SignKeyDSIGN MockDSIGN -> SignKeyDSIGN MockDSIGN Source #

abs :: SignKeyDSIGN MockDSIGN -> SignKeyDSIGN MockDSIGN Source #

signum :: SignKeyDSIGN MockDSIGN -> SignKeyDSIGN MockDSIGN Source #

fromInteger :: Integer -> SignKeyDSIGN MockDSIGN Source #

( TypeError (' Text "Ord not supported for signing keys, use the hash instead") :: Constraint , Eq ( SignKeyDSIGN v)) => Ord ( SignKeyDSIGN v)
Instance details

Defined in Cardano.Crypto.DSIGN.Class

Methods

compare :: SignKeyDSIGN v -> SignKeyDSIGN v -> Ordering Source #

(<) :: SignKeyDSIGN v -> SignKeyDSIGN v -> Bool Source #

(<=) :: SignKeyDSIGN v -> SignKeyDSIGN v -> Bool Source #

(>) :: SignKeyDSIGN v -> SignKeyDSIGN v -> Bool Source #

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

max :: SignKeyDSIGN v -> SignKeyDSIGN v -> SignKeyDSIGN v Source #

min :: SignKeyDSIGN v -> SignKeyDSIGN v -> SignKeyDSIGN v Source #

Show ( SignKeyDSIGN Ed25519DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

Methods

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

show :: SignKeyDSIGN Ed25519DSIGN -> String Source #

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

Show ( SignKeyDSIGN SchnorrSecp256k1DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1

Methods

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

show :: SignKeyDSIGN SchnorrSecp256k1DSIGN -> String Source #

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

Show ( SignKeyDSIGN MockDSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Methods

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

show :: SignKeyDSIGN MockDSIGN -> String Source #

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

Show ( SignKeyDSIGN EcdsaSecp256k1DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1

Methods

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

show :: SignKeyDSIGN EcdsaSecp256k1DSIGN -> String Source #

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

Show ( SignKeyDSIGN Ed448DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

Methods

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

show :: SignKeyDSIGN Ed448DSIGN -> String Source #

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

Show ( SignKeyDSIGN NeverDSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.NeverUsed

Methods

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

show :: SignKeyDSIGN NeverDSIGN -> String Source #

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

Show ( SignKeyDSIGN ByronDSIGN ) Source #
Instance details

Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN

Methods

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

show :: SignKeyDSIGN ByronDSIGN -> String Source #

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

Generic ( SignKeyDSIGN Ed25519DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

Associated Types

type Rep ( SignKeyDSIGN Ed25519DSIGN ) :: Type -> Type Source #

Methods

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

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

Generic ( SignKeyDSIGN SchnorrSecp256k1DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1

Associated Types

type Rep ( SignKeyDSIGN SchnorrSecp256k1DSIGN ) :: Type -> Type Source #

Methods

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

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

Generic ( SignKeyDSIGN MockDSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Associated Types

type Rep ( SignKeyDSIGN MockDSIGN ) :: Type -> Type Source #

Methods

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

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

Generic ( SignKeyDSIGN EcdsaSecp256k1DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1

Associated Types

type Rep ( SignKeyDSIGN EcdsaSecp256k1DSIGN ) :: Type -> Type Source #

Methods

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

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

Generic ( SignKeyDSIGN Ed448DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

Associated Types

type Rep ( SignKeyDSIGN Ed448DSIGN ) :: Type -> Type Source #

Methods

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

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

Generic ( SignKeyDSIGN NeverDSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.NeverUsed

Associated Types

type Rep ( SignKeyDSIGN NeverDSIGN ) :: Type -> Type Source #

Methods

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

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

Generic ( SignKeyDSIGN ByronDSIGN ) Source #
Instance details

Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN

Associated Types

type Rep ( SignKeyDSIGN ByronDSIGN ) :: Type -> Type Source #

Methods

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

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

NFData ( SignKeyDSIGN Ed25519DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

Methods

rnf :: SignKeyDSIGN Ed25519DSIGN -> () Source #

NFData ( SignKeyDSIGN SchnorrSecp256k1DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1

Methods

rnf :: SignKeyDSIGN SchnorrSecp256k1DSIGN -> () Source #

NFData ( SignKeyDSIGN MockDSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Methods

rnf :: SignKeyDSIGN MockDSIGN -> () Source #

NFData ( SignKeyDSIGN EcdsaSecp256k1DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1

Methods

rnf :: SignKeyDSIGN EcdsaSecp256k1DSIGN -> () Source #

NFData ( SignKeyDSIGN Ed448DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

Methods

rnf :: SignKeyDSIGN Ed448DSIGN -> () Source #

ToCBOR ( SignKeyDSIGN Ed25519DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

Methods

toCBOR :: SignKeyDSIGN Ed25519DSIGN -> Encoding Source #

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

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

ToCBOR ( SignKeyDSIGN SchnorrSecp256k1DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1

Methods

toCBOR :: SignKeyDSIGN SchnorrSecp256k1DSIGN -> Encoding Source #

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

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

ToCBOR ( SignKeyDSIGN MockDSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Methods

toCBOR :: SignKeyDSIGN MockDSIGN -> Encoding Source #

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

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

ToCBOR ( SignKeyDSIGN EcdsaSecp256k1DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1

Methods

toCBOR :: SignKeyDSIGN EcdsaSecp256k1DSIGN -> Encoding Source #

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

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

ToCBOR ( SignKeyDSIGN Ed448DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

Methods

toCBOR :: SignKeyDSIGN Ed448DSIGN -> Encoding Source #

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

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

FromCBOR ( SignKeyDSIGN Ed25519DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

Methods

fromCBOR :: Decoder s ( SignKeyDSIGN Ed25519DSIGN ) Source #

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

FromCBOR ( SignKeyDSIGN SchnorrSecp256k1DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1

Methods

fromCBOR :: Decoder s ( SignKeyDSIGN SchnorrSecp256k1DSIGN ) Source #

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

FromCBOR ( SignKeyDSIGN MockDSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Methods

fromCBOR :: Decoder s ( SignKeyDSIGN MockDSIGN ) Source #

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

FromCBOR ( SignKeyDSIGN EcdsaSecp256k1DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1

Methods

fromCBOR :: Decoder s ( SignKeyDSIGN EcdsaSecp256k1DSIGN ) Source #

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

FromCBOR ( SignKeyDSIGN Ed448DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

Methods

fromCBOR :: Decoder s ( SignKeyDSIGN Ed448DSIGN ) Source #

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

ByteArrayAccess ( SignKeyDSIGN Ed448DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

Methods

length :: SignKeyDSIGN Ed448DSIGN -> Int Source #

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

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

NoThunks ( SignKeyDSIGN Ed25519DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

Methods

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

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

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

NoThunks ( SignKeyDSIGN SchnorrSecp256k1DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1

Methods

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

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

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

NoThunks ( SignKeyDSIGN MockDSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Methods

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

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

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

NoThunks ( SignKeyDSIGN EcdsaSecp256k1DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1

Methods

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

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

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

NoThunks ( SignKeyDSIGN Ed448DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

Methods

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

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

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

NoThunks ( SignKeyDSIGN NeverDSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.NeverUsed

Methods

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

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

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

NoThunks ( SignKeyDSIGN ByronDSIGN ) Source #
Instance details

Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN

Methods

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

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

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

newtype SignKeyDSIGN Ed25519DSIGN
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

newtype SignKeyDSIGN Ed25519DSIGN = SignKeyEd25519DSIGN ( PinnedSizedBytes CRYPTO_SIGN_ED25519_SECRETKEYBYTES )
newtype SignKeyDSIGN SchnorrSecp256k1DSIGN
Instance details

Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1

newtype SignKeyDSIGN SchnorrSecp256k1DSIGN = SignKeySchnorrSecp256k1 ( PinnedSizedBytes ( SizeSignKeyDSIGN SchnorrSecp256k1DSIGN ))
newtype SignKeyDSIGN MockDSIGN
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

newtype SignKeyDSIGN MockDSIGN = SignKeyMockDSIGN Word64
newtype SignKeyDSIGN EcdsaSecp256k1DSIGN
Instance details

Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1

newtype SignKeyDSIGN EcdsaSecp256k1DSIGN = SignKeyEcdsaSecp256k1 ( PinnedSizedBytes SECP256K1_ECDSA_PRIVKEY_BYTES )
newtype SignKeyDSIGN Ed448DSIGN
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

newtype SignKeyDSIGN Ed448DSIGN = SignKeyEd448DSIGN SecretKey
data SignKeyDSIGN NeverDSIGN
Instance details

Defined in Cardano.Crypto.DSIGN.NeverUsed

data SignKeyDSIGN NeverDSIGN = NeverUsedSignKeyDSIGN
newtype SignKeyDSIGN ByronDSIGN Source #
Instance details

Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN

newtype SignKeyDSIGN ByronDSIGN = SignKeyByronDSIGN SigningKey
type Rep ( SignKeyDSIGN Ed25519DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

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

Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1

type Rep ( SignKeyDSIGN SchnorrSecp256k1DSIGN ) = D1 (' MetaData "SignKeyDSIGN" "Cardano.Crypto.DSIGN.SchnorrSecp256k1" "cardano-crypto-class-2.0.0.0.1-5PqST7yhL1v7PBV5z4tsb9" ' True ) ( C1 (' MetaCons "SignKeySchnorrSecp256k1" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( PinnedSizedBytes ( SizeSignKeyDSIGN SchnorrSecp256k1DSIGN )))))
type Rep ( SignKeyDSIGN MockDSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

type Rep ( SignKeyDSIGN MockDSIGN ) = D1 (' MetaData "SignKeyDSIGN" "Cardano.Crypto.DSIGN.Mock" "cardano-crypto-class-2.0.0.0.1-5PqST7yhL1v7PBV5z4tsb9" ' True ) ( C1 (' MetaCons "SignKeyMockDSIGN" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 Word64 )))
type Rep ( SignKeyDSIGN EcdsaSecp256k1DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1

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

Defined in Cardano.Crypto.DSIGN.Ed448

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

Defined in Cardano.Crypto.DSIGN.NeverUsed

type Rep ( SignKeyDSIGN NeverDSIGN ) = D1 (' MetaData "SignKeyDSIGN" "Cardano.Crypto.DSIGN.NeverUsed" "cardano-crypto-class-2.0.0.0.1-5PqST7yhL1v7PBV5z4tsb9" ' False ) ( C1 (' MetaCons "NeverUsedSignKeyDSIGN" ' PrefixI ' False ) ( U1 :: Type -> Type ))
type Rep ( SignKeyDSIGN ByronDSIGN ) Source #
Instance details

Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN

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

data family VerKeyDSIGN v Source #

Instances

Instances details
Eq ( VerKeyDSIGN Ed25519DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

Methods

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

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

Eq ( VerKeyDSIGN SchnorrSecp256k1DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1

Methods

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

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

Eq ( VerKeyDSIGN MockDSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Methods

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

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

Eq ( VerKeyDSIGN EcdsaSecp256k1DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1

Methods

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

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

Eq ( VerKeyDSIGN Ed448DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

Methods

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

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

Eq ( VerKeyDSIGN NeverDSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.NeverUsed

Methods

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

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

Eq ( VerKeyDSIGN ByronDSIGN ) Source #
Instance details

Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN

Methods

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

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

Num ( VerKeyDSIGN MockDSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Methods

(+) :: VerKeyDSIGN MockDSIGN -> VerKeyDSIGN MockDSIGN -> VerKeyDSIGN MockDSIGN Source #

(-) :: VerKeyDSIGN MockDSIGN -> VerKeyDSIGN MockDSIGN -> VerKeyDSIGN MockDSIGN Source #

(*) :: VerKeyDSIGN MockDSIGN -> VerKeyDSIGN MockDSIGN -> VerKeyDSIGN MockDSIGN Source #

negate :: VerKeyDSIGN MockDSIGN -> VerKeyDSIGN MockDSIGN Source #

abs :: VerKeyDSIGN MockDSIGN -> VerKeyDSIGN MockDSIGN Source #

signum :: VerKeyDSIGN MockDSIGN -> VerKeyDSIGN MockDSIGN Source #

fromInteger :: Integer -> VerKeyDSIGN MockDSIGN Source #

( TypeError (' Text "Ord not supported for verification keys, use the hash instead") :: Constraint , Eq ( VerKeyDSIGN v)) => Ord ( VerKeyDSIGN v)
Instance details

Defined in Cardano.Crypto.DSIGN.Class

Methods

compare :: VerKeyDSIGN v -> VerKeyDSIGN v -> Ordering Source #

(<) :: VerKeyDSIGN v -> VerKeyDSIGN v -> Bool Source #

(<=) :: VerKeyDSIGN v -> VerKeyDSIGN v -> Bool Source #

(>) :: VerKeyDSIGN v -> VerKeyDSIGN v -> Bool Source #

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

max :: VerKeyDSIGN v -> VerKeyDSIGN v -> VerKeyDSIGN v Source #

min :: VerKeyDSIGN v -> VerKeyDSIGN v -> VerKeyDSIGN v Source #

Show ( VerKeyDSIGN Ed25519DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

Methods

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

show :: VerKeyDSIGN Ed25519DSIGN -> String Source #

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

Show ( VerKeyDSIGN SchnorrSecp256k1DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1

Methods

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

show :: VerKeyDSIGN SchnorrSecp256k1DSIGN -> String Source #

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

Show ( VerKeyDSIGN MockDSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Methods

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

show :: VerKeyDSIGN MockDSIGN -> String Source #

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

Show ( VerKeyDSIGN EcdsaSecp256k1DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1

Methods

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

show :: VerKeyDSIGN EcdsaSecp256k1DSIGN -> String Source #

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

Show ( VerKeyDSIGN Ed448DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

Methods

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

show :: VerKeyDSIGN Ed448DSIGN -> String Source #

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

Show ( VerKeyDSIGN NeverDSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.NeverUsed

Methods

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

show :: VerKeyDSIGN NeverDSIGN -> String Source #

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

Show ( VerKeyDSIGN ByronDSIGN ) Source #
Instance details

Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN

Methods

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

show :: VerKeyDSIGN ByronDSIGN -> String Source #

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

Generic ( VerKeyDSIGN Ed25519DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

Associated Types

type Rep ( VerKeyDSIGN Ed25519DSIGN ) :: Type -> Type Source #

Methods

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

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

Generic ( VerKeyDSIGN SchnorrSecp256k1DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1

Associated Types

type Rep ( VerKeyDSIGN SchnorrSecp256k1DSIGN ) :: Type -> Type Source #

Methods

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

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

Generic ( VerKeyDSIGN MockDSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Associated Types

type Rep ( VerKeyDSIGN MockDSIGN ) :: Type -> Type Source #

Methods

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

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

Generic ( VerKeyDSIGN EcdsaSecp256k1DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1

Associated Types

type Rep ( VerKeyDSIGN EcdsaSecp256k1DSIGN ) :: Type -> Type Source #

Methods

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

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

Generic ( VerKeyDSIGN Ed448DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

Associated Types

type Rep ( VerKeyDSIGN Ed448DSIGN ) :: Type -> Type Source #

Methods

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

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

Generic ( VerKeyDSIGN NeverDSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.NeverUsed

Associated Types

type Rep ( VerKeyDSIGN NeverDSIGN ) :: Type -> Type Source #

Methods

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

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

Generic ( VerKeyDSIGN ByronDSIGN ) Source #
Instance details

Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN

Associated Types

type Rep ( VerKeyDSIGN ByronDSIGN ) :: Type -> Type Source #

Methods

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

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

NFData ( VerKeyDSIGN Ed25519DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

Methods

rnf :: VerKeyDSIGN Ed25519DSIGN -> () Source #

NFData ( VerKeyDSIGN SchnorrSecp256k1DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1

Methods

rnf :: VerKeyDSIGN SchnorrSecp256k1DSIGN -> () Source #

NFData ( VerKeyDSIGN MockDSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Methods

rnf :: VerKeyDSIGN MockDSIGN -> () Source #

NFData ( VerKeyDSIGN EcdsaSecp256k1DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1

Methods

rnf :: VerKeyDSIGN EcdsaSecp256k1DSIGN -> () Source #

NFData ( VerKeyDSIGN Ed448DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

Methods

rnf :: VerKeyDSIGN Ed448DSIGN -> () Source #

ToCBOR ( VerKeyDSIGN Ed25519DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

Methods

toCBOR :: VerKeyDSIGN Ed25519DSIGN -> Encoding Source #

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

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

ToCBOR ( VerKeyDSIGN SchnorrSecp256k1DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1

Methods

toCBOR :: VerKeyDSIGN SchnorrSecp256k1DSIGN -> Encoding Source #

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

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

ToCBOR ( VerKeyDSIGN MockDSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Methods

toCBOR :: VerKeyDSIGN MockDSIGN -> Encoding Source #

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

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

ToCBOR ( VerKeyDSIGN EcdsaSecp256k1DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1

Methods

toCBOR :: VerKeyDSIGN EcdsaSecp256k1DSIGN -> Encoding Source #

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

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

ToCBOR ( VerKeyDSIGN Ed448DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

Methods

toCBOR :: VerKeyDSIGN Ed448DSIGN -> Encoding Source #

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

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

FromCBOR ( VerKeyDSIGN Ed25519DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

Methods

fromCBOR :: Decoder s ( VerKeyDSIGN Ed25519DSIGN ) Source #

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

FromCBOR ( VerKeyDSIGN SchnorrSecp256k1DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1

Methods

fromCBOR :: Decoder s ( VerKeyDSIGN SchnorrSecp256k1DSIGN ) Source #

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

FromCBOR ( VerKeyDSIGN MockDSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Methods

fromCBOR :: Decoder s ( VerKeyDSIGN MockDSIGN ) Source #

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

FromCBOR ( VerKeyDSIGN EcdsaSecp256k1DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1

Methods

fromCBOR :: Decoder s ( VerKeyDSIGN EcdsaSecp256k1DSIGN ) Source #

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

FromCBOR ( VerKeyDSIGN Ed448DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

Methods

fromCBOR :: Decoder s ( VerKeyDSIGN Ed448DSIGN ) Source #

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

ByteArrayAccess ( VerKeyDSIGN Ed448DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

Methods

length :: VerKeyDSIGN Ed448DSIGN -> Int Source #

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

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

NoThunks ( VerKeyDSIGN Ed25519DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

Methods

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

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

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

NoThunks ( VerKeyDSIGN SchnorrSecp256k1DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1

Methods

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

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

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

NoThunks ( VerKeyDSIGN MockDSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Methods

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

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

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

NoThunks ( VerKeyDSIGN EcdsaSecp256k1DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1

Methods

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

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

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

NoThunks ( VerKeyDSIGN Ed448DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

Methods

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

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

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

NoThunks ( VerKeyDSIGN NeverDSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.NeverUsed

Methods

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

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

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

NoThunks ( VerKeyDSIGN ByronDSIGN ) Source #
Instance details

Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN

Methods

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

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

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

Show ( VerKeyDSIGN d) => Condense ( VerKeyDSIGN d)
Instance details

Defined in Ouroboros.Consensus.Util.Condense

Methods

condense :: VerKeyDSIGN d -> String Source #

newtype VerKeyDSIGN Ed25519DSIGN
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

newtype VerKeyDSIGN Ed25519DSIGN = VerKeyEd25519DSIGN ( PinnedSizedBytes ( SizeVerKeyDSIGN Ed25519DSIGN ))
newtype VerKeyDSIGN SchnorrSecp256k1DSIGN
Instance details

Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1

newtype VerKeyDSIGN SchnorrSecp256k1DSIGN = VerKeySchnorrSecp256k1 ( PinnedSizedBytes SECP256K1_SCHNORR_PUBKEY_BYTES_INTERNAL )
newtype VerKeyDSIGN MockDSIGN
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

newtype VerKeyDSIGN MockDSIGN = VerKeyMockDSIGN Word64
newtype VerKeyDSIGN EcdsaSecp256k1DSIGN
Instance details

Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1

newtype VerKeyDSIGN EcdsaSecp256k1DSIGN = VerKeyEcdsaSecp256k1 ( PinnedSizedBytes SECP256K1_ECDSA_PUBKEY_BYTES_INTERNAL )
newtype VerKeyDSIGN Ed448DSIGN
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

newtype VerKeyDSIGN Ed448DSIGN = VerKeyEd448DSIGN PublicKey
data VerKeyDSIGN NeverDSIGN
Instance details

Defined in Cardano.Crypto.DSIGN.NeverUsed

data VerKeyDSIGN NeverDSIGN = NeverUsedVerKeyDSIGN
newtype VerKeyDSIGN ByronDSIGN Source #
Instance details

Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN

newtype VerKeyDSIGN ByronDSIGN = VerKeyByronDSIGN VerificationKey
type Rep ( VerKeyDSIGN Ed25519DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

type Rep ( VerKeyDSIGN Ed25519DSIGN ) = D1 (' MetaData "VerKeyDSIGN" "Cardano.Crypto.DSIGN.Ed25519" "cardano-crypto-class-2.0.0.0.1-5PqST7yhL1v7PBV5z4tsb9" ' True ) ( C1 (' MetaCons "VerKeyEd25519DSIGN" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( PinnedSizedBytes ( SizeVerKeyDSIGN Ed25519DSIGN )))))
type Rep ( VerKeyDSIGN SchnorrSecp256k1DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1

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

Defined in Cardano.Crypto.DSIGN.Mock

type Rep ( VerKeyDSIGN MockDSIGN ) = D1 (' MetaData "VerKeyDSIGN" "Cardano.Crypto.DSIGN.Mock" "cardano-crypto-class-2.0.0.0.1-5PqST7yhL1v7PBV5z4tsb9" ' True ) ( C1 (' MetaCons "VerKeyMockDSIGN" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 Word64 )))
type Rep ( VerKeyDSIGN EcdsaSecp256k1DSIGN )
Instance details

Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1

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

Defined in Cardano.Crypto.DSIGN.Ed448

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

Defined in Cardano.Crypto.DSIGN.NeverUsed

type Rep ( VerKeyDSIGN NeverDSIGN ) = D1 (' MetaData "VerKeyDSIGN" "Cardano.Crypto.DSIGN.NeverUsed" "cardano-crypto-class-2.0.0.0.1-5PqST7yhL1v7PBV5z4tsb9" ' False ) ( C1 (' MetaCons "NeverUsedVerKeyDSIGN" ' PrefixI ' False ) ( U1 :: Type -> Type ))
type Rep ( VerKeyDSIGN ByronDSIGN ) Source #
Instance details

Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN

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