Safe Haskell | None |
---|---|
Language | Haskell2010 |
Ouroboros.Consensus.Byron.Crypto.DSIGN
Description
Byron digital signatures.
Documentation
data ByronDSIGN Source #
Instances
class HasSignTag a where Source #
Methods
signTag ∷ VerKeyDSIGN ByronDSIGN → proxy a → SignTag Source #
Instances
HasSignTag TxSigData Source # | |
Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN Methods signTag ∷ VerKeyDSIGN ByronDSIGN → proxy TxSigData → SignTag Source # | |
HasSignTag (Annotated ToSign ByteString) Source # | |
Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN Methods signTag ∷ VerKeyDSIGN ByronDSIGN → proxy (Annotated ToSign ByteString) → SignTag Source # |
data family SigDSIGN v Source #
Instances
FromCBOR (SigDSIGN EcdsaSecp256k1DSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 | |||||
FromCBOR (SigDSIGN Ed25519DSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.Ed25519 | |||||
FromCBOR (SigDSIGN Ed448DSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.Ed448 | |||||
FromCBOR (SigDSIGN MockDSIGN) | |||||
FromCBOR (SigDSIGN SchnorrSecp256k1DSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 | |||||
ToCBOR (SigDSIGN EcdsaSecp256k1DSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 | |||||
ToCBOR (SigDSIGN Ed25519DSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.Ed25519 | |||||
ToCBOR (SigDSIGN Ed448DSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.Ed448 | |||||
ToCBOR (SigDSIGN MockDSIGN) | |||||
ToCBOR (SigDSIGN SchnorrSecp256k1DSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 | |||||
DSIGNAlgorithm v ⇒ DecCBOR (SigDSIGN v) | |||||
DSIGNAlgorithm v ⇒ EncCBOR (SigDSIGN v) | |||||
NFData (SigDSIGN EcdsaSecp256k1DSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods rnf ∷ SigDSIGN EcdsaSecp256k1DSIGN → () # | |||||
NFData (SigDSIGN Ed25519DSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.Ed25519 Methods rnf ∷ SigDSIGN Ed25519DSIGN → () # | |||||
NFData (SigDSIGN MockDSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.Mock | |||||
NFData (SigDSIGN SchnorrSecp256k1DSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods rnf ∷ SigDSIGN SchnorrSecp256k1DSIGN → () # | |||||
Generic (SigDSIGN EcdsaSecp256k1DSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Associated Types
Methods from ∷ SigDSIGN EcdsaSecp256k1DSIGN → Rep (SigDSIGN EcdsaSecp256k1DSIGN) x # to ∷ Rep (SigDSIGN EcdsaSecp256k1DSIGN) x → SigDSIGN EcdsaSecp256k1DSIGN # | |||||
Generic (SigDSIGN Ed25519DSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.Ed25519 Associated Types
Methods from ∷ SigDSIGN Ed25519DSIGN → Rep (SigDSIGN Ed25519DSIGN) x # to ∷ Rep (SigDSIGN Ed25519DSIGN) x → SigDSIGN Ed25519DSIGN # | |||||
Generic (SigDSIGN Ed448DSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.Ed448 Associated Types
Methods from ∷ SigDSIGN Ed448DSIGN → Rep (SigDSIGN Ed448DSIGN) x # to ∷ Rep (SigDSIGN Ed448DSIGN) x → SigDSIGN Ed448DSIGN # | |||||
Generic (SigDSIGN MockDSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.Mock Associated Types
| |||||
Generic (SigDSIGN NeverDSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.NeverUsed Associated Types
Methods from ∷ SigDSIGN NeverDSIGN → Rep (SigDSIGN NeverDSIGN) x # to ∷ Rep (SigDSIGN NeverDSIGN) x → SigDSIGN NeverDSIGN # | |||||
Generic (SigDSIGN SchnorrSecp256k1DSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Associated Types
Methods from ∷ SigDSIGN SchnorrSecp256k1DSIGN → Rep (SigDSIGN SchnorrSecp256k1DSIGN) x # to ∷ Rep (SigDSIGN SchnorrSecp256k1DSIGN) x → SigDSIGN SchnorrSecp256k1DSIGN # | |||||
Generic (SigDSIGN ByronDSIGN) Source # | |||||
Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN Associated Types
Methods from ∷ SigDSIGN ByronDSIGN → Rep (SigDSIGN ByronDSIGN) x # to ∷ Rep (SigDSIGN ByronDSIGN) x → SigDSIGN ByronDSIGN # | |||||
Show (SigDSIGN EcdsaSecp256k1DSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 | |||||
Show (SigDSIGN Ed25519DSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.Ed25519 | |||||
Show (SigDSIGN Ed448DSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.Ed448 | |||||
Show (SigDSIGN MockDSIGN) | |||||
Show (SigDSIGN NeverDSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.NeverUsed | |||||
Show (SigDSIGN SchnorrSecp256k1DSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 | |||||
Show (SigDSIGN ByronDSIGN) Source # | |||||
Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN | |||||
Eq (SigDSIGN EcdsaSecp256k1DSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 | |||||
Eq (SigDSIGN Ed25519DSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.Ed25519 Methods (==) ∷ SigDSIGN Ed25519DSIGN → SigDSIGN Ed25519DSIGN → Bool # (/=) ∷ SigDSIGN Ed25519DSIGN → SigDSIGN Ed25519DSIGN → Bool # | |||||
Eq (SigDSIGN Ed448DSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.Ed448 Methods (==) ∷ SigDSIGN Ed448DSIGN → SigDSIGN Ed448DSIGN → Bool # (/=) ∷ SigDSIGN Ed448DSIGN → SigDSIGN Ed448DSIGN → Bool # | |||||
Eq (SigDSIGN MockDSIGN) | |||||
Eq (SigDSIGN NeverDSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.NeverUsed Methods (==) ∷ SigDSIGN NeverDSIGN → SigDSIGN NeverDSIGN → Bool # (/=) ∷ SigDSIGN NeverDSIGN → SigDSIGN NeverDSIGN → Bool # | |||||
Eq (SigDSIGN SchnorrSecp256k1DSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 | |||||
Eq (SigDSIGN ByronDSIGN) Source # | |||||
Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN Methods (==) ∷ SigDSIGN ByronDSIGN → SigDSIGN ByronDSIGN → Bool # (/=) ∷ SigDSIGN ByronDSIGN → SigDSIGN ByronDSIGN → Bool # | |||||
Ord (SigDSIGN MockDSIGN) | |||||
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) | |||||
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) | |||||
NoThunks (SigDSIGN Ed25519DSIGN) | |||||
NoThunks (SigDSIGN Ed448DSIGN) | |||||
NoThunks (SigDSIGN MockDSIGN) | |||||
NoThunks (SigDSIGN NeverDSIGN) | |||||
NoThunks (SigDSIGN SchnorrSecp256k1DSIGN) | |||||
NoThunks (SigDSIGN ByronDSIGN) Source # | |||||
Condense (SigDSIGN Ed25519DSIGN) | |||||
Defined in Ouroboros.Consensus.Util.Condense | |||||
Condense (SigDSIGN Ed448DSIGN) | |||||
Defined in Ouroboros.Consensus.Util.Condense | |||||
Condense (SigDSIGN MockDSIGN) | |||||
Condense (SigDSIGN ByronDSIGN) Source # | |||||
Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN | |||||
newtype SigDSIGN EcdsaSecp256k1DSIGN | |||||
newtype SigDSIGN Ed25519DSIGN | |||||
Defined in Cardano.Crypto.DSIGN.Ed25519 | |||||
newtype SigDSIGN Ed448DSIGN | |||||
Defined in Cardano.Crypto.DSIGN.Ed448 | |||||
data SigDSIGN MockDSIGN | |||||
Defined in Cardano.Crypto.DSIGN.Mock | |||||
data SigDSIGN NeverDSIGN | |||||
Defined in Cardano.Crypto.DSIGN.NeverUsed | |||||
newtype SigDSIGN SchnorrSecp256k1DSIGN | |||||
newtype SigDSIGN ByronDSIGN Source # | |||||
Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN | |||||
type Rep (SigDSIGN EcdsaSecp256k1DSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 type Rep (SigDSIGN EcdsaSecp256k1DSIGN) = D1 ('MetaData "SigDSIGN" "Cardano.Crypto.DSIGN.EcdsaSecp256k1" "cardano-crypto-class-2.2.1.0-07fa3d65806ed6ce3761120c72f4ca1fe1721943e7e351147343e78cbf4c28c7" '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) | |||||
Defined in Cardano.Crypto.DSIGN.Ed25519 type Rep (SigDSIGN Ed25519DSIGN) = D1 ('MetaData "SigDSIGN" "Cardano.Crypto.DSIGN.Ed25519" "cardano-crypto-class-2.2.1.0-07fa3d65806ed6ce3761120c72f4ca1fe1721943e7e351147343e78cbf4c28c7" 'True) (C1 ('MetaCons "SigEd25519DSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PinnedSizedBytes (SizeSigDSIGN Ed25519DSIGN))))) | |||||
type Rep (SigDSIGN Ed448DSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.Ed448 type Rep (SigDSIGN Ed448DSIGN) = D1 ('MetaData "SigDSIGN" "Cardano.Crypto.DSIGN.Ed448" "cardano-crypto-class-2.2.1.0-07fa3d65806ed6ce3761120c72f4ca1fe1721943e7e351147343e78cbf4c28c7" 'True) (C1 ('MetaCons "SigEd448DSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Signature))) | |||||
type Rep (SigDSIGN MockDSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.Mock type Rep (SigDSIGN MockDSIGN) = D1 ('MetaData "SigDSIGN" "Cardano.Crypto.DSIGN.Mock" "cardano-crypto-class-2.2.1.0-07fa3d65806ed6ce3761120c72f4ca1fe1721943e7e351147343e78cbf4c28c7" '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) | |||||
Defined in Cardano.Crypto.DSIGN.NeverUsed | |||||
type Rep (SigDSIGN SchnorrSecp256k1DSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 type Rep (SigDSIGN SchnorrSecp256k1DSIGN) = D1 ('MetaData "SigDSIGN" "Cardano.Crypto.DSIGN.SchnorrSecp256k1" "cardano-crypto-class-2.2.1.0-07fa3d65806ed6ce3761120c72f4ca1fe1721943e7e351147343e78cbf4c28c7" 'True) (C1 ('MetaCons "SigSchnorrSecp256k1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PinnedSizedBytes (SizeSigDSIGN SchnorrSecp256k1DSIGN))))) | |||||
type Rep (SigDSIGN ByronDSIGN) Source # | |||||
Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN type Rep (SigDSIGN ByronDSIGN) = D1 ('MetaData "SigDSIGN" "Ouroboros.Consensus.Byron.Crypto.DSIGN" "ouroboros-consensus-cardano-0.25.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
FromCBOR (SignKeyDSIGN EcdsaSecp256k1DSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods fromCBOR ∷ Decoder s (SignKeyDSIGN EcdsaSecp256k1DSIGN) Source # label ∷ Proxy (SignKeyDSIGN EcdsaSecp256k1DSIGN) → Text Source # | |||||
FromCBOR (SignKeyDSIGN Ed25519DSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.Ed25519 Methods fromCBOR ∷ Decoder s (SignKeyDSIGN Ed25519DSIGN) Source # label ∷ Proxy (SignKeyDSIGN Ed25519DSIGN) → Text Source # | |||||
FromCBOR (SignKeyDSIGN Ed448DSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.Ed448 Methods fromCBOR ∷ Decoder s (SignKeyDSIGN Ed448DSIGN) Source # label ∷ Proxy (SignKeyDSIGN Ed448DSIGN) → Text Source # | |||||
FromCBOR (SignKeyDSIGN MockDSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.Mock | |||||
FromCBOR (SignKeyDSIGN SchnorrSecp256k1DSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods fromCBOR ∷ Decoder s (SignKeyDSIGN SchnorrSecp256k1DSIGN) Source # label ∷ Proxy (SignKeyDSIGN SchnorrSecp256k1DSIGN) → Text Source # | |||||
ToCBOR (SignKeyDSIGN EcdsaSecp256k1DSIGN) | |||||
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) | |||||
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) | |||||
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) | |||||
Defined in Cardano.Crypto.DSIGN.Mock | |||||
ToCBOR (SignKeyDSIGN SchnorrSecp256k1DSIGN) | |||||
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) | |||||
Defined in Cardano.Ledger.Binary.Decoding.DecCBOR | |||||
DSIGNAlgorithm v ⇒ EncCBOR (SignKeyDSIGN v) | |||||
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) | |||||
Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods rnf ∷ SignKeyDSIGN EcdsaSecp256k1DSIGN → () # | |||||
NFData (SignKeyDSIGN Ed25519DSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.Ed25519 Methods rnf ∷ SignKeyDSIGN Ed25519DSIGN → () # | |||||
NFData (SignKeyDSIGN Ed448DSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.Ed448 Methods rnf ∷ SignKeyDSIGN Ed448DSIGN → () # | |||||
NFData (SignKeyDSIGN MockDSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.Mock Methods rnf ∷ SignKeyDSIGN MockDSIGN → () # | |||||
NFData (SignKeyDSIGN SchnorrSecp256k1DSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods rnf ∷ SignKeyDSIGN SchnorrSecp256k1DSIGN → () # | |||||
Generic (SignKeyDSIGN EcdsaSecp256k1DSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Associated Types
Methods from ∷ SignKeyDSIGN EcdsaSecp256k1DSIGN → Rep (SignKeyDSIGN EcdsaSecp256k1DSIGN) x # to ∷ Rep (SignKeyDSIGN EcdsaSecp256k1DSIGN) x → SignKeyDSIGN EcdsaSecp256k1DSIGN # | |||||
Generic (SignKeyDSIGN Ed25519DSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.Ed25519 Associated Types
Methods from ∷ SignKeyDSIGN Ed25519DSIGN → Rep (SignKeyDSIGN Ed25519DSIGN) x # to ∷ Rep (SignKeyDSIGN Ed25519DSIGN) x → SignKeyDSIGN Ed25519DSIGN # | |||||
Generic (SignKeyDSIGN Ed448DSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.Ed448 Associated Types
Methods from ∷ SignKeyDSIGN Ed448DSIGN → Rep (SignKeyDSIGN Ed448DSIGN) x # to ∷ Rep (SignKeyDSIGN Ed448DSIGN) x → SignKeyDSIGN Ed448DSIGN # | |||||
Generic (SignKeyDSIGN MockDSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.Mock Associated Types
Methods from ∷ SignKeyDSIGN MockDSIGN → Rep (SignKeyDSIGN MockDSIGN) x # to ∷ Rep (SignKeyDSIGN MockDSIGN) x → SignKeyDSIGN MockDSIGN # | |||||
Generic (SignKeyDSIGN NeverDSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.NeverUsed Associated Types
Methods from ∷ SignKeyDSIGN NeverDSIGN → Rep (SignKeyDSIGN NeverDSIGN) x # to ∷ Rep (SignKeyDSIGN NeverDSIGN) x → SignKeyDSIGN NeverDSIGN # | |||||
Generic (SignKeyDSIGN SchnorrSecp256k1DSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Associated Types
| |||||
Generic (SignKeyDSIGN ByronDSIGN) Source # | |||||
Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN Associated Types
Methods from ∷ SignKeyDSIGN ByronDSIGN → Rep (SignKeyDSIGN ByronDSIGN) x # to ∷ Rep (SignKeyDSIGN ByronDSIGN) x → SignKeyDSIGN ByronDSIGN # | |||||
Num (SignKeyDSIGN MockDSIGN) | |||||
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 # | |||||
Show (SignKeyDSIGN EcdsaSecp256k1DSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods showsPrec ∷ Int → SignKeyDSIGN EcdsaSecp256k1DSIGN → ShowS # | |||||
Show (SignKeyDSIGN Ed25519DSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.Ed25519 Methods showsPrec ∷ Int → SignKeyDSIGN Ed25519DSIGN → ShowS # show ∷ SignKeyDSIGN Ed25519DSIGN → String # showList ∷ [SignKeyDSIGN Ed25519DSIGN] → ShowS # | |||||
Show (SignKeyDSIGN Ed448DSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.Ed448 Methods showsPrec ∷ Int → SignKeyDSIGN Ed448DSIGN → ShowS # show ∷ SignKeyDSIGN Ed448DSIGN → String # showList ∷ [SignKeyDSIGN Ed448DSIGN] → ShowS # | |||||
Show (SignKeyDSIGN MockDSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.Mock | |||||
Show (SignKeyDSIGN NeverDSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.NeverUsed Methods showsPrec ∷ Int → SignKeyDSIGN NeverDSIGN → ShowS # show ∷ SignKeyDSIGN NeverDSIGN → String # showList ∷ [SignKeyDSIGN NeverDSIGN] → ShowS # | |||||
Show (SignKeyDSIGN SchnorrSecp256k1DSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods showsPrec ∷ Int → SignKeyDSIGN SchnorrSecp256k1DSIGN → ShowS # | |||||
Show (SignKeyDSIGN ByronDSIGN) Source # | |||||
Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN Methods showsPrec ∷ Int → SignKeyDSIGN ByronDSIGN → ShowS # show ∷ SignKeyDSIGN ByronDSIGN → String # showList ∷ [SignKeyDSIGN ByronDSIGN] → ShowS # | |||||
Eq (SignKeyDSIGN EcdsaSecp256k1DSIGN) | |||||
Eq (SignKeyDSIGN Ed25519DSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.Ed25519 Methods (==) ∷ SignKeyDSIGN Ed25519DSIGN → SignKeyDSIGN Ed25519DSIGN → Bool # (/=) ∷ SignKeyDSIGN Ed25519DSIGN → SignKeyDSIGN Ed25519DSIGN → Bool # | |||||
Eq (SignKeyDSIGN Ed448DSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.Ed448 Methods (==) ∷ SignKeyDSIGN Ed448DSIGN → SignKeyDSIGN Ed448DSIGN → Bool # (/=) ∷ SignKeyDSIGN Ed448DSIGN → SignKeyDSIGN Ed448DSIGN → Bool # | |||||
Eq (SignKeyDSIGN MockDSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.Mock Methods (==) ∷ SignKeyDSIGN MockDSIGN → SignKeyDSIGN MockDSIGN → Bool # (/=) ∷ SignKeyDSIGN MockDSIGN → SignKeyDSIGN MockDSIGN → Bool # | |||||
Eq (SignKeyDSIGN NeverDSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.NeverUsed Methods (==) ∷ SignKeyDSIGN NeverDSIGN → SignKeyDSIGN NeverDSIGN → Bool # (/=) ∷ SignKeyDSIGN NeverDSIGN → SignKeyDSIGN NeverDSIGN → Bool # | |||||
Eq (SignKeyDSIGN SchnorrSecp256k1DSIGN) | |||||
(TypeError ('Text "Ord not supported for signing keys, use the hash instead") ∷ Constraint, Eq (SignKeyDSIGN v)) ⇒ Ord (SignKeyDSIGN v) | |||||
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) | |||||
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) | |||||
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) | |||||
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) | |||||
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) | |||||
NoThunks (SignKeyDSIGN NeverDSIGN) | |||||
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) | |||||
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 # | |||||
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 | |||||
newtype SignKeyDSIGN Ed25519DSIGN | |||||
newtype SignKeyDSIGN Ed448DSIGN | |||||
Defined in Cardano.Crypto.DSIGN.Ed448 | |||||
newtype SignKeyDSIGN MockDSIGN | |||||
Defined in Cardano.Crypto.DSIGN.Mock | |||||
data SignKeyDSIGN NeverDSIGN | |||||
Defined in Cardano.Crypto.DSIGN.NeverUsed | |||||
newtype SignKeyDSIGN SchnorrSecp256k1DSIGN | |||||
newtype SignKeyDSIGN ByronDSIGN Source # | |||||
Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN | |||||
type Rep (SignKeyDSIGN EcdsaSecp256k1DSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 type Rep (SignKeyDSIGN EcdsaSecp256k1DSIGN) = D1 ('MetaData "SignKeyDSIGN" "Cardano.Crypto.DSIGN.EcdsaSecp256k1" "cardano-crypto-class-2.2.1.0-07fa3d65806ed6ce3761120c72f4ca1fe1721943e7e351147343e78cbf4c28c7" 'True) (C1 ('MetaCons "SignKeyEcdsaSecp256k1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PinnedSizedBytes SECP256K1_ECDSA_PRIVKEY_BYTES)))) | |||||
type Rep (SignKeyDSIGN Ed25519DSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.Ed25519 type Rep (SignKeyDSIGN Ed25519DSIGN) = D1 ('MetaData "SignKeyDSIGN" "Cardano.Crypto.DSIGN.Ed25519" "cardano-crypto-class-2.2.1.0-07fa3d65806ed6ce3761120c72f4ca1fe1721943e7e351147343e78cbf4c28c7" 'True) (C1 ('MetaCons "SignKeyEd25519DSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PinnedSizedBytes CRYPTO_SIGN_ED25519_SECRETKEYBYTES)))) | |||||
type Rep (SignKeyDSIGN Ed448DSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.Ed448 type Rep (SignKeyDSIGN Ed448DSIGN) = D1 ('MetaData "SignKeyDSIGN" "Cardano.Crypto.DSIGN.Ed448" "cardano-crypto-class-2.2.1.0-07fa3d65806ed6ce3761120c72f4ca1fe1721943e7e351147343e78cbf4c28c7" 'True) (C1 ('MetaCons "SignKeyEd448DSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SecretKey))) | |||||
type Rep (SignKeyDSIGN MockDSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.Mock type Rep (SignKeyDSIGN MockDSIGN) = D1 ('MetaData "SignKeyDSIGN" "Cardano.Crypto.DSIGN.Mock" "cardano-crypto-class-2.2.1.0-07fa3d65806ed6ce3761120c72f4ca1fe1721943e7e351147343e78cbf4c28c7" 'True) (C1 ('MetaCons "SignKeyMockDSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64))) | |||||
type Rep (SignKeyDSIGN NeverDSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.NeverUsed | |||||
type Rep (SignKeyDSIGN SchnorrSecp256k1DSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 type Rep (SignKeyDSIGN SchnorrSecp256k1DSIGN) = D1 ('MetaData "SignKeyDSIGN" "Cardano.Crypto.DSIGN.SchnorrSecp256k1" "cardano-crypto-class-2.2.1.0-07fa3d65806ed6ce3761120c72f4ca1fe1721943e7e351147343e78cbf4c28c7" 'True) (C1 ('MetaCons "SignKeySchnorrSecp256k1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PinnedSizedBytes (SizeSignKeyDSIGN SchnorrSecp256k1DSIGN))))) | |||||
type Rep (SignKeyDSIGN ByronDSIGN) Source # | |||||
Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN type Rep (SignKeyDSIGN ByronDSIGN) = D1 ('MetaData "SignKeyDSIGN" "Ouroboros.Consensus.Byron.Crypto.DSIGN" "ouroboros-consensus-cardano-0.25.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
FromCBOR (VerKeyDSIGN EcdsaSecp256k1DSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods fromCBOR ∷ Decoder s (VerKeyDSIGN EcdsaSecp256k1DSIGN) Source # label ∷ Proxy (VerKeyDSIGN EcdsaSecp256k1DSIGN) → Text Source # | |||||
FromCBOR (VerKeyDSIGN Ed25519DSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.Ed25519 Methods fromCBOR ∷ Decoder s (VerKeyDSIGN Ed25519DSIGN) Source # label ∷ Proxy (VerKeyDSIGN Ed25519DSIGN) → Text Source # | |||||
FromCBOR (VerKeyDSIGN Ed448DSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.Ed448 Methods fromCBOR ∷ Decoder s (VerKeyDSIGN Ed448DSIGN) Source # label ∷ Proxy (VerKeyDSIGN Ed448DSIGN) → Text Source # | |||||
FromCBOR (VerKeyDSIGN MockDSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.Mock | |||||
FromCBOR (VerKeyDSIGN SchnorrSecp256k1DSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods fromCBOR ∷ Decoder s (VerKeyDSIGN SchnorrSecp256k1DSIGN) Source # label ∷ Proxy (VerKeyDSIGN SchnorrSecp256k1DSIGN) → Text Source # | |||||
ToCBOR (VerKeyDSIGN EcdsaSecp256k1DSIGN) | |||||
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) | |||||
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) | |||||
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) | |||||
Defined in Cardano.Crypto.DSIGN.Mock | |||||
ToCBOR (VerKeyDSIGN SchnorrSecp256k1DSIGN) | |||||
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) | |||||
Defined in Cardano.Crypto.DSIGN.Ed25519 Methods directDeserialise ∷ (MonadST m, MonadThrow m) ⇒ (Ptr CChar → CSize → m ()) → m (VerKeyDSIGN Ed25519DSIGN) Source # | |||||
DirectSerialise (VerKeyDSIGN Ed25519DSIGN) | |||||
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) | |||||
Defined in Cardano.Ledger.Binary.Decoding.DecCBOR | |||||
DSIGNAlgorithm v ⇒ EncCBOR (VerKeyDSIGN v) | |||||
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) | |||||
Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods rnf ∷ VerKeyDSIGN EcdsaSecp256k1DSIGN → () # | |||||
NFData (VerKeyDSIGN Ed25519DSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.Ed25519 Methods rnf ∷ VerKeyDSIGN Ed25519DSIGN → () # | |||||
NFData (VerKeyDSIGN Ed448DSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.Ed448 Methods rnf ∷ VerKeyDSIGN Ed448DSIGN → () # | |||||
NFData (VerKeyDSIGN MockDSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.Mock Methods rnf ∷ VerKeyDSIGN MockDSIGN → () # | |||||
NFData (VerKeyDSIGN SchnorrSecp256k1DSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods rnf ∷ VerKeyDSIGN SchnorrSecp256k1DSIGN → () # | |||||
Generic (VerKeyDSIGN EcdsaSecp256k1DSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Associated Types
Methods from ∷ VerKeyDSIGN EcdsaSecp256k1DSIGN → Rep (VerKeyDSIGN EcdsaSecp256k1DSIGN) x # to ∷ Rep (VerKeyDSIGN EcdsaSecp256k1DSIGN) x → VerKeyDSIGN EcdsaSecp256k1DSIGN # | |||||
Generic (VerKeyDSIGN Ed25519DSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.Ed25519 Associated Types
Methods from ∷ VerKeyDSIGN Ed25519DSIGN → Rep (VerKeyDSIGN Ed25519DSIGN) x # to ∷ Rep (VerKeyDSIGN Ed25519DSIGN) x → VerKeyDSIGN Ed25519DSIGN # | |||||
Generic (VerKeyDSIGN Ed448DSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.Ed448 Associated Types
Methods from ∷ VerKeyDSIGN Ed448DSIGN → Rep (VerKeyDSIGN Ed448DSIGN) x # to ∷ Rep (VerKeyDSIGN Ed448DSIGN) x → VerKeyDSIGN Ed448DSIGN # | |||||
Generic (VerKeyDSIGN MockDSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.Mock Associated Types
Methods from ∷ VerKeyDSIGN MockDSIGN → Rep (VerKeyDSIGN MockDSIGN) x # to ∷ Rep (VerKeyDSIGN MockDSIGN) x → VerKeyDSIGN MockDSIGN # | |||||
Generic (VerKeyDSIGN NeverDSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.NeverUsed Associated Types
Methods from ∷ VerKeyDSIGN NeverDSIGN → Rep (VerKeyDSIGN NeverDSIGN) x # to ∷ Rep (VerKeyDSIGN NeverDSIGN) x → VerKeyDSIGN NeverDSIGN # | |||||
Generic (VerKeyDSIGN SchnorrSecp256k1DSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Associated Types
| |||||
Generic (VerKeyDSIGN ByronDSIGN) Source # | |||||
Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN Associated Types
Methods from ∷ VerKeyDSIGN ByronDSIGN → Rep (VerKeyDSIGN ByronDSIGN) x # to ∷ Rep (VerKeyDSIGN ByronDSIGN) x → VerKeyDSIGN ByronDSIGN # | |||||
Num (VerKeyDSIGN MockDSIGN) | |||||
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 # | |||||
Show (VerKeyDSIGN EcdsaSecp256k1DSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods showsPrec ∷ Int → VerKeyDSIGN EcdsaSecp256k1DSIGN → ShowS # | |||||
Show (VerKeyDSIGN Ed25519DSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.Ed25519 Methods showsPrec ∷ Int → VerKeyDSIGN Ed25519DSIGN → ShowS # show ∷ VerKeyDSIGN Ed25519DSIGN → String # showList ∷ [VerKeyDSIGN Ed25519DSIGN] → ShowS # | |||||
Show (VerKeyDSIGN Ed448DSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.Ed448 Methods showsPrec ∷ Int → VerKeyDSIGN Ed448DSIGN → ShowS # show ∷ VerKeyDSIGN Ed448DSIGN → String # showList ∷ [VerKeyDSIGN Ed448DSIGN] → ShowS # | |||||
Show (VerKeyDSIGN MockDSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.Mock | |||||
Show (VerKeyDSIGN NeverDSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.NeverUsed Methods showsPrec ∷ Int → VerKeyDSIGN NeverDSIGN → ShowS # show ∷ VerKeyDSIGN NeverDSIGN → String # showList ∷ [VerKeyDSIGN NeverDSIGN] → ShowS # | |||||
Show (VerKeyDSIGN SchnorrSecp256k1DSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods showsPrec ∷ Int → VerKeyDSIGN SchnorrSecp256k1DSIGN → ShowS # | |||||
Show (VerKeyDSIGN ByronDSIGN) Source # | |||||
Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN Methods showsPrec ∷ Int → VerKeyDSIGN ByronDSIGN → ShowS # show ∷ VerKeyDSIGN ByronDSIGN → String # showList ∷ [VerKeyDSIGN ByronDSIGN] → ShowS # | |||||
Eq (VerKeyDSIGN EcdsaSecp256k1DSIGN) | |||||
Eq (VerKeyDSIGN Ed25519DSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.Ed25519 Methods (==) ∷ VerKeyDSIGN Ed25519DSIGN → VerKeyDSIGN Ed25519DSIGN → Bool # (/=) ∷ VerKeyDSIGN Ed25519DSIGN → VerKeyDSIGN Ed25519DSIGN → Bool # | |||||
Eq (VerKeyDSIGN Ed448DSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.Ed448 Methods (==) ∷ VerKeyDSIGN Ed448DSIGN → VerKeyDSIGN Ed448DSIGN → Bool # (/=) ∷ VerKeyDSIGN Ed448DSIGN → VerKeyDSIGN Ed448DSIGN → Bool # | |||||
Eq (VerKeyDSIGN MockDSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.Mock Methods (==) ∷ VerKeyDSIGN MockDSIGN → VerKeyDSIGN MockDSIGN → Bool # (/=) ∷ VerKeyDSIGN MockDSIGN → VerKeyDSIGN MockDSIGN → Bool # | |||||
Eq (VerKeyDSIGN NeverDSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.NeverUsed Methods (==) ∷ VerKeyDSIGN NeverDSIGN → VerKeyDSIGN NeverDSIGN → Bool # (/=) ∷ VerKeyDSIGN NeverDSIGN → VerKeyDSIGN NeverDSIGN → Bool # | |||||
Eq (VerKeyDSIGN SchnorrSecp256k1DSIGN) | |||||
Eq (VerKeyDSIGN ByronDSIGN) Source # | |||||
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) | |||||
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) | |||||
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) | |||||
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) | |||||
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) | |||||
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) | |||||
NoThunks (VerKeyDSIGN NeverDSIGN) | |||||
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) | |||||
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 # | |||||
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) | |||||
Defined in Ouroboros.Consensus.Util.Condense Methods condense ∷ VerKeyDSIGN d → String Source # | |||||
newtype VerKeyDSIGN EcdsaSecp256k1DSIGN | |||||
newtype VerKeyDSIGN Ed25519DSIGN | |||||
Defined in Cardano.Crypto.DSIGN.Ed25519 | |||||
newtype VerKeyDSIGN Ed448DSIGN | |||||
Defined in Cardano.Crypto.DSIGN.Ed448 | |||||
newtype VerKeyDSIGN MockDSIGN | |||||
Defined in Cardano.Crypto.DSIGN.Mock | |||||
data VerKeyDSIGN NeverDSIGN | |||||
Defined in Cardano.Crypto.DSIGN.NeverUsed | |||||
newtype VerKeyDSIGN SchnorrSecp256k1DSIGN | |||||
newtype VerKeyDSIGN ByronDSIGN Source # | |||||
Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN | |||||
type Rep (VerKeyDSIGN EcdsaSecp256k1DSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 type Rep (VerKeyDSIGN EcdsaSecp256k1DSIGN) = D1 ('MetaData "VerKeyDSIGN" "Cardano.Crypto.DSIGN.EcdsaSecp256k1" "cardano-crypto-class-2.2.1.0-07fa3d65806ed6ce3761120c72f4ca1fe1721943e7e351147343e78cbf4c28c7" '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) | |||||
Defined in Cardano.Crypto.DSIGN.Ed25519 type Rep (VerKeyDSIGN Ed25519DSIGN) = D1 ('MetaData "VerKeyDSIGN" "Cardano.Crypto.DSIGN.Ed25519" "cardano-crypto-class-2.2.1.0-07fa3d65806ed6ce3761120c72f4ca1fe1721943e7e351147343e78cbf4c28c7" 'True) (C1 ('MetaCons "VerKeyEd25519DSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PinnedSizedBytes (SizeVerKeyDSIGN Ed25519DSIGN))))) | |||||
type Rep (VerKeyDSIGN Ed448DSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.Ed448 type Rep (VerKeyDSIGN Ed448DSIGN) = D1 ('MetaData "VerKeyDSIGN" "Cardano.Crypto.DSIGN.Ed448" "cardano-crypto-class-2.2.1.0-07fa3d65806ed6ce3761120c72f4ca1fe1721943e7e351147343e78cbf4c28c7" 'True) (C1 ('MetaCons "VerKeyEd448DSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PublicKey))) | |||||
type Rep (VerKeyDSIGN MockDSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.Mock type Rep (VerKeyDSIGN MockDSIGN) = D1 ('MetaData "VerKeyDSIGN" "Cardano.Crypto.DSIGN.Mock" "cardano-crypto-class-2.2.1.0-07fa3d65806ed6ce3761120c72f4ca1fe1721943e7e351147343e78cbf4c28c7" 'True) (C1 ('MetaCons "VerKeyMockDSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64))) | |||||
type Rep (VerKeyDSIGN NeverDSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.NeverUsed | |||||
type Rep (VerKeyDSIGN SchnorrSecp256k1DSIGN) | |||||
Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 type Rep (VerKeyDSIGN SchnorrSecp256k1DSIGN) = D1 ('MetaData "VerKeyDSIGN" "Cardano.Crypto.DSIGN.SchnorrSecp256k1" "cardano-crypto-class-2.2.1.0-07fa3d65806ed6ce3761120c72f4ca1fe1721943e7e351147343e78cbf4c28c7" '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 # | |||||
Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN type Rep (VerKeyDSIGN ByronDSIGN) = D1 ('MetaData "VerKeyDSIGN" "Ouroboros.Consensus.Byron.Crypto.DSIGN" "ouroboros-consensus-cardano-0.25.0.0-inplace" 'True) (C1 ('MetaCons "VerKeyByronDSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 VerificationKey))) |