Documentation

Associated Types

type SeedSizeDSIGN ByronDSIGN
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN type SeedSizeDSIGN ByronDSIGN = 32
type SizeVerKeyDSIGN ByronDSIGN
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN type SizeVerKeyDSIGN ByronDSIGN = 64
type SizeSignKeyDSIGN ByronDSIGN
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN type SizeSignKeyDSIGN ByronDSIGN = 128
type SizeSigDSIGN ByronDSIGN
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN type SizeSigDSIGN ByronDSIGN = 64
newtype VerKeyDSIGN ByronDSIGN
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN newtype VerKeyDSIGN ByronDSIGN = VerKeyByronDSIGN VerificationKey
newtype SignKeyDSIGN ByronDSIGN
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN newtype SignKeyDSIGN ByronDSIGN = SignKeyByronDSIGN SigningKey
newtype SigDSIGN ByronDSIGN
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN newtype SigDSIGN ByronDSIGN = SigByronDSIGN (Signature ToSign)
type ContextDSIGN ByronDSIGN
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN type ContextDSIGN ByronDSIGN = (ProtocolMagicId, VerKeyDSIGN ByronDSIGN)
type Signable ByronDSIGN
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN type Signable ByronDSIGN

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 #

Generic (SigDSIGN ByronDSIGN) Source #

Instance details

Associated Types

type Rep (SigDSIGN ByronDSIGN)
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN type Rep (SigDSIGN ByronDSIGN) = D1 ('MetaData "SigDSIGN" "Ouroboros.Consensus.Byron.Crypto.DSIGN" "ouroboros-consensus-cardano-0.25.1.0-inplace" '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 #

to ∷ Rep (SigDSIGN ByronDSIGN) x → SigDSIGN ByronDSIGN #

Generic (SignKeyDSIGN ByronDSIGN) Source #

Instance details

Associated Types

type Rep (SignKeyDSIGN ByronDSIGN)
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN type Rep (SignKeyDSIGN ByronDSIGN) = D1 ('MetaData "SignKeyDSIGN" "Ouroboros.Consensus.Byron.Crypto.DSIGN" "ouroboros-consensus-cardano-0.25.1.0-inplace" 'True) (C1 ('MetaCons "SignKeyByronDSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SigningKey)))

Methods

from ∷ SignKeyDSIGN ByronDSIGN → Rep (SignKeyDSIGN ByronDSIGN) x #

to ∷ Rep (SignKeyDSIGN ByronDSIGN) x → SignKeyDSIGN ByronDSIGN #

Generic (VerKeyDSIGN ByronDSIGN) Source #

Instance details

Associated Types

type Rep (VerKeyDSIGN ByronDSIGN)

Instance details

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

Methods

from ∷ VerKeyDSIGN ByronDSIGN → Rep (VerKeyDSIGN ByronDSIGN) x #

to ∷ Rep (VerKeyDSIGN ByronDSIGN) x → VerKeyDSIGN ByronDSIGN #

Show (SigDSIGN ByronDSIGN) Source #

Instance details

Methods

showsPrec ∷ Int → SigDSIGN ByronDSIGN → ShowS #

show ∷ SigDSIGN ByronDSIGN → String #

showList ∷ [SigDSIGN ByronDSIGN] → ShowS #

Show (SignKeyDSIGN ByronDSIGN) Source #

Instance details

Methods

showsPrec ∷ Int → SignKeyDSIGN ByronDSIGN → ShowS #

show ∷ SignKeyDSIGN ByronDSIGN → String #

showList ∷ [SignKeyDSIGN ByronDSIGN] → ShowS #

Show (VerKeyDSIGN ByronDSIGN) Source #

Instance details

Methods

showsPrec ∷ Int → VerKeyDSIGN ByronDSIGN → ShowS #

show ∷ VerKeyDSIGN ByronDSIGN → String #

showList ∷ [VerKeyDSIGN ByronDSIGN] → ShowS #

Eq (SigDSIGN ByronDSIGN) Source #

Instance details

Methods

(==) ∷ SigDSIGN ByronDSIGN → SigDSIGN ByronDSIGN → Bool #

(/=) ∷ SigDSIGN ByronDSIGN → SigDSIGN ByronDSIGN → Bool #

Eq (VerKeyDSIGN ByronDSIGN) Source #

Instance details

Methods

(==) ∷ VerKeyDSIGN ByronDSIGN → VerKeyDSIGN ByronDSIGN → Bool #

(/=) ∷ VerKeyDSIGN ByronDSIGN → VerKeyDSIGN ByronDSIGN → Bool #

NoThunks (SigDSIGN ByronDSIGN) Source #

Instance details

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

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

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

Methods

condense ∷ SigDSIGN ByronDSIGN → String Source #

type ContextDSIGN ByronDSIGN Source #

Instance details

type ContextDSIGN ByronDSIGN = (ProtocolMagicId, VerKeyDSIGN ByronDSIGN)

type SeedSizeDSIGN ByronDSIGN Source #

Instance details

type SeedSizeDSIGN ByronDSIGN = 32

newtype SigDSIGN ByronDSIGN Source #

Instance details

newtype SigDSIGN ByronDSIGN = SigByronDSIGN (Signature ToSign)

newtype SignKeyDSIGN ByronDSIGN Source #

Instance details

newtype SignKeyDSIGN ByronDSIGN = SignKeyByronDSIGN SigningKey

type Signable ByronDSIGN Source #

Instance details

type Signable ByronDSIGN

type SizeSigDSIGN ByronDSIGN Source #

Instance details

type SizeSigDSIGN ByronDSIGN = 64

type SizeSignKeyDSIGN ByronDSIGN Source #

Instance details

type SizeSignKeyDSIGN ByronDSIGN = 128

type SizeVerKeyDSIGN ByronDSIGN Source #

Instance details

type SizeVerKeyDSIGN ByronDSIGN = 64

newtype VerKeyDSIGN ByronDSIGN Source #

Instance details

newtype VerKeyDSIGN ByronDSIGN = VerKeyByronDSIGN VerificationKey

type Rep (SigDSIGN ByronDSIGN) Source #

Instance details

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

type Rep (SignKeyDSIGN ByronDSIGN) Source #

Instance details

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

type Rep (VerKeyDSIGN ByronDSIGN) Source #

Instance details

type Rep (VerKeyDSIGN ByronDSIGN) = D1 ('MetaData "VerKeyDSIGN" "Ouroboros.Consensus.Byron.Crypto.DSIGN" "ouroboros-consensus-cardano-0.25.1.0-inplace" '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

FromCBOR (SigDSIGN EcdsaSecp256k1DSIGN)

Instance details

Methods

fromCBOR ∷ Decoder s (SigDSIGN EcdsaSecp256k1DSIGN) Source #

label ∷ Proxy (SigDSIGN EcdsaSecp256k1DSIGN) → Text Source #

FromCBOR (SigDSIGN Ed25519DSIGN)

Instance details

Methods

fromCBOR ∷ Decoder s (SigDSIGN Ed25519DSIGN) Source #

label ∷ Proxy (SigDSIGN Ed25519DSIGN) → Text Source #

FromCBOR (SigDSIGN Ed448DSIGN)

Instance details

Methods

fromCBOR ∷ Decoder s (SigDSIGN Ed448DSIGN) Source #

label ∷ Proxy (SigDSIGN Ed448DSIGN) → Text Source #

FromCBOR (SigDSIGN MockDSIGN)

Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Methods

fromCBOR ∷ Decoder s (SigDSIGN MockDSIGN) Source #

label ∷ Proxy (SigDSIGN MockDSIGN) → Text Source #

FromCBOR (SigDSIGN SchnorrSecp256k1DSIGN)

Instance details

Methods

fromCBOR ∷ Decoder s (SigDSIGN SchnorrSecp256k1DSIGN) Source #

label ∷ Proxy (SigDSIGN SchnorrSecp256k1DSIGN) → Text Source #

ToCBOR (SigDSIGN EcdsaSecp256k1DSIGN)

Instance details

Methods

toCBOR ∷ SigDSIGN EcdsaSecp256k1DSIGN → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (SigDSIGN EcdsaSecp256k1DSIGN) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SigDSIGN EcdsaSecp256k1DSIGN] → Size Source #

ToCBOR (SigDSIGN Ed25519DSIGN)

Instance details

Methods

toCBOR ∷ SigDSIGN Ed25519DSIGN → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (SigDSIGN Ed25519DSIGN) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SigDSIGN Ed25519DSIGN] → Size Source #

ToCBOR (SigDSIGN Ed448DSIGN)

Instance details

Methods

toCBOR ∷ SigDSIGN Ed448DSIGN → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (SigDSIGN Ed448DSIGN) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SigDSIGN Ed448DSIGN] → Size Source #

ToCBOR (SigDSIGN MockDSIGN)

Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Methods

toCBOR ∷ SigDSIGN MockDSIGN → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (SigDSIGN MockDSIGN) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SigDSIGN MockDSIGN] → Size Source #

