cardano-crypto-class-2.2.2.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

Associated Types

data VerKeyVRF MockVRF Source #

data SignKeyVRF MockVRF Source #

data CertVRF MockVRF Source #

type ContextVRF MockVRF Source #

type Signable MockVRF ∷ Type → Constraint Source #

Generic (CertVRF MockVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Mock

Associated Types

type Rep (CertVRF MockVRF) ∷ Type → Type #

Generic (SignKeyVRF MockVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Mock

Associated Types

type Rep (SignKeyVRF MockVRF) ∷ Type → Type #

Generic (VerKeyVRF MockVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Mock

Associated Types

type Rep (VerKeyVRF MockVRF) ∷ Type → Type #

Show (CertVRF MockVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Mock

Methods

showsPrecIntCertVRF MockVRF → ShowS #

showCertVRF MockVRF → String #

showList ∷ [CertVRF MockVRF] → ShowS #

Show (SignKeyVRF MockVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Mock

Methods

showsPrecIntSignKeyVRF MockVRF → ShowS #

showSignKeyVRF MockVRF → String #

showList ∷ [SignKeyVRF MockVRF] → ShowS #

Show (VerKeyVRF MockVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Mock

Methods

showsPrecIntVerKeyVRF MockVRF → ShowS #

showVerKeyVRF MockVRF → String #

showList ∷ [VerKeyVRF MockVRF] → ShowS #

FromCBOR (CertVRF MockVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Mock

Methods

fromCBORDecoder s (CertVRF MockVRF) Source #

label ∷ Proxy (CertVRF MockVRF) → Text Source #

FromCBOR (SignKeyVRF MockVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Mock

FromCBOR (VerKeyVRF MockVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Mock

Methods

fromCBORDecoder s (VerKeyVRF MockVRF) Source #

label ∷ Proxy (VerKeyVRF MockVRF) → Text Source #

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

Methods

toCBORSignKeyVRF MockVRFEncoding Source #

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

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

ToCBOR (VerKeyVRF MockVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Mock

Methods

toCBORVerKeyVRF MockVRFEncoding Source #

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

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

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.2.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.2.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.2.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) ∷ Type → Type #

Generic (VerKeyVRF NeverVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.NeverUsed

Associated Types

type Rep (VerKeyVRF NeverVRF) ∷ Type → Type #

Generic (VerKeyVRF SimpleVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Simple

Associated Types

type Rep (VerKeyVRF SimpleVRF) ∷ Type → Type #

Show (VerKeyVRF MockVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Mock

Methods

showsPrecIntVerKeyVRF MockVRF → ShowS #

showVerKeyVRF MockVRF → String #

showList ∷ [VerKeyVRF MockVRF] → ShowS #

Show (VerKeyVRF NeverVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.NeverUsed

Methods

showsPrecIntVerKeyVRF NeverVRF → ShowS #

showVerKeyVRF NeverVRF → String #

showList ∷ [VerKeyVRF NeverVRF] → ShowS #

Show (VerKeyVRF SimpleVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Simple

Methods

showsPrecIntVerKeyVRF SimpleVRF → ShowS #

showVerKeyVRF SimpleVRF → String #

showList ∷ [VerKeyVRF SimpleVRF] → ShowS #

FromCBOR (VerKeyVRF MockVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Mock

Methods

fromCBORDecoder s (VerKeyVRF MockVRF) Source #

label ∷ Proxy (VerKeyVRF MockVRF) → Text Source #

FromCBOR (VerKeyVRF SimpleVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Simple

ToCBOR (VerKeyVRF MockVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Mock

Methods

toCBORVerKeyVRF MockVRFEncoding Source #

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

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

ToCBOR (VerKeyVRF SimpleVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Simple

Methods

toCBORVerKeyVRF SimpleVRFEncoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (VerKeyVRF SimpleVRF) → Size Source #

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

NFData (VerKeyVRF SimpleVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Simple

Methods

rnfVerKeyVRF SimpleVRF → ()

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

Methods

compareVerKeyVRF v → VerKeyVRF v → Ordering #

(<)VerKeyVRF v → VerKeyVRF v → Bool #

(<=)VerKeyVRF v → VerKeyVRF v → Bool #

(>)VerKeyVRF v → VerKeyVRF v → Bool #

(>=)VerKeyVRF v → VerKeyVRF v → Bool #

maxVerKeyVRF v → VerKeyVRF v → VerKeyVRF v #

minVerKeyVRF v → VerKeyVRF v → VerKeyVRF v #

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.2.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.2.0-inplace" 'False) (C1 ('MetaCons "NeverUsedVerKeyVRF" 'PrefixI 'False) (U1 ∷ Type → Type))
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) ∷ Type → Type #

Generic (SignKeyVRF NeverVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.NeverUsed

Associated Types

type Rep (SignKeyVRF NeverVRF) ∷ Type → Type #

Generic (SignKeyVRF SimpleVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Simple

Associated Types

type Rep (SignKeyVRF SimpleVRF) ∷ Type → Type #

Show (SignKeyVRF MockVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Mock

Methods

showsPrecIntSignKeyVRF MockVRF → ShowS #

showSignKeyVRF MockVRF → String #

showList ∷ [SignKeyVRF MockVRF] → ShowS #

Show (SignKeyVRF NeverVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.NeverUsed

Methods

showsPrecIntSignKeyVRF NeverVRF → ShowS #

showSignKeyVRF NeverVRF → String #

showList ∷ [SignKeyVRF NeverVRF] → ShowS #

Show (SignKeyVRF SimpleVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Simple

Methods

showsPrecIntSignKeyVRF SimpleVRF → ShowS #

showSignKeyVRF SimpleVRF → String #

showList ∷ [SignKeyVRF SimpleVRF] → ShowS #

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

Methods

toCBORSignKeyVRF MockVRFEncoding Source #

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

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

ToCBOR (SignKeyVRF SimpleVRF) Source # 
Instance details

Defined in Cardano.Crypto.VRF.Simple

Methods

toCBORSignKeyVRF SimpleVRFEncoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (SignKeyVRF SimpleVRF) → Size Source #

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

NFData (SignKeyVRF SimpleVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Simple

Methods

rnfSignKeyVRF SimpleVRF → ()

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

Methods

compareSignKeyVRF v → SignKeyVRF v → Ordering #

(<)SignKeyVRF v → SignKeyVRF v → Bool #

(<=)SignKeyVRF v → SignKeyVRF v → Bool #

(>)SignKeyVRF v → SignKeyVRF v → Bool #

(>=)SignKeyVRF v → SignKeyVRF v → Bool #

maxSignKeyVRF v → SignKeyVRF v → SignKeyVRF v #

minSignKeyVRF v → SignKeyVRF v → SignKeyVRF v #

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.2.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.2.0-inplace" 'False) (C1 ('MetaCons "NeverUsedSignKeyVRF" 'PrefixI 'False) (U1 ∷ Type → Type))
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.2.0-inplace" 'True) (C1 ('MetaCons "SignKeySimpleVRF" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PrivateNumber)))