Safe Haskell	Safe-Inferred
Language	Haskell2010

Ouroboros.Consensus.Byron.Crypto.DSIGN

Description

Byron digital signatures.

Documentation

data ByronDSIGN Source #

Instances

Instances details

DSIGNAlgorithm ByronDSIGN Source #
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN Associated Types type SeedSizeDSIGN ByronDSIGN ∷ Nat Source # type SizeVerKeyDSIGN ByronDSIGN ∷ Nat Source # type SizeSignKeyDSIGN ByronDSIGN ∷ Nat Source # type SizeSigDSIGN ByronDSIGN ∷ Nat Source # data VerKeyDSIGN ByronDSIGN Source # data SignKeyDSIGN ByronDSIGN Source # data SigDSIGN ByronDSIGN Source # type ContextDSIGN ByronDSIGN Source # type Signable ByronDSIGN ∷ Type → Constraint Source # Methods algorithmNameDSIGN ∷ proxy ByronDSIGN → String Source # deriveVerKeyDSIGN ∷ SignKeyDSIGN ByronDSIGN → VerKeyDSIGN ByronDSIGN Source # hashVerKeyDSIGN ∷ HashAlgorithm h ⇒ VerKeyDSIGN ByronDSIGN → Hash h (VerKeyDSIGN ByronDSIGN) Source # signDSIGN ∷ (Signable ByronDSIGN a, HasCallStack) ⇒ ContextDSIGN ByronDSIGN → a → SignKeyDSIGN ByronDSIGN → SigDSIGN ByronDSIGN Source # verifyDSIGN ∷ (Signable ByronDSIGN a, HasCallStack) ⇒ ContextDSIGN ByronDSIGN → VerKeyDSIGN ByronDSIGN → a → SigDSIGN ByronDSIGN → Either String () Source # genKeyDSIGN ∷ Seed → SignKeyDSIGN ByronDSIGN Source # rawSerialiseVerKeyDSIGN ∷ VerKeyDSIGN ByronDSIGN → ByteString Source # rawSerialiseSignKeyDSIGN ∷ SignKeyDSIGN ByronDSIGN → ByteString Source # rawSerialiseSigDSIGN ∷ SigDSIGN ByronDSIGN → ByteString Source # rawDeserialiseVerKeyDSIGN ∷ ByteString → Maybe (VerKeyDSIGN ByronDSIGN) Source # rawDeserialiseSignKeyDSIGN ∷ ByteString → Maybe (SignKeyDSIGN ByronDSIGN) Source # rawDeserialiseSigDSIGN ∷ ByteString → Maybe (SigDSIGN ByronDSIGN) Source #
Generic (SigDSIGN ByronDSIGN) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN Associated Types type Rep (SigDSIGN ByronDSIGN) ∷ Type → Type # Methods from ∷ SigDSIGN ByronDSIGN → Rep (SigDSIGN ByronDSIGN) x # to ∷ Rep (SigDSIGN ByronDSIGN) x → SigDSIGN ByronDSIGN #
Generic (SignKeyDSIGN ByronDSIGN) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN Associated Types type Rep (SignKeyDSIGN ByronDSIGN) ∷ Type → Type # Methods from ∷ SignKeyDSIGN ByronDSIGN → Rep (SignKeyDSIGN ByronDSIGN) x # to ∷ Rep (SignKeyDSIGN ByronDSIGN) x → SignKeyDSIGN ByronDSIGN #
Generic (VerKeyDSIGN ByronDSIGN) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN Associated Types type Rep (VerKeyDSIGN ByronDSIGN) ∷ Type → Type # Methods from ∷ VerKeyDSIGN ByronDSIGN → Rep (VerKeyDSIGN ByronDSIGN) x # to ∷ Rep (VerKeyDSIGN ByronDSIGN) x → VerKeyDSIGN ByronDSIGN #
Show (SigDSIGN ByronDSIGN) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN Methods showsPrec ∷ Int → SigDSIGN ByronDSIGN → ShowS # show ∷ SigDSIGN ByronDSIGN → String # showList ∷ [SigDSIGN ByronDSIGN] → ShowS #
Show (SignKeyDSIGN ByronDSIGN) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN Methods showsPrec ∷ Int → SignKeyDSIGN ByronDSIGN → ShowS # show ∷ SignKeyDSIGN ByronDSIGN → String # showList ∷ [SignKeyDSIGN ByronDSIGN] → ShowS #
Show (VerKeyDSIGN ByronDSIGN) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN Methods showsPrec ∷ Int → VerKeyDSIGN ByronDSIGN → ShowS # show ∷ VerKeyDSIGN ByronDSIGN → String # showList ∷ [VerKeyDSIGN ByronDSIGN] → ShowS #
Eq (SigDSIGN ByronDSIGN) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN Methods (==) ∷ SigDSIGN ByronDSIGN → SigDSIGN ByronDSIGN → Bool # (/=) ∷ SigDSIGN ByronDSIGN → SigDSIGN ByronDSIGN → Bool #
Eq (VerKeyDSIGN ByronDSIGN) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN Methods (==) ∷ VerKeyDSIGN ByronDSIGN → VerKeyDSIGN ByronDSIGN → Bool # (/=) ∷ VerKeyDSIGN ByronDSIGN → VerKeyDSIGN ByronDSIGN → Bool #
NoThunks (SigDSIGN ByronDSIGN) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN Methods noThunks ∷ Context → SigDSIGN ByronDSIGN → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SigDSIGN ByronDSIGN → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SigDSIGN ByronDSIGN) → String Source #
NoThunks (SignKeyDSIGN ByronDSIGN) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN Methods noThunks ∷ Context → SignKeyDSIGN ByronDSIGN → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SignKeyDSIGN ByronDSIGN → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SignKeyDSIGN ByronDSIGN) → String Source #
NoThunks (VerKeyDSIGN ByronDSIGN) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN Methods noThunks ∷ Context → VerKeyDSIGN ByronDSIGN → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → VerKeyDSIGN ByronDSIGN → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (VerKeyDSIGN ByronDSIGN) → String Source #
Condense (SigDSIGN ByronDSIGN) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN Methods condense ∷ SigDSIGN ByronDSIGN → String Source #
type ContextDSIGN ByronDSIGN Source #
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN type ContextDSIGN ByronDSIGN = (ProtocolMagicId, VerKeyDSIGN ByronDSIGN)
type SeedSizeDSIGN ByronDSIGN Source #
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN type SeedSizeDSIGN ByronDSIGN = 32
newtype SigDSIGN ByronDSIGN Source #
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN newtype SigDSIGN ByronDSIGN = SigByronDSIGN (Signature ToSign)
newtype SignKeyDSIGN ByronDSIGN Source #
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN newtype SignKeyDSIGN ByronDSIGN = SignKeyByronDSIGN SigningKey
type Signable ByronDSIGN Source #
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN type Signable ByronDSIGN
type SizeSigDSIGN ByronDSIGN Source #
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN type SizeSigDSIGN ByronDSIGN = 64
type SizeSignKeyDSIGN ByronDSIGN Source #
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN type SizeSignKeyDSIGN ByronDSIGN = 128
type SizeVerKeyDSIGN ByronDSIGN Source #
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN type SizeVerKeyDSIGN ByronDSIGN = 64
newtype VerKeyDSIGN ByronDSIGN Source #
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN newtype VerKeyDSIGN ByronDSIGN = VerKeyByronDSIGN VerificationKey
type Rep (SigDSIGN ByronDSIGN) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN type Rep (SigDSIGN ByronDSIGN) = D1 ('MetaData "SigDSIGN" "Ouroboros.Consensus.Byron.Crypto.DSIGN" "ouroboros-consensus-cardano-0.23.0.0-inplace" 'True) (C1 ('MetaCons "SigByronDSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Signature ToSign))))
type Rep (SignKeyDSIGN ByronDSIGN) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN type Rep (SignKeyDSIGN ByronDSIGN) = D1 ('MetaData "SignKeyDSIGN" "Ouroboros.Consensus.Byron.Crypto.DSIGN" "ouroboros-consensus-cardano-0.23.0.0-inplace" 'True) (C1 ('MetaCons "SignKeyByronDSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SigningKey)))
type Rep (VerKeyDSIGN ByronDSIGN) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN type Rep (VerKeyDSIGN ByronDSIGN) = D1 ('MetaData "VerKeyDSIGN" "Ouroboros.Consensus.Byron.Crypto.DSIGN" "ouroboros-consensus-cardano-0.23.0.0-inplace" 'True) (C1 ('MetaCons "VerKeyByronDSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 VerificationKey)))

class HasSignTag a where Source #

Methods

signTag ∷ VerKeyDSIGN ByronDSIGN → proxy a → SignTag Source #

Instances

Instances details

HasSignTag TxSigData Source #
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN Methods signTag ∷ VerKeyDSIGN ByronDSIGN → proxy TxSigData → SignTag Source #
HasSignTag (Annotated ToSign ByteString) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN Methods signTag ∷ VerKeyDSIGN ByronDSIGN → proxy (Annotated ToSign ByteString) → SignTag Source #

data family SigDSIGN v Source #

Instances

Instances details

Generic (SigDSIGN EcdsaSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Associated Types type Rep (SigDSIGN EcdsaSecp256k1DSIGN) ∷ Type → Type # Methods from ∷ SigDSIGN EcdsaSecp256k1DSIGN → Rep (SigDSIGN EcdsaSecp256k1DSIGN) x # to ∷ Rep (SigDSIGN EcdsaSecp256k1DSIGN) x → SigDSIGN EcdsaSecp256k1DSIGN #
Generic (SigDSIGN Ed25519DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Associated Types type Rep (SigDSIGN Ed25519DSIGN) ∷ Type → Type # Methods from ∷ SigDSIGN Ed25519DSIGN → Rep (SigDSIGN Ed25519DSIGN) x # to ∷ Rep (SigDSIGN Ed25519DSIGN) x → SigDSIGN Ed25519DSIGN #
Generic (SigDSIGN Ed448DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Associated Types type Rep (SigDSIGN Ed448DSIGN) ∷ Type → Type # Methods from ∷ SigDSIGN Ed448DSIGN → Rep (SigDSIGN Ed448DSIGN) x # to ∷ Rep (SigDSIGN Ed448DSIGN) x → SigDSIGN Ed448DSIGN #
Generic (SigDSIGN MockDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Mock Associated Types type Rep (SigDSIGN MockDSIGN) ∷ Type → Type # Methods from ∷ SigDSIGN MockDSIGN → Rep (SigDSIGN MockDSIGN) x # to ∷ Rep (SigDSIGN MockDSIGN) x → SigDSIGN MockDSIGN #
Generic (SigDSIGN NeverDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed Associated Types type Rep (SigDSIGN NeverDSIGN) ∷ Type → Type # Methods from ∷ SigDSIGN NeverDSIGN → Rep (SigDSIGN NeverDSIGN) x # to ∷ Rep (SigDSIGN NeverDSIGN) x → SigDSIGN NeverDSIGN #
Generic (SigDSIGN SchnorrSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Associated Types type Rep (SigDSIGN SchnorrSecp256k1DSIGN) ∷ Type → Type # Methods from ∷ SigDSIGN SchnorrSecp256k1DSIGN → Rep (SigDSIGN SchnorrSecp256k1DSIGN) x # to ∷ Rep (SigDSIGN SchnorrSecp256k1DSIGN) x → SigDSIGN SchnorrSecp256k1DSIGN #
Generic (SigDSIGN ByronDSIGN) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN Associated Types type Rep (SigDSIGN ByronDSIGN) ∷ Type → Type # Methods from ∷ SigDSIGN ByronDSIGN → Rep (SigDSIGN ByronDSIGN) x # to ∷ Rep (SigDSIGN ByronDSIGN) x → SigDSIGN ByronDSIGN #
Show (SigDSIGN EcdsaSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods showsPrec ∷ Int → SigDSIGN EcdsaSecp256k1DSIGN → ShowS # show ∷ SigDSIGN EcdsaSecp256k1DSIGN → String # showList ∷ [SigDSIGN EcdsaSecp256k1DSIGN] → ShowS #
Show (SigDSIGN Ed25519DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods showsPrec ∷ Int → SigDSIGN Ed25519DSIGN → ShowS # show ∷ SigDSIGN Ed25519DSIGN → String # showList ∷ [SigDSIGN Ed25519DSIGN] → ShowS #
Show (SigDSIGN Ed448DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods showsPrec ∷ Int → SigDSIGN Ed448DSIGN → ShowS # show ∷ SigDSIGN Ed448DSIGN → String # showList ∷ [SigDSIGN Ed448DSIGN] → ShowS #
Show (SigDSIGN MockDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods showsPrec ∷ Int → SigDSIGN MockDSIGN → ShowS # show ∷ SigDSIGN MockDSIGN → String # showList ∷ [SigDSIGN MockDSIGN] → ShowS #
Show (SigDSIGN NeverDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed Methods showsPrec ∷ Int → SigDSIGN NeverDSIGN → ShowS # show ∷ SigDSIGN NeverDSIGN → String # showList ∷ [SigDSIGN NeverDSIGN] → ShowS #
Show (SigDSIGN SchnorrSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods showsPrec ∷ Int → SigDSIGN SchnorrSecp256k1DSIGN → ShowS # show ∷ SigDSIGN SchnorrSecp256k1DSIGN → String # showList ∷ [SigDSIGN SchnorrSecp256k1DSIGN] → ShowS #
Show (SigDSIGN ByronDSIGN) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN Methods showsPrec ∷ Int → SigDSIGN ByronDSIGN → ShowS # show ∷ SigDSIGN ByronDSIGN → String # showList ∷ [SigDSIGN ByronDSIGN] → ShowS #
FromCBOR (SigDSIGN EcdsaSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods fromCBOR ∷ Decoder s (SigDSIGN EcdsaSecp256k1DSIGN) Source # label ∷ Proxy (SigDSIGN EcdsaSecp256k1DSIGN) → Text Source #
FromCBOR (SigDSIGN Ed25519DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods fromCBOR ∷ Decoder s (SigDSIGN Ed25519DSIGN) Source # label ∷ Proxy (SigDSIGN Ed25519DSIGN) → Text Source #
FromCBOR (SigDSIGN Ed448DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods fromCBOR ∷ Decoder s (SigDSIGN Ed448DSIGN) Source # label ∷ Proxy (SigDSIGN Ed448DSIGN) → Text Source #
FromCBOR (SigDSIGN MockDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods fromCBOR ∷ Decoder s (SigDSIGN MockDSIGN) Source # label ∷ Proxy (SigDSIGN MockDSIGN) → Text Source #
FromCBOR (SigDSIGN SchnorrSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods fromCBOR ∷ Decoder s (SigDSIGN SchnorrSecp256k1DSIGN) Source # label ∷ Proxy (SigDSIGN SchnorrSecp256k1DSIGN) → Text Source #
ToCBOR (SigDSIGN EcdsaSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods toCBOR ∷ SigDSIGN EcdsaSecp256k1DSIGN → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (SigDSIGN EcdsaSecp256k1DSIGN) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SigDSIGN EcdsaSecp256k1DSIGN] → Size Source #
ToCBOR (SigDSIGN Ed25519DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods toCBOR ∷ SigDSIGN Ed25519DSIGN → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (SigDSIGN Ed25519DSIGN) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SigDSIGN Ed25519DSIGN] → Size Source #
ToCBOR (SigDSIGN Ed448DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods toCBOR ∷ SigDSIGN Ed448DSIGN → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (SigDSIGN Ed448DSIGN) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SigDSIGN Ed448DSIGN] → Size Source #
ToCBOR (SigDSIGN MockDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods toCBOR ∷ SigDSIGN MockDSIGN → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (SigDSIGN MockDSIGN) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SigDSIGN MockDSIGN] → Size Source #
ToCBOR (SigDSIGN SchnorrSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods toCBOR ∷ SigDSIGN SchnorrSecp256k1DSIGN → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (SigDSIGN SchnorrSecp256k1DSIGN) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SigDSIGN SchnorrSecp256k1DSIGN] → Size Source #
DSIGNAlgorithm v ⇒ DecCBOR (SigDSIGN v)
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s (SigDSIGN v) Source # dropCBOR ∷ Proxy (SigDSIGN v) → Decoder s () Source # label ∷ Proxy (SigDSIGN v) → Text Source #
DSIGNAlgorithm v ⇒ EncCBOR (SigDSIGN v)
Instance details Defined in Cardano.Ledger.Binary.Encoding.EncCBOR Methods encCBOR ∷ SigDSIGN v → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (SigDSIGN v) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [SigDSIGN v] → Size Source #
NFData (SigDSIGN EcdsaSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods rnf ∷ SigDSIGN EcdsaSecp256k1DSIGN → () #
NFData (SigDSIGN Ed25519DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods rnf ∷ SigDSIGN Ed25519DSIGN → () #
NFData (SigDSIGN MockDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods rnf ∷ SigDSIGN MockDSIGN → () #
NFData (SigDSIGN SchnorrSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods rnf ∷ SigDSIGN SchnorrSecp256k1DSIGN → () #
Eq (SigDSIGN EcdsaSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods (==) ∷ SigDSIGN EcdsaSecp256k1DSIGN → SigDSIGN EcdsaSecp256k1DSIGN → Bool # (/=) ∷ SigDSIGN EcdsaSecp256k1DSIGN → SigDSIGN EcdsaSecp256k1DSIGN → Bool #
Eq (SigDSIGN Ed25519DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods (==) ∷ SigDSIGN Ed25519DSIGN → SigDSIGN Ed25519DSIGN → Bool # (/=) ∷ SigDSIGN Ed25519DSIGN → SigDSIGN Ed25519DSIGN → Bool #
Eq (SigDSIGN Ed448DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods (==) ∷ SigDSIGN Ed448DSIGN → SigDSIGN Ed448DSIGN → Bool # (/=) ∷ SigDSIGN Ed448DSIGN → SigDSIGN Ed448DSIGN → Bool #
Eq (SigDSIGN MockDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods (==) ∷ SigDSIGN MockDSIGN → SigDSIGN MockDSIGN → Bool # (/=) ∷ SigDSIGN MockDSIGN → SigDSIGN MockDSIGN → Bool #
Eq (SigDSIGN NeverDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed Methods (==) ∷ SigDSIGN NeverDSIGN → SigDSIGN NeverDSIGN → Bool # (/=) ∷ SigDSIGN NeverDSIGN → SigDSIGN NeverDSIGN → Bool #
Eq (SigDSIGN SchnorrSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods (==) ∷ SigDSIGN SchnorrSecp256k1DSIGN → SigDSIGN SchnorrSecp256k1DSIGN → Bool # (/=) ∷ SigDSIGN SchnorrSecp256k1DSIGN → SigDSIGN SchnorrSecp256k1DSIGN → Bool #
Eq (SigDSIGN ByronDSIGN) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN Methods (==) ∷ SigDSIGN ByronDSIGN → SigDSIGN ByronDSIGN → Bool # (/=) ∷ SigDSIGN ByronDSIGN → SigDSIGN ByronDSIGN → Bool #
Ord (SigDSIGN MockDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods compare ∷ SigDSIGN MockDSIGN → SigDSIGN MockDSIGN → Ordering # (<) ∷ SigDSIGN MockDSIGN → SigDSIGN MockDSIGN → Bool # (<=) ∷ SigDSIGN MockDSIGN → SigDSIGN MockDSIGN → Bool # (>) ∷ SigDSIGN MockDSIGN → SigDSIGN MockDSIGN → Bool # (>=) ∷ SigDSIGN MockDSIGN → SigDSIGN MockDSIGN → Bool # max ∷ SigDSIGN MockDSIGN → SigDSIGN MockDSIGN → SigDSIGN MockDSIGN # min ∷ SigDSIGN MockDSIGN → SigDSIGN MockDSIGN → SigDSIGN MockDSIGN #
ByteArrayAccess (SigDSIGN Ed448DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods length ∷ SigDSIGN Ed448DSIGN → Int Source # withByteArray ∷ SigDSIGN Ed448DSIGN → (Ptr p → IO a) → IO a Source # copyByteArrayToPtr ∷ SigDSIGN Ed448DSIGN → Ptr p → IO () Source #
NoThunks (SigDSIGN EcdsaSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods noThunks ∷ Context → SigDSIGN EcdsaSecp256k1DSIGN → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SigDSIGN EcdsaSecp256k1DSIGN → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SigDSIGN EcdsaSecp256k1DSIGN) → String Source #
NoThunks (SigDSIGN Ed25519DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods noThunks ∷ Context → SigDSIGN Ed25519DSIGN → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SigDSIGN Ed25519DSIGN → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SigDSIGN Ed25519DSIGN) → String Source #
NoThunks (SigDSIGN Ed448DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods noThunks ∷ Context → SigDSIGN Ed448DSIGN → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SigDSIGN Ed448DSIGN → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SigDSIGN Ed448DSIGN) → String Source #
NoThunks (SigDSIGN MockDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods noThunks ∷ Context → SigDSIGN MockDSIGN → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SigDSIGN MockDSIGN → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SigDSIGN MockDSIGN) → String Source #
NoThunks (SigDSIGN NeverDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed Methods noThunks ∷ Context → SigDSIGN NeverDSIGN → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SigDSIGN NeverDSIGN → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SigDSIGN NeverDSIGN) → String Source #
NoThunks (SigDSIGN SchnorrSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods noThunks ∷ Context → SigDSIGN SchnorrSecp256k1DSIGN → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SigDSIGN SchnorrSecp256k1DSIGN → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SigDSIGN SchnorrSecp256k1DSIGN) → String Source #
NoThunks (SigDSIGN ByronDSIGN) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN Methods noThunks ∷ Context → SigDSIGN ByronDSIGN → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SigDSIGN ByronDSIGN → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SigDSIGN ByronDSIGN) → String Source #
Condense (SigDSIGN Ed25519DSIGN)
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense ∷ SigDSIGN Ed25519DSIGN → String Source #
Condense (SigDSIGN Ed448DSIGN)
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense ∷ SigDSIGN Ed448DSIGN → String Source #
Condense (SigDSIGN MockDSIGN)
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense ∷ SigDSIGN MockDSIGN → String Source #
Condense (SigDSIGN ByronDSIGN) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN Methods condense ∷ SigDSIGN ByronDSIGN → String Source #
newtype SigDSIGN EcdsaSecp256k1DSIGN
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 newtype SigDSIGN EcdsaSecp256k1DSIGN = SigEcdsaSecp256k1 (PinnedSizedBytes SECP256K1_ECDSA_SIGNATURE_BYTES_INTERNAL)
newtype SigDSIGN Ed25519DSIGN
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 newtype SigDSIGN Ed25519DSIGN = SigEd25519DSIGN (PinnedSizedBytes (SizeSigDSIGN Ed25519DSIGN))
newtype SigDSIGN Ed448DSIGN
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 newtype SigDSIGN Ed448DSIGN = SigEd448DSIGN Signature
data SigDSIGN MockDSIGN
Instance details Defined in Cardano.Crypto.DSIGN.Mock data SigDSIGN MockDSIGN = SigMockDSIGN !(Hash ShortHash ()) !Word64
data SigDSIGN NeverDSIGN
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed data SigDSIGN NeverDSIGN = NeverUsedSigDSIGN
newtype SigDSIGN SchnorrSecp256k1DSIGN
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 newtype SigDSIGN SchnorrSecp256k1DSIGN = SigSchnorrSecp256k1 (PinnedSizedBytes (SizeSigDSIGN SchnorrSecp256k1DSIGN))
newtype SigDSIGN ByronDSIGN Source #
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN newtype SigDSIGN ByronDSIGN = SigByronDSIGN (Signature ToSign)
type Rep (SigDSIGN EcdsaSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 type Rep (SigDSIGN EcdsaSecp256k1DSIGN) = D1 ('MetaData "SigDSIGN" "Cardano.Crypto.DSIGN.EcdsaSecp256k1" "cardano-crypto-class-2.2.1.0-a05ec33c7d6c7b0d6c9940f0648877e1bd97d35fa38079673daae7f7fa209ffd" 'True) (C1 ('MetaCons "SigEcdsaSecp256k1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PinnedSizedBytes SECP256K1_ECDSA_SIGNATURE_BYTES_INTERNAL))))
type Rep (SigDSIGN Ed25519DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 type Rep (SigDSIGN Ed25519DSIGN) = D1 ('MetaData "SigDSIGN" "Cardano.Crypto.DSIGN.Ed25519" "cardano-crypto-class-2.2.1.0-a05ec33c7d6c7b0d6c9940f0648877e1bd97d35fa38079673daae7f7fa209ffd" 'True) (C1 ('MetaCons "SigEd25519DSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PinnedSizedBytes (SizeSigDSIGN Ed25519DSIGN)))))
type Rep (SigDSIGN Ed448DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 type Rep (SigDSIGN Ed448DSIGN) = D1 ('MetaData "SigDSIGN" "Cardano.Crypto.DSIGN.Ed448" "cardano-crypto-class-2.2.1.0-a05ec33c7d6c7b0d6c9940f0648877e1bd97d35fa38079673daae7f7fa209ffd" 'True) (C1 ('MetaCons "SigEd448DSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Signature)))
type Rep (SigDSIGN MockDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Mock type Rep (SigDSIGN MockDSIGN) = D1 ('MetaData "SigDSIGN" "Cardano.Crypto.DSIGN.Mock" "cardano-crypto-class-2.2.1.0-a05ec33c7d6c7b0d6c9940f0648877e1bd97d35fa38079673daae7f7fa209ffd" 'False) (C1 ('MetaCons "SigMockDSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Hash ShortHash ())) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Word64)))
type Rep (SigDSIGN NeverDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed type Rep (SigDSIGN NeverDSIGN) = D1 ('MetaData "SigDSIGN" "Cardano.Crypto.DSIGN.NeverUsed" "cardano-crypto-class-2.2.1.0-a05ec33c7d6c7b0d6c9940f0648877e1bd97d35fa38079673daae7f7fa209ffd" 'False) (C1 ('MetaCons "NeverUsedSigDSIGN" 'PrefixI 'False) (U1 ∷ Type → Type))
type Rep (SigDSIGN SchnorrSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 type Rep (SigDSIGN SchnorrSecp256k1DSIGN) = D1 ('MetaData "SigDSIGN" "Cardano.Crypto.DSIGN.SchnorrSecp256k1" "cardano-crypto-class-2.2.1.0-a05ec33c7d6c7b0d6c9940f0648877e1bd97d35fa38079673daae7f7fa209ffd" 'True) (C1 ('MetaCons "SigSchnorrSecp256k1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PinnedSizedBytes (SizeSigDSIGN SchnorrSecp256k1DSIGN)))))
type Rep (SigDSIGN ByronDSIGN) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN type Rep (SigDSIGN ByronDSIGN) = D1 ('MetaData "SigDSIGN" "Ouroboros.Consensus.Byron.Crypto.DSIGN" "ouroboros-consensus-cardano-0.23.0.0-inplace" 'True) (C1 ('MetaCons "SigByronDSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Signature ToSign))))

data family SignKeyDSIGN v Source #

Instances

Instances details

Generic (SignKeyDSIGN EcdsaSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Associated Types type Rep (SignKeyDSIGN EcdsaSecp256k1DSIGN) ∷ Type → Type # Methods from ∷ SignKeyDSIGN EcdsaSecp256k1DSIGN → Rep (SignKeyDSIGN EcdsaSecp256k1DSIGN) x # to ∷ Rep (SignKeyDSIGN EcdsaSecp256k1DSIGN) x → SignKeyDSIGN EcdsaSecp256k1DSIGN #
Generic (SignKeyDSIGN Ed25519DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Associated Types type Rep (SignKeyDSIGN Ed25519DSIGN) ∷ Type → Type # Methods from ∷ SignKeyDSIGN Ed25519DSIGN → Rep (SignKeyDSIGN Ed25519DSIGN) x # to ∷ Rep (SignKeyDSIGN Ed25519DSIGN) x → SignKeyDSIGN Ed25519DSIGN #
Generic (SignKeyDSIGN Ed448DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Associated Types type Rep (SignKeyDSIGN Ed448DSIGN) ∷ Type → Type # Methods from ∷ SignKeyDSIGN Ed448DSIGN → Rep (SignKeyDSIGN Ed448DSIGN) x # to ∷ Rep (SignKeyDSIGN Ed448DSIGN) x → SignKeyDSIGN Ed448DSIGN #
Generic (SignKeyDSIGN MockDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Mock Associated Types type Rep (SignKeyDSIGN MockDSIGN) ∷ Type → Type # Methods from ∷ SignKeyDSIGN MockDSIGN → Rep (SignKeyDSIGN MockDSIGN) x # to ∷ Rep (SignKeyDSIGN MockDSIGN) x → SignKeyDSIGN MockDSIGN #
Generic (SignKeyDSIGN NeverDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed Associated Types type Rep (SignKeyDSIGN NeverDSIGN) ∷ Type → Type # Methods from ∷ SignKeyDSIGN NeverDSIGN → Rep (SignKeyDSIGN NeverDSIGN) x # to ∷ Rep (SignKeyDSIGN NeverDSIGN) x → SignKeyDSIGN NeverDSIGN #
Generic (SignKeyDSIGN SchnorrSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Associated Types type Rep (SignKeyDSIGN SchnorrSecp256k1DSIGN) ∷ Type → Type # Methods from ∷ SignKeyDSIGN SchnorrSecp256k1DSIGN → Rep (SignKeyDSIGN SchnorrSecp256k1DSIGN) x # to ∷ Rep (SignKeyDSIGN SchnorrSecp256k1DSIGN) x → SignKeyDSIGN SchnorrSecp256k1DSIGN #
Generic (SignKeyDSIGN ByronDSIGN) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN Associated Types type Rep (SignKeyDSIGN ByronDSIGN) ∷ Type → Type # Methods from ∷ SignKeyDSIGN ByronDSIGN → Rep (SignKeyDSIGN ByronDSIGN) x # to ∷ Rep (SignKeyDSIGN ByronDSIGN) x → SignKeyDSIGN ByronDSIGN #
Num (SignKeyDSIGN MockDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods (+) ∷ SignKeyDSIGN MockDSIGN → SignKeyDSIGN MockDSIGN → SignKeyDSIGN MockDSIGN # (-) ∷ SignKeyDSIGN MockDSIGN → SignKeyDSIGN MockDSIGN → SignKeyDSIGN MockDSIGN # (*) ∷ SignKeyDSIGN MockDSIGN → SignKeyDSIGN MockDSIGN → SignKeyDSIGN MockDSIGN # negate ∷ SignKeyDSIGN MockDSIGN → SignKeyDSIGN MockDSIGN # abs ∷ SignKeyDSIGN MockDSIGN → SignKeyDSIGN MockDSIGN # signum ∷ SignKeyDSIGN MockDSIGN → SignKeyDSIGN MockDSIGN # fromInteger ∷ Integer → SignKeyDSIGN MockDSIGN #
Show (SignKeyDSIGN EcdsaSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods showsPrec ∷ Int → SignKeyDSIGN EcdsaSecp256k1DSIGN → ShowS # show ∷ SignKeyDSIGN EcdsaSecp256k1DSIGN → String # showList ∷ [SignKeyDSIGN EcdsaSecp256k1DSIGN] → ShowS #
Show (SignKeyDSIGN Ed25519DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods showsPrec ∷ Int → SignKeyDSIGN Ed25519DSIGN → ShowS # show ∷ SignKeyDSIGN Ed25519DSIGN → String # showList ∷ [SignKeyDSIGN Ed25519DSIGN] → ShowS #
Show (SignKeyDSIGN Ed448DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods showsPrec ∷ Int → SignKeyDSIGN Ed448DSIGN → ShowS # show ∷ SignKeyDSIGN Ed448DSIGN → String # showList ∷ [SignKeyDSIGN Ed448DSIGN] → ShowS #
Show (SignKeyDSIGN MockDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods showsPrec ∷ Int → SignKeyDSIGN MockDSIGN → ShowS # show ∷ SignKeyDSIGN MockDSIGN → String # showList ∷ [SignKeyDSIGN MockDSIGN] → ShowS #
Show (SignKeyDSIGN NeverDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed Methods showsPrec ∷ Int → SignKeyDSIGN NeverDSIGN → ShowS # show ∷ SignKeyDSIGN NeverDSIGN → String # showList ∷ [SignKeyDSIGN NeverDSIGN] → ShowS #
Show (SignKeyDSIGN SchnorrSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods showsPrec ∷ Int → SignKeyDSIGN SchnorrSecp256k1DSIGN → ShowS # show ∷ SignKeyDSIGN SchnorrSecp256k1DSIGN → String # showList ∷ [SignKeyDSIGN SchnorrSecp256k1DSIGN] → ShowS #
Show (SignKeyDSIGN ByronDSIGN) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN Methods showsPrec ∷ Int → SignKeyDSIGN ByronDSIGN → ShowS # show ∷ SignKeyDSIGN ByronDSIGN → String # showList ∷ [SignKeyDSIGN ByronDSIGN] → ShowS #
FromCBOR (SignKeyDSIGN EcdsaSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods fromCBOR ∷ Decoder s (SignKeyDSIGN EcdsaSecp256k1DSIGN) Source # label ∷ Proxy (SignKeyDSIGN EcdsaSecp256k1DSIGN) → Text Source #
FromCBOR (SignKeyDSIGN Ed25519DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods fromCBOR ∷ Decoder s (SignKeyDSIGN Ed25519DSIGN) Source # label ∷ Proxy (SignKeyDSIGN Ed25519DSIGN) → Text Source #
FromCBOR (SignKeyDSIGN Ed448DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods fromCBOR ∷ Decoder s (SignKeyDSIGN Ed448DSIGN) Source # label ∷ Proxy (SignKeyDSIGN Ed448DSIGN) → Text Source #
FromCBOR (SignKeyDSIGN MockDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods fromCBOR ∷ Decoder s (SignKeyDSIGN MockDSIGN) Source # label ∷ Proxy (SignKeyDSIGN MockDSIGN) → Text Source #
FromCBOR (SignKeyDSIGN SchnorrSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods fromCBOR ∷ Decoder s (SignKeyDSIGN SchnorrSecp256k1DSIGN) Source # label ∷ Proxy (SignKeyDSIGN SchnorrSecp256k1DSIGN) → Text Source #
ToCBOR (SignKeyDSIGN EcdsaSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods toCBOR ∷ SignKeyDSIGN EcdsaSecp256k1DSIGN → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (SignKeyDSIGN EcdsaSecp256k1DSIGN) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SignKeyDSIGN EcdsaSecp256k1DSIGN] → Size Source #
ToCBOR (SignKeyDSIGN Ed25519DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods toCBOR ∷ SignKeyDSIGN Ed25519DSIGN → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (SignKeyDSIGN Ed25519DSIGN) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SignKeyDSIGN Ed25519DSIGN] → Size Source #
ToCBOR (SignKeyDSIGN Ed448DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods toCBOR ∷ SignKeyDSIGN Ed448DSIGN → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (SignKeyDSIGN Ed448DSIGN) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SignKeyDSIGN Ed448DSIGN] → Size Source #
ToCBOR (SignKeyDSIGN MockDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods toCBOR ∷ SignKeyDSIGN MockDSIGN → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (SignKeyDSIGN MockDSIGN) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SignKeyDSIGN MockDSIGN] → Size Source #
ToCBOR (SignKeyDSIGN SchnorrSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods toCBOR ∷ SignKeyDSIGN SchnorrSecp256k1DSIGN → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (SignKeyDSIGN SchnorrSecp256k1DSIGN) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SignKeyDSIGN SchnorrSecp256k1DSIGN] → Size Source #
DSIGNAlgorithm v ⇒ DecCBOR (SignKeyDSIGN v)
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s (SignKeyDSIGN v) Source # dropCBOR ∷ Proxy (SignKeyDSIGN v) → Decoder s () Source # label ∷ Proxy (SignKeyDSIGN v) → Text Source #
DSIGNAlgorithm v ⇒ EncCBOR (SignKeyDSIGN v)
Instance details Defined in Cardano.Ledger.Binary.Encoding.EncCBOR Methods encCBOR ∷ SignKeyDSIGN v → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (SignKeyDSIGN v) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [SignKeyDSIGN v] → Size Source #
NFData (SignKeyDSIGN EcdsaSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods rnf ∷ SignKeyDSIGN EcdsaSecp256k1DSIGN → () #
NFData (SignKeyDSIGN Ed25519DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods rnf ∷ SignKeyDSIGN Ed25519DSIGN → () #
NFData (SignKeyDSIGN Ed448DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods rnf ∷ SignKeyDSIGN Ed448DSIGN → () #
NFData (SignKeyDSIGN MockDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods rnf ∷ SignKeyDSIGN MockDSIGN → () #
NFData (SignKeyDSIGN SchnorrSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods rnf ∷ SignKeyDSIGN SchnorrSecp256k1DSIGN → () #
Eq (SignKeyDSIGN EcdsaSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods (==) ∷ SignKeyDSIGN EcdsaSecp256k1DSIGN → SignKeyDSIGN EcdsaSecp256k1DSIGN → Bool # (/=) ∷ SignKeyDSIGN EcdsaSecp256k1DSIGN → SignKeyDSIGN EcdsaSecp256k1DSIGN → Bool #
Eq (SignKeyDSIGN Ed25519DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods (==) ∷ SignKeyDSIGN Ed25519DSIGN → SignKeyDSIGN Ed25519DSIGN → Bool # (/=) ∷ SignKeyDSIGN Ed25519DSIGN → SignKeyDSIGN Ed25519DSIGN → Bool #
Eq (SignKeyDSIGN Ed448DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods (==) ∷ SignKeyDSIGN Ed448DSIGN → SignKeyDSIGN Ed448DSIGN → Bool # (/=) ∷ SignKeyDSIGN Ed448DSIGN → SignKeyDSIGN Ed448DSIGN → Bool #
Eq (SignKeyDSIGN MockDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods (==) ∷ SignKeyDSIGN MockDSIGN → SignKeyDSIGN MockDSIGN → Bool # (/=) ∷ SignKeyDSIGN MockDSIGN → SignKeyDSIGN MockDSIGN → Bool #
Eq (SignKeyDSIGN NeverDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed Methods (==) ∷ SignKeyDSIGN NeverDSIGN → SignKeyDSIGN NeverDSIGN → Bool # (/=) ∷ SignKeyDSIGN NeverDSIGN → SignKeyDSIGN NeverDSIGN → Bool #
Eq (SignKeyDSIGN SchnorrSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods (==) ∷ SignKeyDSIGN SchnorrSecp256k1DSIGN → SignKeyDSIGN SchnorrSecp256k1DSIGN → Bool # (/=) ∷ SignKeyDSIGN SchnorrSecp256k1DSIGN → SignKeyDSIGN SchnorrSecp256k1DSIGN → Bool #
(TypeError ('Text "Ord not supported for signing keys, use the hash instead") ∷ Constraint, Eq (SignKeyDSIGN v)) ⇒ Ord (SignKeyDSIGN v)
Instance details Defined in Cardano.Crypto.DSIGN.Class Methods compare ∷ SignKeyDSIGN v → SignKeyDSIGN v → Ordering # (<) ∷ SignKeyDSIGN v → SignKeyDSIGN v → Bool # (<=) ∷ SignKeyDSIGN v → SignKeyDSIGN v → Bool # (>) ∷ SignKeyDSIGN v → SignKeyDSIGN v → Bool # (>=) ∷ SignKeyDSIGN v → SignKeyDSIGN v → Bool # max ∷ SignKeyDSIGN v → SignKeyDSIGN v → SignKeyDSIGN v # min ∷ SignKeyDSIGN v → SignKeyDSIGN v → SignKeyDSIGN v #
ByteArrayAccess (SignKeyDSIGN Ed448DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods length ∷ SignKeyDSIGN Ed448DSIGN → Int Source # withByteArray ∷ SignKeyDSIGN Ed448DSIGN → (Ptr p → IO a) → IO a Source # copyByteArrayToPtr ∷ SignKeyDSIGN Ed448DSIGN → Ptr p → IO () Source #
NoThunks (SignKeyDSIGN EcdsaSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods noThunks ∷ Context → SignKeyDSIGN EcdsaSecp256k1DSIGN → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SignKeyDSIGN EcdsaSecp256k1DSIGN → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SignKeyDSIGN EcdsaSecp256k1DSIGN) → String Source #
NoThunks (SignKeyDSIGN Ed25519DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods noThunks ∷ Context → SignKeyDSIGN Ed25519DSIGN → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SignKeyDSIGN Ed25519DSIGN → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SignKeyDSIGN Ed25519DSIGN) → String Source #
NoThunks (SignKeyDSIGN Ed448DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods noThunks ∷ Context → SignKeyDSIGN Ed448DSIGN → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SignKeyDSIGN Ed448DSIGN → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SignKeyDSIGN Ed448DSIGN) → String Source #
NoThunks (SignKeyDSIGN MockDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods noThunks ∷ Context → SignKeyDSIGN MockDSIGN → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SignKeyDSIGN MockDSIGN → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SignKeyDSIGN MockDSIGN) → String Source #
NoThunks (SignKeyDSIGN NeverDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed Methods noThunks ∷ Context → SignKeyDSIGN NeverDSIGN → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SignKeyDSIGN NeverDSIGN → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SignKeyDSIGN NeverDSIGN) → String Source #
NoThunks (SignKeyDSIGN SchnorrSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods noThunks ∷ Context → SignKeyDSIGN SchnorrSecp256k1DSIGN → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SignKeyDSIGN SchnorrSecp256k1DSIGN → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SignKeyDSIGN SchnorrSecp256k1DSIGN) → String Source #
NoThunks (SignKeyDSIGN ByronDSIGN) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN Methods noThunks ∷ Context → SignKeyDSIGN ByronDSIGN → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SignKeyDSIGN ByronDSIGN → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SignKeyDSIGN ByronDSIGN) → String Source #
newtype SignKeyDSIGN EcdsaSecp256k1DSIGN
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 newtype SignKeyDSIGN EcdsaSecp256k1DSIGN = SignKeyEcdsaSecp256k1 (PinnedSizedBytes SECP256K1_ECDSA_PRIVKEY_BYTES)
newtype SignKeyDSIGN Ed25519DSIGN
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 newtype SignKeyDSIGN Ed25519DSIGN = SignKeyEd25519DSIGN (PinnedSizedBytes CRYPTO_SIGN_ED25519_SECRETKEYBYTES)
newtype SignKeyDSIGN Ed448DSIGN
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 newtype SignKeyDSIGN Ed448DSIGN = SignKeyEd448DSIGN SecretKey
newtype SignKeyDSIGN MockDSIGN
Instance details Defined in Cardano.Crypto.DSIGN.Mock newtype SignKeyDSIGN MockDSIGN = SignKeyMockDSIGN Word64
data SignKeyDSIGN NeverDSIGN
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed data SignKeyDSIGN NeverDSIGN = NeverUsedSignKeyDSIGN
newtype SignKeyDSIGN SchnorrSecp256k1DSIGN
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 newtype SignKeyDSIGN SchnorrSecp256k1DSIGN = SignKeySchnorrSecp256k1 (PinnedSizedBytes (SizeSignKeyDSIGN SchnorrSecp256k1DSIGN))
newtype SignKeyDSIGN ByronDSIGN Source #
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN newtype SignKeyDSIGN ByronDSIGN = SignKeyByronDSIGN SigningKey
type Rep (SignKeyDSIGN EcdsaSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 type Rep (SignKeyDSIGN EcdsaSecp256k1DSIGN) = D1 ('MetaData "SignKeyDSIGN" "Cardano.Crypto.DSIGN.EcdsaSecp256k1" "cardano-crypto-class-2.2.1.0-a05ec33c7d6c7b0d6c9940f0648877e1bd97d35fa38079673daae7f7fa209ffd" 'True) (C1 ('MetaCons "SignKeyEcdsaSecp256k1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PinnedSizedBytes SECP256K1_ECDSA_PRIVKEY_BYTES))))
type Rep (SignKeyDSIGN Ed25519DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 type Rep (SignKeyDSIGN Ed25519DSIGN) = D1 ('MetaData "SignKeyDSIGN" "Cardano.Crypto.DSIGN.Ed25519" "cardano-crypto-class-2.2.1.0-a05ec33c7d6c7b0d6c9940f0648877e1bd97d35fa38079673daae7f7fa209ffd" 'True) (C1 ('MetaCons "SignKeyEd25519DSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PinnedSizedBytes CRYPTO_SIGN_ED25519_SECRETKEYBYTES))))
type Rep (SignKeyDSIGN Ed448DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 type Rep (SignKeyDSIGN Ed448DSIGN) = D1 ('MetaData "SignKeyDSIGN" "Cardano.Crypto.DSIGN.Ed448" "cardano-crypto-class-2.2.1.0-a05ec33c7d6c7b0d6c9940f0648877e1bd97d35fa38079673daae7f7fa209ffd" 'True) (C1 ('MetaCons "SignKeyEd448DSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SecretKey)))
type Rep (SignKeyDSIGN MockDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Mock type Rep (SignKeyDSIGN MockDSIGN) = D1 ('MetaData "SignKeyDSIGN" "Cardano.Crypto.DSIGN.Mock" "cardano-crypto-class-2.2.1.0-a05ec33c7d6c7b0d6c9940f0648877e1bd97d35fa38079673daae7f7fa209ffd" 'True) (C1 ('MetaCons "SignKeyMockDSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))
type Rep (SignKeyDSIGN NeverDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed type Rep (SignKeyDSIGN NeverDSIGN) = D1 ('MetaData "SignKeyDSIGN" "Cardano.Crypto.DSIGN.NeverUsed" "cardano-crypto-class-2.2.1.0-a05ec33c7d6c7b0d6c9940f0648877e1bd97d35fa38079673daae7f7fa209ffd" 'False) (C1 ('MetaCons "NeverUsedSignKeyDSIGN" 'PrefixI 'False) (U1 ∷ Type → Type))
type Rep (SignKeyDSIGN SchnorrSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 type Rep (SignKeyDSIGN SchnorrSecp256k1DSIGN) = D1 ('MetaData "SignKeyDSIGN" "Cardano.Crypto.DSIGN.SchnorrSecp256k1" "cardano-crypto-class-2.2.1.0-a05ec33c7d6c7b0d6c9940f0648877e1bd97d35fa38079673daae7f7fa209ffd" 'True) (C1 ('MetaCons "SignKeySchnorrSecp256k1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PinnedSizedBytes (SizeSignKeyDSIGN SchnorrSecp256k1DSIGN)))))
type Rep (SignKeyDSIGN ByronDSIGN) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN type Rep (SignKeyDSIGN ByronDSIGN) = D1 ('MetaData "SignKeyDSIGN" "Ouroboros.Consensus.Byron.Crypto.DSIGN" "ouroboros-consensus-cardano-0.23.0.0-inplace" 'True) (C1 ('MetaCons "SignKeyByronDSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SigningKey)))

data family VerKeyDSIGN v Source #

Instances

Instances details

Generic (VerKeyDSIGN EcdsaSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Associated Types type Rep (VerKeyDSIGN EcdsaSecp256k1DSIGN) ∷ Type → Type # Methods from ∷ VerKeyDSIGN EcdsaSecp256k1DSIGN → Rep (VerKeyDSIGN EcdsaSecp256k1DSIGN) x # to ∷ Rep (VerKeyDSIGN EcdsaSecp256k1DSIGN) x → VerKeyDSIGN EcdsaSecp256k1DSIGN #
Generic (VerKeyDSIGN Ed25519DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Associated Types type Rep (VerKeyDSIGN Ed25519DSIGN) ∷ Type → Type # Methods from ∷ VerKeyDSIGN Ed25519DSIGN → Rep (VerKeyDSIGN Ed25519DSIGN) x # to ∷ Rep (VerKeyDSIGN Ed25519DSIGN) x → VerKeyDSIGN Ed25519DSIGN #
Generic (VerKeyDSIGN Ed448DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Associated Types type Rep (VerKeyDSIGN Ed448DSIGN) ∷ Type → Type # Methods from ∷ VerKeyDSIGN Ed448DSIGN → Rep (VerKeyDSIGN Ed448DSIGN) x # to ∷ Rep (VerKeyDSIGN Ed448DSIGN) x → VerKeyDSIGN Ed448DSIGN #
Generic (VerKeyDSIGN MockDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Mock Associated Types type Rep (VerKeyDSIGN MockDSIGN) ∷ Type → Type # Methods from ∷ VerKeyDSIGN MockDSIGN → Rep (VerKeyDSIGN MockDSIGN) x # to ∷ Rep (VerKeyDSIGN MockDSIGN) x → VerKeyDSIGN MockDSIGN #
Generic (VerKeyDSIGN NeverDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed Associated Types type Rep (VerKeyDSIGN NeverDSIGN) ∷ Type → Type # Methods from ∷ VerKeyDSIGN NeverDSIGN → Rep (VerKeyDSIGN NeverDSIGN) x # to ∷ Rep (VerKeyDSIGN NeverDSIGN) x → VerKeyDSIGN NeverDSIGN #
Generic (VerKeyDSIGN SchnorrSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Associated Types type Rep (VerKeyDSIGN SchnorrSecp256k1DSIGN) ∷ Type → Type # Methods from ∷ VerKeyDSIGN SchnorrSecp256k1DSIGN → Rep (VerKeyDSIGN SchnorrSecp256k1DSIGN) x # to ∷ Rep (VerKeyDSIGN SchnorrSecp256k1DSIGN) x → VerKeyDSIGN SchnorrSecp256k1DSIGN #
Generic (VerKeyDSIGN ByronDSIGN) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN Associated Types type Rep (VerKeyDSIGN ByronDSIGN) ∷ Type → Type # Methods from ∷ VerKeyDSIGN ByronDSIGN → Rep (VerKeyDSIGN ByronDSIGN) x # to ∷ Rep (VerKeyDSIGN ByronDSIGN) x → VerKeyDSIGN ByronDSIGN #
Num (VerKeyDSIGN MockDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods (+) ∷ VerKeyDSIGN MockDSIGN → VerKeyDSIGN MockDSIGN → VerKeyDSIGN MockDSIGN # (-) ∷ VerKeyDSIGN MockDSIGN → VerKeyDSIGN MockDSIGN → VerKeyDSIGN MockDSIGN # (*) ∷ VerKeyDSIGN MockDSIGN → VerKeyDSIGN MockDSIGN → VerKeyDSIGN MockDSIGN # negate ∷ VerKeyDSIGN MockDSIGN → VerKeyDSIGN MockDSIGN # abs ∷ VerKeyDSIGN MockDSIGN → VerKeyDSIGN MockDSIGN # signum ∷ VerKeyDSIGN MockDSIGN → VerKeyDSIGN MockDSIGN # fromInteger ∷ Integer → VerKeyDSIGN MockDSIGN #
Show (VerKeyDSIGN EcdsaSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods showsPrec ∷ Int → VerKeyDSIGN EcdsaSecp256k1DSIGN → ShowS # show ∷ VerKeyDSIGN EcdsaSecp256k1DSIGN → String # showList ∷ [VerKeyDSIGN EcdsaSecp256k1DSIGN] → ShowS #
Show (VerKeyDSIGN Ed25519DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods showsPrec ∷ Int → VerKeyDSIGN Ed25519DSIGN → ShowS # show ∷ VerKeyDSIGN Ed25519DSIGN → String # showList ∷ [VerKeyDSIGN Ed25519DSIGN] → ShowS #
Show (VerKeyDSIGN Ed448DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods showsPrec ∷ Int → VerKeyDSIGN Ed448DSIGN → ShowS # show ∷ VerKeyDSIGN Ed448DSIGN → String # showList ∷ [VerKeyDSIGN Ed448DSIGN] → ShowS #
Show (VerKeyDSIGN MockDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods showsPrec ∷ Int → VerKeyDSIGN MockDSIGN → ShowS # show ∷ VerKeyDSIGN MockDSIGN → String # showList ∷ [VerKeyDSIGN MockDSIGN] → ShowS #
Show (VerKeyDSIGN NeverDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed Methods showsPrec ∷ Int → VerKeyDSIGN NeverDSIGN → ShowS # show ∷ VerKeyDSIGN NeverDSIGN → String # showList ∷ [VerKeyDSIGN NeverDSIGN] → ShowS #
Show (VerKeyDSIGN SchnorrSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods showsPrec ∷ Int → VerKeyDSIGN SchnorrSecp256k1DSIGN → ShowS # show ∷ VerKeyDSIGN SchnorrSecp256k1DSIGN → String # showList ∷ [VerKeyDSIGN SchnorrSecp256k1DSIGN] → ShowS #
Show (VerKeyDSIGN ByronDSIGN) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN Methods showsPrec ∷ Int → VerKeyDSIGN ByronDSIGN → ShowS # show ∷ VerKeyDSIGN ByronDSIGN → String # showList ∷ [VerKeyDSIGN ByronDSIGN] → ShowS #
FromCBOR (VerKeyDSIGN EcdsaSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods fromCBOR ∷ Decoder s (VerKeyDSIGN EcdsaSecp256k1DSIGN) Source # label ∷ Proxy (VerKeyDSIGN EcdsaSecp256k1DSIGN) → Text Source #
FromCBOR (VerKeyDSIGN Ed25519DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods fromCBOR ∷ Decoder s (VerKeyDSIGN Ed25519DSIGN) Source # label ∷ Proxy (VerKeyDSIGN Ed25519DSIGN) → Text Source #
FromCBOR (VerKeyDSIGN Ed448DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods fromCBOR ∷ Decoder s (VerKeyDSIGN Ed448DSIGN) Source # label ∷ Proxy (VerKeyDSIGN Ed448DSIGN) → Text Source #
FromCBOR (VerKeyDSIGN MockDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods fromCBOR ∷ Decoder s (VerKeyDSIGN MockDSIGN) Source # label ∷ Proxy (VerKeyDSIGN MockDSIGN) → Text Source #
FromCBOR (VerKeyDSIGN SchnorrSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods fromCBOR ∷ Decoder s (VerKeyDSIGN SchnorrSecp256k1DSIGN) Source # label ∷ Proxy (VerKeyDSIGN SchnorrSecp256k1DSIGN) → Text Source #
ToCBOR (VerKeyDSIGN EcdsaSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods toCBOR ∷ VerKeyDSIGN EcdsaSecp256k1DSIGN → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (VerKeyDSIGN EcdsaSecp256k1DSIGN) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [VerKeyDSIGN EcdsaSecp256k1DSIGN] → Size Source #
ToCBOR (VerKeyDSIGN Ed25519DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods toCBOR ∷ VerKeyDSIGN Ed25519DSIGN → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (VerKeyDSIGN Ed25519DSIGN) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [VerKeyDSIGN Ed25519DSIGN] → Size Source #
ToCBOR (VerKeyDSIGN Ed448DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods toCBOR ∷ VerKeyDSIGN Ed448DSIGN → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (VerKeyDSIGN Ed448DSIGN) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [VerKeyDSIGN Ed448DSIGN] → Size Source #
ToCBOR (VerKeyDSIGN MockDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods toCBOR ∷ VerKeyDSIGN MockDSIGN → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (VerKeyDSIGN MockDSIGN) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [VerKeyDSIGN MockDSIGN] → Size Source #
ToCBOR (VerKeyDSIGN SchnorrSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods toCBOR ∷ VerKeyDSIGN SchnorrSecp256k1DSIGN → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (VerKeyDSIGN SchnorrSecp256k1DSIGN) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [VerKeyDSIGN SchnorrSecp256k1DSIGN] → Size Source #
DirectDeserialise (VerKeyDSIGN Ed25519DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods directDeserialise ∷ (MonadST m, MonadThrow m) ⇒ (Ptr CChar → CSize → m ()) → m (VerKeyDSIGN Ed25519DSIGN) Source #
DirectSerialise (VerKeyDSIGN Ed25519DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods directSerialise ∷ (MonadST m, MonadThrow m) ⇒ (Ptr CChar → CSize → m ()) → VerKeyDSIGN Ed25519DSIGN → m () Source #
DSIGNAlgorithm v ⇒ DecCBOR (VerKeyDSIGN v)
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s (VerKeyDSIGN v) Source # dropCBOR ∷ Proxy (VerKeyDSIGN v) → Decoder s () Source # label ∷ Proxy (VerKeyDSIGN v) → Text Source #
DSIGNAlgorithm v ⇒ EncCBOR (VerKeyDSIGN v)
Instance details Defined in Cardano.Ledger.Binary.Encoding.EncCBOR Methods encCBOR ∷ VerKeyDSIGN v → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (VerKeyDSIGN v) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [VerKeyDSIGN v] → Size Source #
NFData (VerKeyDSIGN EcdsaSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods rnf ∷ VerKeyDSIGN EcdsaSecp256k1DSIGN → () #
NFData (VerKeyDSIGN Ed25519DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods rnf ∷ VerKeyDSIGN Ed25519DSIGN → () #
NFData (VerKeyDSIGN Ed448DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods rnf ∷ VerKeyDSIGN Ed448DSIGN → () #
NFData (VerKeyDSIGN MockDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods rnf ∷ VerKeyDSIGN MockDSIGN → () #
NFData (VerKeyDSIGN SchnorrSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods rnf ∷ VerKeyDSIGN SchnorrSecp256k1DSIGN → () #
Eq (VerKeyDSIGN EcdsaSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods (==) ∷ VerKeyDSIGN EcdsaSecp256k1DSIGN → VerKeyDSIGN EcdsaSecp256k1DSIGN → Bool # (/=) ∷ VerKeyDSIGN EcdsaSecp256k1DSIGN → VerKeyDSIGN EcdsaSecp256k1DSIGN → Bool #
Eq (VerKeyDSIGN Ed25519DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods (==) ∷ VerKeyDSIGN Ed25519DSIGN → VerKeyDSIGN Ed25519DSIGN → Bool # (/=) ∷ VerKeyDSIGN Ed25519DSIGN → VerKeyDSIGN Ed25519DSIGN → Bool #
Eq (VerKeyDSIGN Ed448DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods (==) ∷ VerKeyDSIGN Ed448DSIGN → VerKeyDSIGN Ed448DSIGN → Bool # (/=) ∷ VerKeyDSIGN Ed448DSIGN → VerKeyDSIGN Ed448DSIGN → Bool #
Eq (VerKeyDSIGN MockDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods (==) ∷ VerKeyDSIGN MockDSIGN → VerKeyDSIGN MockDSIGN → Bool # (/=) ∷ VerKeyDSIGN MockDSIGN → VerKeyDSIGN MockDSIGN → Bool #
Eq (VerKeyDSIGN NeverDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed Methods (==) ∷ VerKeyDSIGN NeverDSIGN → VerKeyDSIGN NeverDSIGN → Bool # (/=) ∷ VerKeyDSIGN NeverDSIGN → VerKeyDSIGN NeverDSIGN → Bool #
Eq (VerKeyDSIGN SchnorrSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods (==) ∷ VerKeyDSIGN SchnorrSecp256k1DSIGN → VerKeyDSIGN SchnorrSecp256k1DSIGN → Bool # (/=) ∷ VerKeyDSIGN SchnorrSecp256k1DSIGN → VerKeyDSIGN SchnorrSecp256k1DSIGN → Bool #
Eq (VerKeyDSIGN ByronDSIGN) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN Methods (==) ∷ VerKeyDSIGN ByronDSIGN → VerKeyDSIGN ByronDSIGN → Bool # (/=) ∷ VerKeyDSIGN ByronDSIGN → VerKeyDSIGN ByronDSIGN → Bool #
(TypeError ('Text "Ord not supported for verification keys, use the hash instead") ∷ Constraint, Eq (VerKeyDSIGN v)) ⇒ Ord (VerKeyDSIGN v)
Instance details Defined in Cardano.Crypto.DSIGN.Class Methods compare ∷ VerKeyDSIGN v → VerKeyDSIGN v → Ordering # (<) ∷ VerKeyDSIGN v → VerKeyDSIGN v → Bool # (<=) ∷ VerKeyDSIGN v → VerKeyDSIGN v → Bool # (>) ∷ VerKeyDSIGN v → VerKeyDSIGN v → Bool # (>=) ∷ VerKeyDSIGN v → VerKeyDSIGN v → Bool # max ∷ VerKeyDSIGN v → VerKeyDSIGN v → VerKeyDSIGN v # min ∷ VerKeyDSIGN v → VerKeyDSIGN v → VerKeyDSIGN v #
ByteArrayAccess (VerKeyDSIGN Ed448DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods length ∷ VerKeyDSIGN Ed448DSIGN → Int Source # withByteArray ∷ VerKeyDSIGN Ed448DSIGN → (Ptr p → IO a) → IO a Source # copyByteArrayToPtr ∷ VerKeyDSIGN Ed448DSIGN → Ptr p → IO () Source #
NoThunks (VerKeyDSIGN EcdsaSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods noThunks ∷ Context → VerKeyDSIGN EcdsaSecp256k1DSIGN → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → VerKeyDSIGN EcdsaSecp256k1DSIGN → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (VerKeyDSIGN EcdsaSecp256k1DSIGN) → String Source #
NoThunks (VerKeyDSIGN Ed25519DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods noThunks ∷ Context → VerKeyDSIGN Ed25519DSIGN → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → VerKeyDSIGN Ed25519DSIGN → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (VerKeyDSIGN Ed25519DSIGN) → String Source #
NoThunks (VerKeyDSIGN Ed448DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods noThunks ∷ Context → VerKeyDSIGN Ed448DSIGN → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → VerKeyDSIGN Ed448DSIGN → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (VerKeyDSIGN Ed448DSIGN) → String Source #
NoThunks (VerKeyDSIGN MockDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods noThunks ∷ Context → VerKeyDSIGN MockDSIGN → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → VerKeyDSIGN MockDSIGN → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (VerKeyDSIGN MockDSIGN) → String Source #
NoThunks (VerKeyDSIGN NeverDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed Methods noThunks ∷ Context → VerKeyDSIGN NeverDSIGN → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → VerKeyDSIGN NeverDSIGN → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (VerKeyDSIGN NeverDSIGN) → String Source #
NoThunks (VerKeyDSIGN SchnorrSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods noThunks ∷ Context → VerKeyDSIGN SchnorrSecp256k1DSIGN → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → VerKeyDSIGN SchnorrSecp256k1DSIGN → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (VerKeyDSIGN SchnorrSecp256k1DSIGN) → String Source #
NoThunks (VerKeyDSIGN ByronDSIGN) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN Methods noThunks ∷ Context → VerKeyDSIGN ByronDSIGN → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → VerKeyDSIGN ByronDSIGN → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (VerKeyDSIGN ByronDSIGN) → String Source #
Show (VerKeyDSIGN d) ⇒ Condense (VerKeyDSIGN d)
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense ∷ VerKeyDSIGN d → String Source #
newtype VerKeyDSIGN EcdsaSecp256k1DSIGN
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 newtype VerKeyDSIGN EcdsaSecp256k1DSIGN = VerKeyEcdsaSecp256k1 (PinnedSizedBytes SECP256K1_ECDSA_PUBKEY_BYTES_INTERNAL)
newtype VerKeyDSIGN Ed25519DSIGN
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 newtype VerKeyDSIGN Ed25519DSIGN = VerKeyEd25519DSIGN (PinnedSizedBytes (SizeVerKeyDSIGN Ed25519DSIGN))
newtype VerKeyDSIGN Ed448DSIGN
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 newtype VerKeyDSIGN Ed448DSIGN = VerKeyEd448DSIGN PublicKey
newtype VerKeyDSIGN MockDSIGN
Instance details Defined in Cardano.Crypto.DSIGN.Mock newtype VerKeyDSIGN MockDSIGN = VerKeyMockDSIGN Word64
data VerKeyDSIGN NeverDSIGN
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed data VerKeyDSIGN NeverDSIGN = NeverUsedVerKeyDSIGN
newtype VerKeyDSIGN SchnorrSecp256k1DSIGN
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 newtype VerKeyDSIGN SchnorrSecp256k1DSIGN = VerKeySchnorrSecp256k1 (PinnedSizedBytes SECP256K1_SCHNORR_PUBKEY_BYTES_INTERNAL)
newtype VerKeyDSIGN ByronDSIGN Source #
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN newtype VerKeyDSIGN ByronDSIGN = VerKeyByronDSIGN VerificationKey
type Rep (VerKeyDSIGN EcdsaSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 type Rep (VerKeyDSIGN EcdsaSecp256k1DSIGN) = D1 ('MetaData "VerKeyDSIGN" "Cardano.Crypto.DSIGN.EcdsaSecp256k1" "cardano-crypto-class-2.2.1.0-a05ec33c7d6c7b0d6c9940f0648877e1bd97d35fa38079673daae7f7fa209ffd" 'True) (C1 ('MetaCons "VerKeyEcdsaSecp256k1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PinnedSizedBytes SECP256K1_ECDSA_PUBKEY_BYTES_INTERNAL))))
type Rep (VerKeyDSIGN Ed25519DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 type Rep (VerKeyDSIGN Ed25519DSIGN) = D1 ('MetaData "VerKeyDSIGN" "Cardano.Crypto.DSIGN.Ed25519" "cardano-crypto-class-2.2.1.0-a05ec33c7d6c7b0d6c9940f0648877e1bd97d35fa38079673daae7f7fa209ffd" 'True) (C1 ('MetaCons "VerKeyEd25519DSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PinnedSizedBytes (SizeVerKeyDSIGN Ed25519DSIGN)))))
type Rep (VerKeyDSIGN Ed448DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 type Rep (VerKeyDSIGN Ed448DSIGN) = D1 ('MetaData "VerKeyDSIGN" "Cardano.Crypto.DSIGN.Ed448" "cardano-crypto-class-2.2.1.0-a05ec33c7d6c7b0d6c9940f0648877e1bd97d35fa38079673daae7f7fa209ffd" 'True) (C1 ('MetaCons "VerKeyEd448DSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PublicKey)))
type Rep (VerKeyDSIGN MockDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Mock type Rep (VerKeyDSIGN MockDSIGN) = D1 ('MetaData "VerKeyDSIGN" "Cardano.Crypto.DSIGN.Mock" "cardano-crypto-class-2.2.1.0-a05ec33c7d6c7b0d6c9940f0648877e1bd97d35fa38079673daae7f7fa209ffd" 'True) (C1 ('MetaCons "VerKeyMockDSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))
type Rep (VerKeyDSIGN NeverDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed type Rep (VerKeyDSIGN NeverDSIGN) = D1 ('MetaData "VerKeyDSIGN" "Cardano.Crypto.DSIGN.NeverUsed" "cardano-crypto-class-2.2.1.0-a05ec33c7d6c7b0d6c9940f0648877e1bd97d35fa38079673daae7f7fa209ffd" 'False) (C1 ('MetaCons "NeverUsedVerKeyDSIGN" 'PrefixI 'False) (U1 ∷ Type → Type))
type Rep (VerKeyDSIGN SchnorrSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 type Rep (VerKeyDSIGN SchnorrSecp256k1DSIGN) = D1 ('MetaData "VerKeyDSIGN" "Cardano.Crypto.DSIGN.SchnorrSecp256k1" "cardano-crypto-class-2.2.1.0-a05ec33c7d6c7b0d6c9940f0648877e1bd97d35fa38079673daae7f7fa209ffd" '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 Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN type Rep (VerKeyDSIGN ByronDSIGN) = D1 ('MetaData "VerKeyDSIGN" "Ouroboros.Consensus.Byron.Crypto.DSIGN" "ouroboros-consensus-cardano-0.23.0.0-inplace" 'True) (C1 ('MetaCons "VerKeyByronDSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 VerificationKey)))

Key	Shortcut
s	Open this search box
esc	Close this search box
↓,ctrl + j	Move down in search results
↑,ctrl + k	Move up in search results
↵	Go to active search result