cardano-crypto-class-2.2.0.0: Type classes abstracting over cryptography primitives for Cardano
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Crypto.VRF.Mock

Description

Mock implementations of verifiable random functions.

Documentation

data MockVRF Source #

Instances

Instances details
VRFAlgorithm MockVRF Source # 
Instance details

Defined in Cardano.Crypto.VRF.Mock

Generic (CertVRF MockVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Mock

Associated Types

type Rep (CertVRF MockVRF) ∷ TypeType Source #

Generic (SignKeyVRF MockVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Mock

Associated Types

type Rep (SignKeyVRF MockVRF) ∷ TypeType Source #

Generic (VerKeyVRF MockVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Mock

Associated Types

type Rep (VerKeyVRF MockVRF) ∷ TypeType Source #

Show (CertVRF MockVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Mock

Show (SignKeyVRF MockVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Mock

Show (VerKeyVRF MockVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Mock

FromCBOR (CertVRF MockVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Mock

FromCBOR (SignKeyVRF MockVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Mock

FromCBOR (VerKeyVRF MockVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Mock

ToCBOR (CertVRF MockVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Mock

Methods

toCBORCertVRF MockVRFEncoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (CertVRF MockVRF) → Size Source #

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

ToCBOR (SignKeyVRF MockVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Mock

ToCBOR (VerKeyVRF MockVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Mock

Eq (CertVRF MockVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Mock

Eq (SignKeyVRF MockVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Mock

Eq (VerKeyVRF MockVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Mock

Ord (CertVRF MockVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Mock

Ord (SignKeyVRF MockVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Mock

Ord (VerKeyVRF MockVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Mock

NoThunks (CertVRF MockVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Mock

NoThunks (SignKeyVRF MockVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Mock

NoThunks (VerKeyVRF MockVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Mock

newtype CertVRF MockVRF Source # 
Instance details

Defined in Cardano.Crypto.VRF.Mock

type ContextVRF MockVRF Source # 
Instance details

Defined in Cardano.Crypto.VRF.Mock

newtype SignKeyVRF MockVRF Source # 
Instance details

Defined in Cardano.Crypto.VRF.Mock

type Signable MockVRF Source # 
Instance details

Defined in Cardano.Crypto.VRF.Mock

newtype VerKeyVRF MockVRF Source # 
Instance details

Defined in Cardano.Crypto.VRF.Mock

type Rep (CertVRF MockVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Mock

type Rep (CertVRF MockVRF) = D1 ('MetaData "CertVRF" "Cardano.Crypto.VRF.Mock" "cardano-crypto-class-2.2.0.0-inplace" 'True) (C1 ('MetaCons "CertMockVRF" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))
type Rep (SignKeyVRF MockVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Mock

type Rep (SignKeyVRF MockVRF) = D1 ('MetaData "SignKeyVRF" "Cardano.Crypto.VRF.Mock" "cardano-crypto-class-2.2.0.0-inplace" 'True) (C1 ('MetaCons "SignKeyMockVRF" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))
type Rep (VerKeyVRF MockVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Mock

type Rep (VerKeyVRF MockVRF) = D1 ('MetaData "VerKeyVRF" "Cardano.Crypto.VRF.Mock" "cardano-crypto-class-2.2.0.0-inplace" 'True) (C1 ('MetaCons "VerKeyMockVRF" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

data family VerKeyVRF v ∷ Type Source #

Instances

Instances details
Generic (VerKeyVRF MockVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Mock

Associated Types

type Rep (VerKeyVRF MockVRF) ∷ TypeType Source #

Generic (VerKeyVRF NeverVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.NeverUsed

Associated Types

type Rep (VerKeyVRF NeverVRF) ∷ TypeType Source #

Generic (VerKeyVRF SimpleVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Simple

Associated Types

type Rep (VerKeyVRF SimpleVRF) ∷ TypeType Source #

Show (VerKeyVRF MockVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Mock

Show (VerKeyVRF NeverVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.NeverUsed

Show (VerKeyVRF SimpleVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Simple

FromCBOR (VerKeyVRF MockVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Mock

FromCBOR (VerKeyVRF SimpleVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Simple

ToCBOR (VerKeyVRF MockVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Mock

ToCBOR (VerKeyVRF SimpleVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Simple

NFData (VerKeyVRF SimpleVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Simple

Methods

rnfVerKeyVRF SimpleVRF → () Source #

Eq (VerKeyVRF MockVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Mock

Eq (VerKeyVRF NeverVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.NeverUsed

Eq (VerKeyVRF SimpleVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Simple

Ord (VerKeyVRF MockVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Mock

(TypeError ('Text "Ord not supported for verification keys, use the hash instead") ∷ Constraint, Eq (VerKeyVRF v)) ⇒ Ord (VerKeyVRF v) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Class

NoThunks (VerKeyVRF MockVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Mock

NoThunks (VerKeyVRF NeverVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.NeverUsed

NoThunks (VerKeyVRF SimpleVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Simple

newtype VerKeyVRF MockVRF Source # 
Instance details

Defined in Cardano.Crypto.VRF.Mock

data VerKeyVRF NeverVRF Source # 
Instance details

Defined in Cardano.Crypto.VRF.NeverUsed

newtype VerKeyVRF SimpleVRF Source # 
Instance details

Defined in Cardano.Crypto.VRF.Simple

type Rep (VerKeyVRF MockVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Mock

type Rep (VerKeyVRF MockVRF) = D1 ('MetaData "VerKeyVRF" "Cardano.Crypto.VRF.Mock" "cardano-crypto-class-2.2.0.0-inplace" 'True) (C1 ('MetaCons "VerKeyMockVRF" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))
type Rep (VerKeyVRF NeverVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.NeverUsed

type Rep (VerKeyVRF NeverVRF) = D1 ('MetaData "VerKeyVRF" "Cardano.Crypto.VRF.NeverUsed" "cardano-crypto-class-2.2.0.0-inplace" 'False) (C1 ('MetaCons "NeverUsedVerKeyVRF" 'PrefixI 'False) (U1TypeType))
type Rep (VerKeyVRF SimpleVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Simple

data family SignKeyVRF v ∷ Type Source #

Instances

Instances details
Generic (SignKeyVRF MockVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Mock

Associated Types

type Rep (SignKeyVRF MockVRF) ∷ TypeType Source #

Generic (SignKeyVRF NeverVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.NeverUsed

Associated Types

type Rep (SignKeyVRF NeverVRF) ∷ TypeType Source #

Generic (SignKeyVRF SimpleVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Simple

Associated Types

type Rep (SignKeyVRF SimpleVRF) ∷ TypeType Source #

Show (SignKeyVRF MockVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Mock

Show (SignKeyVRF NeverVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.NeverUsed

Show (SignKeyVRF SimpleVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Simple

FromCBOR (SignKeyVRF MockVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Mock

FromCBOR (SignKeyVRF SimpleVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Simple

ToCBOR (SignKeyVRF MockVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Mock

ToCBOR (SignKeyVRF SimpleVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Simple

NFData (SignKeyVRF SimpleVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Simple

Methods

rnfSignKeyVRF SimpleVRF → () Source #

Eq (SignKeyVRF MockVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Mock

Eq (SignKeyVRF NeverVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.NeverUsed

Eq (SignKeyVRF SimpleVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Simple

Ord (SignKeyVRF MockVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Mock

(TypeError ('Text "Ord not supported for signing keys, use the hash instead") ∷ Constraint, Eq (SignKeyVRF v)) ⇒ Ord (SignKeyVRF v) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Class

NoThunks (SignKeyVRF MockVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Mock

NoThunks (SignKeyVRF NeverVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.NeverUsed

NoThunks (SignKeyVRF SimpleVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Simple

newtype SignKeyVRF MockVRF Source # 
Instance details

Defined in Cardano.Crypto.VRF.Mock

data SignKeyVRF NeverVRF Source # 
Instance details

Defined in Cardano.Crypto.VRF.NeverUsed

newtype SignKeyVRF SimpleVRF Source # 
Instance details

Defined in Cardano.Crypto.VRF.Simple

type Rep (SignKeyVRF MockVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Mock

type Rep (SignKeyVRF MockVRF) = D1 ('MetaData "SignKeyVRF" "Cardano.Crypto.VRF.Mock" "cardano-crypto-class-2.2.0.0-inplace" 'True) (C1 ('MetaCons "SignKeyMockVRF" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))
type Rep (SignKeyVRF NeverVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.NeverUsed

type Rep (SignKeyVRF NeverVRF) = D1 ('MetaData "SignKeyVRF" "Cardano.Crypto.VRF.NeverUsed" "cardano-crypto-class-2.2.0.0-inplace" 'False) (C1 ('MetaCons "NeverUsedSignKeyVRF" 'PrefixI 'False) (U1TypeType))
type Rep (SignKeyVRF SimpleVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Simple

type Rep (SignKeyVRF SimpleVRF) = D1 ('MetaData "SignKeyVRF" "Cardano.Crypto.VRF.Simple" "cardano-crypto-class-2.2.0.0-inplace" 'True) (C1 ('MetaCons "SignKeySimpleVRF" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PrivateNumber)))