cardano-crypto-class-2.0.0: Type classes abstracting over cryptography primitives for Cardano
Safe HaskellNone
LanguageHaskell2010

Cardano.Crypto.DSIGN.Ed25519

Description

Ed25519 digital signatures.

Documentation

data Ed25519DSIGN Source #

Instances

Instances details
DSIGNAlgorithm Ed25519DSIGN Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

SodiumDSIGNAlgorithm Ed25519DSIGN Source # 
Instance details

Defined in Cardano.Crypto.Libsodium.DSIGN

Eq (VerKeyDSIGN Ed25519DSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

Eq (SignKeyDSIGN Ed25519DSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

Eq (SigDSIGN Ed25519DSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

Show (VerKeyDSIGN Ed25519DSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

Show (SignKeyDSIGN Ed25519DSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

Show (SigDSIGN Ed25519DSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

Generic (VerKeyDSIGN Ed25519DSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

Associated Types

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

Generic (SignKeyDSIGN Ed25519DSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

Associated Types

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

Generic (SigDSIGN Ed25519DSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

Associated Types

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

ToCBOR (VerKeyDSIGN Ed25519DSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

ToCBOR (SignKeyDSIGN Ed25519DSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

ToCBOR (SigDSIGN Ed25519DSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

FromCBOR (VerKeyDSIGN Ed25519DSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

FromCBOR (SignKeyDSIGN Ed25519DSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

FromCBOR (SigDSIGN Ed25519DSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

NFData (VerKeyDSIGN Ed25519DSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

Methods

rnf :: VerKeyDSIGN Ed25519DSIGN -> () #

NFData (SignKeyDSIGN Ed25519DSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

Methods

rnf :: SignKeyDSIGN Ed25519DSIGN -> () #

NFData (SigDSIGN Ed25519DSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

Methods

rnf :: SigDSIGN Ed25519DSIGN -> () #

ByteArrayAccess (VerKeyDSIGN Ed25519DSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

ByteArrayAccess (SignKeyDSIGN Ed25519DSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

ByteArrayAccess (SigDSIGN Ed25519DSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

NoThunks (VerKeyDSIGN Ed25519DSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

NoThunks (SignKeyDSIGN Ed25519DSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

NoThunks (SigDSIGN Ed25519DSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

type SeedSizeDSIGN Ed25519DSIGN Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

type SizeVerKeyDSIGN Ed25519DSIGN Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

type SizeSignKeyDSIGN Ed25519DSIGN Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

type SizeSigDSIGN Ed25519DSIGN Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

newtype VerKeyDSIGN Ed25519DSIGN Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

newtype SignKeyDSIGN Ed25519DSIGN Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

newtype SigDSIGN Ed25519DSIGN Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

type ContextDSIGN Ed25519DSIGN Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

type Signable Ed25519DSIGN Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

type Rep (VerKeyDSIGN Ed25519DSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

type Rep (VerKeyDSIGN Ed25519DSIGN) = D1 ('MetaData "VerKeyDSIGN" "Cardano.Crypto.DSIGN.Ed25519" "cardano-crypto-class-2.0.0-8Wg6S5FD924IEUDdpkXXc" 'True) (C1 ('MetaCons "VerKeyEd25519DSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PublicKey)))
type Rep (SignKeyDSIGN Ed25519DSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

type Rep (SignKeyDSIGN Ed25519DSIGN) = D1 ('MetaData "SignKeyDSIGN" "Cardano.Crypto.DSIGN.Ed25519" "cardano-crypto-class-2.0.0-8Wg6S5FD924IEUDdpkXXc" 'True) (C1 ('MetaCons "SignKeyEd25519DSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SecretKey)))
type Rep (SigDSIGN Ed25519DSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

type Rep (SigDSIGN Ed25519DSIGN) = D1 ('MetaData "SigDSIGN" "Cardano.Crypto.DSIGN.Ed25519" "cardano-crypto-class-2.0.0-8Wg6S5FD924IEUDdpkXXc" 'True) (C1 ('MetaCons "SigEd25519DSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Signature)))

data family SigDSIGN v :: Type Source #

Instances

Instances details
Eq (SigDSIGN NeverDSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.NeverUsed

Eq (SigDSIGN MockDSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Eq (SigDSIGN Ed448DSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

Eq (SigDSIGN Ed25519DSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

Ord (SigDSIGN MockDSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Show (SigDSIGN NeverDSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.NeverUsed

Show (SigDSIGN MockDSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Show (SigDSIGN Ed448DSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

Show (SigDSIGN Ed25519DSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

Generic (SigDSIGN NeverDSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.NeverUsed

Associated Types

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

Generic (SigDSIGN MockDSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Associated Types

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

Generic (SigDSIGN Ed448DSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

Associated Types

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

Generic (SigDSIGN Ed25519DSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

Associated Types

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

ToCBOR (SigDSIGN MockDSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

ToCBOR (SigDSIGN Ed448DSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

ToCBOR (SigDSIGN Ed25519DSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

FromCBOR (SigDSIGN MockDSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

FromCBOR (SigDSIGN Ed448DSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

FromCBOR (SigDSIGN Ed25519DSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

NFData (SigDSIGN MockDSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Methods

rnf :: SigDSIGN MockDSIGN -> () #

NFData (SigDSIGN Ed25519DSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

Methods

rnf :: SigDSIGN Ed25519DSIGN -> () #

ByteArrayAccess (SigDSIGN Ed448DSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

ByteArrayAccess (SigDSIGN Ed25519DSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

NoThunks (SigDSIGN NeverDSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.NeverUsed

NoThunks (SigDSIGN MockDSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

NoThunks (SigDSIGN Ed448DSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

NoThunks (SigDSIGN Ed25519DSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

data SigDSIGN NeverDSIGN Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.NeverUsed

data SigDSIGN MockDSIGN Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

newtype SigDSIGN Ed448DSIGN Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

newtype SigDSIGN Ed25519DSIGN Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

type Rep (SigDSIGN NeverDSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.NeverUsed

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

Defined in Cardano.Crypto.DSIGN.Mock

type Rep (SigDSIGN MockDSIGN) = D1 ('MetaData "SigDSIGN" "Cardano.Crypto.DSIGN.Mock" "cardano-crypto-class-2.0.0-8Wg6S5FD924IEUDdpkXXc" 'False) (C1 ('MetaCons "SigMockDSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Hash ShortHash ())) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word64)))
type Rep (SigDSIGN Ed448DSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

type Rep (SigDSIGN Ed448DSIGN) = D1 ('MetaData "SigDSIGN" "Cardano.Crypto.DSIGN.Ed448" "cardano-crypto-class-2.0.0-8Wg6S5FD924IEUDdpkXXc" 'True) (C1 ('MetaCons "SigEd448DSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Signature)))
type Rep (SigDSIGN Ed25519DSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

type Rep (SigDSIGN Ed25519DSIGN) = D1 ('MetaData "SigDSIGN" "Cardano.Crypto.DSIGN.Ed25519" "cardano-crypto-class-2.0.0-8Wg6S5FD924IEUDdpkXXc" 'True) (C1 ('MetaCons "SigEd25519DSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Signature)))

data family SignKeyDSIGN v :: Type Source #

Instances

Instances details
Eq (SignKeyDSIGN NeverDSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.NeverUsed

Eq (SignKeyDSIGN MockDSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Eq (SignKeyDSIGN Ed448DSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

Eq (SignKeyDSIGN Ed25519DSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

Num (SignKeyDSIGN MockDSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

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

Defined in Cardano.Crypto.DSIGN.Class

Show (SignKeyDSIGN NeverDSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.NeverUsed

Show (SignKeyDSIGN MockDSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Show (SignKeyDSIGN Ed448DSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

Show (SignKeyDSIGN Ed25519DSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

Generic (SignKeyDSIGN NeverDSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.NeverUsed

Associated Types

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

Generic (SignKeyDSIGN MockDSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Associated Types

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

Generic (SignKeyDSIGN Ed448DSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

Associated Types

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

Generic (SignKeyDSIGN Ed25519DSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

Associated Types

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

ToCBOR (SignKeyDSIGN MockDSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

ToCBOR (SignKeyDSIGN Ed448DSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

ToCBOR (SignKeyDSIGN Ed25519DSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

FromCBOR (SignKeyDSIGN MockDSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

FromCBOR (SignKeyDSIGN Ed448DSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

FromCBOR (SignKeyDSIGN Ed25519DSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

NFData (SignKeyDSIGN MockDSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Methods

rnf :: SignKeyDSIGN MockDSIGN -> () #

NFData (SignKeyDSIGN Ed448DSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

Methods

rnf :: SignKeyDSIGN Ed448DSIGN -> () #

NFData (SignKeyDSIGN Ed25519DSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

Methods

rnf :: SignKeyDSIGN Ed25519DSIGN -> () #

ByteArrayAccess (SignKeyDSIGN Ed448DSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

ByteArrayAccess (SignKeyDSIGN Ed25519DSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

NoThunks (SignKeyDSIGN NeverDSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.NeverUsed

NoThunks (SignKeyDSIGN MockDSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

NoThunks (SignKeyDSIGN Ed448DSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

NoThunks (SignKeyDSIGN Ed25519DSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

data SignKeyDSIGN NeverDSIGN Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.NeverUsed

newtype SignKeyDSIGN MockDSIGN Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

newtype SignKeyDSIGN Ed448DSIGN Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

newtype SignKeyDSIGN Ed25519DSIGN Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

type Rep (SignKeyDSIGN NeverDSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.NeverUsed

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

Defined in Cardano.Crypto.DSIGN.Mock

type Rep (SignKeyDSIGN MockDSIGN) = D1 ('MetaData "SignKeyDSIGN" "Cardano.Crypto.DSIGN.Mock" "cardano-crypto-class-2.0.0-8Wg6S5FD924IEUDdpkXXc" 'True) (C1 ('MetaCons "SignKeyMockDSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))
type Rep (SignKeyDSIGN Ed448DSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

type Rep (SignKeyDSIGN Ed448DSIGN) = D1 ('MetaData "SignKeyDSIGN" "Cardano.Crypto.DSIGN.Ed448" "cardano-crypto-class-2.0.0-8Wg6S5FD924IEUDdpkXXc" 'True) (C1 ('MetaCons "SignKeyEd448DSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SecretKey)))
type Rep (SignKeyDSIGN Ed25519DSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

type Rep (SignKeyDSIGN Ed25519DSIGN) = D1 ('MetaData "SignKeyDSIGN" "Cardano.Crypto.DSIGN.Ed25519" "cardano-crypto-class-2.0.0-8Wg6S5FD924IEUDdpkXXc" 'True) (C1 ('MetaCons "SignKeyEd25519DSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SecretKey)))

data family VerKeyDSIGN v :: Type Source #

Instances

Instances details
Eq (VerKeyDSIGN NeverDSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.NeverUsed

Eq (VerKeyDSIGN MockDSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Eq (VerKeyDSIGN Ed448DSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

Eq (VerKeyDSIGN Ed25519DSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

Num (VerKeyDSIGN MockDSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

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

Defined in Cardano.Crypto.DSIGN.Class

Show (VerKeyDSIGN NeverDSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.NeverUsed

Show (VerKeyDSIGN MockDSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Show (VerKeyDSIGN Ed448DSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

Show (VerKeyDSIGN Ed25519DSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

Generic (VerKeyDSIGN NeverDSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.NeverUsed

Associated Types

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

Generic (VerKeyDSIGN MockDSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Associated Types

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

Generic (VerKeyDSIGN Ed448DSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

Associated Types

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

Generic (VerKeyDSIGN Ed25519DSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

Associated Types

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

ToCBOR (VerKeyDSIGN MockDSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

ToCBOR (VerKeyDSIGN Ed448DSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

ToCBOR (VerKeyDSIGN Ed25519DSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

FromCBOR (VerKeyDSIGN MockDSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

FromCBOR (VerKeyDSIGN Ed448DSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

FromCBOR (VerKeyDSIGN Ed25519DSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

NFData (VerKeyDSIGN MockDSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Methods

rnf :: VerKeyDSIGN MockDSIGN -> () #

NFData (VerKeyDSIGN Ed448DSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

Methods

rnf :: VerKeyDSIGN Ed448DSIGN -> () #

NFData (VerKeyDSIGN Ed25519DSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

Methods

rnf :: VerKeyDSIGN Ed25519DSIGN -> () #

ByteArrayAccess (VerKeyDSIGN Ed448DSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

ByteArrayAccess (VerKeyDSIGN Ed25519DSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

NoThunks (VerKeyDSIGN NeverDSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.NeverUsed

NoThunks (VerKeyDSIGN MockDSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

NoThunks (VerKeyDSIGN Ed448DSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

NoThunks (VerKeyDSIGN Ed25519DSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

data VerKeyDSIGN NeverDSIGN Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.NeverUsed

newtype VerKeyDSIGN MockDSIGN Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

newtype VerKeyDSIGN Ed448DSIGN Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

newtype VerKeyDSIGN Ed25519DSIGN Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

type Rep (VerKeyDSIGN NeverDSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.NeverUsed

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

Defined in Cardano.Crypto.DSIGN.Mock

type Rep (VerKeyDSIGN MockDSIGN) = D1 ('MetaData "VerKeyDSIGN" "Cardano.Crypto.DSIGN.Mock" "cardano-crypto-class-2.0.0-8Wg6S5FD924IEUDdpkXXc" 'True) (C1 ('MetaCons "VerKeyMockDSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))
type Rep (VerKeyDSIGN Ed448DSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

type Rep (VerKeyDSIGN Ed448DSIGN) = D1 ('MetaData "VerKeyDSIGN" "Cardano.Crypto.DSIGN.Ed448" "cardano-crypto-class-2.0.0-8Wg6S5FD924IEUDdpkXXc" 'True) (C1 ('MetaCons "VerKeyEd448DSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PublicKey)))
type Rep (VerKeyDSIGN Ed25519DSIGN) Source # 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

type Rep (VerKeyDSIGN Ed25519DSIGN) = D1 ('MetaData "VerKeyDSIGN" "Cardano.Crypto.DSIGN.Ed25519" "cardano-crypto-class-2.0.0-8Wg6S5FD924IEUDdpkXXc" 'True) (C1 ('MetaCons "VerKeyEd25519DSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PublicKey)))