cardano-protocol-tpraos-1.5.0.0: Cardano Protocol: Transitional Praos
Safe HaskellNone
LanguageHaskell2010

Test.Cardano.Protocol.Crypto.VRF.Fake

Description

Fake implementation of VRF, where the random value isn't random but given by the creator.

Synopsis

Documentation

newtype NatNonce Source #

We provide our own nonces to mkBlock, which we then wish to recover as the output of the VRF functions. In general, however, we just derive them from a natural. Since the nonce is a hash, we do not want to recover it to find a preimage. In testing, therefore, we just wrap the raw natural, which we then encode into the fake VRF implementation.

Constructors

NatNonce Natural 

data FakeVRF Source #

Instances

Instances details
VRFAlgorithm FakeVRF Source # 
Instance details

Defined in Test.Cardano.Protocol.Crypto.VRF.Fake

Associated Types

newtype VerKeyVRF FakeVRF 
Instance details

Defined in Test.Cardano.Protocol.Crypto.VRF.Fake

newtype VerKeyVRF FakeVRF = VerKeyFakeVRF Word64
newtype SignKeyVRF FakeVRF 
Instance details

Defined in Test.Cardano.Protocol.Crypto.VRF.Fake

newtype SignKeyVRF FakeVRF = SignKeyFakeVRF Word64
data CertVRF FakeVRF 
Instance details

Defined in Test.Cardano.Protocol.Crypto.VRF.Fake

data CertVRF FakeVRF = CertFakeVRF !Word64 !Word16 !(OutputVRF FakeVRF)
type ContextVRF FakeVRF 
Instance details

Defined in Test.Cardano.Protocol.Crypto.VRF.Fake

type ContextVRF FakeVRF = ()
type Signable FakeVRF 
Instance details

Defined in Test.Cardano.Protocol.Crypto.VRF.Fake

type Signable FakeVRF

Methods

algorithmNameVRF ∷ proxy FakeVRF → String Source #

deriveVerKeyVRF ∷ SignKeyVRF FakeVRF → VerKeyVRF FakeVRF Source #

hashVerKeyVRF ∷ HashAlgorithm h ⇒ VerKeyVRF FakeVRF → Hash h (VerKeyVRF FakeVRF) Source #

evalVRF ∷ (HasCallStack, Signable FakeVRF a) ⇒ ContextVRF FakeVRF → a → SignKeyVRF FakeVRF → (OutputVRF FakeVRF, CertVRF FakeVRF) Source #

verifyVRF ∷ (HasCallStack, Signable FakeVRF a) ⇒ ContextVRF FakeVRF → VerKeyVRF FakeVRF → a → CertVRF FakeVRF → Maybe (OutputVRF FakeVRF) Source #

genKeyVRF ∷ Seed → SignKeyVRF FakeVRF Source #

genKeyPairVRF ∷ Seed → (SignKeyVRF FakeVRF, VerKeyVRF FakeVRF) Source #

seedSizeVRF ∷ proxy FakeVRF → Word Source #

sizeVerKeyVRF ∷ proxy FakeVRF → Word Source #

sizeSignKeyVRF ∷ proxy FakeVRF → Word Source #

sizeCertVRF ∷ proxy FakeVRF → Word Source #

sizeOutputVRF ∷ proxy FakeVRF → Word Source #

rawSerialiseVerKeyVRF ∷ VerKeyVRF FakeVRF → ByteString Source #

rawSerialiseSignKeyVRF ∷ SignKeyVRF FakeVRF → ByteString Source #

rawSerialiseCertVRF ∷ CertVRF FakeVRF → ByteString Source #

rawDeserialiseVerKeyVRF ∷ ByteString → Maybe (VerKeyVRF FakeVRF) Source #

rawDeserialiseSignKeyVRF ∷ ByteString → Maybe (SignKeyVRF FakeVRF) Source #

rawDeserialiseCertVRF ∷ ByteString → Maybe (CertVRF FakeVRF) Source #

DecCBOR (CertVRF FakeVRF) Source # 
Instance details

Defined in Test.Cardano.Protocol.Crypto.VRF.Fake

Methods

decCBOR ∷ Decoder s (CertVRF FakeVRF) Source #

dropCBOR ∷ Proxy (CertVRF FakeVRF) → Decoder s () Source #

label ∷ Proxy (CertVRF FakeVRF) → Text Source #

DecCBOR (SignKeyVRF FakeVRF) Source # 
Instance details

Defined in Test.Cardano.Protocol.Crypto.VRF.Fake

Methods

decCBOR ∷ Decoder s (SignKeyVRF FakeVRF) Source #

dropCBOR ∷ Proxy (SignKeyVRF FakeVRF) → Decoder s () Source #

label ∷ Proxy (SignKeyVRF FakeVRF) → Text Source #

DecCBOR (VerKeyVRF FakeVRF) Source # 
Instance details

Defined in Test.Cardano.Protocol.Crypto.VRF.Fake

Methods

decCBOR ∷ Decoder s (VerKeyVRF FakeVRF) Source #

dropCBOR ∷ Proxy (VerKeyVRF FakeVRF) → Decoder s () Source #

label ∷ Proxy (VerKeyVRF FakeVRF) → Text Source #

EncCBOR (CertVRF FakeVRF) Source # 
Instance details

Defined in Test.Cardano.Protocol.Crypto.VRF.Fake

Methods

encCBOR ∷ CertVRF FakeVRF → Encoding Source #

EncCBOR (SignKeyVRF FakeVRF) Source # 
Instance details

Defined in Test.Cardano.Protocol.Crypto.VRF.Fake

Methods

encCBOR ∷ SignKeyVRF FakeVRF → Encoding Source #

EncCBOR (VerKeyVRF FakeVRF) Source # 
Instance details

Defined in Test.Cardano.Protocol.Crypto.VRF.Fake

Methods

encCBOR ∷ VerKeyVRF FakeVRF → Encoding Source #

Generic (CertVRF FakeVRF) Source # 
Instance details

Defined in Test.Cardano.Protocol.Crypto.VRF.Fake

Associated Types

type Rep (CertVRF FakeVRF) 
Instance details

Defined in Test.Cardano.Protocol.Crypto.VRF.Fake

