cardano-crypto-class-2.1.1.0: Type classes abstracting over cryptography primitives for Cardano
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Crypto.VRF.NeverUsed

Synopsis

Documentation

data NeverVRF #

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 # 
Instance details

Defined in Cardano.Crypto.VRF.NeverUsed

Associated Types

data VerKeyVRF NeverVRF #

data SignKeyVRF NeverVRF #

data CertVRF NeverVRF #

type ContextVRF NeverVRF #

type Signable NeverVRF :: Type -> Constraint #

Methods

algorithmNameVRF :: proxy NeverVRF -> String #

deriveVerKeyVRF :: SignKeyVRF NeverVRF -> VerKeyVRF NeverVRF #

hashVerKeyVRF :: HashAlgorithm h => VerKeyVRF NeverVRF -> Hash h (VerKeyVRF NeverVRF) #

evalVRF :: (HasCallStack, Signable NeverVRF a) => ContextVRF NeverVRF -> a -> SignKeyVRF NeverVRF -> (OutputVRF NeverVRF, CertVRF NeverVRF) #

verifyVRF :: (HasCallStack, Signable NeverVRF a) => ContextVRF NeverVRF -> VerKeyVRF NeverVRF -> a -> (OutputVRF NeverVRF, CertVRF NeverVRF) -> Bool #

genKeyVRF :: Seed -> SignKeyVRF NeverVRF #

genKeyPairVRF :: Seed -> (SignKeyVRF NeverVRF, VerKeyVRF NeverVRF) #

seedSizeVRF :: proxy NeverVRF -> Word #

sizeVerKeyVRF :: proxy NeverVRF -> Word #

sizeSignKeyVRF :: proxy NeverVRF -> Word #

sizeCertVRF :: proxy NeverVRF -> Word #

sizeOutputVRF :: proxy NeverVRF -> Word #

rawSerialiseVerKeyVRF :: VerKeyVRF NeverVRF -> ByteString #

rawSerialiseSignKeyVRF :: SignKeyVRF NeverVRF -> ByteString #

rawSerialiseCertVRF :: CertVRF NeverVRF -> ByteString #

rawDeserialiseVerKeyVRF :: ByteString -> Maybe (VerKeyVRF NeverVRF) #

rawDeserialiseSignKeyVRF :: ByteString -> Maybe (SignKeyVRF NeverVRF) #

rawDeserialiseCertVRF :: ByteString -> Maybe (CertVRF NeverVRF) #

