Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Crypto.VRF.Mock

Description

Mock implementations of verifiable random functions.

Documentation

data MockVRF Source #

Instances

Instances details

VRFAlgorithm MockVRF Source #
Instance details Defined in Cardano.Crypto.VRF.Mock Associated Types data VerKeyVRF MockVRF Source # data SignKeyVRF MockVRF Source # data CertVRF MockVRF Source # type ContextVRF MockVRF Source # type Signable MockVRF :: Type -> Constraint Source # Methods algorithmNameVRF :: proxy MockVRF -> String Source # deriveVerKeyVRF :: SignKeyVRF MockVRF -> VerKeyVRF MockVRF Source # hashVerKeyVRF :: HashAlgorithm h => VerKeyVRF MockVRF -> Hash h (VerKeyVRF MockVRF) Source # evalVRF :: (HasCallStack, Signable MockVRF a) => ContextVRF MockVRF -> a -> SignKeyVRF MockVRF -> (OutputVRF MockVRF, CertVRF MockVRF) Source # verifyVRF :: (HasCallStack, Signable MockVRF a) => ContextVRF MockVRF -> VerKeyVRF MockVRF -> a -> (OutputVRF MockVRF, CertVRF MockVRF) -> Bool Source # genKeyVRF :: Seed -> SignKeyVRF MockVRF Source # genKeyPairVRF :: Seed -> (SignKeyVRF MockVRF, VerKeyVRF MockVRF) Source # seedSizeVRF :: proxy MockVRF -> Word Source # sizeVerKeyVRF :: proxy MockVRF -> Word Source # sizeSignKeyVRF :: proxy MockVRF -> Word Source # sizeCertVRF :: proxy MockVRF -> Word Source # sizeOutputVRF :: proxy MockVRF -> Word Source # rawSerialiseVerKeyVRF :: VerKeyVRF MockVRF -> ByteString Source # rawSerialiseSignKeyVRF :: SignKeyVRF MockVRF -> ByteString Source # rawSerialiseCertVRF :: CertVRF MockVRF -> ByteString Source # rawDeserialiseVerKeyVRF :: ByteString -> Maybe (VerKeyVRF MockVRF) Source # rawDeserialiseSignKeyVRF :: ByteString -> Maybe (SignKeyVRF MockVRF) Source # rawDeserialiseCertVRF :: ByteString -> Maybe (CertVRF MockVRF) 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 #
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 #
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 #
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 #
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 #
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 #
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 (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 (VerKeyVRF MockVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Mock Methods fromCBOR :: Decoder s (VerKeyVRF MockVRF) Source # label :: Proxy (VerKeyVRF MockVRF) -> Text 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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 (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 (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 #
newtype CertVRF MockVRF Source #
Instance details Defined in Cardano.Crypto.VRF.Mock newtype CertVRF MockVRF = CertMockVRF Word64
type ContextVRF MockVRF Source #
Instance details Defined in Cardano.Crypto.VRF.Mock type ContextVRF MockVRF = ()
newtype SignKeyVRF MockVRF Source #
Instance details Defined in Cardano.Crypto.VRF.Mock newtype SignKeyVRF MockVRF = SignKeyMockVRF Word64
type Signable MockVRF Source #
Instance details Defined in Cardano.Crypto.VRF.Mock type Signable MockVRF = SignableRepresentation
newtype VerKeyVRF MockVRF Source #
Instance details Defined in Cardano.Crypto.VRF.Mock newtype VerKeyVRF MockVRF = VerKeyMockVRF Word64
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.0.0.0.2-DK6Ti6yI0b4E6vuoX0zDQ9" 'True) (C1 ('MetaCons "CertMockVRF" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))
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.0.0.0.2-DK6Ti6yI0b4E6vuoX0zDQ9" 'True) (C1 ('MetaCons "SignKeyMockVRF" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))
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.0.0.0.2-DK6Ti6yI0b4E6vuoX0zDQ9" 'True) (C1 ('MetaCons "VerKeyMockVRF" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

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 Source # Methods from :: VerKeyVRF MockVRF -> Rep (VerKeyVRF MockVRF) x Source # to :: Rep (VerKeyVRF MockVRF) x -> VerKeyVRF MockVRF 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 #
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 #
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 #
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 :: (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) 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 #
NFData (VerKeyVRF SimpleVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Simple Methods rnf :: VerKeyVRF SimpleVRF -> () 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 #
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 #
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 #
(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 #
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.0.0.0.0.0.0.2-DK6Ti6yI0b4E6vuoX0zDQ9" '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.0.0.0.0.0.0.2-DK6Ti6yI0b4E6vuoX0zDQ9" '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 Source # Methods from :: SignKeyVRF MockVRF -> Rep (SignKeyVRF MockVRF) x Source # to :: Rep (SignKeyVRF MockVRF) x -> SignKeyVRF MockVRF 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 #
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 #
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 #
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 :: (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) 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 #
NFData (SignKeyVRF SimpleVRF) Source #
Instance details Defined in Cardano.Crypto.VRF.Simple Methods rnf :: SignKeyVRF SimpleVRF -> () 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 #
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 #
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 #
(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 #
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.0.0.0.0.0.0.2-DK6Ti6yI0b4E6vuoX0zDQ9" '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.0.0.0.0.0.0.2-DK6Ti6yI0b4E6vuoX0zDQ9" '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.0.0.0.2-DK6Ti6yI0b4E6vuoX0zDQ9" 'True) (C1 ('MetaCons "SignKeySimpleVRF" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PrivateNumber)))