ToCBOR (SigDSIGN SchnorrSecp256k1DSIGN)

Instance details

Methods

toCBOR ∷ SigDSIGN SchnorrSecp256k1DSIGN → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (SigDSIGN SchnorrSecp256k1DSIGN) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SigDSIGN SchnorrSecp256k1DSIGN] → Size Source #

DSIGNAlgorithm v ⇒ DecCBOR (SigDSIGN v)

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)

Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ SigDSIGN v → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (SigDSIGN v) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [SigDSIGN v] → Size Source #

NFData (SigDSIGN EcdsaSecp256k1DSIGN)

Instance details

Methods

rnf ∷ SigDSIGN EcdsaSecp256k1DSIGN → () #

NFData (SigDSIGN Ed25519DSIGN)

Instance details

Methods

rnf ∷ SigDSIGN Ed25519DSIGN → () #

NFData (SigDSIGN MockDSIGN)

Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Methods

rnf ∷ SigDSIGN MockDSIGN → () #

NFData (SigDSIGN SchnorrSecp256k1DSIGN)

Instance details

Methods

rnf ∷ SigDSIGN SchnorrSecp256k1DSIGN → () #

Generic (SigDSIGN EcdsaSecp256k1DSIGN)

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.2.2.0-ce4117a35e3dc7dbc3e6f4b09da4c9f78650edf93f2ab76d929343e5c7707607" '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 #

to ∷ Rep (SigDSIGN EcdsaSecp256k1DSIGN) x → SigDSIGN EcdsaSecp256k1DSIGN #

Generic (SigDSIGN Ed25519DSIGN)

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.2.2.0-ce4117a35e3dc7dbc3e6f4b09da4c9f78650edf93f2ab76d929343e5c7707607" 'True) (C1 ('MetaCons "SigEd25519DSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PinnedSizedBytes (SizeSigDSIGN Ed25519DSIGN)))))

Methods

from ∷ SigDSIGN Ed25519DSIGN → Rep (SigDSIGN Ed25519DSIGN) x #

to ∷ Rep (SigDSIGN Ed25519DSIGN) x → SigDSIGN Ed25519DSIGN #

Generic (SigDSIGN Ed448DSIGN)

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.2.2.0-ce4117a35e3dc7dbc3e6f4b09da4c9f78650edf93f2ab76d929343e5c7707607" 'True) (C1 ('MetaCons "SigEd448DSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Signature)))

Methods

from ∷ SigDSIGN Ed448DSIGN → Rep (SigDSIGN Ed448DSIGN) x #

to ∷ Rep (SigDSIGN Ed448DSIGN) x → SigDSIGN Ed448DSIGN #

Generic (SigDSIGN MockDSIGN)

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.2.2.0-ce4117a35e3dc7dbc3e6f4b09da4c9f78650edf93f2ab76d929343e5c7707607" '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 #

to ∷ Rep (SigDSIGN MockDSIGN) x → SigDSIGN MockDSIGN #

Generic (SigDSIGN NeverDSIGN)

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.2.2.0-ce4117a35e3dc7dbc3e6f4b09da4c9f78650edf93f2ab76d929343e5c7707607" 'False) (C1 ('MetaCons "NeverUsedSigDSIGN" 'PrefixI 'False) (U1 ∷ Type → Type))

Methods

from ∷ SigDSIGN NeverDSIGN → Rep (SigDSIGN NeverDSIGN) x #

to ∷ Rep (SigDSIGN NeverDSIGN) x → SigDSIGN NeverDSIGN #

Generic (SigDSIGN SchnorrSecp256k1DSIGN)

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.2.2.0-ce4117a35e3dc7dbc3e6f4b09da4c9f78650edf93f2ab76d929343e5c7707607" 'True) (C1 ('MetaCons "SigSchnorrSecp256k1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PinnedSizedBytes (SizeSigDSIGN SchnorrSecp256k1DSIGN)))))

Methods

from ∷ SigDSIGN SchnorrSecp256k1DSIGN → Rep (SigDSIGN SchnorrSecp256k1DSIGN) x #

to ∷ Rep (SigDSIGN SchnorrSecp256k1DSIGN) x → SigDSIGN SchnorrSecp256k1DSIGN #

Generic (SigDSIGN ByronDSIGN) Source #

Instance details

Associated Types

