cardano-crypto-class-2.0.0.0.1: Type classes abstracting over cryptography primitives for Cardano
Safe Haskell None
Language Haskell2010

Cardano.Crypto.VRF.NeverUsed

Synopsis

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 -> ( OutputVRF NeverVRF , CertVRF NeverVRF ) -> Bool 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 #

Eq ( VerKeyVRF NeverVRF ) Source #
Instance details

Defined in Cardano.Crypto.VRF.NeverUsed

Methods

(==) :: VerKeyVRF NeverVRF -> VerKeyVRF NeverVRF -> Bool Source #

(/=) :: VerKeyVRF NeverVRF -> VerKeyVRF NeverVRF -> Bool Source #

Eq ( SignKeyVRF NeverVRF ) Source #
Instance details

Defined in Cardano.Crypto.VRF.NeverUsed

Methods

(==) :: SignKeyVRF NeverVRF -> SignKeyVRF NeverVRF -> Bool Source #

(/=) :: SignKeyVRF NeverVRF -> SignKeyVRF NeverVRF -> Bool Source #

Eq ( CertVRF NeverVRF ) Source #
Instance details

Defined in Cardano.Crypto.VRF.NeverUsed

Methods

(==) :: CertVRF NeverVRF -> CertVRF NeverVRF -> Bool Source #

(/=) :: CertVRF NeverVRF -> CertVRF NeverVRF -> Bool Source #

Ord ( CertVRF NeverVRF ) Source #
Instance details

Defined in Cardano.Crypto.VRF.NeverUsed

Methods

compare :: CertVRF NeverVRF -> CertVRF NeverVRF -> Ordering Source #

(<) :: CertVRF NeverVRF -> CertVRF NeverVRF -> Bool Source #

(<=) :: CertVRF NeverVRF -> CertVRF NeverVRF -> Bool Source #

(>) :: CertVRF NeverVRF -> CertVRF NeverVRF -> Bool Source #

(>=) :: CertVRF NeverVRF -> CertVRF NeverVRF -> Bool Source #

max :: CertVRF NeverVRF -> CertVRF NeverVRF -> CertVRF NeverVRF Source #

min :: CertVRF NeverVRF -> CertVRF NeverVRF -> CertVRF NeverVRF Source #

Show ( VerKeyVRF NeverVRF ) Source #
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 ( SignKeyVRF NeverVRF ) Source #
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 ( CertVRF NeverVRF ) Source #
Instance details

Defined in Cardano.Crypto.VRF.NeverUsed

Methods

showsPrec :: Int -> CertVRF NeverVRF -> ShowS Source #

show :: CertVRF NeverVRF -> String Source #

showList :: [ CertVRF NeverVRF ] -> ShowS Source #

Generic ( VerKeyVRF NeverVRF ) Source #
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 ( SignKeyVRF NeverVRF ) Source #
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 ( CertVRF NeverVRF ) Source #
Instance details

Defined in Cardano.Crypto.VRF.NeverUsed

Associated Types

type Rep ( CertVRF NeverVRF ) :: Type -> Type Source #

Methods

from :: CertVRF NeverVRF -> Rep ( CertVRF NeverVRF ) x Source #

to :: Rep ( CertVRF NeverVRF ) x -> CertVRF NeverVRF 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 ( 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 ( 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 #

data VerKeyVRF NeverVRF Source #
Instance details

Defined in Cardano.Crypto.VRF.NeverUsed

data VerKeyVRF NeverVRF = NeverUsedVerKeyVRF
data SignKeyVRF NeverVRF Source #
Instance details

Defined in Cardano.Crypto.VRF.NeverUsed

data SignKeyVRF NeverVRF = NeverUsedSignKeyVRF
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 = ()
type Signable NeverVRF Source #
Instance details

Defined in Cardano.Crypto.VRF.NeverUsed

type Signable NeverVRF = Empty
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.0.0.0.1-5PqST7yhL1v7PBV5z4tsb9" ' False ) ( C1 (' MetaCons "NeverUsedVerKeyVRF" ' 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.0.0.0.1-5PqST7yhL1v7PBV5z4tsb9" ' False ) ( C1 (' MetaCons "NeverUsedSignKeyVRF" ' PrefixI ' False ) ( U1 :: Type -> Type ))
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.0.0.0.1-5PqST7yhL1v7PBV5z4tsb9" ' False ) ( C1 (' MetaCons "NeverUsedCertVRF" ' PrefixI ' False ) ( U1 :: Type -> Type ))

