Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Crypto.DSIGN.Ed25519ML

Description

Ed25519 digital signatures. This flavor of Ed25519 stores secrets in mlocked memory to make sure they cannot leak to disk via swapping.

Documentation

data Ed25519DSIGNM #

Instances

Instances details

DSIGNMAlgorithmBase Ed25519DSIGNM #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519ML Associated Types type SeedSizeDSIGNM Ed25519DSIGNM :: Nat # type SizeVerKeyDSIGNM Ed25519DSIGNM :: Nat # type SizeSignKeyDSIGNM Ed25519DSIGNM :: Nat # type SizeSigDSIGNM Ed25519DSIGNM :: Nat # data VerKeyDSIGNM Ed25519DSIGNM # data SignKeyDSIGNM Ed25519DSIGNM # data SigDSIGNM Ed25519DSIGNM # type ContextDSIGNM Ed25519DSIGNM # type SignableM Ed25519DSIGNM :: Type -> Constraint # Methods algorithmNameDSIGNM :: proxy Ed25519DSIGNM -> String # hashVerKeyDSIGNM :: HashAlgorithm h => VerKeyDSIGNM Ed25519DSIGNM -> Hash h (VerKeyDSIGNM Ed25519DSIGNM) # verifyDSIGNM :: (SignableM Ed25519DSIGNM a, HasCallStack) => ContextDSIGNM Ed25519DSIGNM -> VerKeyDSIGNM Ed25519DSIGNM -> a -> SigDSIGNM Ed25519DSIGNM -> Either String () # rawSerialiseVerKeyDSIGNM :: VerKeyDSIGNM Ed25519DSIGNM -> ByteString # rawSerialiseSigDSIGNM :: SigDSIGNM Ed25519DSIGNM -> ByteString # rawDeserialiseVerKeyDSIGNM :: ByteString -> Maybe (VerKeyDSIGNM Ed25519DSIGNM) # rawDeserialiseSigDSIGNM :: ByteString -> Maybe (SigDSIGNM Ed25519DSIGNM) #
(MonadST m, MonadSodium m, MonadThrow m) => DSIGNMAlgorithm m Ed25519DSIGNM #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519ML Methods deriveVerKeyDSIGNM :: SignKeyDSIGNM Ed25519DSIGNM -> m (VerKeyDSIGNM Ed25519DSIGNM) # signDSIGNM :: (SignableM Ed25519DSIGNM a, HasCallStack) => ContextDSIGNM Ed25519DSIGNM -> a -> SignKeyDSIGNM Ed25519DSIGNM -> m (SigDSIGNM Ed25519DSIGNM) # genKeyDSIGNM :: MLockedSeed (SeedSizeDSIGNM Ed25519DSIGNM) -> m (SignKeyDSIGNM Ed25519DSIGNM) # cloneKeyDSIGNM :: SignKeyDSIGNM Ed25519DSIGNM -> m (SignKeyDSIGNM Ed25519DSIGNM) # getSeedDSIGNM :: Proxy Ed25519DSIGNM -> SignKeyDSIGNM Ed25519DSIGNM -> m (MLockedSeed (SeedSizeDSIGNM Ed25519DSIGNM)) # forgetSignKeyDSIGNM :: SignKeyDSIGNM Ed25519DSIGNM -> m () #
(MonadST m, MonadSodium m, MonadThrow m) => UnsoundDSIGNMAlgorithm m Ed25519DSIGNM #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519ML Methods rawSerialiseSignKeyDSIGNM :: SignKeyDSIGNM Ed25519DSIGNM -> m ByteString # rawDeserialiseSignKeyDSIGNM :: ByteString -> m (Maybe (SignKeyDSIGNM Ed25519DSIGNM)) #
(MonadST m, MonadSodium m) => MEq m (SignKeyDSIGNM Ed25519DSIGNM) #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519ML Methods equalsM :: SignKeyDSIGNM Ed25519DSIGNM -> SignKeyDSIGNM Ed25519DSIGNM -> m Bool #
Generic (SigDSIGNM Ed25519DSIGNM) #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519ML Associated Types type Rep (SigDSIGNM Ed25519DSIGNM) :: Type -> Type Source # Methods from :: SigDSIGNM Ed25519DSIGNM -> Rep (SigDSIGNM Ed25519DSIGNM) x Source # to :: Rep (SigDSIGNM Ed25519DSIGNM) x -> SigDSIGNM Ed25519DSIGNM Source #
Generic (VerKeyDSIGNM Ed25519DSIGNM) #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519ML Associated Types type Rep (VerKeyDSIGNM Ed25519DSIGNM) :: Type -> Type Source # Methods from :: VerKeyDSIGNM Ed25519DSIGNM -> Rep (VerKeyDSIGNM Ed25519DSIGNM) x Source # to :: Rep (VerKeyDSIGNM Ed25519DSIGNM) x -> VerKeyDSIGNM Ed25519DSIGNM Source #
Show (SigDSIGNM Ed25519DSIGNM) #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519ML Methods showsPrec :: Int -> SigDSIGNM Ed25519DSIGNM -> ShowS Source # show :: SigDSIGNM Ed25519DSIGNM -> String Source # showList :: [SigDSIGNM Ed25519DSIGNM] -> ShowS Source #
Show (SignKeyDSIGNM Ed25519DSIGNM) #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519ML Methods showsPrec :: Int -> SignKeyDSIGNM Ed25519DSIGNM -> ShowS Source # show :: SignKeyDSIGNM Ed25519DSIGNM -> String Source # showList :: [SignKeyDSIGNM Ed25519DSIGNM] -> ShowS Source #
Show (VerKeyDSIGNM Ed25519DSIGNM) #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519ML Methods showsPrec :: Int -> VerKeyDSIGNM Ed25519DSIGNM -> ShowS Source # show :: VerKeyDSIGNM Ed25519DSIGNM -> String Source # showList :: [VerKeyDSIGNM Ed25519DSIGNM] -> ShowS Source #
FromCBOR (SigDSIGNM Ed25519DSIGNM) #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519ML Methods fromCBOR :: Decoder s (SigDSIGNM Ed25519DSIGNM) Source # label :: Proxy (SigDSIGNM Ed25519DSIGNM) -> Text Source #
(TypeError ('Text "CBOR decoding would violate mlocking guarantees") :: Constraint) => FromCBOR (SignKeyDSIGNM Ed25519DSIGNM) #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519ML Methods fromCBOR :: Decoder s (SignKeyDSIGNM Ed25519DSIGNM) Source # label :: Proxy (SignKeyDSIGNM Ed25519DSIGNM) -> Text Source #
FromCBOR (VerKeyDSIGNM Ed25519DSIGNM) #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519ML Methods fromCBOR :: Decoder s (VerKeyDSIGNM Ed25519DSIGNM) Source # label :: Proxy (VerKeyDSIGNM Ed25519DSIGNM) -> Text Source #
ToCBOR (SigDSIGNM Ed25519DSIGNM) #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519ML Methods toCBOR :: SigDSIGNM Ed25519DSIGNM -> Encoding Source # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SigDSIGNM Ed25519DSIGNM) -> Size Source # encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SigDSIGNM Ed25519DSIGNM] -> Size Source #
(TypeError ('Text "CBOR encoding would violate mlocking guarantees") :: Constraint) => ToCBOR (SignKeyDSIGNM Ed25519DSIGNM) #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519ML Methods toCBOR :: SignKeyDSIGNM Ed25519DSIGNM -> Encoding Source # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SignKeyDSIGNM Ed25519DSIGNM) -> Size Source # encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SignKeyDSIGNM Ed25519DSIGNM] -> Size Source #
ToCBOR (VerKeyDSIGNM Ed25519DSIGNM) #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519ML Methods toCBOR :: VerKeyDSIGNM Ed25519DSIGNM -> Encoding Source # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (VerKeyDSIGNM Ed25519DSIGNM) -> Size Source # encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [VerKeyDSIGNM Ed25519DSIGNM] -> Size Source #
NFData (SigDSIGNM Ed25519DSIGNM) #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519ML Methods rnf :: SigDSIGNM Ed25519DSIGNM -> () Source #
NFData (SignKeyDSIGNM Ed25519DSIGNM) #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519ML Methods rnf :: SignKeyDSIGNM Ed25519DSIGNM -> () Source #
NFData (VerKeyDSIGNM Ed25519DSIGNM) #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519ML Methods rnf :: VerKeyDSIGNM Ed25519DSIGNM -> () Source #
Eq (SigDSIGNM Ed25519DSIGNM) #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519ML Methods (==) :: SigDSIGNM Ed25519DSIGNM -> SigDSIGNM Ed25519DSIGNM -> Bool Source # (/=) :: SigDSIGNM Ed25519DSIGNM -> SigDSIGNM Ed25519DSIGNM -> Bool Source #
Eq (VerKeyDSIGNM Ed25519DSIGNM) #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519ML Methods (==) :: VerKeyDSIGNM Ed25519DSIGNM -> VerKeyDSIGNM Ed25519DSIGNM -> Bool Source # (/=) :: VerKeyDSIGNM Ed25519DSIGNM -> VerKeyDSIGNM Ed25519DSIGNM -> Bool Source #
NoThunks (SigDSIGNM Ed25519DSIGNM) #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519ML Methods noThunks :: Context -> SigDSIGNM Ed25519DSIGNM -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> SigDSIGNM Ed25519DSIGNM -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (SigDSIGNM Ed25519DSIGNM) -> String Source #
NoThunks (SignKeyDSIGNM Ed25519DSIGNM) #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519ML Methods noThunks :: Context -> SignKeyDSIGNM Ed25519DSIGNM -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> SignKeyDSIGNM Ed25519DSIGNM -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (SignKeyDSIGNM Ed25519DSIGNM) -> String Source #
NoThunks (VerKeyDSIGNM Ed25519DSIGNM) #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519ML Methods noThunks :: Context -> VerKeyDSIGNM Ed25519DSIGNM -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> VerKeyDSIGNM Ed25519DSIGNM -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (VerKeyDSIGNM Ed25519DSIGNM) -> String Source #
type ContextDSIGNM Ed25519DSIGNM #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519ML type ContextDSIGNM Ed25519DSIGNM = ()
type SeedSizeDSIGNM Ed25519DSIGNM #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519ML type SeedSizeDSIGNM Ed25519DSIGNM = CRYPTO_SIGN_ED25519_SEEDBYTES
newtype SigDSIGNM Ed25519DSIGNM #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519ML newtype SigDSIGNM Ed25519DSIGNM = SigEd25519DSIGNM (PinnedSizedBytes (SizeSigDSIGNM Ed25519DSIGNM))
newtype SignKeyDSIGNM Ed25519DSIGNM #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519ML newtype SignKeyDSIGNM Ed25519DSIGNM = SignKeyEd25519DSIGNM (MLockedSizedBytes CRYPTO_SIGN_ED25519_SECRETKEYBYTES)
type SignableM Ed25519DSIGNM #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519ML type SignableM Ed25519DSIGNM = SignableRepresentation
type SizeSigDSIGNM Ed25519DSIGNM #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519ML type SizeSigDSIGNM Ed25519DSIGNM = CRYPTO_SIGN_ED25519_BYTES
type SizeSignKeyDSIGNM Ed25519DSIGNM #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519ML type SizeSignKeyDSIGNM Ed25519DSIGNM = CRYPTO_SIGN_ED25519_SEEDBYTES
type SizeVerKeyDSIGNM Ed25519DSIGNM #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519ML type SizeVerKeyDSIGNM Ed25519DSIGNM = CRYPTO_SIGN_ED25519_PUBLICKEYBYTES
newtype VerKeyDSIGNM Ed25519DSIGNM #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519ML newtype VerKeyDSIGNM Ed25519DSIGNM = VerKeyEd25519DSIGNM (PinnedSizedBytes (SizeVerKeyDSIGNM Ed25519DSIGNM))
type Rep (SigDSIGNM Ed25519DSIGNM) #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519ML type Rep (SigDSIGNM Ed25519DSIGNM) = D1 ('MetaData "SigDSIGNM" "Cardano.Crypto.DSIGN.Ed25519ML" "cardano-crypto-class-2.1.1.0-inplace" 'True) (C1 ('MetaCons "SigEd25519DSIGNM" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PinnedSizedBytes (SizeSigDSIGNM Ed25519DSIGNM)))))
type Rep (VerKeyDSIGNM Ed25519DSIGNM) #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519ML type Rep (VerKeyDSIGNM Ed25519DSIGNM) = D1 ('MetaData "VerKeyDSIGNM" "Cardano.Crypto.DSIGN.Ed25519ML" "cardano-crypto-class-2.1.1.0-inplace" 'True) (C1 ('MetaCons "VerKeyEd25519DSIGNM" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PinnedSizedBytes (SizeVerKeyDSIGNM Ed25519DSIGNM)))))

data family SigDSIGNM v :: Type #

Instances

Instances details

Generic (SigDSIGNM Ed25519DSIGNM) #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519ML Associated Types type Rep (SigDSIGNM Ed25519DSIGNM) :: Type -> Type Source # Methods from :: SigDSIGNM Ed25519DSIGNM -> Rep (SigDSIGNM Ed25519DSIGNM) x Source # to :: Rep (SigDSIGNM Ed25519DSIGNM) x -> SigDSIGNM Ed25519DSIGNM Source #
Show (SigDSIGNM Ed25519DSIGNM) #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519ML Methods showsPrec :: Int -> SigDSIGNM Ed25519DSIGNM -> ShowS Source # show :: SigDSIGNM Ed25519DSIGNM -> String Source # showList :: [SigDSIGNM Ed25519DSIGNM] -> ShowS Source #
FromCBOR (SigDSIGNM Ed25519DSIGNM) #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519ML Methods fromCBOR :: Decoder s (SigDSIGNM Ed25519DSIGNM) Source # label :: Proxy (SigDSIGNM Ed25519DSIGNM) -> Text Source #
ToCBOR (SigDSIGNM Ed25519DSIGNM) #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519ML Methods toCBOR :: SigDSIGNM Ed25519DSIGNM -> Encoding Source # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SigDSIGNM Ed25519DSIGNM) -> Size Source # encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SigDSIGNM Ed25519DSIGNM] -> Size Source #
NFData (SigDSIGNM Ed25519DSIGNM) #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519ML Methods rnf :: SigDSIGNM Ed25519DSIGNM -> () Source #
Eq (SigDSIGNM Ed25519DSIGNM) #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519ML Methods (==) :: SigDSIGNM Ed25519DSIGNM -> SigDSIGNM Ed25519DSIGNM -> Bool Source # (/=) :: SigDSIGNM Ed25519DSIGNM -> SigDSIGNM Ed25519DSIGNM -> Bool Source #
NoThunks (SigDSIGNM Ed25519DSIGNM) #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519ML Methods noThunks :: Context -> SigDSIGNM Ed25519DSIGNM -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> SigDSIGNM Ed25519DSIGNM -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (SigDSIGNM Ed25519DSIGNM) -> String Source #
newtype SigDSIGNM Ed25519DSIGNM #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519ML newtype SigDSIGNM Ed25519DSIGNM = SigEd25519DSIGNM (PinnedSizedBytes (SizeSigDSIGNM Ed25519DSIGNM))
type Rep (SigDSIGNM Ed25519DSIGNM) #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519ML type Rep (SigDSIGNM Ed25519DSIGNM) = D1 ('MetaData "SigDSIGNM" "Cardano.Crypto.DSIGN.Ed25519ML" "cardano-crypto-class-2.1.1.0-inplace" 'True) (C1 ('MetaCons "SigEd25519DSIGNM" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PinnedSizedBytes (SizeSigDSIGNM Ed25519DSIGNM)))))

data family SignKeyDSIGNM v :: Type #

Instances

Instances details

(MonadST m, MonadSodium m) => MEq m (SignKeyDSIGNM Ed25519DSIGNM) #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519ML Methods equalsM :: SignKeyDSIGNM Ed25519DSIGNM -> SignKeyDSIGNM Ed25519DSIGNM -> m Bool #
Show (SignKeyDSIGNM Ed25519DSIGNM) #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519ML Methods showsPrec :: Int -> SignKeyDSIGNM Ed25519DSIGNM -> ShowS Source # show :: SignKeyDSIGNM Ed25519DSIGNM -> String Source # showList :: [SignKeyDSIGNM Ed25519DSIGNM] -> ShowS Source #
(TypeError ('Text "CBOR decoding would violate mlocking guarantees") :: Constraint) => FromCBOR (SignKeyDSIGNM Ed25519DSIGNM) #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519ML Methods fromCBOR :: Decoder s (SignKeyDSIGNM Ed25519DSIGNM) Source # label :: Proxy (SignKeyDSIGNM Ed25519DSIGNM) -> Text Source #
(TypeError ('Text "CBOR encoding would violate mlocking guarantees") :: Constraint) => ToCBOR (SignKeyDSIGNM Ed25519DSIGNM) #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519ML Methods toCBOR :: SignKeyDSIGNM Ed25519DSIGNM -> Encoding Source # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SignKeyDSIGNM Ed25519DSIGNM) -> Size Source # encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SignKeyDSIGNM Ed25519DSIGNM] -> Size Source #
NFData (SignKeyDSIGNM Ed25519DSIGNM) #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519ML Methods rnf :: SignKeyDSIGNM Ed25519DSIGNM -> () Source #
(TypeError ('Text "Ord not supported for signing keys, use the hash instead") :: Constraint, Eq (SignKeyDSIGNM v)) => Ord (SignKeyDSIGNM v) #
Instance details Defined in Cardano.Crypto.DSIGNM.Class Methods compare :: SignKeyDSIGNM v -> SignKeyDSIGNM v -> Ordering Source # (<) :: SignKeyDSIGNM v -> SignKeyDSIGNM v -> Bool Source # (<=) :: SignKeyDSIGNM v -> SignKeyDSIGNM v -> Bool Source # (>) :: SignKeyDSIGNM v -> SignKeyDSIGNM v -> Bool Source # (>=) :: SignKeyDSIGNM v -> SignKeyDSIGNM v -> Bool Source # max :: SignKeyDSIGNM v -> SignKeyDSIGNM v -> SignKeyDSIGNM v Source # min :: SignKeyDSIGNM v -> SignKeyDSIGNM v -> SignKeyDSIGNM v Source #
NoThunks (SignKeyDSIGNM Ed25519DSIGNM) #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519ML Methods noThunks :: Context -> SignKeyDSIGNM Ed25519DSIGNM -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> SignKeyDSIGNM Ed25519DSIGNM -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (SignKeyDSIGNM Ed25519DSIGNM) -> String Source #
newtype SignKeyDSIGNM Ed25519DSIGNM #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519ML newtype SignKeyDSIGNM Ed25519DSIGNM = SignKeyEd25519DSIGNM (MLockedSizedBytes CRYPTO_SIGN_ED25519_SECRETKEYBYTES)

data family VerKeyDSIGNM v :: Type #

Instances

Instances details

Generic (VerKeyDSIGNM Ed25519DSIGNM) #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519ML Associated Types type Rep (VerKeyDSIGNM Ed25519DSIGNM) :: Type -> Type Source # Methods from :: VerKeyDSIGNM Ed25519DSIGNM -> Rep (VerKeyDSIGNM Ed25519DSIGNM) x Source # to :: Rep (VerKeyDSIGNM Ed25519DSIGNM) x -> VerKeyDSIGNM Ed25519DSIGNM Source #
Show (VerKeyDSIGNM Ed25519DSIGNM) #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519ML Methods showsPrec :: Int -> VerKeyDSIGNM Ed25519DSIGNM -> ShowS Source # show :: VerKeyDSIGNM Ed25519DSIGNM -> String Source # showList :: [VerKeyDSIGNM Ed25519DSIGNM] -> ShowS Source #
FromCBOR (VerKeyDSIGNM Ed25519DSIGNM) #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519ML Methods fromCBOR :: Decoder s (VerKeyDSIGNM Ed25519DSIGNM) Source # label :: Proxy (VerKeyDSIGNM Ed25519DSIGNM) -> Text Source #
ToCBOR (VerKeyDSIGNM Ed25519DSIGNM) #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519ML Methods toCBOR :: VerKeyDSIGNM Ed25519DSIGNM -> Encoding Source # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (VerKeyDSIGNM Ed25519DSIGNM) -> Size Source # encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [VerKeyDSIGNM Ed25519DSIGNM] -> Size Source #
NFData (VerKeyDSIGNM Ed25519DSIGNM) #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519ML Methods rnf :: VerKeyDSIGNM Ed25519DSIGNM -> () Source #
Eq (VerKeyDSIGNM Ed25519DSIGNM) #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519ML Methods (==) :: VerKeyDSIGNM Ed25519DSIGNM -> VerKeyDSIGNM Ed25519DSIGNM -> Bool Source # (/=) :: VerKeyDSIGNM Ed25519DSIGNM -> VerKeyDSIGNM Ed25519DSIGNM -> Bool Source #
(TypeError ('Text "Ord not supported for verification keys, use the hash instead") :: Constraint, Eq (VerKeyDSIGNM v)) => Ord (VerKeyDSIGNM v) #
Instance details Defined in Cardano.Crypto.DSIGNM.Class Methods compare :: VerKeyDSIGNM v -> VerKeyDSIGNM v -> Ordering Source # (<) :: VerKeyDSIGNM v -> VerKeyDSIGNM v -> Bool Source # (<=) :: VerKeyDSIGNM v -> VerKeyDSIGNM v -> Bool Source # (>) :: VerKeyDSIGNM v -> VerKeyDSIGNM v -> Bool Source # (>=) :: VerKeyDSIGNM v -> VerKeyDSIGNM v -> Bool Source # max :: VerKeyDSIGNM v -> VerKeyDSIGNM v -> VerKeyDSIGNM v Source # min :: VerKeyDSIGNM v -> VerKeyDSIGNM v -> VerKeyDSIGNM v Source #
NoThunks (VerKeyDSIGNM Ed25519DSIGNM) #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519ML Methods noThunks :: Context -> VerKeyDSIGNM Ed25519DSIGNM -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> VerKeyDSIGNM Ed25519DSIGNM -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (VerKeyDSIGNM Ed25519DSIGNM) -> String Source #
newtype VerKeyDSIGNM Ed25519DSIGNM #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519ML newtype VerKeyDSIGNM Ed25519DSIGNM = VerKeyEd25519DSIGNM (PinnedSizedBytes (SizeVerKeyDSIGNM Ed25519DSIGNM))
type Rep (VerKeyDSIGNM Ed25519DSIGNM) #
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519ML type Rep (VerKeyDSIGNM Ed25519DSIGNM) = D1 ('MetaData "VerKeyDSIGNM" "Cardano.Crypto.DSIGN.Ed25519ML" "cardano-crypto-class-2.1.1.0-inplace" 'True) (C1 ('MetaCons "VerKeyEd25519DSIGNM" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PinnedSizedBytes (SizeVerKeyDSIGNM Ed25519DSIGNM)))))