type Rep (SigDSIGN ByronDSIGN)
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN type Rep (SigDSIGN ByronDSIGN) = D1 ('MetaData "SigDSIGN" "Ouroboros.Consensus.Byron.Crypto.DSIGN" "ouroboros-consensus-cardano-0.25.1.0-inplace" '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 #

to ∷ Rep (SigDSIGN ByronDSIGN) x → SigDSIGN ByronDSIGN #

Show (SigDSIGN EcdsaSecp256k1DSIGN)

Instance details

Methods

showsPrec ∷ Int → SigDSIGN EcdsaSecp256k1DSIGN → ShowS #

show ∷ SigDSIGN EcdsaSecp256k1DSIGN → String #

showList ∷ [SigDSIGN EcdsaSecp256k1DSIGN] → ShowS #

Show (SigDSIGN Ed25519DSIGN)

Instance details

Methods

showsPrec ∷ Int → SigDSIGN Ed25519DSIGN → ShowS #

show ∷ SigDSIGN Ed25519DSIGN → String #

showList ∷ [SigDSIGN Ed25519DSIGN] → ShowS #

Show (SigDSIGN Ed448DSIGN)

Instance details

Methods

showsPrec ∷ Int → SigDSIGN Ed448DSIGN → ShowS #

show ∷ SigDSIGN Ed448DSIGN → String #

showList ∷ [SigDSIGN Ed448DSIGN] → ShowS #

Show (SigDSIGN MockDSIGN)

Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Methods

showsPrec ∷ Int → SigDSIGN MockDSIGN → ShowS #

show ∷ SigDSIGN MockDSIGN → String #

showList ∷ [SigDSIGN MockDSIGN] → ShowS #

Show (SigDSIGN NeverDSIGN)

Instance details

Methods

showsPrec ∷ Int → SigDSIGN NeverDSIGN → ShowS #

show ∷ SigDSIGN NeverDSIGN → String #

showList ∷ [SigDSIGN NeverDSIGN] → ShowS #

Show (SigDSIGN SchnorrSecp256k1DSIGN)

Instance details

Methods

showsPrec ∷ Int → SigDSIGN SchnorrSecp256k1DSIGN → ShowS #

show ∷ SigDSIGN SchnorrSecp256k1DSIGN → String #

showList ∷ [SigDSIGN SchnorrSecp256k1DSIGN] → ShowS #

Show (SigDSIGN ByronDSIGN) Source #

Instance details

Methods

showsPrec ∷ Int → SigDSIGN ByronDSIGN → ShowS #

show ∷ SigDSIGN ByronDSIGN → String #

showList ∷ [SigDSIGN ByronDSIGN] → ShowS #

Eq (SigDSIGN EcdsaSecp256k1DSIGN)

Instance details

Methods

(==) ∷ SigDSIGN EcdsaSecp256k1DSIGN → SigDSIGN EcdsaSecp256k1DSIGN → Bool #

(/=) ∷ SigDSIGN EcdsaSecp256k1DSIGN → SigDSIGN EcdsaSecp256k1DSIGN → Bool #

Eq (SigDSIGN Ed25519DSIGN)

Instance details

Methods

(==) ∷ SigDSIGN Ed25519DSIGN → SigDSIGN Ed25519DSIGN → Bool #

(/=) ∷ SigDSIGN Ed25519DSIGN → SigDSIGN Ed25519DSIGN → Bool #

Eq (SigDSIGN Ed448DSIGN)

Instance details

Methods

(==) ∷ SigDSIGN Ed448DSIGN → SigDSIGN Ed448DSIGN → Bool #

(/=) ∷ SigDSIGN Ed448DSIGN → SigDSIGN Ed448DSIGN → Bool #

Eq (SigDSIGN MockDSIGN)

Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Methods

(==) ∷ SigDSIGN MockDSIGN → SigDSIGN MockDSIGN → Bool #

(/=) ∷ SigDSIGN MockDSIGN → SigDSIGN MockDSIGN → Bool #

Eq (SigDSIGN NeverDSIGN)

Instance details

Methods

(==) ∷ SigDSIGN NeverDSIGN → SigDSIGN NeverDSIGN → Bool #

(/=) ∷ SigDSIGN NeverDSIGN → SigDSIGN NeverDSIGN → Bool #

Eq (SigDSIGN SchnorrSecp256k1DSIGN)

Instance details

Methods

(==) ∷ SigDSIGN SchnorrSecp256k1DSIGN → SigDSIGN SchnorrSecp256k1DSIGN → Bool #

(/=) ∷ SigDSIGN SchnorrSecp256k1DSIGN → SigDSIGN SchnorrSecp256k1DSIGN → Bool #

Eq (SigDSIGN ByronDSIGN) Source #

Instance details

Methods

(==) ∷ SigDSIGN ByronDSIGN → SigDSIGN ByronDSIGN → Bool #

(/=) ∷ SigDSIGN ByronDSIGN → SigDSIGN ByronDSIGN → Bool #

Ord (SigDSIGN MockDSIGN)

Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Methods

compare ∷ SigDSIGN MockDSIGN → SigDSIGN MockDSIGN → Ordering #

(<) ∷ SigDSIGN MockDSIGN → SigDSIGN MockDSIGN → Bool #

(<=) ∷ SigDSIGN MockDSIGN → SigDSIGN MockDSIGN → Bool #

(>) ∷ SigDSIGN MockDSIGN → SigDSIGN MockDSIGN → Bool #

(>=) ∷ SigDSIGN MockDSIGN → SigDSIGN MockDSIGN → Bool #

max ∷ SigDSIGN MockDSIGN → SigDSIGN MockDSIGN → SigDSIGN MockDSIGN #

min ∷ SigDSIGN MockDSIGN → SigDSIGN MockDSIGN → SigDSIGN MockDSIGN #

ByteArrayAccess (SigDSIGN Ed448DSIGN)

Instance details

Methods

length ∷ SigDSIGN Ed448DSIGN → Int Source #

withByteArray ∷ SigDSIGN Ed448DSIGN → (Ptr p → IO a) → IO a Source #

copyByteArrayToPtr ∷ SigDSIGN Ed448DSIGN → Ptr p → IO () Source #

NoThunks (SigDSIGN EcdsaSecp256k1DSIGN)

Instance details

Methods

noThunks ∷ Context → SigDSIGN EcdsaSecp256k1DSIGN → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → SigDSIGN EcdsaSecp256k1DSIGN → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (SigDSIGN EcdsaSecp256k1DSIGN) → String Source #

NoThunks (SigDSIGN Ed25519DSIGN)

Instance details

Methods

noThunks ∷ Context → SigDSIGN Ed25519DSIGN → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → SigDSIGN Ed25519DSIGN → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (SigDSIGN Ed25519DSIGN) → String Source #

NoThunks (SigDSIGN Ed448DSIGN)

Instance details

Methods

noThunks ∷ Context → SigDSIGN Ed448DSIGN → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → SigDSIGN Ed448DSIGN → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (SigDSIGN Ed448DSIGN) → String Source #

NoThunks (SigDSIGN MockDSIGN)

Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Methods

noThunks ∷ Context → SigDSIGN MockDSIGN → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → SigDSIGN MockDSIGN → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (SigDSIGN MockDSIGN) → String Source #

NoThunks (SigDSIGN NeverDSIGN)

Instance details

Methods

noThunks ∷ Context → SigDSIGN NeverDSIGN → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → SigDSIGN NeverDSIGN → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (SigDSIGN NeverDSIGN) → String Source #

NoThunks (SigDSIGN SchnorrSecp256k1DSIGN)

Instance details

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

Instance details

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

Methods

condense ∷ SigDSIGN Ed25519DSIGN → String Source #

Condense (SigDSIGN Ed448DSIGN)

Instance details

Methods

condense ∷ SigDSIGN Ed448DSIGN → String Source #

Condense (SigDSIGN MockDSIGN)

Instance details

Methods

condense ∷ SigDSIGN MockDSIGN → String Source #

Condense (SigDSIGN ByronDSIGN) Source #

Instance details

Methods

condense ∷ SigDSIGN ByronDSIGN → String Source #

newtype SigDSIGN EcdsaSecp256k1DSIGN

Instance details

newtype SigDSIGN EcdsaSecp256k1DSIGN = SigEcdsaSecp256k1 (PinnedSizedBytes SECP256K1_ECDSA_SIGNATURE_BYTES_INTERNAL)

newtype SigDSIGN Ed25519DSIGN

Instance details

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

newtype SigDSIGN Ed448DSIGN

Instance details

newtype SigDSIGN Ed448DSIGN = SigEd448DSIGN Signature

data SigDSIGN MockDSIGN

Instance details

Defined in Cardano.Crypto.DSIGN.Mock

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

data SigDSIGN NeverDSIGN

Instance details

data SigDSIGN NeverDSIGN = NeverUsedSigDSIGN

newtype SigDSIGN SchnorrSecp256k1DSIGN

Instance details

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

newtype SigDSIGN ByronDSIGN Source #

Instance details

newtype SigDSIGN ByronDSIGN = SigByronDSIGN (Signature ToSign)

type Rep (SigDSIGN EcdsaSecp256k1DSIGN)

Instance details

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

type Rep (SigDSIGN Ed25519DSIGN)

Instance details

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

type Rep (SigDSIGN Ed448DSIGN)

Instance details

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

type Rep (SigDSIGN MockDSIGN)

Instance details

Defined in Cardano.Crypto.DSIGN.Mock

type Rep (SigDSIGN MockDSIGN) = D1 ('MetaData "SigDSIGN" "Cardano.Crypto.DSIGN.Mock" "cardano-crypto-class-2.2.2.0-ce4117a35e3dc7dbc3e6f4b09da4c9f78650edf93f2ab76d929343e5c7707607" '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)

Instance details

type Rep (SigDSIGN NeverDSIGN) = D1 ('MetaData "SigDSIGN" "Cardano.Crypto.DSIGN.NeverUsed" "cardano-crypto-class-2.2.2.0-ce4117a35e3dc7dbc3e6f4b09da4c9f78650edf93f2ab76d929343e5c7707607" 'False) (C1 ('MetaCons "NeverUsedSigDSIGN" 'PrefixI 'False) (U1 ∷ Type → Type))

type Rep (SigDSIGN SchnorrSecp256k1DSIGN)

Instance details

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

type Rep (SigDSIGN ByronDSIGN) Source #

Instance details

type Rep (SigDSIGN ByronDSIGN) = D1 ('MetaData "SigDSIGN" "Ouroboros.Consensus.Byron.Crypto.DSIGN" "ouroboros-consensus-cardano-0.25.1.0-inplace" '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 EcdsaSecp256k1DSIGN)

Instance details

Methods

fromCBOR ∷ Decoder s (SignKeyDSIGN EcdsaSecp256k1DSIGN) Source #

label ∷ Proxy (SignKeyDSIGN EcdsaSecp256k1DSIGN) → Text Source #

FromCBOR (SignKeyDSIGN Ed25519DSIGN)

Instance details

Methods

fromCBOR ∷ Decoder s (SignKeyDSIGN Ed25519DSIGN) Source #

label ∷ Proxy (SignKeyDSIGN Ed25519DSIGN) → Text Source #

FromCBOR (SignKeyDSIGN Ed448DSIGN)

Instance details

Methods

fromCBOR ∷ Decoder s (SignKeyDSIGN Ed448DSIGN) Source #

label ∷ Proxy (SignKeyDSIGN Ed448DSIGN) → Text Source #

FromCBOR (SignKeyDSIGN MockDSIGN)

Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Methods

fromCBOR ∷ Decoder s (SignKeyDSIGN MockDSIGN) Source #

label ∷ Proxy (SignKeyDSIGN MockDSIGN) → Text Source #

FromCBOR (SignKeyDSIGN SchnorrSecp256k1DSIGN)

Instance details

Methods

fromCBOR ∷ Decoder s (SignKeyDSIGN SchnorrSecp256k1DSIGN) Source #

label ∷ Proxy (SignKeyDSIGN SchnorrSecp256k1DSIGN) → Text Source #

ToCBOR (SignKeyDSIGN EcdsaSecp256k1DSIGN)

Instance details

Methods

toCBOR ∷ SignKeyDSIGN EcdsaSecp256k1DSIGN → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (SignKeyDSIGN EcdsaSecp256k1DSIGN) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SignKeyDSIGN EcdsaSecp256k1DSIGN] → Size Source #

ToCBOR (SignKeyDSIGN Ed25519DSIGN)

Instance details

Methods

toCBOR ∷ SignKeyDSIGN Ed25519DSIGN → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (SignKeyDSIGN Ed25519DSIGN) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SignKeyDSIGN Ed25519DSIGN] → Size Source #

ToCBOR (SignKeyDSIGN Ed448DSIGN)

Instance details

Methods

toCBOR ∷ SignKeyDSIGN Ed448DSIGN → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (SignKeyDSIGN Ed448DSIGN) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SignKeyDSIGN Ed448DSIGN] → Size Source #

