Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Crypto.VRF.NeverUsed

Synopsis

data NeverVRF
data family VerKeyVRF v ∷ Type
data family SignKeyVRF v ∷ Type
data family CertVRF v ∷ Type

Documentation

data NeverVRF Source #

VRF not available

The type of keys and certificates is isomorphic to unit, but when actually trying to sign or verify something a runtime exception will be thrown.

Instances

Instances details

VRFAlgorithm NeverVRF Source #
Instance details Defined in Cardano.Crypto.VRF.NeverUsed Associated Types data VerKeyVRF NeverVRF Source # data SignKeyVRF NeverVRF Source # data CertVRF NeverVRF Source # type ContextVRF NeverVRF Source # type Signable NeverVRF ∷ Type → Constraint Source # Methods algorithmNameVRF ∷ proxy NeverVRF → String Source # deriveVerKeyVRF ∷ SignKeyVRF NeverVRF → VerKeyVRF NeverVRF Source # hashVerKeyVRF ∷ HashAlgorithm h ⇒ VerKeyVRF NeverVRF → Hash h (VerKeyVRF NeverVRF) Source # evalVRF ∷ (HasCallStack, Signable NeverVRF a) ⇒ ContextVRF NeverVRF → a → SignKeyVRF NeverVRF → (OutputVRF NeverVRF, CertVRF NeverVRF) Source # verifyVRF ∷ (HasCallStack, Signable NeverVRF a) ⇒ ContextVRF NeverVRF → VerKeyVRF NeverVRF → a → CertVRF NeverVRF → Maybe (OutputVRF NeverVRF) Source # genKeyVRF ∷ Seed → SignKeyVRF NeverVRF Source # genKeyPairVRF ∷ Seed → (SignKeyVRF NeverVRF, VerKeyVRF NeverVRF) Source # seedSizeVRF ∷ proxy NeverVRF → Word Source # sizeVerKeyVRF ∷ proxy NeverVRF → Word Source # sizeSignKeyVRF ∷ proxy NeverVRF → Word Source # sizeCertVRF ∷ proxy NeverVRF → Word Source # sizeOutputVRF ∷ proxy NeverVRF → Word Source # rawSerialiseVerKeyVRF ∷ VerKeyVRF NeverVRF → ByteString Source # rawSerialiseSignKeyVRF ∷ SignKeyVRF NeverVRF → ByteString Source # rawSerialiseCertVRF ∷ CertVRF NeverVRF → ByteString Source # rawDeserialiseVerKeyVRF ∷ ByteString → Maybe (VerKeyVRF NeverVRF) Source # rawDeserialiseSignKeyVRF ∷ ByteString → Maybe (SignKeyVRF NeverVRF) Source # rawDeserialiseCertVRF ∷ ByteString → Maybe (CertVRF NeverVRF) Source #
Generic (CertVRF NeverVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.NeverUsed Associated Types type Rep (CertVRF NeverVRF) ∷ Type → Type # Methods from ∷ CertVRF NeverVRF → Rep (CertVRF NeverVRF) x # to ∷ Rep (CertVRF NeverVRF) x → CertVRF NeverVRF #
Generic (SignKeyVRF NeverVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.NeverUsed Associated Types type Rep (SignKeyVRF NeverVRF) ∷ Type → Type # Methods from ∷ SignKeyVRF NeverVRF → Rep (SignKeyVRF NeverVRF) x # to ∷ Rep (SignKeyVRF NeverVRF) x → SignKeyVRF NeverVRF #
Generic (VerKeyVRF NeverVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.NeverUsed Associated Types type Rep (VerKeyVRF NeverVRF) ∷ Type → Type # Methods from ∷ VerKeyVRF NeverVRF → Rep (VerKeyVRF NeverVRF) x # to ∷ Rep (VerKeyVRF NeverVRF) x → VerKeyVRF NeverVRF #
Show (CertVRF NeverVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.NeverUsed Methods showsPrec ∷ Int → CertVRF NeverVRF → ShowS # show ∷ CertVRF NeverVRF → String # showList ∷ [CertVRF NeverVRF] → ShowS #
Show (SignKeyVRF NeverVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.NeverUsed Methods showsPrec ∷ Int → SignKeyVRF NeverVRF → ShowS # show ∷ SignKeyVRF NeverVRF → String # showList ∷ [SignKeyVRF NeverVRF] → ShowS #
Show (VerKeyVRF NeverVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.NeverUsed Methods showsPrec ∷ Int → VerKeyVRF NeverVRF → ShowS # show ∷ VerKeyVRF NeverVRF → String # showList ∷ [VerKeyVRF NeverVRF] → ShowS #
Eq (CertVRF NeverVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.NeverUsed Methods (==) ∷ CertVRF NeverVRF → CertVRF NeverVRF → Bool # (/=) ∷ CertVRF NeverVRF → CertVRF NeverVRF → Bool #
Eq (SignKeyVRF NeverVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.NeverUsed Methods (==) ∷ SignKeyVRF NeverVRF → SignKeyVRF NeverVRF → Bool # (/=) ∷ SignKeyVRF NeverVRF → SignKeyVRF NeverVRF → Bool #
Eq (VerKeyVRF NeverVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.NeverUsed Methods (==) ∷ VerKeyVRF NeverVRF → VerKeyVRF NeverVRF → Bool # (/=) ∷ VerKeyVRF NeverVRF → VerKeyVRF NeverVRF → Bool #
Ord (CertVRF NeverVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.NeverUsed Methods compare ∷ CertVRF NeverVRF → CertVRF NeverVRF → Ordering # (<) ∷ CertVRF NeverVRF → CertVRF NeverVRF → Bool # (<=) ∷ CertVRF NeverVRF → CertVRF NeverVRF → Bool # (>) ∷ CertVRF NeverVRF → CertVRF NeverVRF → Bool # (>=) ∷ CertVRF NeverVRF → CertVRF NeverVRF → Bool # max ∷ CertVRF NeverVRF → CertVRF NeverVRF → CertVRF NeverVRF # min ∷ CertVRF NeverVRF → CertVRF NeverVRF → CertVRF NeverVRF #
NoThunks (CertVRF NeverVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.NeverUsed Methods noThunks ∷ Context → CertVRF NeverVRF → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → CertVRF NeverVRF → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (CertVRF NeverVRF) → String Source #
NoThunks (SignKeyVRF NeverVRF) Source #
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 (VerKeyVRF NeverVRF) Source #
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 #
data CertVRF NeverVRF Source #
Instance details Defined in Cardano.Crypto.VRF.NeverUsed data CertVRF NeverVRF = NeverUsedCertVRF
type ContextVRF NeverVRF Source #
Instance details Defined in Cardano.Crypto.VRF.NeverUsed type ContextVRF NeverVRF = ()
data SignKeyVRF NeverVRF Source #
Instance details Defined in Cardano.Crypto.VRF.NeverUsed data SignKeyVRF NeverVRF = NeverUsedSignKeyVRF
type Signable NeverVRF Source #
Instance details Defined in Cardano.Crypto.VRF.NeverUsed type Signable NeverVRF = Empty
data VerKeyVRF NeverVRF Source #
Instance details Defined in Cardano.Crypto.VRF.NeverUsed data VerKeyVRF NeverVRF = NeverUsedVerKeyVRF
type Rep (CertVRF NeverVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.NeverUsed type Rep (CertVRF NeverVRF) = D1 ('MetaData "CertVRF" "Cardano.Crypto.VRF.NeverUsed" "cardano-crypto-class-2.2.2.0-inplace" 'False) (C1 ('MetaCons "NeverUsedCertVRF" 'PrefixI 'False) (U1 ∷ Type → Type))
type Rep (SignKeyVRF NeverVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.NeverUsed type Rep (SignKeyVRF NeverVRF) = D1 ('MetaData "SignKeyVRF" "Cardano.Crypto.VRF.NeverUsed" "cardano-crypto-class-2.2.2.0-inplace" 'False) (C1 ('MetaCons "NeverUsedSignKeyVRF" 'PrefixI 'False) (U1 ∷ Type → Type))
type Rep (VerKeyVRF NeverVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.NeverUsed type Rep (VerKeyVRF NeverVRF) = D1 ('MetaData "VerKeyVRF" "Cardano.Crypto.VRF.NeverUsed" "cardano-crypto-class-2.2.2.0-inplace" 'False) (C1 ('MetaCons "NeverUsedVerKeyVRF" 'PrefixI 'False) (U1 ∷ Type → Type))

data family VerKeyVRF v ∷ Type Source #

Instances

Instances details

Generic (VerKeyVRF MockVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Mock Associated Types type Rep (VerKeyVRF MockVRF) ∷ Type → Type # Methods from ∷ VerKeyVRF MockVRF → Rep (VerKeyVRF MockVRF) x # to ∷ Rep (VerKeyVRF MockVRF) x → VerKeyVRF MockVRF #
Generic (VerKeyVRF NeverVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.NeverUsed Associated Types type Rep (VerKeyVRF NeverVRF) ∷ Type → Type # Methods from ∷ VerKeyVRF NeverVRF → Rep (VerKeyVRF NeverVRF) x # to ∷ Rep (VerKeyVRF NeverVRF) x → VerKeyVRF NeverVRF #
Generic (VerKeyVRF SimpleVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Simple Associated Types type Rep (VerKeyVRF SimpleVRF) ∷ Type → Type # Methods from ∷ VerKeyVRF SimpleVRF → Rep (VerKeyVRF SimpleVRF) x # to ∷ Rep (VerKeyVRF SimpleVRF) x → VerKeyVRF SimpleVRF #
Show (VerKeyVRF MockVRF) Source #
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) Source #
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) Source #
Instance details Defined in Cardano.Crypto.VRF.Simple Methods showsPrec ∷ Int → VerKeyVRF SimpleVRF → ShowS # show ∷ VerKeyVRF SimpleVRF → String # showList ∷ [VerKeyVRF SimpleVRF] → ShowS #
FromCBOR (VerKeyVRF MockVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Mock Methods fromCBOR ∷ Decoder s (VerKeyVRF MockVRF) Source # label ∷ Proxy (VerKeyVRF MockVRF) → Text Source #
FromCBOR (VerKeyVRF SimpleVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Simple Methods fromCBOR ∷ Decoder s (VerKeyVRF SimpleVRF) Source # label ∷ Proxy (VerKeyVRF SimpleVRF) → Text Source #
ToCBOR (VerKeyVRF MockVRF) Source #
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) Source #
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 #
NFData (VerKeyVRF SimpleVRF)
Instance details Defined in Cardano.Crypto.VRF.Simple Methods rnf ∷ VerKeyVRF SimpleVRF → ()
Eq (VerKeyVRF MockVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Mock Methods (==) ∷ VerKeyVRF MockVRF → VerKeyVRF MockVRF → Bool # (/=) ∷ VerKeyVRF MockVRF → VerKeyVRF MockVRF → Bool #
Eq (VerKeyVRF NeverVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.NeverUsed Methods (==) ∷ VerKeyVRF NeverVRF → VerKeyVRF NeverVRF → Bool # (/=) ∷ VerKeyVRF NeverVRF → VerKeyVRF NeverVRF → Bool #
Eq (VerKeyVRF SimpleVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Simple Methods (==) ∷ VerKeyVRF SimpleVRF → VerKeyVRF SimpleVRF → Bool # (/=) ∷ VerKeyVRF SimpleVRF → VerKeyVRF SimpleVRF → Bool #
Ord (VerKeyVRF MockVRF) Source #
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 #
(TypeError ('Text "Ord not supported for verification keys, use the hash instead") ∷ Constraint, Eq (VerKeyVRF v)) ⇒ Ord (VerKeyVRF v) Source #
Instance details Defined in Cardano.Crypto.VRF.Class Methods 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) Source #
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) Source #
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) Source #
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 #
newtype VerKeyVRF MockVRF Source #
Instance details Defined in Cardano.Crypto.VRF.Mock newtype VerKeyVRF MockVRF = VerKeyMockVRF Word64
data VerKeyVRF NeverVRF Source #
Instance details Defined in Cardano.Crypto.VRF.NeverUsed data VerKeyVRF NeverVRF = NeverUsedVerKeyVRF
newtype VerKeyVRF SimpleVRF Source #
Instance details Defined in Cardano.Crypto.VRF.Simple newtype VerKeyVRF SimpleVRF = VerKeySimpleVRF Point
type Rep (VerKeyVRF MockVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Mock type Rep (VerKeyVRF MockVRF) = D1 ('MetaData "VerKeyVRF" "Cardano.Crypto.VRF.Mock" "cardano-crypto-class-2.2.2.0-inplace" 'True) (C1 ('MetaCons "VerKeyMockVRF" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))
type Rep (VerKeyVRF NeverVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.NeverUsed type Rep (VerKeyVRF NeverVRF) = D1 ('MetaData "VerKeyVRF" "Cardano.Crypto.VRF.NeverUsed" "cardano-crypto-class-2.2.2.0-inplace" 'False) (C1 ('MetaCons "NeverUsedVerKeyVRF" 'PrefixI 'False) (U1 ∷ Type → Type))
type Rep (VerKeyVRF SimpleVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Simple type Rep (VerKeyVRF SimpleVRF)

data family SignKeyVRF v ∷ Type Source #

Instances

Instances details

Generic (SignKeyVRF MockVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Mock Associated Types type Rep (SignKeyVRF MockVRF) ∷ Type → Type # Methods from ∷ SignKeyVRF MockVRF → Rep (SignKeyVRF MockVRF) x # to ∷ Rep (SignKeyVRF MockVRF) x → SignKeyVRF MockVRF #
Generic (SignKeyVRF NeverVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.NeverUsed Associated Types type Rep (SignKeyVRF NeverVRF) ∷ Type → Type # Methods from ∷ SignKeyVRF NeverVRF → Rep (SignKeyVRF NeverVRF) x # to ∷ Rep (SignKeyVRF NeverVRF) x → SignKeyVRF NeverVRF #
Generic (SignKeyVRF SimpleVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Simple Associated Types type Rep (SignKeyVRF SimpleVRF) ∷ Type → Type # Methods from ∷ SignKeyVRF SimpleVRF → Rep (SignKeyVRF SimpleVRF) x # to ∷ Rep (SignKeyVRF SimpleVRF) x → SignKeyVRF SimpleVRF #
Show (SignKeyVRF MockVRF) Source #
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) Source #
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) Source #
Instance details Defined in Cardano.Crypto.VRF.Simple Methods showsPrec ∷ Int → SignKeyVRF SimpleVRF → ShowS # show ∷ SignKeyVRF SimpleVRF → String # showList ∷ [SignKeyVRF SimpleVRF] → ShowS #
FromCBOR (SignKeyVRF MockVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Mock Methods fromCBOR ∷ Decoder s (SignKeyVRF MockVRF) Source # label ∷ Proxy (SignKeyVRF MockVRF) → Text Source #
FromCBOR (SignKeyVRF SimpleVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Simple Methods fromCBOR ∷ Decoder s (SignKeyVRF SimpleVRF) Source # label ∷ Proxy (SignKeyVRF SimpleVRF) → Text Source #
ToCBOR (SignKeyVRF MockVRF) Source #
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) Source #
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 #
NFData (SignKeyVRF SimpleVRF)
Instance details Defined in Cardano.Crypto.VRF.Simple Methods rnf ∷ SignKeyVRF SimpleVRF → ()
Eq (SignKeyVRF MockVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Mock Methods (==) ∷ SignKeyVRF MockVRF → SignKeyVRF MockVRF → Bool # (/=) ∷ SignKeyVRF MockVRF → SignKeyVRF MockVRF → Bool #
Eq (SignKeyVRF NeverVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.NeverUsed Methods (==) ∷ SignKeyVRF NeverVRF → SignKeyVRF NeverVRF → Bool # (/=) ∷ SignKeyVRF NeverVRF → SignKeyVRF NeverVRF → Bool #
Eq (SignKeyVRF SimpleVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Simple Methods (==) ∷ SignKeyVRF SimpleVRF → SignKeyVRF SimpleVRF → Bool # (/=) ∷ SignKeyVRF SimpleVRF → SignKeyVRF SimpleVRF → Bool #
Ord (SignKeyVRF MockVRF) Source #
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 #
(TypeError ('Text "Ord not supported for signing keys, use the hash instead") ∷ Constraint, Eq (SignKeyVRF v)) ⇒ Ord (SignKeyVRF v) Source #
Instance details Defined in Cardano.Crypto.VRF.Class Methods 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) Source #
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) Source #
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) Source #
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 #
newtype SignKeyVRF MockVRF Source #
Instance details Defined in Cardano.Crypto.VRF.Mock newtype SignKeyVRF MockVRF = SignKeyMockVRF Word64
data SignKeyVRF NeverVRF Source #
Instance details Defined in Cardano.Crypto.VRF.NeverUsed data SignKeyVRF NeverVRF = NeverUsedSignKeyVRF
newtype SignKeyVRF SimpleVRF Source #
Instance details Defined in Cardano.Crypto.VRF.Simple newtype SignKeyVRF SimpleVRF = SignKeySimpleVRF PrivateNumber
type Rep (SignKeyVRF MockVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Mock type Rep (SignKeyVRF MockVRF) = D1 ('MetaData "SignKeyVRF" "Cardano.Crypto.VRF.Mock" "cardano-crypto-class-2.2.2.0-inplace" 'True) (C1 ('MetaCons "SignKeyMockVRF" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))
type Rep (SignKeyVRF NeverVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.NeverUsed type Rep (SignKeyVRF NeverVRF) = D1 ('MetaData "SignKeyVRF" "Cardano.Crypto.VRF.NeverUsed" "cardano-crypto-class-2.2.2.0-inplace" 'False) (C1 ('MetaCons "NeverUsedSignKeyVRF" 'PrefixI 'False) (U1 ∷ Type → Type))
type Rep (SignKeyVRF SimpleVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Simple type Rep (SignKeyVRF SimpleVRF) = D1 ('MetaData "SignKeyVRF" "Cardano.Crypto.VRF.Simple" "cardano-crypto-class-2.2.2.0-inplace" 'True) (C1 ('MetaCons "SignKeySimpleVRF" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PrivateNumber)))

data family CertVRF v ∷ Type Source #

Instances

Instances details

Generic (CertVRF MockVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Mock Associated Types type Rep (CertVRF MockVRF) ∷ Type → Type # Methods from ∷ CertVRF MockVRF → Rep (CertVRF MockVRF) x # to ∷ Rep (CertVRF MockVRF) x → CertVRF MockVRF #
Generic (CertVRF NeverVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.NeverUsed Associated Types type Rep (CertVRF NeverVRF) ∷ Type → Type # Methods from ∷ CertVRF NeverVRF → Rep (CertVRF NeverVRF) x # to ∷ Rep (CertVRF NeverVRF) x → CertVRF NeverVRF #
Generic (CertVRF SimpleVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Simple Associated Types type Rep (CertVRF SimpleVRF) ∷ Type → Type # Methods from ∷ CertVRF SimpleVRF → Rep (CertVRF SimpleVRF) x # to ∷ Rep (CertVRF SimpleVRF) x → CertVRF SimpleVRF #
Show (CertVRF MockVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Mock Methods showsPrec ∷ Int → CertVRF MockVRF → ShowS # show ∷ CertVRF MockVRF → String # showList ∷ [CertVRF MockVRF] → ShowS #
Show (CertVRF NeverVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.NeverUsed Methods showsPrec ∷ Int → CertVRF NeverVRF → ShowS # show ∷ CertVRF NeverVRF → String # showList ∷ [CertVRF NeverVRF] → ShowS #
Show (CertVRF SimpleVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Simple Methods showsPrec ∷ Int → CertVRF SimpleVRF → ShowS # show ∷ CertVRF SimpleVRF → String # showList ∷ [CertVRF SimpleVRF] → ShowS #
FromCBOR (CertVRF MockVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Mock Methods fromCBOR ∷ Decoder s (CertVRF MockVRF) Source # label ∷ Proxy (CertVRF MockVRF) → Text Source #
FromCBOR (CertVRF SimpleVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Simple Methods fromCBOR ∷ Decoder s (CertVRF SimpleVRF) Source # label ∷ Proxy (CertVRF SimpleVRF) → Text Source #
ToCBOR (CertVRF MockVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Mock Methods toCBOR ∷ CertVRF MockVRF → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (CertVRF MockVRF) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [CertVRF MockVRF] → Size Source #
ToCBOR (CertVRF SimpleVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Simple Methods toCBOR ∷ CertVRF SimpleVRF → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (CertVRF SimpleVRF) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [CertVRF SimpleVRF] → Size Source #
NFData (CertVRF SimpleVRF)
Instance details Defined in Cardano.Crypto.VRF.Simple Methods rnf ∷ CertVRF SimpleVRF → ()
Eq (CertVRF MockVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Mock Methods (==) ∷ CertVRF MockVRF → CertVRF MockVRF → Bool # (/=) ∷ CertVRF MockVRF → CertVRF MockVRF → Bool #
Eq (CertVRF NeverVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.NeverUsed Methods (==) ∷ CertVRF NeverVRF → CertVRF NeverVRF → Bool # (/=) ∷ CertVRF NeverVRF → CertVRF NeverVRF → Bool #
Eq (CertVRF SimpleVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Simple Methods (==) ∷ CertVRF SimpleVRF → CertVRF SimpleVRF → Bool # (/=) ∷ CertVRF SimpleVRF → CertVRF SimpleVRF → Bool #
Ord (CertVRF MockVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Mock Methods compare ∷ CertVRF MockVRF → CertVRF MockVRF → Ordering # (<) ∷ CertVRF MockVRF → CertVRF MockVRF → Bool # (<=) ∷ CertVRF MockVRF → CertVRF MockVRF → Bool # (>) ∷ CertVRF MockVRF → CertVRF MockVRF → Bool # (>=) ∷ CertVRF MockVRF → CertVRF MockVRF → Bool # max ∷ CertVRF MockVRF → CertVRF MockVRF → CertVRF MockVRF # min ∷ CertVRF MockVRF → CertVRF MockVRF → CertVRF MockVRF #
Ord (CertVRF NeverVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.NeverUsed Methods compare ∷ CertVRF NeverVRF → CertVRF NeverVRF → Ordering # (<) ∷ CertVRF NeverVRF → CertVRF NeverVRF → Bool # (<=) ∷ CertVRF NeverVRF → CertVRF NeverVRF → Bool # (>) ∷ CertVRF NeverVRF → CertVRF NeverVRF → Bool # (>=) ∷ CertVRF NeverVRF → CertVRF NeverVRF → Bool # max ∷ CertVRF NeverVRF → CertVRF NeverVRF → CertVRF NeverVRF # min ∷ CertVRF NeverVRF → CertVRF NeverVRF → CertVRF NeverVRF #
NoThunks (CertVRF MockVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Mock Methods noThunks ∷ Context → CertVRF MockVRF → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → CertVRF MockVRF → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (CertVRF MockVRF) → String Source #
NoThunks (CertVRF NeverVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.NeverUsed Methods noThunks ∷ Context → CertVRF NeverVRF → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → CertVRF NeverVRF → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (CertVRF NeverVRF) → String Source #
NoThunks (CertVRF SimpleVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Simple Methods noThunks ∷ Context → CertVRF SimpleVRF → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → CertVRF SimpleVRF → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (CertVRF SimpleVRF) → String Source #
newtype CertVRF MockVRF Source #
Instance details Defined in Cardano.Crypto.VRF.Mock newtype CertVRF MockVRF = CertMockVRF Word64
data CertVRF NeverVRF Source #
Instance details Defined in Cardano.Crypto.VRF.NeverUsed data CertVRF NeverVRF = NeverUsedCertVRF
data CertVRF SimpleVRF Source #
Instance details Defined in Cardano.Crypto.VRF.Simple data CertVRF SimpleVRF = CertSimpleVRF { certU ∷ !Point certC ∷ !Natural certS ∷ !Integer }
type Rep (CertVRF MockVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Mock type Rep (CertVRF MockVRF) = D1 ('MetaData "CertVRF" "Cardano.Crypto.VRF.Mock" "cardano-crypto-class-2.2.2.0-inplace" 'True) (C1 ('MetaCons "CertMockVRF" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))
type Rep (CertVRF NeverVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.NeverUsed type Rep (CertVRF NeverVRF) = D1 ('MetaData "CertVRF" "Cardano.Crypto.VRF.NeverUsed" "cardano-crypto-class-2.2.2.0-inplace" 'False) (C1 ('MetaCons "NeverUsedCertVRF" 'PrefixI 'False) (U1 ∷ Type → Type))
type Rep (CertVRF SimpleVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Simple type Rep (CertVRF SimpleVRF)