Documentation

Associated Types

type SeedSizeDSIGN ByronDSIGN
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN type SeedSizeDSIGN ByronDSIGN = 32
type SignKeySizeDSIGN ByronDSIGN
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN type SignKeySizeDSIGN ByronDSIGN = 128
type VerKeySizeDSIGN ByronDSIGN
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN type VerKeySizeDSIGN ByronDSIGN = 64
type SigSizeDSIGN ByronDSIGN
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN type SigSizeDSIGN ByronDSIGN = 64
type SizeSignKeyDSIGN ByronDSIGN
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN type SizeSignKeyDSIGN ByronDSIGN = SignKeySizeDSIGN ByronDSIGN
type SizeVerKeyDSIGN ByronDSIGN
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN type SizeVerKeyDSIGN ByronDSIGN = VerKeySizeDSIGN ByronDSIGN
type SizeSigDSIGN ByronDSIGN
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN type SizeSigDSIGN ByronDSIGN = SigSizeDSIGN ByronDSIGN
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
type KeyGenContextDSIGN ByronDSIGN
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN type KeyGenContextDSIGN 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 #

genKeyDSIGNWithContext ∷ KeyGenContextDSIGN ByronDSIGN → 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 #

FixedSizeCodec (SigDSIGN ByronDSIGN) Source #

Instance details

Associated Types

type FixedSize (SigDSIGN ByronDSIGN)
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN type FixedSize (SigDSIGN ByronDSIGN) = 64

Methods

rawEncodeFixedSized ∷ SigDSIGN ByronDSIGN → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m (SigDSIGN ByronDSIGN) Source #

FixedSizeCodec (SignKeyDSIGN ByronDSIGN) Source #

Instance details

Associated Types

type FixedSize (SignKeyDSIGN ByronDSIGN)
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN type FixedSize (SignKeyDSIGN ByronDSIGN) = 128

Methods

rawEncodeFixedSized ∷ SignKeyDSIGN ByronDSIGN → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m (SignKeyDSIGN ByronDSIGN) Source #

FixedSizeCodec (VerKeyDSIGN ByronDSIGN) Source #

Instance details

Associated Types

type FixedSize (VerKeyDSIGN ByronDSIGN)
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN type FixedSize (VerKeyDSIGN ByronDSIGN) = 64

Methods

rawEncodeFixedSized ∷ VerKeyDSIGN ByronDSIGN → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m (VerKeyDSIGN ByronDSIGN) Source #

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 #

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

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

Instance details

type KeyGenContextDSIGN ByronDSIGN = ()

type SeedSizeDSIGN ByronDSIGN Source #

Instance details

type SeedSizeDSIGN ByronDSIGN = 32

newtype SigDSIGN ByronDSIGN Source #

Instance details

newtype SigDSIGN ByronDSIGN = SigByronDSIGN (Signature ToSign)

type SigSizeDSIGN ByronDSIGN Source #

Instance details

type SigSizeDSIGN ByronDSIGN = 64

newtype SignKeyDSIGN ByronDSIGN Source #

Instance details

newtype SignKeyDSIGN ByronDSIGN = SignKeyByronDSIGN SigningKey

type SignKeySizeDSIGN ByronDSIGN Source #

Instance details

type SignKeySizeDSIGN ByronDSIGN = 128

type Signable ByronDSIGN Source #

Instance details

type Signable ByronDSIGN

type SizeSigDSIGN ByronDSIGN Source #

Instance details

type SizeSigDSIGN ByronDSIGN = SigSizeDSIGN ByronDSIGN

type SizeSignKeyDSIGN ByronDSIGN Source #

Instance details

type SizeSignKeyDSIGN ByronDSIGN = SignKeySizeDSIGN ByronDSIGN

type SizeVerKeyDSIGN ByronDSIGN Source #

Instance details

type SizeVerKeyDSIGN ByronDSIGN = VerKeySizeDSIGN ByronDSIGN

newtype VerKeyDSIGN ByronDSIGN Source #

Instance details

newtype VerKeyDSIGN ByronDSIGN = VerKeyByronDSIGN VerificationKey

type VerKeySizeDSIGN ByronDSIGN Source #

Instance details

type VerKeySizeDSIGN ByronDSIGN = 64

type FixedSize (SigDSIGN ByronDSIGN) Source #

Instance details

type FixedSize (SigDSIGN ByronDSIGN) = 64

type FixedSize (SignKeyDSIGN ByronDSIGN) Source #

Instance details

type FixedSize (SignKeyDSIGN ByronDSIGN) = 128

type FixedSize (VerKeyDSIGN ByronDSIGN) Source #

Instance details

type FixedSize (VerKeyDSIGN ByronDSIGN) = 64

type Rep (SigDSIGN ByronDSIGN) Source #

Instance details

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

BLS12381CurveConstraints curve ⇒ FixedSizeCodec (SigDSIGN (BLS12381DSIGN curve)) Source #

Instance details

Associated Types

type FixedSize (SigDSIGN (BLS12381DSIGN curve))
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381.Internal type FixedSize (SigDSIGN (BLS12381DSIGN curve)) = CompressedPointSize (DualCurve curve)

Methods

rawEncodeFixedSized ∷ SigDSIGN (BLS12381DSIGN curve) → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m (SigDSIGN (BLS12381DSIGN curve)) Source #

FixedSizeCodec (SigDSIGN EcdsaSecp256k1DSIGN) Source #

Instance details

Associated Types