ToCBOR (SignKeyDSIGN MockDSIGN)

Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Methods

toCBOR ∷ SignKeyDSIGN MockDSIGN → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (SignKeyDSIGN MockDSIGN) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SignKeyDSIGN MockDSIGN] → Size Source #

ToCBOR (SignKeyDSIGN SchnorrSecp256k1DSIGN)

Instance details

Methods

toCBOR ∷ SignKeyDSIGN SchnorrSecp256k1DSIGN → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (SignKeyDSIGN SchnorrSecp256k1DSIGN) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SignKeyDSIGN SchnorrSecp256k1DSIGN] → Size Source #

DSIGNAlgorithm v ⇒ DecCBOR (SignKeyDSIGN v)

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)

Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ SignKeyDSIGN v → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (SignKeyDSIGN v) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [SignKeyDSIGN v] → Size Source #

NFData (SignKeyDSIGN EcdsaSecp256k1DSIGN)

Instance details

Methods

rnf ∷ SignKeyDSIGN EcdsaSecp256k1DSIGN → () #

NFData (SignKeyDSIGN Ed25519DSIGN)

Instance details

Methods

rnf ∷ SignKeyDSIGN Ed25519DSIGN → () #

NFData (SignKeyDSIGN Ed448DSIGN)

Instance details

Methods

rnf ∷ SignKeyDSIGN Ed448DSIGN → () #

NFData (SignKeyDSIGN MockDSIGN)

Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Methods

rnf ∷ SignKeyDSIGN MockDSIGN → () #

NFData (SignKeyDSIGN SchnorrSecp256k1DSIGN)

Instance details

Methods

rnf ∷ SignKeyDSIGN SchnorrSecp256k1DSIGN → () #

Generic (SignKeyDSIGN EcdsaSecp256k1DSIGN)

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.2.2.0-ce4117a35e3dc7dbc3e6f4b09da4c9f78650edf93f2ab76d929343e5c7707607" '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 #

to ∷ Rep (SignKeyDSIGN EcdsaSecp256k1DSIGN) x → SignKeyDSIGN EcdsaSecp256k1DSIGN #

Generic (SignKeyDSIGN Ed25519DSIGN)

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.2.2.0-ce4117a35e3dc7dbc3e6f4b09da4c9f78650edf93f2ab76d929343e5c7707607" '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 #

to ∷ Rep (SignKeyDSIGN Ed25519DSIGN) x → SignKeyDSIGN Ed25519DSIGN #

Generic (SignKeyDSIGN Ed448DSIGN)

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.2.2.0-ce4117a35e3dc7dbc3e6f4b09da4c9f78650edf93f2ab76d929343e5c7707607" 'True) (C1 ('MetaCons "SignKeyEd448DSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SecretKey)))

Methods

from ∷ SignKeyDSIGN Ed448DSIGN → Rep (SignKeyDSIGN Ed448DSIGN) x #

to ∷ Rep (SignKeyDSIGN Ed448DSIGN) x → SignKeyDSIGN Ed448DSIGN #

Generic (SignKeyDSIGN MockDSIGN)

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

Methods

from ∷ SignKeyDSIGN MockDSIGN → Rep (SignKeyDSIGN MockDSIGN) x #

to ∷ Rep (SignKeyDSIGN MockDSIGN) x → SignKeyDSIGN MockDSIGN #

Generic (SignKeyDSIGN NeverDSIGN)

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.2.2.0-ce4117a35e3dc7dbc3e6f4b09da4c9f78650edf93f2ab76d929343e5c7707607" 'False) (C1 ('MetaCons "NeverUsedSignKeyDSIGN" 'PrefixI 'False) (U1 ∷ Type → Type))

Methods

from ∷ SignKeyDSIGN NeverDSIGN → Rep (SignKeyDSIGN NeverDSIGN) x #

to ∷ Rep (SignKeyDSIGN NeverDSIGN) x → SignKeyDSIGN NeverDSIGN #

Generic (SignKeyDSIGN SchnorrSecp256k1DSIGN)

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.2.2.0-ce4117a35e3dc7dbc3e6f4b09da4c9f78650edf93f2ab76d929343e5c7707607" 'True) (C1 ('MetaCons "SignKeySchnorrSecp256k1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PinnedSizedBytes (SizeSignKeyDSIGN SchnorrSecp256k1DSIGN)))))

Methods

from ∷ SignKeyDSIGN SchnorrSecp256k1DSIGN → Rep (SignKeyDSIGN SchnorrSecp256k1DSIGN) x #

to ∷ Rep (SignKeyDSIGN SchnorrSecp256k1DSIGN) x → SignKeyDSIGN SchnorrSecp256k1DSIGN #

Generic (SignKeyDSIGN ByronDSIGN) Source #

Instance details

Associated Types

