Safe Haskell	None
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 #
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 ( 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 ( 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 ( 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 #
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 ( 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 ( 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 ( 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 ( 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 ( 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 ( 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 ( 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 ( 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 ( 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 ( 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 ( 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 ( 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 ( CertVRF MockVRF ) Source #
Instance details Defined in Cardano.Crypto.VRF.Mock Methods fromCBOR :: Decoder s ( CertVRF MockVRF ) Source # label :: Proxy ( CertVRF MockVRF ) -> Text 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 ( 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 ( 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 #
newtype VerKeyVRF MockVRF Source #
Instance details Defined in Cardano.Crypto.VRF.Mock newtype VerKeyVRF MockVRF = VerKeyMockVRF Word64
newtype SignKeyVRF MockVRF Source #
Instance details Defined in Cardano.Crypto.VRF.Mock newtype SignKeyVRF MockVRF = SignKeyMockVRF Word64
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 = ()
type Signable MockVRF Source #
Instance details Defined in Cardano.Crypto.VRF.Mock type Signable MockVRF = SignableRepresentation
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 )))
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 )))
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 )))

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 )))