Safe Haskell	Safe-Inferred
Language	Haskell2010

Test.Cardano.Protocol.Crypto.VRF.Fake

Description

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

Synopsis

newtype NatNonce = NatNonce Natural
data FakeVRF
data family VerKeyVRF v
data family SignKeyVRF v
data WithResult a = WithResult !a !Word64

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 data VerKeyVRF FakeVRF Source # data SignKeyVRF FakeVRF Source # data CertVRF FakeVRF Source # type ContextVRF FakeVRF Source # type Signable FakeVRF ∷ Type → Constraint Source # 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 #
Generic (CertVRF FakeVRF) Source #
Instance details Defined in Test.Cardano.Protocol.Crypto.VRF.Fake Associated Types type Rep (CertVRF FakeVRF) ∷ Type → Type Source # Methods from ∷ CertVRF FakeVRF → Rep (CertVRF FakeVRF) x Source # to ∷ Rep (CertVRF FakeVRF) x → CertVRF FakeVRF Source #
Generic (SignKeyVRF FakeVRF) Source #
Instance details Defined in Test.Cardano.Protocol.Crypto.VRF.Fake Associated Types type Rep (SignKeyVRF FakeVRF) ∷ Type → Type Source # Methods from ∷ SignKeyVRF FakeVRF → Rep (SignKeyVRF FakeVRF) x Source # to ∷ Rep (SignKeyVRF FakeVRF) x → SignKeyVRF FakeVRF Source #
Generic (VerKeyVRF FakeVRF) Source #
Instance details Defined in Test.Cardano.Protocol.Crypto.VRF.Fake Associated Types type Rep (VerKeyVRF FakeVRF) ∷ Type → Type Source # Methods from ∷ VerKeyVRF FakeVRF → Rep (VerKeyVRF FakeVRF) x Source # to ∷ Rep (VerKeyVRF FakeVRF) x → VerKeyVRF FakeVRF Source #
Show (CertVRF FakeVRF) Source #
Instance details Defined in Test.Cardano.Protocol.Crypto.VRF.Fake Methods showsPrec ∷ Int → CertVRF FakeVRF → ShowS Source # show ∷ CertVRF FakeVRF → String Source # showList ∷ [CertVRF FakeVRF] → ShowS Source #
Show (SignKeyVRF FakeVRF) Source #
Instance details Defined in Test.Cardano.Protocol.Crypto.VRF.Fake Methods showsPrec ∷ Int → SignKeyVRF FakeVRF → ShowS Source # show ∷ SignKeyVRF FakeVRF → String Source # showList ∷ [SignKeyVRF FakeVRF] → ShowS Source #
Show (VerKeyVRF FakeVRF) Source #
Instance details Defined in Test.Cardano.Protocol.Crypto.VRF.Fake Methods showsPrec ∷ Int → VerKeyVRF FakeVRF → ShowS Source # show ∷ VerKeyVRF FakeVRF → String Source # showList ∷ [VerKeyVRF FakeVRF] → ShowS 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 # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (CertVRF FakeVRF) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [CertVRF FakeVRF] → Size Source #
EncCBOR (SignKeyVRF FakeVRF) Source #
Instance details Defined in Test.Cardano.Protocol.Crypto.VRF.Fake Methods encCBOR ∷ SignKeyVRF FakeVRF → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (SignKeyVRF FakeVRF) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [SignKeyVRF FakeVRF] → Size Source #
EncCBOR (VerKeyVRF FakeVRF) Source #
Instance details Defined in Test.Cardano.Protocol.Crypto.VRF.Fake Methods encCBOR ∷ VerKeyVRF FakeVRF → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (VerKeyVRF FakeVRF) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [VerKeyVRF FakeVRF] → Size Source #
Eq (CertVRF FakeVRF) Source #
Instance details Defined in Test.Cardano.Protocol.Crypto.VRF.Fake Methods (==) ∷ CertVRF FakeVRF → CertVRF FakeVRF → Bool Source # (/=) ∷ CertVRF FakeVRF → CertVRF FakeVRF → Bool Source #
Eq (SignKeyVRF FakeVRF) Source #
Instance details Defined in Test.Cardano.Protocol.Crypto.VRF.Fake Methods (==) ∷ SignKeyVRF FakeVRF → SignKeyVRF FakeVRF → Bool Source # (/=) ∷ SignKeyVRF FakeVRF → SignKeyVRF FakeVRF → Bool Source #
Eq (VerKeyVRF FakeVRF) Source #
Instance details Defined in Test.Cardano.Protocol.Crypto.VRF.Fake Methods (==) ∷ VerKeyVRF FakeVRF → VerKeyVRF FakeVRF → Bool Source # (/=) ∷ VerKeyVRF FakeVRF → VerKeyVRF FakeVRF → Bool Source #
Ord (CertVRF FakeVRF) Source #
Instance details Defined in Test.Cardano.Protocol.Crypto.VRF.Fake Methods compare ∷ CertVRF FakeVRF → CertVRF FakeVRF → Ordering Source # (<) ∷ CertVRF FakeVRF → CertVRF FakeVRF → Bool Source # (<=) ∷ CertVRF FakeVRF → CertVRF FakeVRF → Bool Source # (>) ∷ CertVRF FakeVRF → CertVRF FakeVRF → Bool Source # (>=) ∷ CertVRF FakeVRF → CertVRF FakeVRF → Bool Source # max ∷ CertVRF FakeVRF → CertVRF FakeVRF → CertVRF FakeVRF Source # min ∷ CertVRF FakeVRF → CertVRF FakeVRF → CertVRF FakeVRF Source #
Ord (SignKeyVRF FakeVRF) Source #
Instance details Defined in Test.Cardano.Protocol.Crypto.VRF.Fake Methods compare ∷ SignKeyVRF FakeVRF → SignKeyVRF FakeVRF → Ordering Source # (<) ∷ SignKeyVRF FakeVRF → SignKeyVRF FakeVRF → Bool Source # (<=) ∷ SignKeyVRF FakeVRF → SignKeyVRF FakeVRF → Bool Source # (>) ∷ SignKeyVRF FakeVRF → SignKeyVRF FakeVRF → Bool Source # (>=) ∷ SignKeyVRF FakeVRF → SignKeyVRF FakeVRF → Bool Source # max ∷ SignKeyVRF FakeVRF → SignKeyVRF FakeVRF → SignKeyVRF FakeVRF Source # min ∷ SignKeyVRF FakeVRF → SignKeyVRF FakeVRF → SignKeyVRF FakeVRF Source #
Ord (VerKeyVRF FakeVRF) Source #
Instance details Defined in Test.Cardano.Protocol.Crypto.VRF.Fake Methods compare ∷ VerKeyVRF FakeVRF → VerKeyVRF FakeVRF → Ordering Source # (<) ∷ VerKeyVRF FakeVRF → VerKeyVRF FakeVRF → Bool Source # (<=) ∷ VerKeyVRF FakeVRF → VerKeyVRF FakeVRF → Bool Source # (>) ∷ VerKeyVRF FakeVRF → VerKeyVRF FakeVRF → Bool Source # (>=) ∷ VerKeyVRF FakeVRF → VerKeyVRF FakeVRF → Bool Source # max ∷ VerKeyVRF FakeVRF → VerKeyVRF FakeVRF → VerKeyVRF FakeVRF Source # min ∷ VerKeyVRF FakeVRF → VerKeyVRF FakeVRF → VerKeyVRF FakeVRF Source #
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.3.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.3.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.3.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