type Rep (SignKeyDSIGN ByronDSIGN)
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN type Rep (SignKeyDSIGN ByronDSIGN) = D1 ('MetaData "SignKeyDSIGN" "Ouroboros.Consensus.Byron.Crypto.DSIGN" "ouroboros-consensus-cardano-0.25.1.0-inplace" 'True) (C1 ('MetaCons "SignKeyByronDSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SigningKey)))

Methods

from ∷ SignKeyDSIGN ByronDSIGN → Rep (SignKeyDSIGN ByronDSIGN) x #

to ∷ Rep (SignKeyDSIGN ByronDSIGN) x → SignKeyDSIGN ByronDSIGN #

Num (SignKeyDSIGN MockDSIGN)

Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Methods

(+) ∷ SignKeyDSIGN MockDSIGN → SignKeyDSIGN MockDSIGN → SignKeyDSIGN MockDSIGN #

(-) ∷ SignKeyDSIGN MockDSIGN → SignKeyDSIGN MockDSIGN → SignKeyDSIGN MockDSIGN #

(*) ∷ SignKeyDSIGN MockDSIGN → SignKeyDSIGN MockDSIGN → SignKeyDSIGN MockDSIGN #

negate ∷ SignKeyDSIGN MockDSIGN → SignKeyDSIGN MockDSIGN #

abs ∷ SignKeyDSIGN MockDSIGN → SignKeyDSIGN MockDSIGN #

signum ∷ SignKeyDSIGN MockDSIGN → SignKeyDSIGN MockDSIGN #

fromInteger ∷ Integer → SignKeyDSIGN MockDSIGN #

Show (SignKeyDSIGN EcdsaSecp256k1DSIGN)

Instance details

Methods

showsPrec ∷ Int → SignKeyDSIGN EcdsaSecp256k1DSIGN → ShowS #

show ∷ SignKeyDSIGN EcdsaSecp256k1DSIGN → String #

showList ∷ [SignKeyDSIGN EcdsaSecp256k1DSIGN] → ShowS #

Show (SignKeyDSIGN Ed25519DSIGN)

Instance details

Methods

showsPrec ∷ Int → SignKeyDSIGN Ed25519DSIGN → ShowS #

show ∷ SignKeyDSIGN Ed25519DSIGN → String #

showList ∷ [SignKeyDSIGN Ed25519DSIGN] → ShowS #

Show (SignKeyDSIGN Ed448DSIGN)

Instance details

Methods

showsPrec ∷ Int → SignKeyDSIGN Ed448DSIGN → ShowS #

show ∷ SignKeyDSIGN Ed448DSIGN → String #

showList ∷ [SignKeyDSIGN Ed448DSIGN] → ShowS #

Show (SignKeyDSIGN MockDSIGN)

Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Methods

showsPrec ∷ Int → SignKeyDSIGN MockDSIGN → ShowS #

show ∷ SignKeyDSIGN MockDSIGN → String #

showList ∷ [SignKeyDSIGN MockDSIGN] → ShowS #

Show (SignKeyDSIGN NeverDSIGN)

Instance details

Methods

showsPrec ∷ Int → SignKeyDSIGN NeverDSIGN → ShowS #

show ∷ SignKeyDSIGN NeverDSIGN → String #

showList ∷ [SignKeyDSIGN NeverDSIGN] → ShowS #

Show (SignKeyDSIGN SchnorrSecp256k1DSIGN)

Instance details

Methods

showsPrec ∷ Int → SignKeyDSIGN SchnorrSecp256k1DSIGN → ShowS #

show ∷ SignKeyDSIGN SchnorrSecp256k1DSIGN → String #

showList ∷ [SignKeyDSIGN SchnorrSecp256k1DSIGN] → ShowS #

Show (SignKeyDSIGN ByronDSIGN) Source #

Instance details

Methods

showsPrec ∷ Int → SignKeyDSIGN ByronDSIGN → ShowS #

show ∷ SignKeyDSIGN ByronDSIGN → String #

showList ∷ [SignKeyDSIGN ByronDSIGN] → ShowS #

Eq (SignKeyDSIGN EcdsaSecp256k1DSIGN)

Instance details

Methods

(==) ∷ SignKeyDSIGN EcdsaSecp256k1DSIGN → SignKeyDSIGN EcdsaSecp256k1DSIGN → Bool #

(/=) ∷ SignKeyDSIGN EcdsaSecp256k1DSIGN → SignKeyDSIGN EcdsaSecp256k1DSIGN → Bool #

Eq (SignKeyDSIGN Ed25519DSIGN)

Instance details

Methods

(==) ∷ SignKeyDSIGN Ed25519DSIGN → SignKeyDSIGN Ed25519DSIGN → Bool #

(/=) ∷ SignKeyDSIGN Ed25519DSIGN → SignKeyDSIGN Ed25519DSIGN → Bool #

Eq (SignKeyDSIGN Ed448DSIGN)

Instance details

Methods

(==) ∷ SignKeyDSIGN Ed448DSIGN → SignKeyDSIGN Ed448DSIGN → Bool #

(/=) ∷ SignKeyDSIGN Ed448DSIGN → SignKeyDSIGN Ed448DSIGN → Bool #

Eq (SignKeyDSIGN MockDSIGN)

Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Methods

(==) ∷ SignKeyDSIGN MockDSIGN → SignKeyDSIGN MockDSIGN → Bool #

(/=) ∷ SignKeyDSIGN MockDSIGN → SignKeyDSIGN MockDSIGN → Bool #

Eq (SignKeyDSIGN NeverDSIGN)

Instance details

Methods

(==) ∷ SignKeyDSIGN NeverDSIGN → SignKeyDSIGN NeverDSIGN → Bool #

(/=) ∷ SignKeyDSIGN NeverDSIGN → SignKeyDSIGN NeverDSIGN → Bool #

Eq (SignKeyDSIGN SchnorrSecp256k1DSIGN)

Instance details

Methods

(==) ∷ SignKeyDSIGN SchnorrSecp256k1DSIGN → SignKeyDSIGN SchnorrSecp256k1DSIGN → Bool #

(/=) ∷ SignKeyDSIGN SchnorrSecp256k1DSIGN → SignKeyDSIGN SchnorrSecp256k1DSIGN → Bool #

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

(<) ∷ SignKeyDSIGN v → SignKeyDSIGN v → Bool #

(<=) ∷ SignKeyDSIGN v → SignKeyDSIGN v → Bool #

(>) ∷ SignKeyDSIGN v → SignKeyDSIGN v → Bool #

(>=) ∷ SignKeyDSIGN v → SignKeyDSIGN v → Bool #

max ∷ SignKeyDSIGN v → SignKeyDSIGN v → SignKeyDSIGN v #

min ∷ SignKeyDSIGN v → SignKeyDSIGN v → SignKeyDSIGN v #

ByteArrayAccess (SignKeyDSIGN Ed448DSIGN)

Instance details

Methods

length ∷ SignKeyDSIGN Ed448DSIGN → Int Source #

withByteArray ∷ SignKeyDSIGN Ed448DSIGN → (Ptr p → IO a) → IO a Source #

copyByteArrayToPtr ∷ SignKeyDSIGN Ed448DSIGN → Ptr p → IO () Source #

NoThunks (SignKeyDSIGN EcdsaSecp256k1DSIGN)

Instance details

Methods

noThunks ∷ Context → SignKeyDSIGN EcdsaSecp256k1DSIGN → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → SignKeyDSIGN EcdsaSecp256k1DSIGN → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (SignKeyDSIGN EcdsaSecp256k1DSIGN) → String Source #

NoThunks (SignKeyDSIGN Ed25519DSIGN)

Instance details

Methods

noThunks ∷ Context → SignKeyDSIGN Ed25519DSIGN → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → SignKeyDSIGN Ed25519DSIGN → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (SignKeyDSIGN Ed25519DSIGN) → String Source #

NoThunks (SignKeyDSIGN Ed448DSIGN)

Instance details

Methods

noThunks ∷ Context → SignKeyDSIGN Ed448DSIGN → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → SignKeyDSIGN Ed448DSIGN → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (SignKeyDSIGN Ed448DSIGN) → String Source #

NoThunks (SignKeyDSIGN MockDSIGN)

Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Methods

noThunks ∷ Context → SignKeyDSIGN MockDSIGN → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → SignKeyDSIGN MockDSIGN → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (SignKeyDSIGN MockDSIGN) → String Source #

NoThunks (SignKeyDSIGN NeverDSIGN)

Instance details

Methods

noThunks ∷ Context → SignKeyDSIGN NeverDSIGN → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → SignKeyDSIGN NeverDSIGN → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (SignKeyDSIGN NeverDSIGN) → String Source #

NoThunks (SignKeyDSIGN SchnorrSecp256k1DSIGN)

Instance details

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

Instance details

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 EcdsaSecp256k1DSIGN

Instance details

newtype SignKeyDSIGN EcdsaSecp256k1DSIGN = SignKeyEcdsaSecp256k1 (PinnedSizedBytes SECP256K1_ECDSA_PRIVKEY_BYTES)

newtype SignKeyDSIGN Ed25519DSIGN

Instance details

newtype SignKeyDSIGN Ed25519DSIGN = SignKeyEd25519DSIGN (PinnedSizedBytes CRYPTO_SIGN_ED25519_SECRETKEYBYTES)

newtype SignKeyDSIGN Ed448DSIGN

Instance details

newtype SignKeyDSIGN Ed448DSIGN = SignKeyEd448DSIGN SecretKey

newtype SignKeyDSIGN MockDSIGN

Instance details

Defined in Cardano.Crypto.DSIGN.Mock

newtype SignKeyDSIGN MockDSIGN = SignKeyMockDSIGN Word64

data SignKeyDSIGN NeverDSIGN

Instance details

data SignKeyDSIGN NeverDSIGN = NeverUsedSignKeyDSIGN

newtype SignKeyDSIGN SchnorrSecp256k1DSIGN

Instance details

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

newtype SignKeyDSIGN ByronDSIGN Source #

Instance details

newtype SignKeyDSIGN ByronDSIGN = SignKeyByronDSIGN SigningKey

type Rep (SignKeyDSIGN EcdsaSecp256k1DSIGN)

Instance details

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

type Rep (SignKeyDSIGN Ed25519DSIGN)

Instance details

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

type Rep (SignKeyDSIGN Ed448DSIGN)

Instance details

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

type Rep (SignKeyDSIGN MockDSIGN)

Instance details

Defined in Cardano.Crypto.DSIGN.Mock

type Rep (SignKeyDSIGN MockDSIGN) = D1 ('MetaData "SignKeyDSIGN" "Cardano.Crypto.DSIGN.Mock" "cardano-crypto-class-2.2.2.0-ce4117a35e3dc7dbc3e6f4b09da4c9f78650edf93f2ab76d929343e5c7707607" 'True) (C1 ('MetaCons "SignKeyMockDSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

type Rep (SignKeyDSIGN NeverDSIGN)

Instance details

type Rep (SignKeyDSIGN NeverDSIGN) = D1 ('MetaData "SignKeyDSIGN" "Cardano.Crypto.DSIGN.NeverUsed" "cardano-crypto-class-2.2.2.0-ce4117a35e3dc7dbc3e6f4b09da4c9f78650edf93f2ab76d929343e5c7707607" 'False) (C1 ('MetaCons "NeverUsedSignKeyDSIGN" 'PrefixI 'False) (U1 ∷ Type → Type))

type Rep (SignKeyDSIGN SchnorrSecp256k1DSIGN)

Instance details

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

type Rep (SignKeyDSIGN ByronDSIGN) Source #

Instance details

type Rep (SignKeyDSIGN ByronDSIGN) = D1 ('MetaData "SignKeyDSIGN" "Ouroboros.Consensus.Byron.Crypto.DSIGN" "ouroboros-consensus-cardano-0.25.1.0-inplace" '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 EcdsaSecp256k1DSIGN)

Instance details

Methods

fromCBOR ∷ Decoder s (VerKeyDSIGN EcdsaSecp256k1DSIGN) Source #

label ∷ Proxy (VerKeyDSIGN EcdsaSecp256k1DSIGN) → Text Source #

FromCBOR (VerKeyDSIGN Ed25519DSIGN)

Instance details

Methods

fromCBOR ∷ Decoder s (VerKeyDSIGN Ed25519DSIGN) Source #

label ∷ Proxy (VerKeyDSIGN Ed25519DSIGN) → Text Source #

FromCBOR (VerKeyDSIGN Ed448DSIGN)

Instance details

Methods

fromCBOR ∷ Decoder s (VerKeyDSIGN Ed448DSIGN) Source #

label ∷ Proxy (VerKeyDSIGN Ed448DSIGN) → Text Source #

FromCBOR (VerKeyDSIGN MockDSIGN)

Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Methods

fromCBOR ∷ Decoder s (VerKeyDSIGN MockDSIGN) Source #

label ∷ Proxy (VerKeyDSIGN MockDSIGN) → Text Source #

FromCBOR (VerKeyDSIGN SchnorrSecp256k1DSIGN)

Instance details

Methods

fromCBOR ∷ Decoder s (VerKeyDSIGN SchnorrSecp256k1DSIGN) Source #

label ∷ Proxy (VerKeyDSIGN SchnorrSecp256k1DSIGN) → Text Source #

ToCBOR (VerKeyDSIGN EcdsaSecp256k1DSIGN)

Instance details

Methods

toCBOR ∷ VerKeyDSIGN EcdsaSecp256k1DSIGN → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (VerKeyDSIGN EcdsaSecp256k1DSIGN) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [VerKeyDSIGN EcdsaSecp256k1DSIGN] → Size Source #

ToCBOR (VerKeyDSIGN Ed25519DSIGN)

Instance details

Methods

toCBOR ∷ VerKeyDSIGN Ed25519DSIGN → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (VerKeyDSIGN Ed25519DSIGN) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [VerKeyDSIGN Ed25519DSIGN] → Size Source #

ToCBOR (VerKeyDSIGN Ed448DSIGN)

Instance details

Methods

toCBOR ∷ VerKeyDSIGN Ed448DSIGN → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (VerKeyDSIGN Ed448DSIGN) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [VerKeyDSIGN Ed448DSIGN] → Size Source #

ToCBOR (VerKeyDSIGN MockDSIGN)

Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Methods

toCBOR ∷ VerKeyDSIGN MockDSIGN → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (VerKeyDSIGN MockDSIGN) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [VerKeyDSIGN MockDSIGN] → Size Source #

ToCBOR (VerKeyDSIGN SchnorrSecp256k1DSIGN)

Instance details

Methods

toCBOR ∷ VerKeyDSIGN SchnorrSecp256k1DSIGN → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (VerKeyDSIGN SchnorrSecp256k1DSIGN) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [VerKeyDSIGN SchnorrSecp256k1DSIGN] → Size Source #

DirectDeserialise (VerKeyDSIGN Ed25519DSIGN)

Instance details

Methods

directDeserialise ∷ (MonadST m, MonadThrow m) ⇒ (Ptr CChar → CSize → m ()) → m (VerKeyDSIGN Ed25519DSIGN) Source #

DirectSerialise (VerKeyDSIGN Ed25519DSIGN)

Instance details

Methods

directSerialise ∷ (MonadST m, MonadThrow m) ⇒ (Ptr CChar → CSize → m ()) → VerKeyDSIGN Ed25519DSIGN → m () Source #

DSIGNAlgorithm v ⇒ DecCBOR (VerKeyDSIGN v)

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)

Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ VerKeyDSIGN v → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (VerKeyDSIGN v) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [VerKeyDSIGN v] → Size Source #

NFData (VerKeyDSIGN EcdsaSecp256k1DSIGN)

Instance details

Methods

rnf ∷ VerKeyDSIGN EcdsaSecp256k1DSIGN → () #

NFData (VerKeyDSIGN Ed25519DSIGN)

Instance details

Methods

rnf ∷ VerKeyDSIGN Ed25519DSIGN → () #

NFData (VerKeyDSIGN Ed448DSIGN)

Instance details

Methods

rnf ∷ VerKeyDSIGN Ed448DSIGN → () #

NFData (VerKeyDSIGN MockDSIGN)

Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Methods

rnf ∷ VerKeyDSIGN MockDSIGN → () #

NFData (VerKeyDSIGN SchnorrSecp256k1DSIGN)

Instance details

Methods

rnf ∷ VerKeyDSIGN SchnorrSecp256k1DSIGN → () #

Generic (VerKeyDSIGN EcdsaSecp256k1DSIGN)

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.2.2.0-ce4117a35e3dc7dbc3e6f4b09da4c9f78650edf93f2ab76d929343e5c7707607" '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 #

to ∷ Rep (VerKeyDSIGN EcdsaSecp256k1DSIGN) x → VerKeyDSIGN EcdsaSecp256k1DSIGN #

Generic (VerKeyDSIGN Ed25519DSIGN)

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.2.2.0-ce4117a35e3dc7dbc3e6f4b09da4c9f78650edf93f2ab76d929343e5c7707607" 'True) (C1 ('MetaCons "VerKeyEd25519DSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PinnedSizedBytes (SizeVerKeyDSIGN Ed25519DSIGN)))))

Methods

from ∷ VerKeyDSIGN Ed25519DSIGN → Rep (VerKeyDSIGN Ed25519DSIGN) x #

to ∷ Rep (VerKeyDSIGN Ed25519DSIGN) x → VerKeyDSIGN Ed25519DSIGN #

Generic (VerKeyDSIGN Ed448DSIGN)

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.2.2.0-ce4117a35e3dc7dbc3e6f4b09da4c9f78650edf93f2ab76d929343e5c7707607" 'True) (C1 ('MetaCons "VerKeyEd448DSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PublicKey)))