type FixedSize (SigDSIGN EcdsaSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 type FixedSize (SigDSIGN EcdsaSecp256k1DSIGN) = SECP256K1_ECDSA_SIGNATURE_BYTES

Methods

rawEncodeFixedSized ∷ SigDSIGN EcdsaSecp256k1DSIGN → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m (SigDSIGN EcdsaSecp256k1DSIGN) Source #

FixedSizeCodec (SigDSIGN Ed25519DSIGN) Source #

Instance details

Associated Types

type FixedSize (SigDSIGN Ed25519DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 type FixedSize (SigDSIGN Ed25519DSIGN) = CRYPTO_SIGN_ED25519_BYTES

Methods

rawEncodeFixedSized ∷ SigDSIGN Ed25519DSIGN → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m (SigDSIGN Ed25519DSIGN) Source #

FixedSizeCodec (SigDSIGN Ed448DSIGN) Source #

Instance details

Associated Types

type FixedSize (SigDSIGN Ed448DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 type FixedSize (SigDSIGN Ed448DSIGN) = 114

Methods

rawEncodeFixedSized ∷ SigDSIGN Ed448DSIGN → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m (SigDSIGN Ed448DSIGN) Source #

FixedSizeCodec (SigDSIGN MockDSIGN) Source #

Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Associated Types

type FixedSize (SigDSIGN MockDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Mock type FixedSize (SigDSIGN MockDSIGN) = HashSize ShortHash + 8

Methods

rawEncodeFixedSized ∷ SigDSIGN MockDSIGN → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m (SigDSIGN MockDSIGN) Source #

FixedSizeCodec (SigDSIGN NeverDSIGN) Source #

Instance details

Associated Types

type FixedSize (SigDSIGN NeverDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed type FixedSize (SigDSIGN NeverDSIGN) = 0

Methods

rawEncodeFixedSized ∷ SigDSIGN NeverDSIGN → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m (SigDSIGN NeverDSIGN) Source #

FixedSizeCodec (SigDSIGN SchnorrSecp256k1DSIGN) Source #

Instance details

Associated Types

type FixedSize (SigDSIGN SchnorrSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 type FixedSize (SigDSIGN SchnorrSecp256k1DSIGN) = SECP256K1_SCHNORR_SIGNATURE_BYTES

Methods

rawEncodeFixedSized ∷ SigDSIGN SchnorrSecp256k1DSIGN → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m (SigDSIGN SchnorrSecp256k1DSIGN) Source #

FixedSizeCodec (SigDSIGN ByronDSIGN) Source #

Instance details

Associated Types

type FixedSize (SigDSIGN ByronDSIGN)
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN type FixedSize (SigDSIGN ByronDSIGN) = 64

Methods

rawEncodeFixedSized ∷ SigDSIGN ByronDSIGN → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m (SigDSIGN ByronDSIGN) Source #

BLS12381CurveConstraints curve ⇒ FromCBOR (SigDSIGN (BLS12381DSIGN curve)) Source #

Instance details

Methods

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

label ∷ Proxy (SigDSIGN (BLS12381DSIGN curve)) → Text Source #

FromCBOR (SigDSIGN EcdsaSecp256k1DSIGN) Source #

Instance details

Methods

fromCBOR ∷ Decoder s (SigDSIGN EcdsaSecp256k1DSIGN) Source #

label ∷ Proxy (SigDSIGN EcdsaSecp256k1DSIGN) → Text Source #

FromCBOR (SigDSIGN Ed25519DSIGN) Source #

Instance details

Methods

fromCBOR ∷ Decoder s (SigDSIGN Ed25519DSIGN) Source #

label ∷ Proxy (SigDSIGN Ed25519DSIGN) → Text Source #

FromCBOR (SigDSIGN Ed448DSIGN) Source #

Instance details

Methods

fromCBOR ∷ Decoder s (SigDSIGN Ed448DSIGN) Source #

label ∷ Proxy (SigDSIGN Ed448DSIGN) → Text Source #

FromCBOR (SigDSIGN MockDSIGN) Source #

Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Methods

fromCBOR ∷ Decoder s (SigDSIGN MockDSIGN) Source #

label ∷ Proxy (SigDSIGN MockDSIGN) → Text Source #

FromCBOR (SigDSIGN SchnorrSecp256k1DSIGN) Source #

Instance details

Methods

fromCBOR ∷ Decoder s (SigDSIGN SchnorrSecp256k1DSIGN) Source #

label ∷ Proxy (SigDSIGN SchnorrSecp256k1DSIGN) → Text Source #

BLS12381CurveConstraints curve ⇒ ToCBOR (SigDSIGN (BLS12381DSIGN curve)) Source #

Instance details

Methods

toCBOR ∷ SigDSIGN (BLS12381DSIGN curve) → Encoding Source #

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

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

ToCBOR (SigDSIGN EcdsaSecp256k1DSIGN) Source #

Instance details

Methods

toCBOR ∷ SigDSIGN EcdsaSecp256k1DSIGN → Encoding Source #

encodedSizeExpr ∷ (∀ 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) Source #

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

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

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

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

Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

Methods

decCBOR ∷ Decoder s (SigDSIGN v) Source #

dropCBOR ∷ Proxy (SigDSIGN v) → Decoder s () Source #

label ∷ Proxy (SigDSIGN v) → Text Source #

DSIGNAlgorithm v ⇒ EncCBOR (SigDSIGN v) Source #

Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ SigDSIGN v → Encoding Source #

NFData (SigDSIGN (BLS12381DSIGN curve)) Source #

Instance details

Methods

rnf ∷ SigDSIGN (BLS12381DSIGN curve) → () #

NFData (SigDSIGN EcdsaSecp256k1DSIGN) Source #

Instance details

Methods

rnf ∷ SigDSIGN EcdsaSecp256k1DSIGN → () #

NFData (SigDSIGN Ed25519DSIGN) Source #

Instance details

Methods

rnf ∷ SigDSIGN Ed25519DSIGN → () #

NFData (SigDSIGN MockDSIGN) Source #

Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Methods

rnf ∷ SigDSIGN MockDSIGN → () #

NFData (SigDSIGN SchnorrSecp256k1DSIGN) Source #

Instance details

Methods

rnf ∷ SigDSIGN SchnorrSecp256k1DSIGN → () #

BLS (DualCurve curve) ⇒ Eq (SigDSIGN (BLS12381DSIGN curve)) Source #

Instance details

Methods

(==) ∷ SigDSIGN (BLS12381DSIGN curve) → SigDSIGN (BLS12381DSIGN curve) → Bool #

(/=) ∷ SigDSIGN (BLS12381DSIGN curve) → SigDSIGN (BLS12381DSIGN curve) → Bool #

Eq (SigDSIGN EcdsaSecp256k1DSIGN) Source #

Instance details

Methods

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

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

Eq (SigDSIGN Ed25519DSIGN) Source #

Instance details

Methods

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

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

Eq (SigDSIGN Ed448DSIGN) Source #

Instance details

Methods

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

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

Eq (SigDSIGN MockDSIGN) Source #

Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Methods

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

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

Eq (SigDSIGN NeverDSIGN) Source #

Instance details

Methods

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

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

Eq (SigDSIGN SchnorrSecp256k1DSIGN) Source #

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

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 #

Generic (SigDSIGN (BLS12381DSIGN curve)) Source #

Instance details

Associated Types

type Rep (SigDSIGN (BLS12381DSIGN curve))

Instance details

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

Methods

from ∷ SigDSIGN (BLS12381DSIGN curve) → Rep (SigDSIGN (BLS12381DSIGN curve)) x #

to ∷ Rep (SigDSIGN (BLS12381DSIGN curve)) x → SigDSIGN (BLS12381DSIGN curve) #

Generic (SigDSIGN EcdsaSecp256k1DSIGN) Source #

Instance details

Associated Types

type Rep (SigDSIGN EcdsaSecp256k1DSIGN)

Instance details

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

Instance details

Associated Types

type Rep (SigDSIGN Ed25519DSIGN)

Instance details

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

Methods

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

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

Generic (SigDSIGN Ed448DSIGN) Source #

Instance details

Associated Types

type Rep (SigDSIGN Ed448DSIGN)

Instance details

type Rep (SigDSIGN Ed448DSIGN) = D1 ('MetaData "SigDSIGN" "Cardano.Crypto.DSIGN.Ed448" "cardano-crypto-class-2.5.1.0-2de0e7a0b41e19b2580ad5868eb112d2fb31c14bec9d109d1f2409ba3eba5b3d" '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) Source #

Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Associated Types

type Rep (SigDSIGN MockDSIGN)

Instance details

Defined in Cardano.Crypto.DSIGN.Mock

type Rep (SigDSIGN MockDSIGN) = D1 ('MetaData "SigDSIGN" "Cardano.Crypto.DSIGN.Mock" "cardano-crypto-class-2.5.1.0-2de0e7a0b41e19b2580ad5868eb112d2fb31c14bec9d109d1f2409ba3eba5b3d" '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) Source #

Instance details

Associated Types

type Rep (SigDSIGN NeverDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed type Rep (SigDSIGN NeverDSIGN) = D1 ('MetaData "SigDSIGN" "Cardano.Crypto.DSIGN.NeverUsed" "cardano-crypto-class-2.5.1.0-2de0e7a0b41e19b2580ad5868eb112d2fb31c14bec9d109d1f2409ba3eba5b3d" '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) Source #

Instance details

Associated Types

type Rep (SigDSIGN SchnorrSecp256k1DSIGN)

Instance details

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

Methods

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

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-4.0.0.0-inplace-cardano" '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 (BLS12381DSIGN curve)) Source #

Instance details

Methods

showsPrec ∷ Int → SigDSIGN (BLS12381DSIGN curve) → ShowS #

show ∷ SigDSIGN (BLS12381DSIGN curve) → String #

showList ∷ [SigDSIGN (BLS12381DSIGN curve)] → ShowS #

Show (SigDSIGN EcdsaSecp256k1DSIGN) Source #

Instance details

Methods

showsPrec ∷ Int → SigDSIGN EcdsaSecp256k1DSIGN → ShowS #

show ∷ SigDSIGN EcdsaSecp256k1DSIGN → String #

showList ∷ [SigDSIGN EcdsaSecp256k1DSIGN] → ShowS #

Show (SigDSIGN Ed25519DSIGN) Source #

Instance details

Methods

showsPrec ∷ Int → SigDSIGN Ed25519DSIGN → ShowS #

show ∷ SigDSIGN Ed25519DSIGN → String #

showList ∷ [SigDSIGN Ed25519DSIGN] → ShowS #

Show (SigDSIGN Ed448DSIGN) Source #

Instance details

Methods

showsPrec ∷ Int → SigDSIGN Ed448DSIGN → ShowS #

show ∷ SigDSIGN Ed448DSIGN → String #

showList ∷ [SigDSIGN Ed448DSIGN] → ShowS #

Show (SigDSIGN MockDSIGN) Source #

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

Instance details

Methods

showsPrec ∷ Int → SigDSIGN NeverDSIGN → ShowS #

show ∷ SigDSIGN NeverDSIGN → String #

showList ∷ [SigDSIGN NeverDSIGN] → ShowS #

Show (SigDSIGN SchnorrSecp256k1DSIGN) Source #

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 #

ByteArrayAccess (SigDSIGN Ed448DSIGN) Source #

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 (BLS12381DSIGN curve)) Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy (SigDSIGN (BLS12381DSIGN curve)) → String Source #

NoThunks (SigDSIGN EcdsaSecp256k1DSIGN) Source #

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

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

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

Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Methods

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

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

showTypeOf ∷ Proxy (SigDSIGN MockDSIGN) → String Source #

NoThunks (SigDSIGN NeverDSIGN) Source #

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

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

Instance details

Methods

condense ∷ SigDSIGN Ed25519DSIGN → String Source #

Condense (SigDSIGN Ed448DSIGN) Source #

Instance details

Methods

condense ∷ SigDSIGN Ed448DSIGN → String Source #

Condense (SigDSIGN MockDSIGN) Source #

Instance details

Methods

condense ∷ SigDSIGN MockDSIGN → String Source #

Condense (SigDSIGN ByronDSIGN) Source #

Instance details

Methods

condense ∷ SigDSIGN ByronDSIGN → String Source #

DSIGNAlgorithm dsign ⇒ HasInfo (DirectCodec m) (SigDSIGN dsign) Source #

Instance details

Defined in Cardano.KESAgent.Serialization.DirectCodec

Methods

info ∷ Proxy (DirectCodec m) → Proxy (SigDSIGN dsign) → FieldInfo (DirectCodec m) Source #

(MonadST m, MonadSTM m, MonadThrow m, DSIGNAlgorithm dsign) ⇒ Serializable (DirectCodec m) (SigDSIGN dsign) Source #

Instance details

Defined in Cardano.KESAgent.Serialization.DirectCodec

Methods

encode ∷ Proxy (DirectCodec m) → SigDSIGN dsign → MonadEncode (DirectCodec m) () Source #

decode ∷ Proxy (DirectCodec m) → MonadDecode (DirectCodec m) (SigDSIGN dsign) Source #

newtype SigDSIGN EcdsaSecp256k1DSIGN Source #

Instance details

newtype SigDSIGN EcdsaSecp256k1DSIGN = SigEcdsaSecp256k1 (PinnedSizedBytes SECP256K1_ECDSA_SIGNATURE_BYTES_INTERNAL)

newtype SigDSIGN Ed25519DSIGN Source #

Instance details

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

newtype SigDSIGN Ed448DSIGN Source #

Instance details

newtype SigDSIGN Ed448DSIGN = SigEd448DSIGN Signature

data SigDSIGN MockDSIGN Source #

Instance details

Defined in Cardano.Crypto.DSIGN.Mock

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

data SigDSIGN NeverDSIGN Source #

Instance details

data SigDSIGN NeverDSIGN = NeverUsedSigDSIGN

newtype SigDSIGN SchnorrSecp256k1DSIGN Source #

Instance details

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

newtype SigDSIGN ByronDSIGN Source #

Instance details

newtype SigDSIGN ByronDSIGN = SigByronDSIGN (Signature ToSign)

type FixedSize (SigDSIGN (BLS12381DSIGN curve)) Source #

Instance details

type FixedSize (SigDSIGN (BLS12381DSIGN curve)) = CompressedPointSize (DualCurve curve)

type FixedSize (SigDSIGN EcdsaSecp256k1DSIGN) Source #

Instance details

type FixedSize (SigDSIGN EcdsaSecp256k1DSIGN) = SECP256K1_ECDSA_SIGNATURE_BYTES

type FixedSize (SigDSIGN Ed25519DSIGN) Source #

Instance details

type FixedSize (SigDSIGN Ed25519DSIGN) = CRYPTO_SIGN_ED25519_BYTES

type FixedSize (SigDSIGN Ed448DSIGN) Source #

Instance details

type FixedSize (SigDSIGN Ed448DSIGN) = 114

type FixedSize (SigDSIGN MockDSIGN) Source #

Instance details

Defined in Cardano.Crypto.DSIGN.Mock

type FixedSize (SigDSIGN MockDSIGN) = HashSize ShortHash + 8

type FixedSize (SigDSIGN NeverDSIGN) Source #

Instance details

type FixedSize (SigDSIGN NeverDSIGN) = 0

type FixedSize (SigDSIGN SchnorrSecp256k1DSIGN) Source #

Instance details

type FixedSize (SigDSIGN SchnorrSecp256k1DSIGN) = SECP256K1_SCHNORR_SIGNATURE_BYTES

type FixedSize (SigDSIGN ByronDSIGN) Source #

Instance details

type FixedSize (SigDSIGN ByronDSIGN) = 64

newtype SigDSIGN (BLS12381DSIGN curve) Source #

Instance details

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

type Rep (SigDSIGN (BLS12381DSIGN curve)) Source #

Instance details

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

type Rep (SigDSIGN EcdsaSecp256k1DSIGN) Source #

Instance details

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

type Rep (SigDSIGN Ed25519DSIGN) Source #

Instance details

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

type Rep (SigDSIGN Ed448DSIGN) Source #

Instance details

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

type Rep (SigDSIGN MockDSIGN) Source #

Instance details

Defined in Cardano.Crypto.DSIGN.Mock

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

type Rep (SigDSIGN NeverDSIGN) Source #

Instance details

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

type Rep (SigDSIGN SchnorrSecp256k1DSIGN) Source #

Instance details

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

type Rep (SigDSIGN ByronDSIGN) Source #

Instance details

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

FixedSizeCodec (SignKeyDSIGN (BLS12381DSIGN curve)) Source #

Instance details

Associated Types

type FixedSize (SignKeyDSIGN (BLS12381DSIGN curve))
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381.Internal type FixedSize (SignKeyDSIGN (BLS12381DSIGN curve)) = 32

Methods

rawEncodeFixedSized ∷ SignKeyDSIGN (BLS12381DSIGN curve) → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m (SignKeyDSIGN (BLS12381DSIGN curve)) Source #

FixedSizeCodec (SignKeyDSIGN EcdsaSecp256k1DSIGN) Source #

Instance details

Associated Types

type FixedSize (SignKeyDSIGN EcdsaSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 type FixedSize (SignKeyDSIGN EcdsaSecp256k1DSIGN) = SECP256K1_ECDSA_PRIVKEY_BYTES

Methods

rawEncodeFixedSized ∷ SignKeyDSIGN EcdsaSecp256k1DSIGN → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m (SignKeyDSIGN EcdsaSecp256k1DSIGN) Source #

FixedSizeCodec (SignKeyDSIGN Ed25519DSIGN) Source #

Instance details

Associated Types

type FixedSize (SignKeyDSIGN Ed25519DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 type FixedSize (SignKeyDSIGN Ed25519DSIGN) = CRYPTO_SIGN_ED25519_SEEDBYTES

Methods

rawEncodeFixedSized ∷ SignKeyDSIGN Ed25519DSIGN → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m (SignKeyDSIGN Ed25519DSIGN) Source #

FixedSizeCodec (SignKeyDSIGN Ed448DSIGN) Source #

Instance details

Associated Types

type FixedSize (SignKeyDSIGN Ed448DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 type FixedSize (SignKeyDSIGN Ed448DSIGN) = 57

Methods

rawEncodeFixedSized ∷ SignKeyDSIGN Ed448DSIGN → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m (SignKeyDSIGN Ed448DSIGN) Source #

FixedSizeCodec (SignKeyDSIGN MockDSIGN) Source #

Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Associated Types

type FixedSize (SignKeyDSIGN MockDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Mock type FixedSize (SignKeyDSIGN MockDSIGN) = 8

Methods

rawEncodeFixedSized ∷ SignKeyDSIGN MockDSIGN → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m (SignKeyDSIGN MockDSIGN) Source #

FixedSizeCodec (SignKeyDSIGN NeverDSIGN) Source #

Instance details

Associated Types

type FixedSize (SignKeyDSIGN NeverDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed type FixedSize (SignKeyDSIGN NeverDSIGN) = 0

Methods

rawEncodeFixedSized ∷ SignKeyDSIGN NeverDSIGN → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m (SignKeyDSIGN NeverDSIGN) Source #

FixedSizeCodec (SignKeyDSIGN SchnorrSecp256k1DSIGN) Source #

Instance details

Associated Types

type FixedSize (SignKeyDSIGN SchnorrSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 type FixedSize (SignKeyDSIGN SchnorrSecp256k1DSIGN) = SECP256K1_SCHNORR_PRIVKEY_BYTES

Methods

rawEncodeFixedSized ∷ SignKeyDSIGN SchnorrSecp256k1DSIGN → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m (SignKeyDSIGN SchnorrSecp256k1DSIGN) Source #

FixedSizeCodec (SignKeyDSIGN ByronDSIGN) Source #

Instance details

Associated Types

type FixedSize (SignKeyDSIGN ByronDSIGN)
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN type FixedSize (SignKeyDSIGN ByronDSIGN) = 128

Methods

rawEncodeFixedSized ∷ SignKeyDSIGN ByronDSIGN → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m (SignKeyDSIGN ByronDSIGN) Source #

BLS12381CurveConstraints curve ⇒ FromCBOR (SignKeyDSIGN (BLS12381DSIGN curve)) Source #

Instance details

Methods

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

label ∷ Proxy (SignKeyDSIGN (BLS12381DSIGN curve)) → Text Source #

FromCBOR (SignKeyDSIGN EcdsaSecp256k1DSIGN) Source #

Instance details

Methods

fromCBOR ∷ Decoder s (SignKeyDSIGN EcdsaSecp256k1DSIGN) Source #

label ∷ Proxy (SignKeyDSIGN EcdsaSecp256k1DSIGN) → Text Source #

FromCBOR (SignKeyDSIGN Ed25519DSIGN) Source #

Instance details

Methods

fromCBOR ∷ Decoder s (SignKeyDSIGN Ed25519DSIGN) Source #

label ∷ Proxy (SignKeyDSIGN Ed25519DSIGN) → Text Source #

FromCBOR (SignKeyDSIGN Ed448DSIGN) Source #

Instance details

Methods

fromCBOR ∷ Decoder s (SignKeyDSIGN Ed448DSIGN) Source #

label ∷ Proxy (SignKeyDSIGN Ed448DSIGN) → Text Source #

FromCBOR (SignKeyDSIGN MockDSIGN) Source #

Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Methods

fromCBOR ∷ Decoder s (SignKeyDSIGN MockDSIGN) Source #

label ∷ Proxy (SignKeyDSIGN MockDSIGN) → Text Source #

FromCBOR (SignKeyDSIGN SchnorrSecp256k1DSIGN) Source #

Instance details

Methods

fromCBOR ∷ Decoder s (SignKeyDSIGN SchnorrSecp256k1DSIGN) Source #

label ∷ Proxy (SignKeyDSIGN SchnorrSecp256k1DSIGN) → Text Source #

BLS12381CurveConstraints curve ⇒ ToCBOR (SignKeyDSIGN (BLS12381DSIGN curve)) Source #

Instance details

Methods

toCBOR ∷ SignKeyDSIGN (BLS12381DSIGN curve) → Encoding Source #

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

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

ToCBOR (SignKeyDSIGN EcdsaSecp256k1DSIGN) Source #

Instance details

Methods

toCBOR ∷ SignKeyDSIGN EcdsaSecp256k1DSIGN → Encoding Source #

encodedSizeExpr ∷ (∀ 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) Source #

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

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

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

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

Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

Methods

decCBOR ∷ Decoder s (SignKeyDSIGN v) Source #

dropCBOR ∷ Proxy (SignKeyDSIGN v) → Decoder s () Source #

label ∷ Proxy (SignKeyDSIGN v) → Text Source #

DSIGNAlgorithm v ⇒ EncCBOR (SignKeyDSIGN v) Source #

Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ SignKeyDSIGN v → Encoding Source #

NFData (SignKeyDSIGN (BLS12381DSIGN curve)) Source #

Instance details

Methods

rnf ∷ SignKeyDSIGN (BLS12381DSIGN curve) → () #

NFData (SignKeyDSIGN EcdsaSecp256k1DSIGN) Source #

Instance details

Methods

rnf ∷ SignKeyDSIGN EcdsaSecp256k1DSIGN → () #

NFData (SignKeyDSIGN Ed25519DSIGN) Source #

Instance details

Methods

rnf ∷ SignKeyDSIGN Ed25519DSIGN → () #

NFData (SignKeyDSIGN Ed448DSIGN) Source #

Instance details

Methods

rnf ∷ SignKeyDSIGN Ed448DSIGN → () #

NFData (SignKeyDSIGN MockDSIGN) Source #

Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Methods

rnf ∷ SignKeyDSIGN MockDSIGN → () #

NFData (SignKeyDSIGN SchnorrSecp256k1DSIGN) Source #

Instance details

Methods

rnf ∷ SignKeyDSIGN SchnorrSecp256k1DSIGN → () #

Eq (SignKeyDSIGN (BLS12381DSIGN curve)) Source #

Instance details

Methods

(==) ∷ SignKeyDSIGN (BLS12381DSIGN curve) → SignKeyDSIGN (BLS12381DSIGN curve) → Bool #

(/=) ∷ SignKeyDSIGN (BLS12381DSIGN curve) → SignKeyDSIGN (BLS12381DSIGN curve) → Bool #

Eq (SignKeyDSIGN EcdsaSecp256k1DSIGN) Source #

Instance details

Methods

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

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

Eq (SignKeyDSIGN Ed25519DSIGN) Source #

Instance details

Methods

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

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

Eq (SignKeyDSIGN Ed448DSIGN) Source #

Instance details

Methods

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

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

Eq (SignKeyDSIGN MockDSIGN) Source #

Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Methods

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

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

Eq (SignKeyDSIGN NeverDSIGN) Source #

Instance details

Methods

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

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

Eq (SignKeyDSIGN SchnorrSecp256k1DSIGN) Source #

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

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 #

Generic (SignKeyDSIGN (BLS12381DSIGN curve)) Source #

Instance details

Associated Types

type Rep (SignKeyDSIGN (BLS12381DSIGN curve))

Instance details

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

Methods

from ∷ SignKeyDSIGN (BLS12381DSIGN curve) → Rep (SignKeyDSIGN (BLS12381DSIGN curve)) x #

to ∷ Rep (SignKeyDSIGN (BLS12381DSIGN curve)) x → SignKeyDSIGN (BLS12381DSIGN curve) #

Generic (SignKeyDSIGN EcdsaSecp256k1DSIGN) Source #

Instance details

Associated Types

type Rep (SignKeyDSIGN EcdsaSecp256k1DSIGN)

Instance details

type Rep (SignKeyDSIGN EcdsaSecp256k1DSIGN) = D1 ('MetaData "SignKeyDSIGN" "Cardano.Crypto.DSIGN.EcdsaSecp256k1" "cardano-crypto-class-2.5.1.0-2de0e7a0b41e19b2580ad5868eb112d2fb31c14bec9d109d1f2409ba3eba5b3d" '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) Source #

Instance details

Associated Types

type Rep (SignKeyDSIGN Ed25519DSIGN)

Instance details

type Rep (SignKeyDSIGN Ed25519DSIGN) = D1 ('MetaData "SignKeyDSIGN" "Cardano.Crypto.DSIGN.Ed25519" "cardano-crypto-class-2.5.1.0-2de0e7a0b41e19b2580ad5868eb112d2fb31c14bec9d109d1f2409ba3eba5b3d" '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) Source #

Instance details

Associated Types

type Rep (SignKeyDSIGN Ed448DSIGN)

Instance details

type Rep (SignKeyDSIGN Ed448DSIGN) = D1 ('MetaData "SignKeyDSIGN" "Cardano.Crypto.DSIGN.Ed448" "cardano-crypto-class-2.5.1.0-2de0e7a0b41e19b2580ad5868eb112d2fb31c14bec9d109d1f2409ba3eba5b3d" '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) Source #

Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Associated Types

type Rep (SignKeyDSIGN MockDSIGN)

Instance details

Defined in Cardano.Crypto.DSIGN.Mock

type Rep (SignKeyDSIGN MockDSIGN) = D1 ('MetaData "SignKeyDSIGN" "Cardano.Crypto.DSIGN.Mock" "cardano-crypto-class-2.5.1.0-2de0e7a0b41e19b2580ad5868eb112d2fb31c14bec9d109d1f2409ba3eba5b3d" '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) Source #

Instance details

Associated Types

type Rep (SignKeyDSIGN NeverDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed type Rep (SignKeyDSIGN NeverDSIGN) = D1 ('MetaData "SignKeyDSIGN" "Cardano.Crypto.DSIGN.NeverUsed" "cardano-crypto-class-2.5.1.0-2de0e7a0b41e19b2580ad5868eb112d2fb31c14bec9d109d1f2409ba3eba5b3d" '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) Source #

Instance details

Associated Types

type Rep (SignKeyDSIGN SchnorrSecp256k1DSIGN)

Instance details

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

Methods

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

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-4.0.0.0-inplace-cardano" '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) Source #

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 (BLS12381DSIGN curve)) Source #

Instance details

Methods

showsPrec ∷ Int → SignKeyDSIGN (BLS12381DSIGN curve) → ShowS #

show ∷ SignKeyDSIGN (BLS12381DSIGN curve) → String #

showList ∷ [SignKeyDSIGN (BLS12381DSIGN curve)] → ShowS #

Show (SignKeyDSIGN EcdsaSecp256k1DSIGN) Source #

Instance details

Methods

showsPrec ∷ Int → SignKeyDSIGN EcdsaSecp256k1DSIGN → ShowS #

show ∷ SignKeyDSIGN EcdsaSecp256k1DSIGN → String #

showList ∷ [SignKeyDSIGN EcdsaSecp256k1DSIGN] → ShowS #

Show (SignKeyDSIGN Ed25519DSIGN) Source #

Instance details

Methods

showsPrec ∷ Int → SignKeyDSIGN Ed25519DSIGN → ShowS #

show ∷ SignKeyDSIGN Ed25519DSIGN → String #

showList ∷ [SignKeyDSIGN Ed25519DSIGN] → ShowS #

Show (SignKeyDSIGN Ed448DSIGN) Source #

Instance details

Methods

showsPrec ∷ Int → SignKeyDSIGN Ed448DSIGN → ShowS #

show ∷ SignKeyDSIGN Ed448DSIGN → String #

showList ∷ [SignKeyDSIGN Ed448DSIGN] → ShowS #

Show (SignKeyDSIGN MockDSIGN) Source #

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

Instance details

Methods

showsPrec ∷ Int → SignKeyDSIGN NeverDSIGN → ShowS #

show ∷ SignKeyDSIGN NeverDSIGN → String #

showList ∷ [SignKeyDSIGN NeverDSIGN] → ShowS #

Show (SignKeyDSIGN SchnorrSecp256k1DSIGN) Source #

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 #

ByteArrayAccess (SignKeyDSIGN Ed448DSIGN) Source #

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 (BLS12381DSIGN curve)) Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy (SignKeyDSIGN (BLS12381DSIGN curve)) → String Source #

NoThunks (SignKeyDSIGN EcdsaSecp256k1DSIGN) Source #

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

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

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

Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Methods

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

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

showTypeOf ∷ Proxy (SignKeyDSIGN MockDSIGN) → String Source #

NoThunks (SignKeyDSIGN NeverDSIGN) Source #

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

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 #

DSIGNAlgorithm dsign ⇒ HasInfo (DirectCodec m) (SignKeyDSIGN dsign) Source #

Instance details

Defined in Cardano.KESAgent.Serialization.DirectCodec

Methods

info ∷ Proxy (DirectCodec m) → Proxy (SignKeyDSIGN dsign) → FieldInfo (DirectCodec m) Source #

(MonadST m, MonadSTM m, MonadThrow m, DSIGNAlgorithm dsign) ⇒ Serializable (DirectCodec m) (SignKeyDSIGN dsign) Source #

Instance details

Defined in Cardano.KESAgent.Serialization.DirectCodec

Methods

encode ∷ Proxy (DirectCodec m) → SignKeyDSIGN dsign → MonadEncode (DirectCodec m) () Source #

decode ∷ Proxy (DirectCodec m) → MonadDecode (DirectCodec m) (SignKeyDSIGN dsign) Source #

newtype SignKeyDSIGN EcdsaSecp256k1DSIGN Source #

Instance details

newtype SignKeyDSIGN EcdsaSecp256k1DSIGN = SignKeyEcdsaSecp256k1 (PinnedSizedBytes SECP256K1_ECDSA_PRIVKEY_BYTES)

newtype SignKeyDSIGN Ed25519DSIGN Source #

Instance details

newtype SignKeyDSIGN Ed25519DSIGN = SignKeyEd25519DSIGN (PinnedSizedBytes CRYPTO_SIGN_ED25519_SECRETKEYBYTES)

newtype SignKeyDSIGN Ed448DSIGN Source #

Instance details

newtype SignKeyDSIGN Ed448DSIGN = SignKeyEd448DSIGN SecretKey

newtype SignKeyDSIGN MockDSIGN Source #

Instance details

Defined in Cardano.Crypto.DSIGN.Mock

newtype SignKeyDSIGN MockDSIGN = SignKeyMockDSIGN Word64

data SignKeyDSIGN NeverDSIGN Source #

Instance details

data SignKeyDSIGN NeverDSIGN = NeverUsedSignKeyDSIGN

newtype SignKeyDSIGN SchnorrSecp256k1DSIGN Source #

Instance details

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

newtype SignKeyDSIGN ByronDSIGN Source #

Instance details

newtype SignKeyDSIGN ByronDSIGN = SignKeyByronDSIGN SigningKey

type FixedSize (SignKeyDSIGN (BLS12381DSIGN curve)) Source #

Instance details

type FixedSize (SignKeyDSIGN (BLS12381DSIGN curve)) = 32

type FixedSize (SignKeyDSIGN EcdsaSecp256k1DSIGN) Source #

Instance details

type FixedSize (SignKeyDSIGN EcdsaSecp256k1DSIGN) = SECP256K1_ECDSA_PRIVKEY_BYTES

type FixedSize (SignKeyDSIGN Ed25519DSIGN) Source #

Instance details

type FixedSize (SignKeyDSIGN Ed25519DSIGN) = CRYPTO_SIGN_ED25519_SEEDBYTES

type FixedSize (SignKeyDSIGN Ed448DSIGN) Source #

Instance details

type FixedSize (SignKeyDSIGN Ed448DSIGN) = 57

type FixedSize (SignKeyDSIGN MockDSIGN) Source #

Instance details

Defined in Cardano.Crypto.DSIGN.Mock

type FixedSize (SignKeyDSIGN MockDSIGN) = 8

type FixedSize (SignKeyDSIGN NeverDSIGN) Source #

Instance details

type FixedSize (SignKeyDSIGN NeverDSIGN) = 0

type FixedSize (SignKeyDSIGN SchnorrSecp256k1DSIGN) Source #

Instance details

type FixedSize (SignKeyDSIGN SchnorrSecp256k1DSIGN) = SECP256K1_SCHNORR_PRIVKEY_BYTES

type FixedSize (SignKeyDSIGN ByronDSIGN) Source #

Instance details

type FixedSize (SignKeyDSIGN ByronDSIGN) = 128

newtype SignKeyDSIGN (BLS12381DSIGN curve) Source #

Instance details

newtype SignKeyDSIGN (BLS12381DSIGN curve) = SignKeyBLS12381 Scalar

type Rep (SignKeyDSIGN (BLS12381DSIGN curve)) Source #

Instance details

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

type Rep (SignKeyDSIGN EcdsaSecp256k1DSIGN) Source #

Instance details

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

type Rep (SignKeyDSIGN Ed25519DSIGN) Source #

Instance details

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

type Rep (SignKeyDSIGN Ed448DSIGN) Source #

Instance details

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

type Rep (SignKeyDSIGN MockDSIGN) Source #

Instance details

Defined in Cardano.Crypto.DSIGN.Mock

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

type Rep (SignKeyDSIGN NeverDSIGN) Source #

Instance details

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

type Rep (SignKeyDSIGN SchnorrSecp256k1DSIGN) Source #

Instance details

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

type Rep (SignKeyDSIGN ByronDSIGN) Source #

Instance details

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

data family VerKeyDSIGN v Source #

Instances

Instances details

BLS12381CurveConstraints curve ⇒ FixedSizeCodec (VerKeyDSIGN (BLS12381DSIGN curve)) Source #

Instance details

Associated Types

type FixedSize (VerKeyDSIGN (BLS12381DSIGN curve))
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381.Internal type FixedSize (VerKeyDSIGN (BLS12381DSIGN curve)) = CompressedPointSize curve

Methods

rawEncodeFixedSized ∷ VerKeyDSIGN (BLS12381DSIGN curve) → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m (VerKeyDSIGN (BLS12381DSIGN curve)) Source #

FixedSizeCodec (VerKeyDSIGN EcdsaSecp256k1DSIGN) Source #

Instance details

Associated Types

type FixedSize (VerKeyDSIGN EcdsaSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 type FixedSize (VerKeyDSIGN EcdsaSecp256k1DSIGN) = SECP256K1_ECDSA_PUBKEY_BYTES

Methods

rawEncodeFixedSized ∷ VerKeyDSIGN EcdsaSecp256k1DSIGN → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m (VerKeyDSIGN EcdsaSecp256k1DSIGN) Source #

FixedSizeCodec (VerKeyDSIGN Ed25519DSIGN) Source #

Instance details

Associated Types

type FixedSize (VerKeyDSIGN Ed25519DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 type FixedSize (VerKeyDSIGN Ed25519DSIGN) = CRYPTO_SIGN_ED25519_PUBLICKEYBYTES

Methods

rawEncodeFixedSized ∷ VerKeyDSIGN Ed25519DSIGN → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m (VerKeyDSIGN Ed25519DSIGN) Source #

FixedSizeCodec (VerKeyDSIGN Ed448DSIGN) Source #

Instance details

Associated Types

type FixedSize (VerKeyDSIGN Ed448DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 type FixedSize (VerKeyDSIGN Ed448DSIGN) = 57

Methods

rawEncodeFixedSized ∷ VerKeyDSIGN Ed448DSIGN → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m (VerKeyDSIGN Ed448DSIGN) Source #

FixedSizeCodec (VerKeyDSIGN MockDSIGN) Source #

Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Associated Types

type FixedSize (VerKeyDSIGN MockDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Mock type FixedSize (VerKeyDSIGN MockDSIGN) = 8

Methods

rawEncodeFixedSized ∷ VerKeyDSIGN MockDSIGN → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m (VerKeyDSIGN MockDSIGN) Source #

FixedSizeCodec (VerKeyDSIGN NeverDSIGN) Source #

Instance details

Associated Types

type FixedSize (VerKeyDSIGN NeverDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed type FixedSize (VerKeyDSIGN NeverDSIGN) = 0

Methods

rawEncodeFixedSized ∷ VerKeyDSIGN NeverDSIGN → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m (VerKeyDSIGN NeverDSIGN) Source #

FixedSizeCodec (VerKeyDSIGN SchnorrSecp256k1DSIGN) Source #

Instance details

Associated Types

type FixedSize (VerKeyDSIGN SchnorrSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 type FixedSize (VerKeyDSIGN SchnorrSecp256k1DSIGN) = SECP256K1_SCHNORR_PUBKEY_BYTES

Methods

rawEncodeFixedSized ∷ VerKeyDSIGN SchnorrSecp256k1DSIGN → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m (VerKeyDSIGN SchnorrSecp256k1DSIGN) Source #

FixedSizeCodec (VerKeyDSIGN ByronDSIGN) Source #

Instance details

Associated Types

type FixedSize (VerKeyDSIGN ByronDSIGN)
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN type FixedSize (VerKeyDSIGN ByronDSIGN) = 64

Methods

rawEncodeFixedSized ∷ VerKeyDSIGN ByronDSIGN → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m (VerKeyDSIGN ByronDSIGN) Source #

BLS12381CurveConstraints curve ⇒ FromCBOR (VerKeyDSIGN (BLS12381DSIGN curve)) Source #

Instance details

Methods

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

label ∷ Proxy (VerKeyDSIGN (BLS12381DSIGN curve)) → Text Source #

FromCBOR (VerKeyDSIGN EcdsaSecp256k1DSIGN) Source #

Instance details

Methods

fromCBOR ∷ Decoder s (VerKeyDSIGN EcdsaSecp256k1DSIGN) Source #

label ∷ Proxy (VerKeyDSIGN EcdsaSecp256k1DSIGN) → Text Source #

FromCBOR (VerKeyDSIGN Ed25519DSIGN) Source #

Instance details

Methods

fromCBOR ∷ Decoder s (VerKeyDSIGN Ed25519DSIGN) Source #

label ∷ Proxy (VerKeyDSIGN Ed25519DSIGN) → Text Source #

FromCBOR (VerKeyDSIGN Ed448DSIGN) Source #

Instance details

Methods

fromCBOR ∷ Decoder s (VerKeyDSIGN Ed448DSIGN) Source #

label ∷ Proxy (VerKeyDSIGN Ed448DSIGN) → Text Source #

FromCBOR (VerKeyDSIGN MockDSIGN) Source #

Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Methods

fromCBOR ∷ Decoder s (VerKeyDSIGN MockDSIGN) Source #

label ∷ Proxy (VerKeyDSIGN MockDSIGN) → Text Source #

FromCBOR (VerKeyDSIGN SchnorrSecp256k1DSIGN) Source #

Instance details

Methods

fromCBOR ∷ Decoder s (VerKeyDSIGN SchnorrSecp256k1DSIGN) Source #

label ∷ Proxy (VerKeyDSIGN SchnorrSecp256k1DSIGN) → Text Source #

BLS12381CurveConstraints curve ⇒ ToCBOR (VerKeyDSIGN (BLS12381DSIGN curve)) Source #

Instance details

Methods

toCBOR ∷ VerKeyDSIGN (BLS12381DSIGN curve) → Encoding Source #

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

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

ToCBOR (VerKeyDSIGN EcdsaSecp256k1DSIGN) Source #

Instance details

Methods

toCBOR ∷ VerKeyDSIGN EcdsaSecp256k1DSIGN → Encoding Source #

encodedSizeExpr ∷ (∀ 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) Source #

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

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

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

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

Instance details

Methods

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

DirectSerialise (VerKeyDSIGN Ed25519DSIGN) Source #

Instance details

Methods

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

DSIGNAlgorithm v ⇒ DecCBOR (VerKeyDSIGN v) Source #

Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

Methods

decCBOR ∷ Decoder s (VerKeyDSIGN v) Source #

dropCBOR ∷ Proxy (VerKeyDSIGN v) → Decoder s () Source #

label ∷ Proxy (VerKeyDSIGN v) → Text Source #

DSIGNAlgorithm v ⇒ EncCBOR (VerKeyDSIGN v) Source #

Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ VerKeyDSIGN v → Encoding Source #

NFData (VerKeyDSIGN (BLS12381DSIGN curve)) Source #

Instance details

Methods

rnf ∷ VerKeyDSIGN (BLS12381DSIGN curve) → () #

NFData (VerKeyDSIGN EcdsaSecp256k1DSIGN) Source #

Instance details

Methods

rnf ∷ VerKeyDSIGN EcdsaSecp256k1DSIGN → () #

NFData (VerKeyDSIGN Ed25519DSIGN) Source #

Instance details

Methods

rnf ∷ VerKeyDSIGN Ed25519DSIGN → () #

NFData (VerKeyDSIGN Ed448DSIGN) Source #

Instance details

Methods

rnf ∷ VerKeyDSIGN Ed448DSIGN → () #

NFData (VerKeyDSIGN MockDSIGN) Source #

Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Methods

rnf ∷ VerKeyDSIGN MockDSIGN → () #

NFData (VerKeyDSIGN SchnorrSecp256k1DSIGN) Source #

Instance details

Methods

rnf ∷ VerKeyDSIGN SchnorrSecp256k1DSIGN → () #

BLS curve ⇒ Eq (VerKeyDSIGN (BLS12381DSIGN curve)) Source #

Instance details

Methods

(==) ∷ VerKeyDSIGN (BLS12381DSIGN curve) → VerKeyDSIGN (BLS12381DSIGN curve) → Bool #

(/=) ∷ VerKeyDSIGN (BLS12381DSIGN curve) → VerKeyDSIGN (BLS12381DSIGN curve) → Bool #

Eq (VerKeyDSIGN EcdsaSecp256k1DSIGN) Source #

Instance details

Methods

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

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

Eq (VerKeyDSIGN Ed25519DSIGN) Source #

Instance details

Methods

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

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

Eq (VerKeyDSIGN Ed448DSIGN) Source #

Instance details

Methods

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

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

Eq (VerKeyDSIGN MockDSIGN) Source #

Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Methods

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

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

Eq (VerKeyDSIGN NeverDSIGN) Source #

Instance details

Methods

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

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

Eq (VerKeyDSIGN SchnorrSecp256k1DSIGN) Source #

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

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 #

Generic (VerKeyDSIGN (BLS12381DSIGN curve)) Source #

Instance details

Associated Types

type Rep (VerKeyDSIGN (BLS12381DSIGN curve))

Instance details

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

Methods

from ∷ VerKeyDSIGN (BLS12381DSIGN curve) → Rep (VerKeyDSIGN (BLS12381DSIGN curve)) x #

to ∷ Rep (VerKeyDSIGN (BLS12381DSIGN curve)) x → VerKeyDSIGN (BLS12381DSIGN curve) #

Generic (VerKeyDSIGN EcdsaSecp256k1DSIGN) Source #

Instance details

Associated Types

type Rep (VerKeyDSIGN EcdsaSecp256k1DSIGN)

Instance details

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

Instance details

Associated Types

type Rep (VerKeyDSIGN Ed25519DSIGN)

Instance details

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

Methods

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

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

Generic (VerKeyDSIGN Ed448DSIGN) Source #

Instance details

Associated Types

type Rep (VerKeyDSIGN Ed448DSIGN)

Instance details

type Rep (VerKeyDSIGN Ed448DSIGN) = D1 ('MetaData "VerKeyDSIGN" "Cardano.Crypto.DSIGN.Ed448" "cardano-crypto-class-2.5.1.0-2de0e7a0b41e19b2580ad5868eb112d2fb31c14bec9d109d1f2409ba3eba5b3d" '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) Source #

Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Associated Types

type Rep (VerKeyDSIGN MockDSIGN)

Instance details

Defined in Cardano.Crypto.DSIGN.Mock

type Rep (VerKeyDSIGN MockDSIGN) = D1 ('MetaData "VerKeyDSIGN" "Cardano.Crypto.DSIGN.Mock" "cardano-crypto-class-2.5.1.0-2de0e7a0b41e19b2580ad5868eb112d2fb31c14bec9d109d1f2409ba3eba5b3d" '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) Source #

Instance details

Associated Types

type Rep (VerKeyDSIGN NeverDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed type Rep (VerKeyDSIGN NeverDSIGN) = D1 ('MetaData "VerKeyDSIGN" "Cardano.Crypto.DSIGN.NeverUsed" "cardano-crypto-class-2.5.1.0-2de0e7a0b41e19b2580ad5868eb112d2fb31c14bec9d109d1f2409ba3eba5b3d" '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) Source #

Instance details

Associated Types

type Rep (VerKeyDSIGN SchnorrSecp256k1DSIGN)

Instance details

type Rep (VerKeyDSIGN SchnorrSecp256k1DSIGN) = D1 ('MetaData "VerKeyDSIGN" "Cardano.Crypto.DSIGN.SchnorrSecp256k1" "cardano-crypto-class-2.5.1.0-2de0e7a0b41e19b2580ad5868eb112d2fb31c14bec9d109d1f2409ba3eba5b3d" '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 Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN type Rep (VerKeyDSIGN ByronDSIGN) = D1 ('MetaData "VerKeyDSIGN" "Ouroboros.Consensus.Byron.Crypto.DSIGN" "ouroboros-consensus-4.0.0.0-inplace-cardano" '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) Source #

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 (BLS12381DSIGN curve)) Source #

Instance details

Methods

showsPrec ∷ Int → VerKeyDSIGN (BLS12381DSIGN curve) → ShowS #

show ∷ VerKeyDSIGN (BLS12381DSIGN curve) → String #

showList ∷ [VerKeyDSIGN (BLS12381DSIGN curve)] → ShowS #

Show (VerKeyDSIGN EcdsaSecp256k1DSIGN) Source #

Instance details

Methods

showsPrec ∷ Int → VerKeyDSIGN EcdsaSecp256k1DSIGN → ShowS #

show ∷ VerKeyDSIGN EcdsaSecp256k1DSIGN → String #

showList ∷ [VerKeyDSIGN EcdsaSecp256k1DSIGN] → ShowS #

Show (VerKeyDSIGN Ed25519DSIGN) Source #

Instance details

Methods

showsPrec ∷ Int → VerKeyDSIGN Ed25519DSIGN → ShowS #

show ∷ VerKeyDSIGN Ed25519DSIGN → String #

showList ∷ [VerKeyDSIGN Ed25519DSIGN] → ShowS #

Show (VerKeyDSIGN Ed448DSIGN) Source #

Instance details

Methods

showsPrec ∷ Int → VerKeyDSIGN Ed448DSIGN → ShowS #

show ∷ VerKeyDSIGN Ed448DSIGN → String #

showList ∷ [VerKeyDSIGN Ed448DSIGN] → ShowS #

Show (VerKeyDSIGN MockDSIGN) Source #

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

Instance details

Methods

showsPrec ∷ Int → VerKeyDSIGN NeverDSIGN → ShowS #

show ∷ VerKeyDSIGN NeverDSIGN → String #

showList ∷ [VerKeyDSIGN NeverDSIGN] → ShowS #

Show (VerKeyDSIGN SchnorrSecp256k1DSIGN) Source #

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 #

ByteArrayAccess (VerKeyDSIGN Ed448DSIGN) Source #

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 (BLS12381DSIGN curve)) Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy (VerKeyDSIGN (BLS12381DSIGN curve)) → String Source #

NoThunks (VerKeyDSIGN EcdsaSecp256k1DSIGN) Source #

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

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

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

Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Methods

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

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

showTypeOf ∷ Proxy (VerKeyDSIGN MockDSIGN) → String Source #

NoThunks (VerKeyDSIGN NeverDSIGN) Source #

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

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

Instance details

Methods

condense ∷ VerKeyDSIGN d → String Source #

Serialise (VerKeyDSIGN MockDSIGN) Source #

Instance details

Defined in Ouroboros.Consensus.Util.Orphans

Methods

encode ∷ VerKeyDSIGN MockDSIGN → Encoding Source #

decode ∷ Decoder s (VerKeyDSIGN MockDSIGN) Source #

encodeList ∷ [VerKeyDSIGN MockDSIGN] → Encoding Source #

decodeList ∷ Decoder s [VerKeyDSIGN MockDSIGN] Source #

DSIGNAlgorithm dsign ⇒ HasInfo (DirectCodec m) (VerKeyDSIGN dsign) Source #

Instance details

Defined in Cardano.KESAgent.Serialization.DirectCodec

Methods

info ∷ Proxy (DirectCodec m) → Proxy (VerKeyDSIGN dsign) → FieldInfo (DirectCodec m) Source #

(MonadST m, MonadSTM m, MonadThrow m, DSIGNAlgorithm dsign) ⇒ Serializable (DirectCodec m) (VerKeyDSIGN dsign) Source #

Instance details

Defined in Cardano.KESAgent.Serialization.DirectCodec

Methods

encode ∷ Proxy (DirectCodec m) → VerKeyDSIGN dsign → MonadEncode (DirectCodec m) () Source #

decode ∷ Proxy (DirectCodec m) → MonadDecode (DirectCodec m) (VerKeyDSIGN dsign) Source #

newtype VerKeyDSIGN EcdsaSecp256k1DSIGN Source #

Instance details

newtype VerKeyDSIGN EcdsaSecp256k1DSIGN = VerKeyEcdsaSecp256k1 (PinnedSizedBytes SECP256K1_ECDSA_PUBKEY_BYTES_INTERNAL)

newtype VerKeyDSIGN Ed25519DSIGN Source #

Instance details

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

newtype VerKeyDSIGN Ed448DSIGN Source #

Instance details

newtype VerKeyDSIGN Ed448DSIGN = VerKeyEd448DSIGN PublicKey

newtype VerKeyDSIGN MockDSIGN Source #

Instance details

Defined in Cardano.Crypto.DSIGN.Mock

newtype VerKeyDSIGN MockDSIGN = VerKeyMockDSIGN Word64

data VerKeyDSIGN NeverDSIGN Source #

Instance details

data VerKeyDSIGN NeverDSIGN = NeverUsedVerKeyDSIGN

newtype VerKeyDSIGN SchnorrSecp256k1DSIGN Source #

Instance details

newtype VerKeyDSIGN SchnorrSecp256k1DSIGN = VerKeySchnorrSecp256k1 (PinnedSizedBytes SECP256K1_SCHNORR_PUBKEY_BYTES_INTERNAL)

newtype VerKeyDSIGN ByronDSIGN Source #

Instance details

newtype VerKeyDSIGN ByronDSIGN = VerKeyByronDSIGN VerificationKey

type FixedSize (VerKeyDSIGN (BLS12381DSIGN curve)) Source #

Instance details

type FixedSize (VerKeyDSIGN (BLS12381DSIGN curve)) = CompressedPointSize curve

type FixedSize (VerKeyDSIGN EcdsaSecp256k1DSIGN) Source #

Instance details

type FixedSize (VerKeyDSIGN EcdsaSecp256k1DSIGN) = SECP256K1_ECDSA_PUBKEY_BYTES

type FixedSize (VerKeyDSIGN Ed25519DSIGN) Source #

Instance details

type FixedSize (VerKeyDSIGN Ed25519DSIGN) = CRYPTO_SIGN_ED25519_PUBLICKEYBYTES

type FixedSize (VerKeyDSIGN Ed448DSIGN) Source #

Instance details

type FixedSize (VerKeyDSIGN Ed448DSIGN) = 57

type FixedSize (VerKeyDSIGN MockDSIGN) Source #

Instance details

Defined in Cardano.Crypto.DSIGN.Mock

type FixedSize (VerKeyDSIGN MockDSIGN) = 8

type FixedSize (VerKeyDSIGN NeverDSIGN) Source #

Instance details

type FixedSize (VerKeyDSIGN NeverDSIGN) = 0

type FixedSize (VerKeyDSIGN SchnorrSecp256k1DSIGN) Source #

Instance details

type FixedSize (VerKeyDSIGN SchnorrSecp256k1DSIGN) = SECP256K1_SCHNORR_PUBKEY_BYTES

type FixedSize (VerKeyDSIGN ByronDSIGN) Source #

Instance details

type FixedSize (VerKeyDSIGN ByronDSIGN) = 64

newtype VerKeyDSIGN (BLS12381DSIGN curve) Source #

Instance details

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

type Rep (VerKeyDSIGN (BLS12381DSIGN curve)) Source #

Instance details

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

type Rep (VerKeyDSIGN EcdsaSecp256k1DSIGN) Source #

Instance details

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

type Rep (VerKeyDSIGN Ed25519DSIGN) Source #

Instance details

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

type Rep (VerKeyDSIGN Ed448DSIGN) Source #

Instance details

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

type Rep (VerKeyDSIGN MockDSIGN) Source #

Instance details

Defined in Cardano.Crypto.DSIGN.Mock

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

type Rep (VerKeyDSIGN NeverDSIGN) Source #

Instance details

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

type Rep (VerKeyDSIGN SchnorrSecp256k1DSIGN) Source #

Instance details

type Rep (VerKeyDSIGN SchnorrSecp256k1DSIGN) = D1 ('MetaData "VerKeyDSIGN" "Cardano.Crypto.DSIGN.SchnorrSecp256k1" "cardano-crypto-class-2.5.1.0-2de0e7a0b41e19b2580ad5868eb112d2fb31c14bec9d109d1f2409ba3eba5b3d" '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