Generic (VerKeyVRF MockVRF)
Instance details Defined in Cardano.Crypto.VRF.Mock Associated Types type Rep (VerKeyVRF MockVRF) ∷ Type → Type Source # Methods from ∷ VerKeyVRF MockVRF → Rep (VerKeyVRF MockVRF) x Source # to ∷ Rep (VerKeyVRF MockVRF) x → VerKeyVRF MockVRF Source #
Generic (VerKeyVRF NeverVRF)
Instance details Defined in Cardano.Crypto.VRF.NeverUsed Associated Types type Rep (VerKeyVRF NeverVRF) ∷ Type → Type Source # Methods from ∷ VerKeyVRF NeverVRF → Rep (VerKeyVRF NeverVRF) x Source # to ∷ Rep (VerKeyVRF NeverVRF) x → VerKeyVRF NeverVRF Source #
Generic (VerKeyVRF SimpleVRF)
Instance details Defined in Cardano.Crypto.VRF.Simple Associated Types type Rep (VerKeyVRF SimpleVRF) ∷ Type → Type Source # Methods from ∷ VerKeyVRF SimpleVRF → Rep (VerKeyVRF SimpleVRF) x Source # to ∷ Rep (VerKeyVRF SimpleVRF) x → VerKeyVRF SimpleVRF Source #
Generic (VerKeyVRF PraosVRF)
Instance details Defined in Cardano.Crypto.VRF.Praos Associated Types type Rep (VerKeyVRF PraosVRF) ∷ Type → Type Source # Methods from ∷ VerKeyVRF PraosVRF → Rep (VerKeyVRF PraosVRF) x Source # to ∷ Rep (VerKeyVRF PraosVRF) x → VerKeyVRF PraosVRF Source #
Generic (VerKeyVRF PraosBatchCompatVRF)
Instance details Defined in Cardano.Crypto.VRF.PraosBatchCompat Associated Types type Rep (VerKeyVRF PraosBatchCompatVRF) ∷ Type → Type Source # Methods from ∷ VerKeyVRF PraosBatchCompatVRF → Rep (VerKeyVRF PraosBatchCompatVRF) x Source # to ∷ Rep (VerKeyVRF PraosBatchCompatVRF) x → VerKeyVRF PraosBatchCompatVRF Source #
Generic (VerKeyVRF FakeVRF) Source #
Instance details Defined in Test.Cardano.Protocol.Crypto.VRF.Fake Associated Types type Rep (VerKeyVRF FakeVRF) ∷ Type → Type Source # Methods from ∷ VerKeyVRF FakeVRF → Rep (VerKeyVRF FakeVRF) x Source # to ∷ Rep (VerKeyVRF FakeVRF) x → VerKeyVRF FakeVRF Source #
Show (VerKeyVRF MockVRF)
Instance details Defined in Cardano.Crypto.VRF.Mock Methods showsPrec ∷ Int → VerKeyVRF MockVRF → ShowS Source # show ∷ VerKeyVRF MockVRF → String Source # showList ∷ [VerKeyVRF MockVRF] → ShowS Source #
Show (VerKeyVRF NeverVRF)
Instance details Defined in Cardano.Crypto.VRF.NeverUsed Methods showsPrec ∷ Int → VerKeyVRF NeverVRF → ShowS Source # show ∷ VerKeyVRF NeverVRF → String Source # showList ∷ [VerKeyVRF NeverVRF] → ShowS Source #
Show (VerKeyVRF SimpleVRF)
Instance details Defined in Cardano.Crypto.VRF.Simple Methods showsPrec ∷ Int → VerKeyVRF SimpleVRF → ShowS Source # show ∷ VerKeyVRF SimpleVRF → String Source # showList ∷ [VerKeyVRF SimpleVRF] → ShowS Source #
Show (VerKeyVRF PraosVRF)
Instance details Defined in Cardano.Crypto.VRF.Praos Methods showsPrec ∷ Int → VerKeyVRF PraosVRF → ShowS Source # show ∷ VerKeyVRF PraosVRF → String Source # showList ∷ [VerKeyVRF PraosVRF] → ShowS Source #
Show (VerKeyVRF PraosBatchCompatVRF)
Instance details Defined in Cardano.Crypto.VRF.PraosBatchCompat Methods showsPrec ∷ Int → VerKeyVRF PraosBatchCompatVRF → ShowS Source # show ∷ VerKeyVRF PraosBatchCompatVRF → String Source # showList ∷ [VerKeyVRF PraosBatchCompatVRF] → ShowS Source #
Show (VerKeyVRF FakeVRF) Source #
Instance details Defined in Test.Cardano.Protocol.Crypto.VRF.Fake Methods showsPrec ∷ Int → VerKeyVRF FakeVRF → ShowS Source # show ∷ VerKeyVRF FakeVRF → String Source # showList ∷ [VerKeyVRF FakeVRF] → ShowS 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 # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (VerKeyVRF MockVRF) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [VerKeyVRF MockVRF] → Size Source #
EncCBOR (VerKeyVRF SimpleVRF)
Instance details Defined in Cardano.Ledger.Binary.Encoding.EncCBOR Methods encCBOR ∷ VerKeyVRF SimpleVRF → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (VerKeyVRF SimpleVRF) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [VerKeyVRF SimpleVRF] → Size Source #
EncCBOR (VerKeyVRF PraosVRF)
Instance details Defined in Cardano.Ledger.Binary.Encoding.EncCBOR Methods encCBOR ∷ VerKeyVRF PraosVRF → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (VerKeyVRF PraosVRF) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [VerKeyVRF PraosVRF] → Size Source #
EncCBOR (VerKeyVRF FakeVRF) Source #
Instance details Defined in Test.Cardano.Protocol.Crypto.VRF.Fake Methods encCBOR ∷ VerKeyVRF FakeVRF → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (VerKeyVRF FakeVRF) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [VerKeyVRF FakeVRF] → Size Source #
NFData (VerKeyVRF SimpleVRF)
Instance details Defined in Cardano.Crypto.VRF.Simple Methods rnf ∷ VerKeyVRF SimpleVRF → () Source #
NFData (VerKeyVRF PraosVRF)
Instance details Defined in Cardano.Crypto.VRF.Praos Methods rnf ∷ VerKeyVRF PraosVRF → () Source #
NFData (VerKeyVRF PraosBatchCompatVRF)
Instance details Defined in Cardano.Crypto.VRF.PraosBatchCompat Methods rnf ∷ VerKeyVRF PraosBatchCompatVRF → () Source #
Eq (VerKeyVRF MockVRF)
Instance details Defined in Cardano.Crypto.VRF.Mock Methods (==) ∷ VerKeyVRF MockVRF → VerKeyVRF MockVRF → Bool Source # (/=) ∷ VerKeyVRF MockVRF → VerKeyVRF MockVRF → Bool Source #
Eq (VerKeyVRF NeverVRF)
Instance details Defined in Cardano.Crypto.VRF.NeverUsed Methods (==) ∷ VerKeyVRF NeverVRF → VerKeyVRF NeverVRF → Bool Source # (/=) ∷ VerKeyVRF NeverVRF → VerKeyVRF NeverVRF → Bool Source #
Eq (VerKeyVRF SimpleVRF)
Instance details Defined in Cardano.Crypto.VRF.Simple Methods (==) ∷ VerKeyVRF SimpleVRF → VerKeyVRF SimpleVRF → Bool Source # (/=) ∷ VerKeyVRF SimpleVRF → VerKeyVRF SimpleVRF → Bool Source #
Eq (VerKeyVRF PraosVRF)
Instance details Defined in Cardano.Crypto.VRF.Praos Methods (==) ∷ VerKeyVRF PraosVRF → VerKeyVRF PraosVRF → Bool Source # (/=) ∷ VerKeyVRF PraosVRF → VerKeyVRF PraosVRF → Bool Source #
Eq (VerKeyVRF PraosBatchCompatVRF)
Instance details Defined in Cardano.Crypto.VRF.PraosBatchCompat Methods (==) ∷ VerKeyVRF PraosBatchCompatVRF → VerKeyVRF PraosBatchCompatVRF → Bool Source # (/=) ∷ VerKeyVRF PraosBatchCompatVRF → VerKeyVRF PraosBatchCompatVRF → Bool Source #
Eq (VerKeyVRF FakeVRF) Source #
Instance details Defined in Test.Cardano.Protocol.Crypto.VRF.Fake Methods (==) ∷ VerKeyVRF FakeVRF → VerKeyVRF FakeVRF → Bool Source # (/=) ∷ VerKeyVRF FakeVRF → VerKeyVRF FakeVRF → Bool Source #
Ord (VerKeyVRF MockVRF)
Instance details Defined in Cardano.Crypto.VRF.Mock Methods compare ∷ VerKeyVRF MockVRF → VerKeyVRF MockVRF → Ordering Source # (<) ∷ VerKeyVRF MockVRF → VerKeyVRF MockVRF → Bool Source # (<=) ∷ VerKeyVRF MockVRF → VerKeyVRF MockVRF → Bool Source # (>) ∷ VerKeyVRF MockVRF → VerKeyVRF MockVRF → Bool Source # (>=) ∷ VerKeyVRF MockVRF → VerKeyVRF MockVRF → Bool Source # max ∷ VerKeyVRF MockVRF → VerKeyVRF MockVRF → VerKeyVRF MockVRF Source # min ∷ VerKeyVRF MockVRF → VerKeyVRF MockVRF → VerKeyVRF MockVRF Source #
Ord (VerKeyVRF FakeVRF) Source #
Instance details Defined in Test.Cardano.Protocol.Crypto.VRF.Fake Methods compare ∷ VerKeyVRF FakeVRF → VerKeyVRF FakeVRF → Ordering Source # (<) ∷ VerKeyVRF FakeVRF → VerKeyVRF FakeVRF → Bool Source # (<=) ∷ VerKeyVRF FakeVRF → VerKeyVRF FakeVRF → Bool Source # (>) ∷ VerKeyVRF FakeVRF → VerKeyVRF FakeVRF → Bool Source # (>=) ∷ VerKeyVRF FakeVRF → VerKeyVRF FakeVRF → Bool Source # max ∷ VerKeyVRF FakeVRF → VerKeyVRF FakeVRF → VerKeyVRF FakeVRF Source # min ∷ VerKeyVRF FakeVRF → VerKeyVRF FakeVRF → VerKeyVRF FakeVRF Source #
(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 Source # (<) ∷ VerKeyVRF v → VerKeyVRF v → Bool Source # (<=) ∷ VerKeyVRF v → VerKeyVRF v → Bool Source # (>) ∷ VerKeyVRF v → VerKeyVRF v → Bool Source # (>=) ∷ VerKeyVRF v → VerKeyVRF v → Bool Source # max ∷ VerKeyVRF v → VerKeyVRF v → VerKeyVRF v Source # min ∷ VerKeyVRF v → VerKeyVRF v → VerKeyVRF v Source #
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.1.5.0-fc0828bd2af85c38ba7498d7561562475ccb5e0877bbc755362c31425fd3a7fb" '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.1.5.0-fc0828bd2af85c38ba7498d7561562475ccb5e0877bbc755362c31425fd3a7fb" '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.1.5.0-fc0828bd2af85c38ba7498d7561562475ccb5e0877bbc755362c31425fd3a7fb" '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.1.2.0-8a2c884be10d2a34c261e01079b72de927820b6a0d23705aa7a6e54a4012c896" '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.1.2.0-8a2c884be10d2a34c261e01079b72de927820b6a0d23705aa7a6e54a4012c896" '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.3.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

Generic (SignKeyVRF MockVRF)
Instance details Defined in Cardano.Crypto.VRF.Mock Associated Types type Rep (SignKeyVRF MockVRF) ∷ Type → Type Source # Methods from ∷ SignKeyVRF MockVRF → Rep (SignKeyVRF MockVRF) x Source # to ∷ Rep (SignKeyVRF MockVRF) x → SignKeyVRF MockVRF Source #
Generic (SignKeyVRF NeverVRF)
Instance details Defined in Cardano.Crypto.VRF.NeverUsed Associated Types type Rep (SignKeyVRF NeverVRF) ∷ Type → Type Source # Methods from ∷ SignKeyVRF NeverVRF → Rep (SignKeyVRF NeverVRF) x Source # to ∷ Rep (SignKeyVRF NeverVRF) x → SignKeyVRF NeverVRF Source #
Generic (SignKeyVRF SimpleVRF)
Instance details Defined in Cardano.Crypto.VRF.Simple Associated Types type Rep (SignKeyVRF SimpleVRF) ∷ Type → Type Source # Methods from ∷ SignKeyVRF SimpleVRF → Rep (SignKeyVRF SimpleVRF) x Source # to ∷ Rep (SignKeyVRF SimpleVRF) x → SignKeyVRF SimpleVRF Source #
Generic (SignKeyVRF PraosVRF)
Instance details Defined in Cardano.Crypto.VRF.Praos Associated Types type Rep (SignKeyVRF PraosVRF) ∷ Type → Type Source # Methods from ∷ SignKeyVRF PraosVRF → Rep (SignKeyVRF PraosVRF) x Source # to ∷ Rep (SignKeyVRF PraosVRF) x → SignKeyVRF PraosVRF Source #
Generic (SignKeyVRF PraosBatchCompatVRF)
Instance details Defined in Cardano.Crypto.VRF.PraosBatchCompat Associated Types type Rep (SignKeyVRF PraosBatchCompatVRF) ∷ Type → Type Source # Methods from ∷ SignKeyVRF PraosBatchCompatVRF → Rep (SignKeyVRF PraosBatchCompatVRF) x Source # to ∷ Rep (SignKeyVRF PraosBatchCompatVRF) x → SignKeyVRF PraosBatchCompatVRF Source #
Generic (SignKeyVRF FakeVRF) Source #
Instance details Defined in Test.Cardano.Protocol.Crypto.VRF.Fake Associated Types type Rep (SignKeyVRF FakeVRF) ∷ Type → Type Source # Methods from ∷ SignKeyVRF FakeVRF → Rep (SignKeyVRF FakeVRF) x Source # to ∷ Rep (SignKeyVRF FakeVRF) x → SignKeyVRF FakeVRF Source #
Show (SignKeyVRF MockVRF)
Instance details Defined in Cardano.Crypto.VRF.Mock Methods showsPrec ∷ Int → SignKeyVRF MockVRF → ShowS Source # show ∷ SignKeyVRF MockVRF → String Source # showList ∷ [SignKeyVRF MockVRF] → ShowS Source #
Show (SignKeyVRF NeverVRF)
Instance details Defined in Cardano.Crypto.VRF.NeverUsed Methods showsPrec ∷ Int → SignKeyVRF NeverVRF → ShowS Source # show ∷ SignKeyVRF NeverVRF → String Source # showList ∷ [SignKeyVRF NeverVRF] → ShowS Source #
Show (SignKeyVRF SimpleVRF)
Instance details Defined in Cardano.Crypto.VRF.Simple Methods showsPrec ∷ Int → SignKeyVRF SimpleVRF → ShowS Source # show ∷ SignKeyVRF SimpleVRF → String Source # showList ∷ [SignKeyVRF SimpleVRF] → ShowS Source #
Show (SignKeyVRF PraosVRF)
Instance details Defined in Cardano.Crypto.VRF.Praos Methods showsPrec ∷ Int → SignKeyVRF PraosVRF → ShowS Source # show ∷ SignKeyVRF PraosVRF → String Source # showList ∷ [SignKeyVRF PraosVRF] → ShowS Source #
Show (SignKeyVRF PraosBatchCompatVRF)
Instance details Defined in Cardano.Crypto.VRF.PraosBatchCompat Methods showsPrec ∷ Int → SignKeyVRF PraosBatchCompatVRF → ShowS Source # show ∷ SignKeyVRF PraosBatchCompatVRF → String Source # showList ∷ [SignKeyVRF PraosBatchCompatVRF] → ShowS Source #
Show (SignKeyVRF FakeVRF) Source #
Instance details Defined in Test.Cardano.Protocol.Crypto.VRF.Fake Methods showsPrec ∷ Int → SignKeyVRF FakeVRF → ShowS Source # show ∷ SignKeyVRF FakeVRF → String Source # showList ∷ [SignKeyVRF FakeVRF] → ShowS 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 # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (SignKeyVRF MockVRF) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [SignKeyVRF MockVRF] → Size Source #
EncCBOR (SignKeyVRF SimpleVRF)
Instance details Defined in Cardano.Ledger.Binary.Encoding.EncCBOR Methods encCBOR ∷ SignKeyVRF SimpleVRF → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (SignKeyVRF SimpleVRF) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [SignKeyVRF SimpleVRF] → Size Source #
EncCBOR (SignKeyVRF PraosVRF)
Instance details Defined in Cardano.Ledger.Binary.Encoding.EncCBOR Methods encCBOR ∷ SignKeyVRF PraosVRF → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (SignKeyVRF PraosVRF) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [SignKeyVRF PraosVRF] → Size Source #
EncCBOR (SignKeyVRF FakeVRF) Source #
Instance details Defined in Test.Cardano.Protocol.Crypto.VRF.Fake Methods encCBOR ∷ SignKeyVRF FakeVRF → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (SignKeyVRF FakeVRF) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [SignKeyVRF FakeVRF] → Size Source #
NFData (SignKeyVRF SimpleVRF)
Instance details Defined in Cardano.Crypto.VRF.Simple Methods rnf ∷ SignKeyVRF SimpleVRF → () Source #
NFData (SignKeyVRF PraosVRF)
Instance details Defined in Cardano.Crypto.VRF.Praos Methods rnf ∷ SignKeyVRF PraosVRF → () Source #
NFData (SignKeyVRF PraosBatchCompatVRF)
Instance details Defined in Cardano.Crypto.VRF.PraosBatchCompat Methods rnf ∷ SignKeyVRF PraosBatchCompatVRF → () Source #
Eq (SignKeyVRF MockVRF)
Instance details Defined in Cardano.Crypto.VRF.Mock Methods (==) ∷ SignKeyVRF MockVRF → SignKeyVRF MockVRF → Bool Source # (/=) ∷ SignKeyVRF MockVRF → SignKeyVRF MockVRF → Bool Source #
Eq (SignKeyVRF NeverVRF)
Instance details Defined in Cardano.Crypto.VRF.NeverUsed Methods (==) ∷ SignKeyVRF NeverVRF → SignKeyVRF NeverVRF → Bool Source # (/=) ∷ SignKeyVRF NeverVRF → SignKeyVRF NeverVRF → Bool Source #
Eq (SignKeyVRF SimpleVRF)
Instance details Defined in Cardano.Crypto.VRF.Simple Methods (==) ∷ SignKeyVRF SimpleVRF → SignKeyVRF SimpleVRF → Bool Source # (/=) ∷ SignKeyVRF SimpleVRF → SignKeyVRF SimpleVRF → Bool Source #
Eq (SignKeyVRF PraosVRF)
Instance details Defined in Cardano.Crypto.VRF.Praos Methods (==) ∷ SignKeyVRF PraosVRF → SignKeyVRF PraosVRF → Bool Source # (/=) ∷ SignKeyVRF PraosVRF → SignKeyVRF PraosVRF → Bool Source #
Eq (SignKeyVRF PraosBatchCompatVRF)
Instance details Defined in Cardano.Crypto.VRF.PraosBatchCompat Methods (==) ∷ SignKeyVRF PraosBatchCompatVRF → SignKeyVRF PraosBatchCompatVRF → Bool Source # (/=) ∷ SignKeyVRF PraosBatchCompatVRF → SignKeyVRF PraosBatchCompatVRF → Bool Source #
Eq (SignKeyVRF FakeVRF) Source #
Instance details Defined in Test.Cardano.Protocol.Crypto.VRF.Fake Methods (==) ∷ SignKeyVRF FakeVRF → SignKeyVRF FakeVRF → Bool Source # (/=) ∷ SignKeyVRF FakeVRF → SignKeyVRF FakeVRF → Bool Source #
Ord (SignKeyVRF MockVRF)
Instance details Defined in Cardano.Crypto.VRF.Mock Methods compare ∷ SignKeyVRF MockVRF → SignKeyVRF MockVRF → Ordering Source # (<) ∷ SignKeyVRF MockVRF → SignKeyVRF MockVRF → Bool Source # (<=) ∷ SignKeyVRF MockVRF → SignKeyVRF MockVRF → Bool Source # (>) ∷ SignKeyVRF MockVRF → SignKeyVRF MockVRF → Bool Source # (>=) ∷ SignKeyVRF MockVRF → SignKeyVRF MockVRF → Bool Source # max ∷ SignKeyVRF MockVRF → SignKeyVRF MockVRF → SignKeyVRF MockVRF Source # min ∷ SignKeyVRF MockVRF → SignKeyVRF MockVRF → SignKeyVRF MockVRF Source #
Ord (SignKeyVRF FakeVRF) Source #
Instance details Defined in Test.Cardano.Protocol.Crypto.VRF.Fake Methods compare ∷ SignKeyVRF FakeVRF → SignKeyVRF FakeVRF → Ordering Source # (<) ∷ SignKeyVRF FakeVRF → SignKeyVRF FakeVRF → Bool Source # (<=) ∷ SignKeyVRF FakeVRF → SignKeyVRF FakeVRF → Bool Source # (>) ∷ SignKeyVRF FakeVRF → SignKeyVRF FakeVRF → Bool Source # (>=) ∷ SignKeyVRF FakeVRF → SignKeyVRF FakeVRF → Bool Source # max ∷ SignKeyVRF FakeVRF → SignKeyVRF FakeVRF → SignKeyVRF FakeVRF Source # min ∷ SignKeyVRF FakeVRF → SignKeyVRF FakeVRF → SignKeyVRF FakeVRF Source #
(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 Source # (<) ∷ SignKeyVRF v → SignKeyVRF v → Bool Source # (<=) ∷ SignKeyVRF v → SignKeyVRF v → Bool Source # (>) ∷ SignKeyVRF v → SignKeyVRF v → Bool Source # (>=) ∷ SignKeyVRF v → SignKeyVRF v → Bool Source # max ∷ SignKeyVRF v → SignKeyVRF v → SignKeyVRF v Source # min ∷ SignKeyVRF v → SignKeyVRF v → SignKeyVRF v Source #
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.1.5.0-fc0828bd2af85c38ba7498d7561562475ccb5e0877bbc755362c31425fd3a7fb" '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.1.5.0-fc0828bd2af85c38ba7498d7561562475ccb5e0877bbc755362c31425fd3a7fb" '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.1.5.0-fc0828bd2af85c38ba7498d7561562475ccb5e0877bbc755362c31425fd3a7fb" '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.1.2.0-8a2c884be10d2a34c261e01079b72de927820b6a0d23705aa7a6e54a4012c896" '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.1.2.0-8a2c884be10d2a34c261e01079b72de927820b6a0d23705aa7a6e54a4012c896" '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.3.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 Source # show ∷ WithResult a → String Source # showList ∷ [WithResult a] → ShowS Source #
Eq a ⇒ Eq (WithResult a) Source #
Instance details Defined in Test.Cardano.Protocol.Crypto.VRF.Fake Methods (==) ∷ WithResult a → WithResult a → Bool Source # (/=) ∷ WithResult a → WithResult a → Bool Source #