Methods

from ∷ VerKeyDSIGN Ed448DSIGN → Rep (VerKeyDSIGN Ed448DSIGN) x #

to ∷ Rep (VerKeyDSIGN Ed448DSIGN) x → VerKeyDSIGN Ed448DSIGN #

Generic (VerKeyDSIGN MockDSIGN)

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

Methods

from ∷ VerKeyDSIGN MockDSIGN → Rep (VerKeyDSIGN MockDSIGN) x #

to ∷ Rep (VerKeyDSIGN MockDSIGN) x → VerKeyDSIGN MockDSIGN #

Generic (VerKeyDSIGN NeverDSIGN)

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.2.2.0-ce4117a35e3dc7dbc3e6f4b09da4c9f78650edf93f2ab76d929343e5c7707607" 'False) (C1 ('MetaCons "NeverUsedVerKeyDSIGN" 'PrefixI 'False) (U1 ∷ Type → Type))

Methods

from ∷ VerKeyDSIGN NeverDSIGN → Rep (VerKeyDSIGN NeverDSIGN) x #

to ∷ Rep (VerKeyDSIGN NeverDSIGN) x → VerKeyDSIGN NeverDSIGN #

Generic (VerKeyDSIGN SchnorrSecp256k1DSIGN)

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.2.2.0-ce4117a35e3dc7dbc3e6f4b09da4c9f78650edf93f2ab76d929343e5c7707607" '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 #