data family VerKeyVRF v :: Type Source #

Instances

Instances details
Eq ( VerKeyVRF NeverVRF ) Source #
Instance details

Defined in Cardano.Crypto.VRF.NeverUsed

Methods

(==) :: VerKeyVRF NeverVRF -> VerKeyVRF NeverVRF -> Bool Source #

(/=) :: VerKeyVRF NeverVRF -> VerKeyVRF NeverVRF -> Bool Source #

Eq ( VerKeyVRF SimpleVRF ) Source #
Instance details

Defined in Cardano.Crypto.VRF.Simple

Methods

(==) :: VerKeyVRF SimpleVRF -> VerKeyVRF SimpleVRF -> Bool Source #

(/=) :: VerKeyVRF SimpleVRF -> VerKeyVRF SimpleVRF -> Bool Source #

Eq ( VerKeyVRF MockVRF ) Source #
Instance details

Defined in Cardano.Crypto.VRF.Mock

Methods

(==) :: VerKeyVRF MockVRF -> VerKeyVRF MockVRF -> Bool Source #

(/=) :: VerKeyVRF MockVRF -> VerKeyVRF MockVRF -> Bool Source #

( 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 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 #

Ord ( VerKeyVRF MockVRF ) Source #
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 #

Show ( VerKeyVRF NeverVRF ) Source #
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 ) Source #
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 MockVRF ) Source #
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 #

Generic ( VerKeyVRF NeverVRF ) Source #
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 ) Source #
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 MockVRF ) Source #
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 #

ToCBOR ( VerKeyVRF SimpleVRF ) Source #
Instance details

Defined in Cardano.Crypto.VRF.Simple

Methods

toCBOR :: VerKeyVRF SimpleVRF -> Encoding Source #

encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( VerKeyVRF SimpleVRF ) -> Size Source #

encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ VerKeyVRF SimpleVRF ] -> Size Source #

ToCBOR ( VerKeyVRF MockVRF ) Source #
Instance details

Defined in Cardano.Crypto.VRF.Mock

Methods

toCBOR :: VerKeyVRF MockVRF -> Encoding Source #

encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( VerKeyVRF MockVRF ) -> Size Source #

encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ VerKeyVRF MockVRF ] -> Size 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 #

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 #

NFData ( VerKeyVRF SimpleVRF ) Source #
Instance details

Defined in Cardano.Crypto.VRF.Simple

Methods

rnf :: VerKeyVRF SimpleVRF -> () 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 #

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 #

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
newtype VerKeyVRF MockVRF Source #
Instance details

Defined in Cardano.Crypto.VRF.Mock

newtype VerKeyVRF MockVRF = VerKeyMockVRF 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.0.0.0.1-5PqST7yhL1v7PBV5z4tsb9" ' 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 )
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.0.0.0.1-5PqST7yhL1v7PBV5z4tsb9" ' True ) ( C1 (' MetaCons "VerKeyMockVRF" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 Word64 )))

data family SignKeyVRF v :: Type Source #

Instances

Instances details
Eq ( SignKeyVRF NeverVRF ) Source #
Instance details

Defined in Cardano.Crypto.VRF.NeverUsed

Methods

(==) :: SignKeyVRF NeverVRF -> SignKeyVRF NeverVRF -> Bool Source #

(/=) :: SignKeyVRF NeverVRF -> SignKeyVRF NeverVRF -> Bool Source #

Eq ( SignKeyVRF SimpleVRF ) Source #
Instance details

Defined in Cardano.Crypto.VRF.Simple

Methods

(==) :: SignKeyVRF SimpleVRF -> SignKeyVRF SimpleVRF -> Bool Source #

(/=) :: SignKeyVRF SimpleVRF -> SignKeyVRF SimpleVRF -> Bool Source #

Eq ( SignKeyVRF MockVRF ) Source #
Instance details

Defined in Cardano.Crypto.VRF.Mock

Methods