type Rep (CertVRF FakeVRF) = D1 ('MetaData "CertVRF" "Test.Cardano.Protocol.Crypto.VRF.Fake" "cardano-protocol-tpraos-1.5.0.0-inplace-testlib" 'False) (C1 ('MetaCons "CertFakeVRF" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word64) :*: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word16) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (OutputVRF FakeVRF)))))

Methods

from ∷ CertVRF FakeVRF → Rep (CertVRF FakeVRF) x #

to ∷ Rep (CertVRF FakeVRF) x → CertVRF FakeVRF #

Generic (SignKeyVRF FakeVRF) Source # 
Instance details

Defined in Test.Cardano.Protocol.Crypto.VRF.Fake

Associated Types

type Rep (SignKeyVRF FakeVRF) 
Instance details

Defined in Test.Cardano.Protocol.Crypto.VRF.Fake

type Rep (SignKeyVRF FakeVRF) = D1 ('MetaData "SignKeyVRF" "Test.Cardano.Protocol.Crypto.VRF.Fake" "cardano-protocol-tpraos-1.5.0.0-inplace-testlib" 'True) (C1 ('MetaCons "SignKeyFakeVRF" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

Methods

from ∷ SignKeyVRF FakeVRF → Rep (SignKeyVRF FakeVRF) x #

to ∷ Rep (SignKeyVRF FakeVRF) x → SignKeyVRF FakeVRF #

Generic (VerKeyVRF FakeVRF) Source # 
Instance details

Defined in Test.Cardano.Protocol.Crypto.VRF.Fake

Associated Types

type Rep (VerKeyVRF FakeVRF) 
Instance details

Defined in Test.Cardano.Protocol.Crypto.VRF.Fake

type Rep (VerKeyVRF FakeVRF) = D1 ('MetaData "VerKeyVRF" "Test.Cardano.Protocol.Crypto.VRF.Fake" "cardano-protocol-tpraos-1.5.0.0-inplace-testlib" 'True) (C1 ('MetaCons "VerKeyFakeVRF" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

Methods

from ∷ VerKeyVRF FakeVRF → Rep (VerKeyVRF FakeVRF) x #

to ∷ Rep (VerKeyVRF FakeVRF) x → VerKeyVRF FakeVRF #

Show (CertVRF FakeVRF) Source # 
Instance details

Defined in Test.Cardano.Protocol.Crypto.VRF.Fake

Methods

showsPrec ∷ Int → CertVRF FakeVRF → ShowS #

show ∷ CertVRF FakeVRF → String #

showList ∷ [CertVRF FakeVRF] → ShowS #

Show (SignKeyVRF FakeVRF) Source # 
Instance details

Defined in Test.Cardano.Protocol.Crypto.VRF.Fake

Methods

showsPrec ∷ Int → SignKeyVRF FakeVRF → ShowS #

show ∷ SignKeyVRF FakeVRF → String #

showList ∷ [SignKeyVRF FakeVRF] → ShowS #

Show (VerKeyVRF FakeVRF) Source # 
Instance details

Defined in Test.Cardano.Protocol.Crypto.VRF.Fake

Methods

showsPrec ∷ Int → VerKeyVRF FakeVRF → ShowS #

show ∷ VerKeyVRF FakeVRF → String #

showList ∷ [VerKeyVRF FakeVRF] → ShowS #

Eq (CertVRF FakeVRF) Source # 
Instance details

Defined in Test.Cardano.Protocol.Crypto.VRF.Fake

Methods

(==) ∷ CertVRF FakeVRF → CertVRF FakeVRF → Bool #

(/=) ∷ CertVRF FakeVRF → CertVRF FakeVRF → Bool #

Eq (SignKeyVRF FakeVRF) Source # 
Instance details

Defined in Test.Cardano.Protocol.Crypto.VRF.Fake

Methods

(==) ∷ SignKeyVRF FakeVRF → SignKeyVRF FakeVRF → Bool #

(/=) ∷ SignKeyVRF FakeVRF → SignKeyVRF FakeVRF → Bool #

Eq (VerKeyVRF FakeVRF) Source # 
Instance details

Defined in Test.Cardano.Protocol.Crypto.VRF.Fake

Methods

(==) ∷ VerKeyVRF FakeVRF → VerKeyVRF FakeVRF → Bool #

(/=) ∷ VerKeyVRF FakeVRF → VerKeyVRF FakeVRF → Bool #

Ord (CertVRF FakeVRF) Source # 
Instance details

Defined in Test.Cardano.Protocol.Crypto.VRF.Fake

Methods

compare ∷ CertVRF FakeVRF → CertVRF FakeVRF → Ordering #

(<) ∷ CertVRF FakeVRF → CertVRF FakeVRF → Bool #

(<=) ∷ CertVRF FakeVRF → CertVRF FakeVRF → Bool #

(>) ∷ CertVRF FakeVRF → CertVRF FakeVRF → Bool #

(>=) ∷ CertVRF FakeVRF → CertVRF FakeVRF → Bool #

max ∷ CertVRF FakeVRF → CertVRF FakeVRF → CertVRF FakeVRF #

min ∷ CertVRF FakeVRF → CertVRF FakeVRF → CertVRF FakeVRF #

Ord (SignKeyVRF FakeVRF) Source # 
Instance details

Defined in Test.Cardano.Protocol.Crypto.VRF.Fake

Methods

compare ∷ SignKeyVRF FakeVRF → SignKeyVRF FakeVRF → Ordering #

(<) ∷ SignKeyVRF FakeVRF → SignKeyVRF FakeVRF → Bool #

(<=) ∷ SignKeyVRF FakeVRF → SignKeyVRF FakeVRF → Bool #

(>) ∷ SignKeyVRF FakeVRF → SignKeyVRF FakeVRF → Bool #

(>=) ∷ SignKeyVRF FakeVRF → SignKeyVRF FakeVRF → Bool #

max ∷ SignKeyVRF FakeVRF → SignKeyVRF FakeVRF → SignKeyVRF FakeVRF #

min ∷ SignKeyVRF FakeVRF → SignKeyVRF FakeVRF → SignKeyVRF FakeVRF #

Ord (VerKeyVRF FakeVRF) Source # 
Instance details

Defined in Test.Cardano.Protocol.Crypto.VRF.Fake

Methods

compare ∷ VerKeyVRF FakeVRF → VerKeyVRF FakeVRF → Ordering #

(<) ∷ VerKeyVRF FakeVRF → VerKeyVRF FakeVRF → Bool #

(<=) ∷ VerKeyVRF FakeVRF → VerKeyVRF FakeVRF → Bool #

(>) ∷ VerKeyVRF FakeVRF → VerKeyVRF FakeVRF → Bool #

(>=) ∷ VerKeyVRF FakeVRF → VerKeyVRF FakeVRF → Bool #

max ∷ VerKeyVRF FakeVRF → VerKeyVRF FakeVRF → VerKeyVRF FakeVRF #

min ∷ VerKeyVRF FakeVRF → VerKeyVRF FakeVRF → VerKeyVRF FakeVRF #

NoThunks (CertVRF FakeVRF) Source # 
Instance details

Defined in Test.Cardano.Protocol.Crypto.VRF.Fake

Methods

noThunks ∷ Context → CertVRF FakeVRF → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → CertVRF FakeVRF → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (CertVRF FakeVRF) → String Source #

NoThunks (SignKeyVRF FakeVRF) Source # 
Instance details

Defined in Test.Cardano.Protocol.Crypto.VRF.Fake

Methods

noThunks ∷ Context → SignKeyVRF FakeVRF → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → SignKeyVRF FakeVRF → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (SignKeyVRF FakeVRF) → String Source #

NoThunks (VerKeyVRF FakeVRF) Source # 
Instance details

Defined in Test.Cardano.Protocol.Crypto.VRF.Fake

Methods

noThunks ∷ Context → VerKeyVRF FakeVRF → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → VerKeyVRF FakeVRF → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (VerKeyVRF FakeVRF) → String Source #

data CertVRF FakeVRF Source # 
Instance details

Defined in Test.Cardano.Protocol.Crypto.VRF.Fake

data CertVRF FakeVRF = CertFakeVRF !Word64 !Word16 !(OutputVRF FakeVRF)
type ContextVRF FakeVRF Source # 
Instance details

Defined in Test.Cardano.Protocol.Crypto.VRF.Fake

type ContextVRF FakeVRF = ()
newtype SignKeyVRF FakeVRF Source # 
Instance details

Defined in Test.Cardano.Protocol.Crypto.VRF.Fake

newtype SignKeyVRF FakeVRF = SignKeyFakeVRF Word64
type Signable FakeVRF Source # 
Instance details

Defined in Test.Cardano.Protocol.Crypto.VRF.Fake

type Signable FakeVRF
newtype VerKeyVRF FakeVRF Source # 
Instance details

Defined in Test.Cardano.Protocol.Crypto.VRF.Fake

newtype VerKeyVRF FakeVRF = VerKeyFakeVRF Word64
type Rep (CertVRF FakeVRF) Source # 
Instance details

Defined in Test.Cardano.Protocol.Crypto.VRF.Fake

type Rep (CertVRF FakeVRF) = D1 ('MetaData "CertVRF" "Test.Cardano.Protocol.Crypto.VRF.Fake" "cardano-protocol-tpraos-1.5.0.0-inplace-testlib" 'False) (C1 ('MetaCons "CertFakeVRF" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word64) :*: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word16) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (OutputVRF FakeVRF)))))
type Rep (SignKeyVRF FakeVRF) Source # 
Instance details

Defined in Test.Cardano.Protocol.Crypto.VRF.Fake

type Rep (SignKeyVRF FakeVRF) = D1 ('MetaData "SignKeyVRF" "Test.Cardano.Protocol.Crypto.VRF.Fake" "cardano-protocol-tpraos-1.5.0.0-inplace-testlib" 'True) (C1 ('MetaCons "SignKeyFakeVRF" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))
type Rep (VerKeyVRF FakeVRF) Source # 
Instance details

Defined in Test.Cardano.Protocol.Crypto.VRF.Fake

type Rep (VerKeyVRF FakeVRF) = D1 ('MetaData "VerKeyVRF" "Test.Cardano.Protocol.Crypto.VRF.Fake" "cardano-protocol-tpraos-1.5.0.0-inplace-testlib" 'True) (C1 ('MetaCons "VerKeyFakeVRF" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

data family VerKeyVRF v Source #

Instances

Instances details
VRFAlgorithm v ⇒ Arbitrary (VerKeyVRF v) 
Instance details

Defined in Test.Crypto.VRF

Methods

arbitrary ∷ Gen (VerKeyVRF v) Source #

shrink ∷ VerKeyVRF v → [VerKeyVRF v] Source #

FromCBOR (VerKeyVRF MockVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Mock

Methods

fromCBOR ∷ Decoder s (VerKeyVRF MockVRF) Source #

label ∷ Proxy (VerKeyVRF MockVRF) → Text Source #

FromCBOR (VerKeyVRF SimpleVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Simple

Methods

fromCBOR ∷ Decoder s (VerKeyVRF SimpleVRF) Source #

label ∷ Proxy (VerKeyVRF SimpleVRF) → Text Source #

FromCBOR (VerKeyVRF PraosVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Praos

Methods

fromCBOR ∷ Decoder s (VerKeyVRF PraosVRF) Source #

label ∷ Proxy (VerKeyVRF PraosVRF) → Text Source #

FromCBOR (VerKeyVRF PraosBatchCompatVRF) 
Instance details

Defined in Cardano.Crypto.VRF.PraosBatchCompat

Methods

fromCBOR ∷ Decoder s (VerKeyVRF PraosBatchCompatVRF) Source #

label ∷ Proxy (VerKeyVRF PraosBatchCompatVRF) → Text Source #

ToCBOR (VerKeyVRF MockVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Mock

Methods

toCBOR ∷ VerKeyVRF MockVRF → Encoding 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) 
Instance details

Defined in Cardano.Crypto.VRF.Simple

Methods

toCBOR ∷ VerKeyVRF SimpleVRF → Encoding 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 #

ToCBOR (VerKeyVRF PraosVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Praos

Methods

toCBOR ∷ VerKeyVRF PraosVRF → Encoding Source #

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

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

ToCBOR (VerKeyVRF PraosBatchCompatVRF) 
Instance details

Defined in Cardano.Crypto.VRF.PraosBatchCompat

Methods

toCBOR ∷ VerKeyVRF PraosBatchCompatVRF → Encoding Source #

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

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

DecCBOR (VerKeyVRF MockVRF) 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

Methods

decCBOR ∷ Decoder s (VerKeyVRF MockVRF) Source #

dropCBOR ∷ Proxy (VerKeyVRF MockVRF) → Decoder s () Source #

label ∷ Proxy (VerKeyVRF MockVRF) → Text Source #

DecCBOR (VerKeyVRF SimpleVRF) 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

Methods

decCBOR ∷ Decoder s (VerKeyVRF SimpleVRF) Source #

dropCBOR ∷ Proxy (VerKeyVRF SimpleVRF) → Decoder s () Source #

label ∷ Proxy (VerKeyVRF SimpleVRF) → Text Source #

DecCBOR (VerKeyVRF PraosVRF) 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

Methods

decCBOR ∷ Decoder s (VerKeyVRF PraosVRF) Source #

dropCBOR ∷ Proxy (VerKeyVRF PraosVRF) → Decoder s () Source #

label ∷ Proxy (VerKeyVRF PraosVRF) → Text Source #

DecCBOR (VerKeyVRF FakeVRF) Source # 
Instance details

Defined in Test.Cardano.Protocol.Crypto.VRF.Fake

Methods

decCBOR ∷ Decoder s (VerKeyVRF FakeVRF) Source #

dropCBOR ∷ Proxy (VerKeyVRF FakeVRF) → Decoder s () Source #

label ∷ Proxy (VerKeyVRF FakeVRF) → Text Source #

EncCBOR (VerKeyVRF MockVRF) 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ VerKeyVRF MockVRF → Encoding Source #

EncCBOR (VerKeyVRF SimpleVRF) 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ VerKeyVRF SimpleVRF → Encoding Source #

EncCBOR (VerKeyVRF PraosVRF) 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ VerKeyVRF PraosVRF → Encoding Source #

EncCBOR (VerKeyVRF FakeVRF) Source # 
Instance details

Defined in Test.Cardano.Protocol.Crypto.VRF.Fake

Methods

encCBOR ∷ VerKeyVRF FakeVRF → Encoding Source #

NFData (VerKeyVRF SimpleVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Simple

Methods

rnf ∷ VerKeyVRF SimpleVRF → () #

NFData (VerKeyVRF PraosVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Praos

Methods

rnf ∷ VerKeyVRF PraosVRF → () #

NFData (VerKeyVRF PraosBatchCompatVRF) 
Instance details

Defined in Cardano.Crypto.VRF.PraosBatchCompat

Methods

rnf ∷ VerKeyVRF PraosBatchCompatVRF → () #

Generic (VerKeyVRF MockVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Mock

Associated Types

type Rep (VerKeyVRF MockVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Mock

type Rep (VerKeyVRF MockVRF) = D1 ('MetaData "VerKeyVRF" "Cardano.Crypto.VRF.Mock" "cardano-crypto-class-2.2.3.2-3acfd49d25228918dd4fd2bfd97b6bfe65fa81f2e017d3c3cbd4186684201a31" 'True) (C1 ('MetaCons "VerKeyMockVRF" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

Methods

from ∷ VerKeyVRF MockVRF → Rep (VerKeyVRF MockVRF) x #

to ∷ Rep (VerKeyVRF MockVRF) x → VerKeyVRF MockVRF #

Generic (VerKeyVRF NeverVRF) 
Instance details

Defined in Cardano.Crypto.VRF.NeverUsed

Associated Types

type Rep (VerKeyVRF NeverVRF) 
Instance details

Defined in Cardano.Crypto.VRF.NeverUsed

type Rep (VerKeyVRF NeverVRF) = D1 ('MetaData "VerKeyVRF" "Cardano.Crypto.VRF.NeverUsed" "cardano-crypto-class-2.2.3.2-3acfd49d25228918dd4fd2bfd97b6bfe65fa81f2e017d3c3cbd4186684201a31" 'False) (C1 ('MetaCons "NeverUsedVerKeyVRF" 'PrefixI 'False) (U1 ∷ Type → Type))

Methods

from ∷ VerKeyVRF NeverVRF → Rep (VerKeyVRF NeverVRF) x #

to ∷ Rep (VerKeyVRF NeverVRF) x → VerKeyVRF NeverVRF #

Generic (VerKeyVRF SimpleVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Simple

Associated Types

type Rep (VerKeyVRF SimpleVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Simple

type Rep (VerKeyVRF SimpleVRF) = D1 ('MetaData "VerKeyVRF" "Cardano.Crypto.VRF.Simple" "cardano-crypto-class-2.2.3.2-3acfd49d25228918dd4fd2bfd97b6bfe65fa81f2e017d3c3cbd4186684201a31" 'True) (C1 ('MetaCons "VerKeySimpleVRF" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Point)))

Methods

from ∷ VerKeyVRF SimpleVRF → Rep (VerKeyVRF SimpleVRF) x #

to ∷ Rep (VerKeyVRF SimpleVRF) x → VerKeyVRF SimpleVRF #

Generic (VerKeyVRF PraosVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Praos

Associated Types

type Rep (VerKeyVRF PraosVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Praos

type Rep (VerKeyVRF PraosVRF) = D1 ('MetaData "VerKeyVRF" "Cardano.Crypto.VRF.Praos" "cardano-crypto-praos-2.2.1.1-2275e7e3c2e97a9666ff366bbea2b650d6ff9b482b55d997f510cbdff8864068" 'True) (C1 ('MetaCons "VerKeyPraosVRF" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 VerKey)))

Methods

from ∷ VerKeyVRF PraosVRF → Rep (VerKeyVRF PraosVRF) x #

to ∷ Rep (VerKeyVRF PraosVRF) x → VerKeyVRF PraosVRF #

Generic (VerKeyVRF PraosBatchCompatVRF) 
Instance details

Defined in Cardano.Crypto.VRF.PraosBatchCompat

Associated Types

type Rep (VerKeyVRF PraosBatchCompatVRF) 
Instance details

Defined in Cardano.Crypto.VRF.PraosBatchCompat

type Rep (VerKeyVRF PraosBatchCompatVRF) = D1 ('MetaData "VerKeyVRF" "Cardano.Crypto.VRF.PraosBatchCompat" "cardano-crypto-praos-2.2.1.1-2275e7e3c2e97a9666ff366bbea2b650d6ff9b482b55d997f510cbdff8864068" 'True) (C1 ('MetaCons "VerKeyPraosBatchCompatVRF" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 VerKey)))

Methods

from ∷ VerKeyVRF PraosBatchCompatVRF → Rep (VerKeyVRF PraosBatchCompatVRF) x #

to ∷ Rep (VerKeyVRF PraosBatchCompatVRF) x → VerKeyVRF PraosBatchCompatVRF #

Generic (VerKeyVRF FakeVRF) Source # 
Instance details

Defined in Test.Cardano.Protocol.Crypto.VRF.Fake

Associated Types

type Rep (VerKeyVRF FakeVRF) 
Instance details

Defined in Test.Cardano.Protocol.Crypto.VRF.Fake

type Rep (VerKeyVRF FakeVRF) = D1 ('MetaData "VerKeyVRF" "Test.Cardano.Protocol.Crypto.VRF.Fake" "cardano-protocol-tpraos-1.5.0.0-inplace-testlib" 'True) (C1 ('MetaCons "VerKeyFakeVRF" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

Methods

from ∷ VerKeyVRF FakeVRF → Rep (VerKeyVRF FakeVRF) x #

to ∷ Rep (VerKeyVRF FakeVRF) x → VerKeyVRF FakeVRF #

Show (VerKeyVRF MockVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Mock

Methods

showsPrec ∷ Int → VerKeyVRF MockVRF → ShowS #

show ∷ VerKeyVRF MockVRF → String #

showList ∷ [VerKeyVRF MockVRF] → ShowS #

Show (VerKeyVRF NeverVRF) 
Instance details

Defined in Cardano.Crypto.VRF.NeverUsed

Methods

showsPrec ∷ Int → VerKeyVRF NeverVRF → ShowS #

show ∷ VerKeyVRF NeverVRF → String #

showList ∷ [VerKeyVRF NeverVRF] → ShowS #

Show (VerKeyVRF SimpleVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Simple

Methods

showsPrec ∷ Int → VerKeyVRF SimpleVRF → ShowS #

show ∷ VerKeyVRF SimpleVRF → String #

showList ∷ [VerKeyVRF SimpleVRF] → ShowS #

Show (VerKeyVRF PraosVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Praos

Methods

showsPrec ∷ Int → VerKeyVRF PraosVRF → ShowS #

show ∷ VerKeyVRF PraosVRF → String #

showList ∷ [VerKeyVRF PraosVRF] → ShowS #

Show (VerKeyVRF PraosBatchCompatVRF) 
Instance details

Defined in Cardano.Crypto.VRF.PraosBatchCompat

Methods

showsPrec ∷ Int → VerKeyVRF PraosBatchCompatVRF → ShowS #

show ∷ VerKeyVRF PraosBatchCompatVRF → String #

showList ∷ [VerKeyVRF PraosBatchCompatVRF] → ShowS #

Show (VerKeyVRF FakeVRF) Source # 
Instance details

Defined in Test.Cardano.Protocol.Crypto.VRF.Fake

Methods

showsPrec ∷ Int → VerKeyVRF FakeVRF → ShowS #

show ∷ VerKeyVRF FakeVRF → String #

showList ∷ [VerKeyVRF FakeVRF] → ShowS #

Eq (VerKeyVRF MockVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Mock

Methods

(==) ∷ VerKeyVRF MockVRF → VerKeyVRF MockVRF → Bool #

(/=) ∷ VerKeyVRF MockVRF → VerKeyVRF MockVRF → Bool #

Eq (VerKeyVRF NeverVRF) 
Instance details

Defined in Cardano.Crypto.VRF.NeverUsed

Methods

(==) ∷ VerKeyVRF NeverVRF → VerKeyVRF NeverVRF → Bool #

(/=) ∷ VerKeyVRF NeverVRF → VerKeyVRF NeverVRF → Bool #

Eq (VerKeyVRF SimpleVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Simple

Methods

(==) ∷ VerKeyVRF SimpleVRF → VerKeyVRF SimpleVRF → Bool #

(/=) ∷ VerKeyVRF SimpleVRF → VerKeyVRF SimpleVRF → Bool #

Eq (VerKeyVRF PraosVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Praos

Methods

(==) ∷ VerKeyVRF PraosVRF → VerKeyVRF PraosVRF → Bool #

(/=) ∷ VerKeyVRF PraosVRF → VerKeyVRF PraosVRF → Bool #

Eq (VerKeyVRF PraosBatchCompatVRF) 
Instance details

Defined in Cardano.Crypto.VRF.PraosBatchCompat

Methods

(==) ∷ VerKeyVRF PraosBatchCompatVRF → VerKeyVRF PraosBatchCompatVRF → Bool #

(/=) ∷ VerKeyVRF PraosBatchCompatVRF → VerKeyVRF PraosBatchCompatVRF → Bool #

Eq (VerKeyVRF FakeVRF) Source # 
Instance details

Defined in Test.Cardano.Protocol.Crypto.VRF.Fake

Methods

(==) ∷ VerKeyVRF FakeVRF → VerKeyVRF FakeVRF → Bool #

(/=) ∷ VerKeyVRF FakeVRF → VerKeyVRF FakeVRF → Bool #

Ord (VerKeyVRF MockVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Mock

Methods

compare ∷ VerKeyVRF MockVRF → VerKeyVRF MockVRF → Ordering #

(<) ∷ VerKeyVRF MockVRF → VerKeyVRF MockVRF → Bool #

(<=) ∷ VerKeyVRF MockVRF → VerKeyVRF MockVRF → Bool #

(>) ∷ VerKeyVRF MockVRF → VerKeyVRF MockVRF → Bool #

(>=) ∷ VerKeyVRF MockVRF → VerKeyVRF MockVRF → Bool #

max ∷ VerKeyVRF MockVRF → VerKeyVRF MockVRF → VerKeyVRF MockVRF #

min ∷ VerKeyVRF MockVRF → VerKeyVRF MockVRF → VerKeyVRF MockVRF #

Ord (VerKeyVRF FakeVRF) Source # 
Instance details

Defined in Test.Cardano.Protocol.Crypto.VRF.Fake

Methods

compare ∷ VerKeyVRF FakeVRF → VerKeyVRF FakeVRF → Ordering #

(<) ∷ VerKeyVRF FakeVRF → VerKeyVRF FakeVRF → Bool #

(<=) ∷ VerKeyVRF FakeVRF → VerKeyVRF FakeVRF → Bool #

(>) ∷ VerKeyVRF FakeVRF → VerKeyVRF FakeVRF → Bool #

(>=) ∷ VerKeyVRF FakeVRF → VerKeyVRF FakeVRF → Bool #

max ∷ VerKeyVRF FakeVRF → VerKeyVRF FakeVRF → VerKeyVRF FakeVRF #

min ∷ VerKeyVRF FakeVRF → VerKeyVRF FakeVRF → VerKeyVRF FakeVRF #

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

Defined in Cardano.Crypto.VRF.Class

Methods

compare ∷ VerKeyVRF v → VerKeyVRF v → Ordering #

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

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

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

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

max ∷ VerKeyVRF v → VerKeyVRF v → VerKeyVRF v #

min ∷ VerKeyVRF v → VerKeyVRF v → VerKeyVRF v #

NoThunks (VerKeyVRF MockVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Mock

Methods

noThunks ∷ Context → VerKeyVRF MockVRF → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → VerKeyVRF MockVRF → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (VerKeyVRF MockVRF) → String Source #

NoThunks (VerKeyVRF NeverVRF) 
Instance details

Defined in Cardano.Crypto.VRF.NeverUsed

Methods

noThunks ∷ Context → VerKeyVRF NeverVRF → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → VerKeyVRF NeverVRF → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (VerKeyVRF NeverVRF) → String Source #

NoThunks (VerKeyVRF SimpleVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Simple

Methods

noThunks ∷ Context → VerKeyVRF SimpleVRF → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → VerKeyVRF SimpleVRF → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (VerKeyVRF SimpleVRF) → String Source #

NoThunks (VerKeyVRF PraosVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Praos

Methods

noThunks ∷ Context → VerKeyVRF PraosVRF → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → VerKeyVRF PraosVRF → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (VerKeyVRF PraosVRF) → String Source #

NoThunks (VerKeyVRF PraosBatchCompatVRF) 
Instance details

Defined in Cardano.Crypto.VRF.PraosBatchCompat

Methods

noThunks ∷ Context → VerKeyVRF PraosBatchCompatVRF → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → VerKeyVRF PraosBatchCompatVRF → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (VerKeyVRF PraosBatchCompatVRF) → String Source #

NoThunks (VerKeyVRF FakeVRF) Source # 
Instance details

Defined in Test.Cardano.Protocol.Crypto.VRF.Fake

Methods

noThunks ∷ Context → VerKeyVRF FakeVRF → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → VerKeyVRF FakeVRF → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (VerKeyVRF FakeVRF) → String Source #

newtype VerKeyVRF MockVRF 
Instance details

Defined in Cardano.Crypto.VRF.Mock

newtype VerKeyVRF MockVRF = VerKeyMockVRF Word64
data VerKeyVRF NeverVRF 
Instance details

Defined in Cardano.Crypto.VRF.NeverUsed

data VerKeyVRF NeverVRF = NeverUsedVerKeyVRF
newtype VerKeyVRF SimpleVRF 
Instance details

Defined in Cardano.Crypto.VRF.Simple

newtype VerKeyVRF SimpleVRF = VerKeySimpleVRF Point
newtype VerKeyVRF PraosVRF 
Instance details

Defined in Cardano.Crypto.VRF.Praos

newtype VerKeyVRF PraosVRF = VerKeyPraosVRF VerKey
newtype VerKeyVRF PraosBatchCompatVRF 
Instance details

Defined in Cardano.Crypto.VRF.PraosBatchCompat

newtype VerKeyVRF PraosBatchCompatVRF = VerKeyPraosBatchCompatVRF VerKey
newtype VerKeyVRF FakeVRF Source # 
Instance details

Defined in Test.Cardano.Protocol.Crypto.VRF.Fake

newtype VerKeyVRF FakeVRF = VerKeyFakeVRF Word64
type Rep (VerKeyVRF MockVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Mock

type Rep (VerKeyVRF MockVRF) = D1 ('MetaData "VerKeyVRF" "Cardano.Crypto.VRF.Mock" "cardano-crypto-class-2.2.3.2-3acfd49d25228918dd4fd2bfd97b6bfe65fa81f2e017d3c3cbd4186684201a31" 'True) (C1 ('MetaCons "VerKeyMockVRF" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))
type Rep (VerKeyVRF NeverVRF) 
Instance details

Defined in Cardano.Crypto.VRF.NeverUsed

type Rep (VerKeyVRF NeverVRF) = D1 ('MetaData "VerKeyVRF" "Cardano.Crypto.VRF.NeverUsed" "cardano-crypto-class-2.2.3.2-3acfd49d25228918dd4fd2bfd97b6bfe65fa81f2e017d3c3cbd4186684201a31" 'False) (C1 ('MetaCons "NeverUsedVerKeyVRF" 'PrefixI 'False) (U1 ∷ Type → Type))
type Rep (VerKeyVRF SimpleVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Simple

type Rep (VerKeyVRF SimpleVRF) = D1 ('MetaData "VerKeyVRF" "Cardano.Crypto.VRF.Simple" "cardano-crypto-class-2.2.3.2-3acfd49d25228918dd4fd2bfd97b6bfe65fa81f2e017d3c3cbd4186684201a31" 'True) (C1 ('MetaCons "VerKeySimpleVRF" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Point)))
type Rep (VerKeyVRF PraosVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Praos

type Rep (VerKeyVRF PraosVRF) = D1 ('MetaData "VerKeyVRF" "Cardano.Crypto.VRF.Praos" "cardano-crypto-praos-2.2.1.1-2275e7e3c2e97a9666ff366bbea2b650d6ff9b482b55d997f510cbdff8864068" 'True) (C1 ('MetaCons "VerKeyPraosVRF" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 VerKey)))
type Rep (VerKeyVRF PraosBatchCompatVRF) 
Instance details

Defined in Cardano.Crypto.VRF.PraosBatchCompat

type Rep (VerKeyVRF PraosBatchCompatVRF) = D1 ('MetaData "VerKeyVRF" "Cardano.Crypto.VRF.PraosBatchCompat" "cardano-crypto-praos-2.2.1.1-2275e7e3c2e97a9666ff366bbea2b650d6ff9b482b55d997f510cbdff8864068" 'True) (C1 ('MetaCons "VerKeyPraosBatchCompatVRF" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 VerKey)))
type Rep (VerKeyVRF FakeVRF) Source # 
Instance details

Defined in Test.Cardano.Protocol.Crypto.VRF.Fake

type Rep (VerKeyVRF FakeVRF) = D1 ('MetaData "VerKeyVRF" "Test.Cardano.Protocol.Crypto.VRF.Fake" "cardano-protocol-tpraos-1.5.0.0-inplace-testlib" 'True) (C1 ('MetaCons "VerKeyFakeVRF" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

data family SignKeyVRF v Source #

Instances

Instances details
VRFAlgorithm v ⇒ Arbitrary (SignKeyVRF v) 
Instance details

Defined in Test.Crypto.VRF

Methods

arbitrary ∷ Gen (SignKeyVRF v) Source #

shrink ∷ SignKeyVRF v → [SignKeyVRF v] Source #

FromCBOR (SignKeyVRF MockVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Mock

Methods

fromCBOR ∷ Decoder s (SignKeyVRF MockVRF) Source #

label ∷ Proxy (SignKeyVRF MockVRF) → Text Source #

FromCBOR (SignKeyVRF SimpleVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Simple

Methods

fromCBOR ∷ Decoder s (SignKeyVRF SimpleVRF) Source #

label ∷ Proxy (SignKeyVRF SimpleVRF) → Text Source #

FromCBOR (SignKeyVRF PraosVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Praos

Methods

fromCBOR ∷ Decoder s (SignKeyVRF PraosVRF) Source #

label ∷ Proxy (SignKeyVRF PraosVRF) → Text Source #

FromCBOR (SignKeyVRF PraosBatchCompatVRF) 
Instance details

Defined in Cardano.Crypto.VRF.PraosBatchCompat

Methods

fromCBOR ∷ Decoder s (SignKeyVRF PraosBatchCompatVRF) Source #

label ∷ Proxy (SignKeyVRF PraosBatchCompatVRF) → Text Source #

ToCBOR (SignKeyVRF MockVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Mock

Methods

toCBOR ∷ SignKeyVRF MockVRF → Encoding 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) 
Instance details

Defined in Cardano.Crypto.VRF.Simple

Methods

toCBOR ∷ SignKeyVRF SimpleVRF → Encoding 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 #

ToCBOR (SignKeyVRF PraosVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Praos

Methods

toCBOR ∷ SignKeyVRF PraosVRF → Encoding Source #

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

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

ToCBOR (SignKeyVRF PraosBatchCompatVRF) 
Instance details

Defined in Cardano.Crypto.VRF.PraosBatchCompat

Methods

toCBOR ∷ SignKeyVRF PraosBatchCompatVRF → Encoding Source #

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

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

DecCBOR (SignKeyVRF MockVRF) 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

Methods

decCBOR ∷ Decoder s (SignKeyVRF MockVRF) Source #

dropCBOR ∷ Proxy (SignKeyVRF MockVRF) → Decoder s () Source #

label ∷ Proxy (SignKeyVRF MockVRF) → Text Source #

DecCBOR (SignKeyVRF SimpleVRF) 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

Methods

decCBOR ∷ Decoder s (SignKeyVRF SimpleVRF) Source #

dropCBOR ∷ Proxy (SignKeyVRF SimpleVRF) → Decoder s () Source #

label ∷ Proxy (SignKeyVRF SimpleVRF) → Text Source #

DecCBOR (SignKeyVRF PraosVRF) 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

Methods

decCBOR ∷ Decoder s (SignKeyVRF PraosVRF) Source #

dropCBOR ∷ Proxy (SignKeyVRF PraosVRF) → Decoder s () Source #

label ∷ Proxy (SignKeyVRF PraosVRF) → Text Source #

DecCBOR (SignKeyVRF FakeVRF) Source # 
Instance details

Defined in Test.Cardano.Protocol.Crypto.VRF.Fake

Methods

decCBOR ∷ Decoder s (SignKeyVRF FakeVRF) Source #

dropCBOR ∷ Proxy (SignKeyVRF FakeVRF) → Decoder s () Source #

label ∷ Proxy (SignKeyVRF FakeVRF) → Text Source #

EncCBOR (SignKeyVRF MockVRF) 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ SignKeyVRF MockVRF → Encoding Source #

EncCBOR (SignKeyVRF SimpleVRF) 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ SignKeyVRF SimpleVRF → Encoding Source #

EncCBOR (SignKeyVRF PraosVRF) 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ SignKeyVRF PraosVRF → Encoding Source #

EncCBOR (SignKeyVRF FakeVRF) Source # 
Instance details

Defined in Test.Cardano.Protocol.Crypto.VRF.Fake

Methods

encCBOR ∷ SignKeyVRF FakeVRF → Encoding Source #

NFData (SignKeyVRF SimpleVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Simple

Methods

rnf ∷ SignKeyVRF SimpleVRF → () #

NFData (SignKeyVRF PraosVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Praos

Methods

rnf ∷ SignKeyVRF PraosVRF → () #

NFData (SignKeyVRF PraosBatchCompatVRF) 
Instance details

Defined in Cardano.Crypto.VRF.PraosBatchCompat

Methods

rnf ∷ SignKeyVRF PraosBatchCompatVRF → () #

Generic (SignKeyVRF MockVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Mock

Associated Types

type Rep (SignKeyVRF MockVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Mock

type Rep (SignKeyVRF MockVRF) = D1 ('MetaData "SignKeyVRF" "Cardano.Crypto.VRF.Mock" "cardano-crypto-class-2.2.3.2-3acfd49d25228918dd4fd2bfd97b6bfe65fa81f2e017d3c3cbd4186684201a31" 'True) (C1 ('MetaCons "SignKeyMockVRF" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

Methods

from ∷ SignKeyVRF MockVRF → Rep (SignKeyVRF MockVRF) x #

to ∷ Rep (SignKeyVRF MockVRF) x → SignKeyVRF MockVRF #

Generic (SignKeyVRF NeverVRF) 
Instance details

Defined in Cardano.Crypto.VRF.NeverUsed

Associated Types

type Rep (SignKeyVRF NeverVRF) 
Instance details

Defined in Cardano.Crypto.VRF.NeverUsed

type Rep (SignKeyVRF NeverVRF) = D1 ('MetaData "SignKeyVRF" "Cardano.Crypto.VRF.NeverUsed" "cardano-crypto-class-2.2.3.2-3acfd49d25228918dd4fd2bfd97b6bfe65fa81f2e017d3c3cbd4186684201a31" 'False) (C1 ('MetaCons "NeverUsedSignKeyVRF" 'PrefixI 'False) (U1 ∷ Type → Type))

Methods

from ∷ SignKeyVRF NeverVRF → Rep (SignKeyVRF NeverVRF) x #

to ∷ Rep (SignKeyVRF NeverVRF) x → SignKeyVRF NeverVRF #

Generic (SignKeyVRF SimpleVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Simple

Associated Types

type Rep (SignKeyVRF SimpleVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Simple

type Rep (SignKeyVRF SimpleVRF) = D1 ('MetaData "SignKeyVRF" "Cardano.Crypto.VRF.Simple" "cardano-crypto-class-2.2.3.2-3acfd49d25228918dd4fd2bfd97b6bfe65fa81f2e017d3c3cbd4186684201a31" 'True) (C1 ('MetaCons "SignKeySimpleVRF" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PrivateNumber)))

Methods

from ∷ SignKeyVRF SimpleVRF → Rep (SignKeyVRF SimpleVRF) x #

to ∷ Rep (SignKeyVRF SimpleVRF) x → SignKeyVRF SimpleVRF #

Generic (SignKeyVRF PraosVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Praos

Associated Types

type Rep (SignKeyVRF PraosVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Praos

type Rep (SignKeyVRF PraosVRF) = D1 ('MetaData "SignKeyVRF" "Cardano.Crypto.VRF.Praos" "cardano-crypto-praos-2.2.1.1-2275e7e3c2e97a9666ff366bbea2b650d6ff9b482b55d997f510cbdff8864068" 'True) (C1 ('MetaCons "SignKeyPraosVRF" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SignKey)))

Methods

from ∷ SignKeyVRF PraosVRF → Rep (SignKeyVRF PraosVRF) x #

to ∷ Rep (SignKeyVRF PraosVRF) x → SignKeyVRF PraosVRF #

Generic (SignKeyVRF PraosBatchCompatVRF) 
Instance details

Defined in Cardano.Crypto.VRF.PraosBatchCompat

Associated Types

type Rep (SignKeyVRF PraosBatchCompatVRF) 
Instance details

Defined in Cardano.Crypto.VRF.PraosBatchCompat

type Rep (SignKeyVRF PraosBatchCompatVRF) = D1 ('MetaData "SignKeyVRF" "Cardano.Crypto.VRF.PraosBatchCompat" "cardano-crypto-praos-2.2.1.1-2275e7e3c2e97a9666ff366bbea2b650d6ff9b482b55d997f510cbdff8864068" 'True) (C1 ('MetaCons "SignKeyPraosBatchCompatVRF" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SignKey)))

Methods

from ∷ SignKeyVRF PraosBatchCompatVRF → Rep (SignKeyVRF PraosBatchCompatVRF) x #

to ∷ Rep (SignKeyVRF PraosBatchCompatVRF) x → SignKeyVRF PraosBatchCompatVRF #

Generic (SignKeyVRF FakeVRF) Source # 
Instance details

Defined in Test.Cardano.Protocol.Crypto.VRF.Fake

Associated Types

type Rep (SignKeyVRF FakeVRF) 
Instance details

Defined in Test.Cardano.Protocol.Crypto.VRF.Fake

type Rep (SignKeyVRF FakeVRF) = D1 ('MetaData "SignKeyVRF" "Test.Cardano.Protocol.Crypto.VRF.Fake" "cardano-protocol-tpraos-1.5.0.0-inplace-testlib" 'True) (C1 ('MetaCons "SignKeyFakeVRF" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

Methods

from ∷ SignKeyVRF FakeVRF → Rep (SignKeyVRF FakeVRF) x #

to ∷ Rep (SignKeyVRF FakeVRF) x → SignKeyVRF FakeVRF #

Show (SignKeyVRF MockVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Mock

Methods

showsPrec ∷ Int → SignKeyVRF MockVRF → ShowS #

show ∷ SignKeyVRF MockVRF → String #

showList ∷ [SignKeyVRF MockVRF] → ShowS #

Show (SignKeyVRF NeverVRF) 
Instance details

Defined in Cardano.Crypto.VRF.NeverUsed

Methods

showsPrec ∷ Int → SignKeyVRF NeverVRF → ShowS #

show ∷ SignKeyVRF NeverVRF → String #

showList ∷ [SignKeyVRF NeverVRF] → ShowS #

Show (SignKeyVRF SimpleVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Simple

Methods

showsPrec ∷ Int → SignKeyVRF SimpleVRF → ShowS #

show ∷ SignKeyVRF SimpleVRF → String #

showList ∷ [SignKeyVRF SimpleVRF] → ShowS #

Show (SignKeyVRF PraosVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Praos

Methods

showsPrec ∷ Int → SignKeyVRF PraosVRF → ShowS #

show ∷ SignKeyVRF PraosVRF → String #

showList ∷ [SignKeyVRF PraosVRF] → ShowS #

Show (SignKeyVRF PraosBatchCompatVRF) 
Instance details

Defined in Cardano.Crypto.VRF.PraosBatchCompat

Methods

showsPrec ∷ Int → SignKeyVRF PraosBatchCompatVRF → ShowS #

show ∷ SignKeyVRF PraosBatchCompatVRF → String #

showList ∷ [SignKeyVRF PraosBatchCompatVRF] → ShowS #

Show (SignKeyVRF FakeVRF) Source # 
Instance details

Defined in Test.Cardano.Protocol.Crypto.VRF.Fake

Methods

showsPrec ∷ Int → SignKeyVRF FakeVRF → ShowS #

show ∷ SignKeyVRF FakeVRF → String #

showList ∷ [SignKeyVRF FakeVRF] → ShowS #

Eq (SignKeyVRF MockVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Mock

Methods

(==) ∷ SignKeyVRF MockVRF → SignKeyVRF MockVRF → Bool #

(/=) ∷ SignKeyVRF MockVRF → SignKeyVRF MockVRF → Bool #

Eq (SignKeyVRF NeverVRF) 
Instance details

Defined in Cardano.Crypto.VRF.NeverUsed

Methods

(==) ∷ SignKeyVRF NeverVRF → SignKeyVRF NeverVRF → Bool #

(/=) ∷ SignKeyVRF NeverVRF → SignKeyVRF NeverVRF → Bool #

Eq (SignKeyVRF SimpleVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Simple

Methods

(==) ∷ SignKeyVRF SimpleVRF → SignKeyVRF SimpleVRF → Bool #

(/=) ∷ SignKeyVRF SimpleVRF → SignKeyVRF SimpleVRF → Bool #

Eq (SignKeyVRF PraosVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Praos

Methods

(==) ∷ SignKeyVRF PraosVRF → SignKeyVRF PraosVRF → Bool #

(/=) ∷ SignKeyVRF PraosVRF → SignKeyVRF PraosVRF → Bool #

Eq (SignKeyVRF PraosBatchCompatVRF) 
Instance details

Defined in Cardano.Crypto.VRF.PraosBatchCompat

Methods

(==) ∷ SignKeyVRF PraosBatchCompatVRF → SignKeyVRF PraosBatchCompatVRF → Bool #

(/=) ∷ SignKeyVRF PraosBatchCompatVRF → SignKeyVRF PraosBatchCompatVRF → Bool #

Eq (SignKeyVRF FakeVRF) Source # 
Instance details

Defined in Test.Cardano.Protocol.Crypto.VRF.Fake

Methods

(==) ∷ SignKeyVRF FakeVRF → SignKeyVRF FakeVRF → Bool #

(/=) ∷ SignKeyVRF FakeVRF → SignKeyVRF FakeVRF → Bool #

Ord (SignKeyVRF MockVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Mock

Methods

compare ∷ SignKeyVRF MockVRF → SignKeyVRF MockVRF → Ordering #

(<) ∷ SignKeyVRF MockVRF → SignKeyVRF MockVRF → Bool #

(<=) ∷ SignKeyVRF MockVRF → SignKeyVRF MockVRF → Bool #

(>) ∷ SignKeyVRF MockVRF → SignKeyVRF MockVRF → Bool #

(>=) ∷ SignKeyVRF MockVRF → SignKeyVRF MockVRF → Bool #

max ∷ SignKeyVRF MockVRF → SignKeyVRF MockVRF → SignKeyVRF MockVRF #

min ∷ SignKeyVRF MockVRF → SignKeyVRF MockVRF → SignKeyVRF MockVRF #

Ord (SignKeyVRF FakeVRF) Source # 
Instance details

Defined in Test.Cardano.Protocol.Crypto.VRF.Fake

Methods

compare ∷ SignKeyVRF FakeVRF → SignKeyVRF FakeVRF → Ordering #

(<) ∷ SignKeyVRF FakeVRF → SignKeyVRF FakeVRF → Bool #

(<=) ∷ SignKeyVRF FakeVRF → SignKeyVRF FakeVRF → Bool #

(>) ∷ SignKeyVRF FakeVRF → SignKeyVRF FakeVRF → Bool #

(>=) ∷ SignKeyVRF FakeVRF → SignKeyVRF FakeVRF → Bool #

max ∷ SignKeyVRF FakeVRF → SignKeyVRF FakeVRF → SignKeyVRF FakeVRF #

min ∷ SignKeyVRF FakeVRF → SignKeyVRF FakeVRF → SignKeyVRF FakeVRF #

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

Defined in Cardano.Crypto.VRF.Class

Methods

compare ∷ SignKeyVRF v → SignKeyVRF v → Ordering #

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

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

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

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

max ∷ SignKeyVRF v → SignKeyVRF v → SignKeyVRF v #

min ∷ SignKeyVRF v → SignKeyVRF v → SignKeyVRF v #

NoThunks (SignKeyVRF MockVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Mock

Methods

noThunks ∷ Context → SignKeyVRF MockVRF → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → SignKeyVRF MockVRF → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (SignKeyVRF MockVRF) → String Source #

NoThunks (SignKeyVRF NeverVRF) 
Instance details

Defined in Cardano.Crypto.VRF.NeverUsed

Methods

noThunks ∷ Context → SignKeyVRF NeverVRF → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → SignKeyVRF NeverVRF → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (SignKeyVRF NeverVRF) → String Source #

NoThunks (SignKeyVRF SimpleVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Simple

Methods

noThunks ∷ Context → SignKeyVRF SimpleVRF → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → SignKeyVRF SimpleVRF → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (SignKeyVRF SimpleVRF) → String Source #

NoThunks (SignKeyVRF PraosVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Praos

Methods

noThunks ∷ Context → SignKeyVRF PraosVRF → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → SignKeyVRF PraosVRF → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (SignKeyVRF PraosVRF) → String Source #

NoThunks (SignKeyVRF PraosBatchCompatVRF) 
Instance details

Defined in Cardano.Crypto.VRF.PraosBatchCompat

Methods

noThunks ∷ Context → SignKeyVRF PraosBatchCompatVRF → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → SignKeyVRF PraosBatchCompatVRF → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (SignKeyVRF PraosBatchCompatVRF) → String Source #

NoThunks (SignKeyVRF FakeVRF) Source # 
Instance details

Defined in Test.Cardano.Protocol.Crypto.VRF.Fake

Methods

noThunks ∷ Context → SignKeyVRF FakeVRF → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → SignKeyVRF FakeVRF → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (SignKeyVRF FakeVRF) → String Source #

newtype SignKeyVRF MockVRF 
Instance details

Defined in Cardano.Crypto.VRF.Mock

newtype SignKeyVRF MockVRF = SignKeyMockVRF Word64
data SignKeyVRF NeverVRF 
Instance details

Defined in Cardano.Crypto.VRF.NeverUsed

data SignKeyVRF NeverVRF = NeverUsedSignKeyVRF
newtype SignKeyVRF SimpleVRF 
Instance details

Defined in Cardano.Crypto.VRF.Simple

newtype SignKeyVRF SimpleVRF = SignKeySimpleVRF PrivateNumber
newtype SignKeyVRF PraosVRF 
Instance details

Defined in Cardano.Crypto.VRF.Praos

newtype SignKeyVRF PraosVRF = SignKeyPraosVRF SignKey
newtype SignKeyVRF PraosBatchCompatVRF 
Instance details

Defined in Cardano.Crypto.VRF.PraosBatchCompat

newtype SignKeyVRF PraosBatchCompatVRF = SignKeyPraosBatchCompatVRF SignKey
newtype SignKeyVRF FakeVRF Source # 
Instance details

Defined in Test.Cardano.Protocol.Crypto.VRF.Fake

newtype SignKeyVRF FakeVRF = SignKeyFakeVRF Word64
type Rep (SignKeyVRF MockVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Mock

type Rep (SignKeyVRF MockVRF) = D1 ('MetaData "SignKeyVRF" "Cardano.Crypto.VRF.Mock" "cardano-crypto-class-2.2.3.2-3acfd49d25228918dd4fd2bfd97b6bfe65fa81f2e017d3c3cbd4186684201a31" 'True) (C1 ('MetaCons "SignKeyMockVRF" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))
type Rep (SignKeyVRF NeverVRF) 
Instance details

Defined in Cardano.Crypto.VRF.NeverUsed

type Rep (SignKeyVRF NeverVRF) = D1 ('MetaData "SignKeyVRF" "Cardano.Crypto.VRF.NeverUsed" "cardano-crypto-class-2.2.3.2-3acfd49d25228918dd4fd2bfd97b6bfe65fa81f2e017d3c3cbd4186684201a31" 'False) (C1 ('MetaCons "NeverUsedSignKeyVRF" 'PrefixI 'False) (U1 ∷ Type → Type))
type Rep (SignKeyVRF SimpleVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Simple

type Rep (SignKeyVRF SimpleVRF) = D1 ('MetaData "SignKeyVRF" "Cardano.Crypto.VRF.Simple" "cardano-crypto-class-2.2.3.2-3acfd49d25228918dd4fd2bfd97b6bfe65fa81f2e017d3c3cbd4186684201a31" 'True) (C1 ('MetaCons "SignKeySimpleVRF" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PrivateNumber)))
type Rep (SignKeyVRF PraosVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Praos

type Rep (SignKeyVRF PraosVRF) = D1 ('MetaData "SignKeyVRF" "Cardano.Crypto.VRF.Praos" "cardano-crypto-praos-2.2.1.1-2275e7e3c2e97a9666ff366bbea2b650d6ff9b482b55d997f510cbdff8864068" 'True) (C1 ('MetaCons "SignKeyPraosVRF" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SignKey)))
type Rep (SignKeyVRF PraosBatchCompatVRF) 
Instance details

Defined in Cardano.Crypto.VRF.PraosBatchCompat

type Rep (SignKeyVRF PraosBatchCompatVRF) = D1 ('MetaData "SignKeyVRF" "Cardano.Crypto.VRF.PraosBatchCompat" "cardano-crypto-praos-2.2.1.1-2275e7e3c2e97a9666ff366bbea2b650d6ff9b482b55d997f510cbdff8864068" 'True) (C1 ('MetaCons "SignKeyPraosBatchCompatVRF" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SignKey)))
type Rep (SignKeyVRF FakeVRF) Source # 
Instance details

Defined in Test.Cardano.Protocol.Crypto.VRF.Fake

type Rep (SignKeyVRF FakeVRF) = D1 ('MetaData "SignKeyVRF" "Test.Cardano.Protocol.Crypto.VRF.Fake" "cardano-protocol-tpraos-1.5.0.0-inplace-testlib" 'True) (C1 ('MetaCons "SignKeyFakeVRF" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

data WithResult a Source #

Constructors

WithResult !a !Word64 

Instances

Instances details
Show a ⇒ Show (WithResult a) Source # 
Instance details

Defined in Test.Cardano.Protocol.Crypto.VRF.Fake

Methods

showsPrec ∷ Int → WithResult a → ShowS #

show ∷ WithResult a → String #

showList ∷ [WithResult a] → ShowS #

Eq a ⇒ Eq (WithResult a) Source # 
Instance details

Defined in Test.Cardano.Protocol.Crypto.VRF.Fake

Methods

(==) ∷ WithResult a → WithResult a → Bool #

(/=) ∷ WithResult a → WithResult a → Bool #