to ∷ Rep (VerKeyDSIGN SchnorrSecp256k1DSIGN) x → VerKeyDSIGN SchnorrSecp256k1DSIGN #

Generic (VerKeyDSIGN ByronDSIGN) Source #

Instance details

Associated Types

type Rep (VerKeyDSIGN ByronDSIGN)

Instance details

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

Methods

from ∷ VerKeyDSIGN ByronDSIGN → Rep (VerKeyDSIGN ByronDSIGN) x #

to ∷ Rep (VerKeyDSIGN ByronDSIGN) x → VerKeyDSIGN ByronDSIGN #

Num (VerKeyDSIGN MockDSIGN)

Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Methods

(+) ∷ VerKeyDSIGN MockDSIGN → VerKeyDSIGN MockDSIGN → VerKeyDSIGN MockDSIGN #

(-) ∷ VerKeyDSIGN MockDSIGN → VerKeyDSIGN MockDSIGN → VerKeyDSIGN MockDSIGN #

(*) ∷ VerKeyDSIGN MockDSIGN → VerKeyDSIGN MockDSIGN → VerKeyDSIGN MockDSIGN #

negate ∷ VerKeyDSIGN MockDSIGN → VerKeyDSIGN MockDSIGN #

abs ∷ VerKeyDSIGN MockDSIGN → VerKeyDSIGN MockDSIGN #

signum ∷ VerKeyDSIGN MockDSIGN → VerKeyDSIGN MockDSIGN #

fromInteger ∷ Integer → VerKeyDSIGN MockDSIGN #

Show (VerKeyDSIGN EcdsaSecp256k1DSIGN)

Instance details

Methods

showsPrec ∷ Int → VerKeyDSIGN EcdsaSecp256k1DSIGN → ShowS #

show ∷ VerKeyDSIGN EcdsaSecp256k1DSIGN → String #

showList ∷ [VerKeyDSIGN EcdsaSecp256k1DSIGN] → ShowS #

Show (VerKeyDSIGN Ed25519DSIGN)

Instance details

Methods

showsPrec ∷ Int → VerKeyDSIGN Ed25519DSIGN → ShowS #

show ∷ VerKeyDSIGN Ed25519DSIGN → String #

showList ∷ [VerKeyDSIGN Ed25519DSIGN] → ShowS #

Show (VerKeyDSIGN Ed448DSIGN)

Instance details

Methods

showsPrec ∷ Int → VerKeyDSIGN Ed448DSIGN → ShowS #

show ∷ VerKeyDSIGN Ed448DSIGN → String #

showList ∷ [VerKeyDSIGN Ed448DSIGN] → ShowS #

Show (VerKeyDSIGN MockDSIGN)

Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Methods

showsPrec ∷ Int → VerKeyDSIGN MockDSIGN → ShowS #

show ∷ VerKeyDSIGN MockDSIGN → String #

showList ∷ [VerKeyDSIGN MockDSIGN] → ShowS #

Show (VerKeyDSIGN NeverDSIGN)

Instance details

Methods

showsPrec ∷ Int → VerKeyDSIGN NeverDSIGN → ShowS #

show ∷ VerKeyDSIGN NeverDSIGN → String #

showList ∷ [VerKeyDSIGN NeverDSIGN] → ShowS #

Show (VerKeyDSIGN SchnorrSecp256k1DSIGN)

Instance details

Methods

showsPrec ∷ Int → VerKeyDSIGN SchnorrSecp256k1DSIGN → ShowS #

show ∷ VerKeyDSIGN SchnorrSecp256k1DSIGN → String #

showList ∷ [VerKeyDSIGN SchnorrSecp256k1DSIGN] → ShowS #

Show (VerKeyDSIGN ByronDSIGN) Source #

Instance details

Methods

showsPrec ∷ Int → VerKeyDSIGN ByronDSIGN → ShowS #

show ∷ VerKeyDSIGN ByronDSIGN → String #

showList ∷ [VerKeyDSIGN ByronDSIGN] → ShowS #

Eq (VerKeyDSIGN EcdsaSecp256k1DSIGN)

Instance details

Methods

(==) ∷ VerKeyDSIGN EcdsaSecp256k1DSIGN → VerKeyDSIGN EcdsaSecp256k1DSIGN → Bool #

(/=) ∷ VerKeyDSIGN EcdsaSecp256k1DSIGN → VerKeyDSIGN EcdsaSecp256k1DSIGN → Bool #

Eq (VerKeyDSIGN Ed25519DSIGN)

Instance details

Methods

(==) ∷ VerKeyDSIGN Ed25519DSIGN → VerKeyDSIGN Ed25519DSIGN → Bool #