(==) :: SignKeyVRF MockVRF -> SignKeyVRF MockVRF -> Bool Source #

(/=) :: SignKeyVRF MockVRF -> SignKeyVRF MockVRF -> Bool Source #

( 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 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 #

Ord ( SignKeyVRF MockVRF ) Source #
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 #

Show ( SignKeyVRF NeverVRF ) Source #
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 ) Source #
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 MockVRF ) Source #
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 #

Generic ( SignKeyVRF NeverVRF ) Source #
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 ) Source #
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 MockVRF ) Source #
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 #

ToCBOR ( SignKeyVRF SimpleVRF ) Source #
Instance details

Defined in Cardano.Crypto.VRF.Simple

Methods

toCBOR :: SignKeyVRF SimpleVRF -> Encoding Source #

encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( SignKeyVRF SimpleVRF ) -> Size Source #

encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ SignKeyVRF SimpleVRF ] -> Size Source #

ToCBOR ( SignKeyVRF MockVRF ) Source #
Instance details

Defined in Cardano.Crypto.VRF.Mock

Methods

toCBOR :: SignKeyVRF MockVRF -> Encoding Source #

encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( SignKeyVRF MockVRF ) -> Size Source #

encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ SignKeyVRF MockVRF ] -> Size 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 #

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 #

NFData ( SignKeyVRF SimpleVRF ) Source #
Instance details

Defined in Cardano.Crypto.VRF.Simple

Methods

rnf :: SignKeyVRF SimpleVRF -> () 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 #

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 #

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
newtype SignKeyVRF MockVRF Source #
Instance details

Defined in Cardano.Crypto.VRF.Mock

newtype SignKeyVRF MockVRF = SignKeyMockVRF 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.0.0.0.1-5PqST7yhL1v7PBV5z4tsb9" ' 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.0.0.0.1-5PqST7yhL1v7PBV5z4tsb9" ' True ) ( C1 (' MetaCons "SignKeySimpleVRF" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 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.0.0.0.1-5PqST7yhL1v7PBV5z4tsb9" ' True ) ( C1 (' MetaCons "SignKeyMockVRF" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 Word64 )))

data family CertVRF v :: Type Source #

Instances

Instances details
Eq ( CertVRF NeverVRF ) Source #
Instance details

Defined in Cardano.Crypto.VRF.NeverUsed

Methods

(==) :: CertVRF NeverVRF -> CertVRF NeverVRF -> Bool Source #

(/=) :: CertVRF NeverVRF -> CertVRF NeverVRF -> Bool Source #

Eq ( CertVRF SimpleVRF ) Source #
Instance details

Defined in Cardano.Crypto.VRF.Simple

Methods

(==) :: CertVRF SimpleVRF -> CertVRF SimpleVRF -> Bool Source #

(/=) :: CertVRF SimpleVRF -> CertVRF SimpleVRF -> Bool Source #

Eq ( CertVRF MockVRF ) Source #
Instance details

Defined in Cardano.Crypto.VRF.Mock

Methods

(==) :: CertVRF MockVRF -> CertVRF MockVRF -> Bool Source #

(/=) :: CertVRF MockVRF -> CertVRF MockVRF -> Bool Source #

Ord ( CertVRF NeverVRF ) Source #
Instance details

Defined in Cardano.Crypto.VRF.NeverUsed

Methods

compare :: CertVRF NeverVRF -> CertVRF NeverVRF -> Ordering Source #

(<) :: CertVRF NeverVRF -> CertVRF NeverVRF -> Bool Source #

(<=) :: CertVRF NeverVRF -> CertVRF NeverVRF -> Bool Source #

(>) :: CertVRF NeverVRF -> CertVRF NeverVRF -> Bool Source #

(>=) :: CertVRF NeverVRF -> CertVRF NeverVRF -> Bool Source #

max :: CertVRF NeverVRF -> CertVRF NeverVRF -> CertVRF NeverVRF Source #

min :: CertVRF NeverVRF -> CertVRF NeverVRF -> CertVRF NeverVRF Source #

Ord ( CertVRF MockVRF ) Source #
Instance details

Defined in Cardano.Crypto.VRF.Mock

Methods

compare :: CertVRF MockVRF -> CertVRF MockVRF -> Ordering Source #