Generic (CertVRF NeverVRF) # 
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 (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 (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 #

Show (CertVRF NeverVRF) # 
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 (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 (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 #

Eq (CertVRF NeverVRF) # 
Instance details

Defined in Cardano.Crypto.VRF.NeverUsed

Methods

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

(/=) :: CertVRF NeverVRF -> CertVRF NeverVRF -> 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 (VerKeyVRF NeverVRF) # 
Instance details

Defined in Cardano.Crypto.VRF.NeverUsed

Methods

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

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

Ord (CertVRF NeverVRF) # 
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 #

NoThunks (CertVRF NeverVRF) # 
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) # 
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) # 
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 # 
Instance details

Defined in Cardano.Crypto.VRF.NeverUsed

data CertVRF NeverVRF = NeverUsedCertVRF
type ContextVRF NeverVRF # 
Instance details

Defined in Cardano.Crypto.VRF.NeverUsed

type ContextVRF NeverVRF = ()
data SignKeyVRF NeverVRF # 
Instance details

Defined in Cardano.Crypto.VRF.NeverUsed

data SignKeyVRF NeverVRF = NeverUsedSignKeyVRF
type Signable NeverVRF # 
Instance details

Defined in Cardano.Crypto.VRF.NeverUsed

type Signable NeverVRF = Empty
data VerKeyVRF NeverVRF # 
Instance details

Defined in Cardano.Crypto.VRF.NeverUsed

data VerKeyVRF NeverVRF = NeverUsedVerKeyVRF
type Rep (CertVRF NeverVRF) # 
Instance details

Defined in Cardano.Crypto.VRF.NeverUsed

type Rep (CertVRF NeverVRF) = D1 ('MetaData "CertVRF" "Cardano.Crypto.VRF.NeverUsed" "cardano-crypto-class-2.1.1.0-inplace" 'False) (C1 ('MetaCons "NeverUsedCertVRF" 'PrefixI 'False) (U1 :: Type -> Type))
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.1.0-inplace" 'False) (C1 ('MetaCons "NeverUsedSignKeyVRF" 'PrefixI 'False) (U1 :: Type -> Type))
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.1.0-inplace" 'False) (C1 ('MetaCons "NeverUsedVerKeyVRF" 'PrefixI 'False) (U1 :: Type -> Type))

data family VerKeyVRF v :: Type #

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 #

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 #

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 #

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

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

NFData (VerKeyVRF SimpleVRF) # 
Instance details

Defined in Cardano.Crypto.VRF.Simple

Methods

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

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 #

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

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
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.1.0-inplace" '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.1.0-inplace" '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)

data family SignKeyVRF v :: Type #

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 #

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 #

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 #

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

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

NFData (SignKeyVRF SimpleVRF) # 
Instance details

Defined in Cardano.Crypto.VRF.Simple

Methods

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

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 #

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

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
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.1.0-inplace" '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.1.0-inplace" '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.1.0-inplace" 'True) (C1 ('MetaCons "SignKeySimpleVRF" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PrivateNumber)))

data family CertVRF v :: Type #

Instances

Instances details
Generic (CertVRF MockVRF) # 
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 #

Generic (CertVRF NeverVRF) # 
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) # 
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 #

Show (CertVRF MockVRF) # 
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 #

Show (CertVRF NeverVRF) # 
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) # 
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 #

FromCBOR (CertVRF MockVRF) # 
Instance details

Defined in Cardano.Crypto.VRF.Mock

Methods

fromCBOR :: Decoder s (CertVRF MockVRF) Source #

label :: Proxy (CertVRF MockVRF) -> Text Source #

FromCBOR (CertVRF SimpleVRF) # 
Instance details

Defined in Cardano.Crypto.VRF.Simple

Methods

fromCBOR :: Decoder s (CertVRF SimpleVRF) Source #

label :: Proxy (CertVRF SimpleVRF) -> Text Source #

ToCBOR (CertVRF MockVRF) # 
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 #

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

NFData (CertVRF SimpleVRF) # 
Instance details

Defined in Cardano.Crypto.VRF.Simple

Methods

rnf :: CertVRF SimpleVRF -> () Source #

Eq (CertVRF MockVRF) # 
Instance details

Defined in Cardano.Crypto.VRF.Mock

Methods

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

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

Eq (CertVRF NeverVRF) # 
Instance details

Defined in Cardano.Crypto.VRF.NeverUsed

Methods

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

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

Eq (CertVRF SimpleVRF) # 
Instance details

Defined in Cardano.Crypto.VRF.Simple

Methods

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

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

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

Ord (CertVRF NeverVRF) # 
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 #

NoThunks (CertVRF MockVRF) # 
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) # 
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) # 
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 # 
Instance details

Defined in Cardano.Crypto.VRF.Mock

newtype CertVRF MockVRF = CertMockVRF Word64
data CertVRF NeverVRF # 
Instance details

Defined in Cardano.Crypto.VRF.NeverUsed

data CertVRF NeverVRF = NeverUsedCertVRF
data CertVRF SimpleVRF # 
Instance details

Defined in Cardano.Crypto.VRF.Simple

data CertVRF SimpleVRF = CertSimpleVRF {}
type Rep (CertVRF MockVRF) # 
Instance details

Defined in Cardano.Crypto.VRF.Mock

type Rep (CertVRF MockVRF) = D1 ('MetaData "CertVRF" "Cardano.Crypto.VRF.Mock" "cardano-crypto-class-2.1.1.0-inplace" 'True) (C1 ('MetaCons "CertMockVRF" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))
type Rep (CertVRF NeverVRF) # 
Instance details

Defined in Cardano.Crypto.VRF.NeverUsed

type Rep (CertVRF NeverVRF) = D1 ('MetaData "CertVRF" "Cardano.Crypto.VRF.NeverUsed" "cardano-crypto-class-2.1.1.0-inplace" 'False) (C1 ('MetaCons "NeverUsedCertVRF" 'PrefixI 'False) (U1 :: Type -> Type))
type Rep (CertVRF SimpleVRF) # 
Instance details

Defined in Cardano.Crypto.VRF.Simple

type Rep (CertVRF SimpleVRF)