(/=) ∷ VerKeyDSIGN Ed25519DSIGN → VerKeyDSIGN Ed25519DSIGN → Bool #

Eq (VerKeyDSIGN Ed448DSIGN)

Instance details

Methods

(==) ∷ VerKeyDSIGN Ed448DSIGN → VerKeyDSIGN Ed448DSIGN → Bool #

(/=) ∷ VerKeyDSIGN Ed448DSIGN → VerKeyDSIGN Ed448DSIGN → Bool #

Eq (VerKeyDSIGN MockDSIGN)

Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Methods

(==) ∷ VerKeyDSIGN MockDSIGN → VerKeyDSIGN MockDSIGN → Bool #

(/=) ∷ VerKeyDSIGN MockDSIGN → VerKeyDSIGN MockDSIGN → Bool #

Eq (VerKeyDSIGN NeverDSIGN)

Instance details

Methods

(==) ∷ VerKeyDSIGN NeverDSIGN → VerKeyDSIGN NeverDSIGN → Bool #

(/=) ∷ VerKeyDSIGN NeverDSIGN → VerKeyDSIGN NeverDSIGN → Bool #

Eq (VerKeyDSIGN SchnorrSecp256k1DSIGN)

Instance details

Methods

(==) ∷ VerKeyDSIGN SchnorrSecp256k1DSIGN → VerKeyDSIGN SchnorrSecp256k1DSIGN → Bool #

(/=) ∷ VerKeyDSIGN SchnorrSecp256k1DSIGN → VerKeyDSIGN SchnorrSecp256k1DSIGN → Bool #

Eq (VerKeyDSIGN ByronDSIGN) Source #

Instance details

Methods

(==) ∷ VerKeyDSIGN ByronDSIGN → VerKeyDSIGN ByronDSIGN → Bool #

(/=) ∷ VerKeyDSIGN ByronDSIGN → VerKeyDSIGN ByronDSIGN → Bool #

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

(<) ∷ VerKeyDSIGN v → VerKeyDSIGN v → Bool #

(<=) ∷ VerKeyDSIGN v → VerKeyDSIGN v → Bool #

(>) ∷ VerKeyDSIGN v → VerKeyDSIGN v → Bool #

(>=) ∷ VerKeyDSIGN v → VerKeyDSIGN v → Bool #

max ∷ VerKeyDSIGN v → VerKeyDSIGN v → VerKeyDSIGN v #

min ∷ VerKeyDSIGN v → VerKeyDSIGN v → VerKeyDSIGN v #

ByteArrayAccess (VerKeyDSIGN Ed448DSIGN)

Instance details

Methods

length ∷ VerKeyDSIGN Ed448DSIGN → Int Source #

withByteArray ∷ VerKeyDSIGN Ed448DSIGN → (Ptr p → IO a) → IO a Source #

copyByteArrayToPtr ∷ VerKeyDSIGN Ed448DSIGN → Ptr p → IO () Source #

NoThunks (VerKeyDSIGN EcdsaSecp256k1DSIGN)

Instance details

Methods

noThunks ∷ Context → VerKeyDSIGN EcdsaSecp256k1DSIGN → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → VerKeyDSIGN EcdsaSecp256k1DSIGN → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (VerKeyDSIGN EcdsaSecp256k1DSIGN) → String Source #

NoThunks (VerKeyDSIGN Ed25519DSIGN)

Instance details

Methods

noThunks ∷ Context → VerKeyDSIGN Ed25519DSIGN → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → VerKeyDSIGN Ed25519DSIGN → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (VerKeyDSIGN Ed25519DSIGN) → String Source #

NoThunks (VerKeyDSIGN Ed448DSIGN)

Instance details

Methods

noThunks ∷ Context → VerKeyDSIGN Ed448DSIGN → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → VerKeyDSIGN Ed448DSIGN → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (VerKeyDSIGN Ed448DSIGN) → String Source #

NoThunks (VerKeyDSIGN MockDSIGN)

Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Methods

noThunks ∷ Context → VerKeyDSIGN MockDSIGN → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → VerKeyDSIGN MockDSIGN → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (VerKeyDSIGN MockDSIGN) → String Source #

NoThunks (VerKeyDSIGN NeverDSIGN)

Instance details

Methods

noThunks ∷ Context → VerKeyDSIGN NeverDSIGN → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → VerKeyDSIGN NeverDSIGN → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (VerKeyDSIGN NeverDSIGN) → String Source #

NoThunks (VerKeyDSIGN SchnorrSecp256k1DSIGN)

Instance details

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

Instance details

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

Methods

condense ∷ VerKeyDSIGN d → String Source #

newtype VerKeyDSIGN EcdsaSecp256k1DSIGN

Instance details

newtype VerKeyDSIGN EcdsaSecp256k1DSIGN = VerKeyEcdsaSecp256k1 (PinnedSizedBytes SECP256K1_ECDSA_PUBKEY_BYTES_INTERNAL)

newtype VerKeyDSIGN Ed25519DSIGN

Instance details

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

newtype VerKeyDSIGN Ed448DSIGN

Instance details

newtype VerKeyDSIGN Ed448DSIGN = VerKeyEd448DSIGN PublicKey

newtype VerKeyDSIGN MockDSIGN

Instance details

Defined in Cardano.Crypto.DSIGN.Mock

newtype VerKeyDSIGN MockDSIGN = VerKeyMockDSIGN Word64

data VerKeyDSIGN NeverDSIGN

Instance details

data VerKeyDSIGN NeverDSIGN = NeverUsedVerKeyDSIGN

newtype VerKeyDSIGN SchnorrSecp256k1DSIGN

Instance details

newtype VerKeyDSIGN SchnorrSecp256k1DSIGN = VerKeySchnorrSecp256k1 (PinnedSizedBytes SECP256K1_SCHNORR_PUBKEY_BYTES_INTERNAL)

newtype VerKeyDSIGN ByronDSIGN Source #

Instance details

newtype VerKeyDSIGN ByronDSIGN = VerKeyByronDSIGN VerificationKey

type Rep (VerKeyDSIGN EcdsaSecp256k1DSIGN)

Instance details

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

type Rep (VerKeyDSIGN Ed25519DSIGN)

Instance details

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

type Rep (VerKeyDSIGN Ed448DSIGN)

Instance details

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

type Rep (VerKeyDSIGN MockDSIGN)

Instance details

Defined in Cardano.Crypto.DSIGN.Mock

type Rep (VerKeyDSIGN MockDSIGN) = D1 ('MetaData "VerKeyDSIGN" "Cardano.Crypto.DSIGN.Mock" "cardano-crypto-class-2.2.2.0-ce4117a35e3dc7dbc3e6f4b09da4c9f78650edf93f2ab76d929343e5c7707607" 'True) (C1 ('MetaCons "VerKeyMockDSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

type Rep (VerKeyDSIGN NeverDSIGN)

Instance details

type Rep (VerKeyDSIGN NeverDSIGN) = D1 ('MetaData "VerKeyDSIGN" "Cardano.Crypto.DSIGN.NeverUsed" "cardano-crypto-class-2.2.2.0-ce4117a35e3dc7dbc3e6f4b09da4c9f78650edf93f2ab76d929343e5c7707607" 'False) (C1 ('MetaCons "NeverUsedVerKeyDSIGN" 'PrefixI 'False) (U1 ∷ Type → Type))

type Rep (VerKeyDSIGN SchnorrSecp256k1DSIGN)

Instance details

type Rep (VerKeyDSIGN SchnorrSecp256k1DSIGN) = D1 ('MetaData "VerKeyDSIGN" "Cardano.Crypto.DSIGN.SchnorrSecp256k1" "cardano-crypto-class-2.2.2.0-ce4117a35e3dc7dbc3e6f4b09da4c9f78650edf93f2ab76d929343e5c7707607" '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) Source #

Instance details