(<) :: CertVRF MockVRF -> CertVRF MockVRF -> Bool Source #

(<=) :: CertVRF MockVRF -> CertVRF MockVRF -> Bool Source #

(>) :: CertVRF MockVRF -> CertVRF MockVRF -> Bool Source #

(>=) :: CertVRF MockVRF -> CertVRF MockVRF -> Bool Source #

max :: CertVRF MockVRF -> CertVRF MockVRF -> CertVRF MockVRF Source #

min :: CertVRF MockVRF -> CertVRF MockVRF -> CertVRF MockVRF Source #

Show ( CertVRF NeverVRF ) Source #
Instance details

Defined in Cardano.Crypto.VRF.NeverUsed

Methods

showsPrec :: Int -> CertVRF NeverVRF -> ShowS Source #

show :: CertVRF NeverVRF -> String Source #

showList :: [ CertVRF NeverVRF ] -> ShowS Source #

Show ( CertVRF SimpleVRF ) Source #
Instance details

Defined in Cardano.Crypto.VRF.Simple

Methods

showsPrec :: Int -> CertVRF SimpleVRF -> ShowS Source #

show :: CertVRF SimpleVRF -> String Source #

showList :: [ CertVRF SimpleVRF ] -> ShowS Source #

Show ( CertVRF MockVRF ) Source #
Instance details

Defined in Cardano.Crypto.VRF.Mock

Methods

showsPrec :: Int -> CertVRF MockVRF -> ShowS Source #

show :: CertVRF MockVRF -> String Source #

showList :: [ CertVRF MockVRF ] -> ShowS Source #

Generic ( CertVRF NeverVRF ) Source #
Instance details

Defined in Cardano.Crypto.VRF.NeverUsed

Associated Types

type Rep ( CertVRF NeverVRF ) :: Type -> Type Source #

Methods

from :: CertVRF NeverVRF -> Rep ( CertVRF NeverVRF ) x Source #

to :: Rep ( CertVRF NeverVRF ) x -> CertVRF NeverVRF Source #

Generic ( CertVRF SimpleVRF ) Source #
Instance details

Defined in Cardano.Crypto.VRF.Simple

Associated Types

type Rep ( CertVRF SimpleVRF ) :: Type -> Type Source #

Methods

from :: CertVRF SimpleVRF -> Rep ( CertVRF SimpleVRF ) x Source #

to :: Rep ( CertVRF SimpleVRF ) x -> CertVRF SimpleVRF Source #

Generic ( CertVRF MockVRF ) Source #
Instance details

Defined in Cardano.Crypto.VRF.Mock

Associated Types

type Rep ( CertVRF MockVRF ) :: Type -> Type Source #

Methods

from :: CertVRF MockVRF -> Rep ( CertVRF MockVRF ) x Source #

to :: Rep ( CertVRF MockVRF ) x -> CertVRF MockVRF Source #

ToCBOR ( CertVRF SimpleVRF ) Source #
Instance details

Defined in Cardano.Crypto.VRF.Simple

Methods

toCBOR :: CertVRF SimpleVRF -> Encoding Source #

encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( CertVRF SimpleVRF ) -> Size Source #

encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ CertVRF SimpleVRF ] -> Size Source #

ToCBOR ( CertVRF MockVRF ) Source #
Instance details

Defined in Cardano.Crypto.VRF.Mock

Methods

toCBOR :: CertVRF MockVRF -> Encoding Source #

encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( CertVRF MockVRF ) -> Size Source #

encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ CertVRF MockVRF ] -> Size 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 #

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 #

NFData ( CertVRF SimpleVRF ) Source #
Instance details

Defined in Cardano.Crypto.VRF.Simple

Methods

rnf :: CertVRF SimpleVRF -> () 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 #

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 #

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 { }
newtype CertVRF MockVRF Source #
Instance details

Defined in Cardano.Crypto.VRF.Mock

newtype CertVRF MockVRF = CertMockVRF 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.0.0.0.1-5PqST7yhL1v7PBV5z4tsb9" ' 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 )
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.0.0.0.1-5PqST7yhL1v7PBV5z4tsb9" ' True ) ( C1 (' MetaCons "CertMockVRF" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 Word64 )))