Safe Haskell	Safe-Inferred
Language	Haskell2010

Ouroboros.Consensus.Byron.Crypto.DSIGN

Description

Byron digital signatures.

Documentation

data ByronDSIGN Source #

Instances

Instances details

DSIGNAlgorithm ByronDSIGN Source #
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN Associated Types type SeedSizeDSIGN ByronDSIGN :: Nat type SizeVerKeyDSIGN ByronDSIGN :: Nat type SizeSignKeyDSIGN ByronDSIGN :: Nat type SizeSigDSIGN ByronDSIGN :: Nat data VerKeyDSIGN ByronDSIGN # data SignKeyDSIGN ByronDSIGN # data SigDSIGN ByronDSIGN # type ContextDSIGN ByronDSIGN type Signable ByronDSIGN :: Type -> Constraint Methods algorithmNameDSIGN :: proxy ByronDSIGN -> String deriveVerKeyDSIGN :: SignKeyDSIGN ByronDSIGN -> VerKeyDSIGN ByronDSIGN hashVerKeyDSIGN :: HashAlgorithm h => VerKeyDSIGN ByronDSIGN -> Hash h (VerKeyDSIGN ByronDSIGN) signDSIGN :: (Signable ByronDSIGN a, HasCallStack) => ContextDSIGN ByronDSIGN -> a -> SignKeyDSIGN ByronDSIGN -> SigDSIGN ByronDSIGN verifyDSIGN :: (Signable ByronDSIGN a, HasCallStack) => ContextDSIGN ByronDSIGN -> VerKeyDSIGN ByronDSIGN -> a -> SigDSIGN ByronDSIGN -> Either String () genKeyDSIGN :: Seed -> SignKeyDSIGN ByronDSIGN rawSerialiseVerKeyDSIGN :: VerKeyDSIGN ByronDSIGN -> ByteString rawSerialiseSignKeyDSIGN :: SignKeyDSIGN ByronDSIGN -> ByteString rawSerialiseSigDSIGN :: SigDSIGN ByronDSIGN -> ByteString rawDeserialiseVerKeyDSIGN :: ByteString -> Maybe (VerKeyDSIGN ByronDSIGN) rawDeserialiseSignKeyDSIGN :: ByteString -> Maybe (SignKeyDSIGN ByronDSIGN) rawDeserialiseSigDSIGN :: ByteString -> Maybe (SigDSIGN ByronDSIGN)
Generic (SigDSIGN ByronDSIGN) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN Associated Types type Rep (SigDSIGN ByronDSIGN) :: Type -> Type Source # Methods from :: SigDSIGN ByronDSIGN -> Rep (SigDSIGN ByronDSIGN) x Source # to :: Rep (SigDSIGN ByronDSIGN) x -> SigDSIGN ByronDSIGN Source #
Generic (SignKeyDSIGN ByronDSIGN) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN Associated Types type Rep (SignKeyDSIGN ByronDSIGN) :: Type -> Type Source # Methods from :: SignKeyDSIGN ByronDSIGN -> Rep (SignKeyDSIGN ByronDSIGN) x Source # to :: Rep (SignKeyDSIGN ByronDSIGN) x -> SignKeyDSIGN ByronDSIGN Source #
Generic (VerKeyDSIGN ByronDSIGN) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN Associated Types type Rep (VerKeyDSIGN ByronDSIGN) :: Type -> Type Source # Methods from :: VerKeyDSIGN ByronDSIGN -> Rep (VerKeyDSIGN ByronDSIGN) x Source # to :: Rep (VerKeyDSIGN ByronDSIGN) x -> VerKeyDSIGN ByronDSIGN Source #
Show (SigDSIGN ByronDSIGN) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN Methods showsPrec :: Int -> SigDSIGN ByronDSIGN -> ShowS Source # show :: SigDSIGN ByronDSIGN -> String Source # showList :: [SigDSIGN ByronDSIGN] -> ShowS Source #
Show (SignKeyDSIGN ByronDSIGN) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN Methods showsPrec :: Int -> SignKeyDSIGN ByronDSIGN -> ShowS Source # show :: SignKeyDSIGN ByronDSIGN -> String Source # showList :: [SignKeyDSIGN ByronDSIGN] -> ShowS Source #
Show (VerKeyDSIGN ByronDSIGN) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN Methods showsPrec :: Int -> VerKeyDSIGN ByronDSIGN -> ShowS Source # show :: VerKeyDSIGN ByronDSIGN -> String Source # showList :: [VerKeyDSIGN ByronDSIGN] -> ShowS Source #
Eq (SigDSIGN ByronDSIGN) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN Methods (==) :: SigDSIGN ByronDSIGN -> SigDSIGN ByronDSIGN -> Bool Source # (/=) :: SigDSIGN ByronDSIGN -> SigDSIGN ByronDSIGN -> Bool Source #
Eq (VerKeyDSIGN ByronDSIGN) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN Methods (==) :: VerKeyDSIGN ByronDSIGN -> VerKeyDSIGN ByronDSIGN -> Bool Source # (/=) :: VerKeyDSIGN ByronDSIGN -> VerKeyDSIGN ByronDSIGN -> Bool Source #
NoThunks (SigDSIGN ByronDSIGN) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN Methods noThunks :: Context -> SigDSIGN ByronDSIGN -> IO (Maybe ThunkInfo) wNoThunks :: Context -> SigDSIGN ByronDSIGN -> IO (Maybe ThunkInfo) showTypeOf :: Proxy (SigDSIGN ByronDSIGN) -> String
NoThunks (SignKeyDSIGN ByronDSIGN) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN Methods noThunks :: Context -> SignKeyDSIGN ByronDSIGN -> IO (Maybe ThunkInfo) wNoThunks :: Context -> SignKeyDSIGN ByronDSIGN -> IO (Maybe ThunkInfo) showTypeOf :: Proxy (SignKeyDSIGN ByronDSIGN) -> String
NoThunks (VerKeyDSIGN ByronDSIGN) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN Methods noThunks :: Context -> VerKeyDSIGN ByronDSIGN -> IO (Maybe ThunkInfo) wNoThunks :: Context -> VerKeyDSIGN ByronDSIGN -> IO (Maybe ThunkInfo) showTypeOf :: Proxy (VerKeyDSIGN ByronDSIGN) -> String
Condense (SigDSIGN ByronDSIGN) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN Methods condense :: SigDSIGN ByronDSIGN -> String
type ContextDSIGN ByronDSIGN Source #
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN type ContextDSIGN ByronDSIGN = (ProtocolMagicId, VerKeyDSIGN ByronDSIGN)
type SeedSizeDSIGN ByronDSIGN Source #
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN type SeedSizeDSIGN ByronDSIGN = 32
newtype SigDSIGN ByronDSIGN Source #
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN newtype SigDSIGN ByronDSIGN = SigByronDSIGN (Signature ToSign)
newtype SignKeyDSIGN ByronDSIGN Source #
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN newtype SignKeyDSIGN ByronDSIGN = SignKeyByronDSIGN SigningKey
type Signable ByronDSIGN Source #
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN type Signable ByronDSIGN
type SizeSigDSIGN ByronDSIGN Source #
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN type SizeSigDSIGN ByronDSIGN = 64
type SizeSignKeyDSIGN ByronDSIGN Source #
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN type SizeSignKeyDSIGN ByronDSIGN = 128
type SizeVerKeyDSIGN ByronDSIGN Source #
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN type SizeVerKeyDSIGN ByronDSIGN = 64
newtype VerKeyDSIGN ByronDSIGN Source #
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN newtype VerKeyDSIGN ByronDSIGN = VerKeyByronDSIGN VerificationKey
type Rep (SigDSIGN ByronDSIGN) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN type Rep (SigDSIGN ByronDSIGN) = D1 ('MetaData "SigDSIGN" "Ouroboros.Consensus.Byron.Crypto.DSIGN" "ouroboros-consensus-cardano-0.12.1.0-B7PPTiiOqdjFK3zhRUwDA9" 'True) (C1 ('MetaCons "SigByronDSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Signature ToSign))))
type Rep (SignKeyDSIGN ByronDSIGN) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN type Rep (SignKeyDSIGN ByronDSIGN) = D1 ('MetaData "SignKeyDSIGN" "Ouroboros.Consensus.Byron.Crypto.DSIGN" "ouroboros-consensus-cardano-0.12.1.0-B7PPTiiOqdjFK3zhRUwDA9" 'True) (C1 ('MetaCons "SignKeyByronDSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SigningKey)))
type Rep (VerKeyDSIGN ByronDSIGN) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN type Rep (VerKeyDSIGN ByronDSIGN) = D1 ('MetaData "VerKeyDSIGN" "Ouroboros.Consensus.Byron.Crypto.DSIGN" "ouroboros-consensus-cardano-0.12.1.0-B7PPTiiOqdjFK3zhRUwDA9" 'True) (C1 ('MetaCons "VerKeyByronDSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 VerificationKey)))

class HasSignTag a where Source #

Methods

signTag :: VerKeyDSIGN ByronDSIGN -> proxy a -> SignTag Source #

Instances

Instances details

HasSignTag TxSigData Source #
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN Methods signTag :: VerKeyDSIGN ByronDSIGN -> proxy TxSigData -> SignTag Source #
HasSignTag (Annotated ToSign ByteString) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN Methods signTag :: VerKeyDSIGN ByronDSIGN -> proxy (Annotated ToSign ByteString) -> SignTag Source #

data family SigDSIGN v #

Instances

Instances details

Generic (SigDSIGN EcdsaSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Associated Types type Rep (SigDSIGN EcdsaSecp256k1DSIGN) :: Type -> Type Source # Methods from :: SigDSIGN EcdsaSecp256k1DSIGN -> Rep (SigDSIGN EcdsaSecp256k1DSIGN) x Source # to :: Rep (SigDSIGN EcdsaSecp256k1DSIGN) x -> SigDSIGN EcdsaSecp256k1DSIGN Source #
Generic (SigDSIGN Ed25519DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Associated Types type Rep (SigDSIGN Ed25519DSIGN) :: Type -> Type Source # Methods from :: SigDSIGN Ed25519DSIGN -> Rep (SigDSIGN Ed25519DSIGN) x Source # to :: Rep (SigDSIGN Ed25519DSIGN) x -> SigDSIGN Ed25519DSIGN Source #
Generic (SigDSIGN Ed448DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Associated Types type Rep (SigDSIGN Ed448DSIGN) :: Type -> Type Source # Methods from :: SigDSIGN Ed448DSIGN -> Rep (SigDSIGN Ed448DSIGN) x Source # to :: Rep (SigDSIGN Ed448DSIGN) x -> SigDSIGN Ed448DSIGN Source #
Generic (SigDSIGN MockDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Mock Associated Types type Rep (SigDSIGN MockDSIGN) :: Type -> Type Source # Methods from :: SigDSIGN MockDSIGN -> Rep (SigDSIGN MockDSIGN) x Source # to :: Rep (SigDSIGN MockDSIGN) x -> SigDSIGN MockDSIGN Source #
Generic (SigDSIGN NeverDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed Associated Types type Rep (SigDSIGN NeverDSIGN) :: Type -> Type Source # Methods from :: SigDSIGN NeverDSIGN -> Rep (SigDSIGN NeverDSIGN) x Source # to :: Rep (SigDSIGN NeverDSIGN) x -> SigDSIGN NeverDSIGN Source #
Generic (SigDSIGN SchnorrSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Associated Types type Rep (SigDSIGN SchnorrSecp256k1DSIGN) :: Type -> Type Source # Methods from :: SigDSIGN SchnorrSecp256k1DSIGN -> Rep (SigDSIGN SchnorrSecp256k1DSIGN) x Source # to :: Rep (SigDSIGN SchnorrSecp256k1DSIGN) x -> SigDSIGN SchnorrSecp256k1DSIGN Source #
Generic (SigDSIGN ByronDSIGN) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN Associated Types type Rep (SigDSIGN ByronDSIGN) :: Type -> Type Source # Methods from :: SigDSIGN ByronDSIGN -> Rep (SigDSIGN ByronDSIGN) x Source # to :: Rep (SigDSIGN ByronDSIGN) x -> SigDSIGN ByronDSIGN Source #
Show (SigDSIGN EcdsaSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods showsPrec :: Int -> SigDSIGN EcdsaSecp256k1DSIGN -> ShowS Source # show :: SigDSIGN EcdsaSecp256k1DSIGN -> String Source # showList :: [SigDSIGN EcdsaSecp256k1DSIGN] -> ShowS Source #
Show (SigDSIGN Ed25519DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods showsPrec :: Int -> SigDSIGN Ed25519DSIGN -> ShowS Source # show :: SigDSIGN Ed25519DSIGN -> String Source # showList :: [SigDSIGN Ed25519DSIGN] -> ShowS Source #
Show (SigDSIGN Ed448DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods showsPrec :: Int -> SigDSIGN Ed448DSIGN -> ShowS Source # show :: SigDSIGN Ed448DSIGN -> String Source # showList :: [SigDSIGN Ed448DSIGN] -> ShowS Source #
Show (SigDSIGN MockDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods showsPrec :: Int -> SigDSIGN MockDSIGN -> ShowS Source # show :: SigDSIGN MockDSIGN -> String Source # showList :: [SigDSIGN MockDSIGN] -> ShowS Source #
Show (SigDSIGN NeverDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed Methods showsPrec :: Int -> SigDSIGN NeverDSIGN -> ShowS Source # show :: SigDSIGN NeverDSIGN -> String Source # showList :: [SigDSIGN NeverDSIGN] -> ShowS Source #
Show (SigDSIGN SchnorrSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods showsPrec :: Int -> SigDSIGN SchnorrSecp256k1DSIGN -> ShowS Source # show :: SigDSIGN SchnorrSecp256k1DSIGN -> String Source # showList :: [SigDSIGN SchnorrSecp256k1DSIGN] -> ShowS Source #
Show (SigDSIGN ByronDSIGN) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN Methods showsPrec :: Int -> SigDSIGN ByronDSIGN -> ShowS Source # show :: SigDSIGN ByronDSIGN -> String Source # showList :: [SigDSIGN ByronDSIGN] -> ShowS Source #
FromCBOR (SigDSIGN EcdsaSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods fromCBOR :: Decoder s (SigDSIGN EcdsaSecp256k1DSIGN) label :: Proxy (SigDSIGN EcdsaSecp256k1DSIGN) -> Text
FromCBOR (SigDSIGN Ed25519DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods fromCBOR :: Decoder s (SigDSIGN Ed25519DSIGN) label :: Proxy (SigDSIGN Ed25519DSIGN) -> Text
FromCBOR (SigDSIGN Ed448DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods fromCBOR :: Decoder s (SigDSIGN Ed448DSIGN) label :: Proxy (SigDSIGN Ed448DSIGN) -> Text
FromCBOR (SigDSIGN MockDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods fromCBOR :: Decoder s (SigDSIGN MockDSIGN) label :: Proxy (SigDSIGN MockDSIGN) -> Text
FromCBOR (SigDSIGN SchnorrSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods fromCBOR :: Decoder s (SigDSIGN SchnorrSecp256k1DSIGN) label :: Proxy (SigDSIGN SchnorrSecp256k1DSIGN) -> Text
ToCBOR (SigDSIGN EcdsaSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods toCBOR :: SigDSIGN EcdsaSecp256k1DSIGN -> Encoding encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SigDSIGN EcdsaSecp256k1DSIGN) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SigDSIGN EcdsaSecp256k1DSIGN] -> Size
ToCBOR (SigDSIGN Ed25519DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods toCBOR :: SigDSIGN Ed25519DSIGN -> Encoding encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SigDSIGN Ed25519DSIGN) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SigDSIGN Ed25519DSIGN] -> Size
ToCBOR (SigDSIGN Ed448DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods toCBOR :: SigDSIGN Ed448DSIGN -> Encoding encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SigDSIGN Ed448DSIGN) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SigDSIGN Ed448DSIGN] -> Size
ToCBOR (SigDSIGN MockDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods toCBOR :: SigDSIGN MockDSIGN -> Encoding encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SigDSIGN MockDSIGN) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SigDSIGN MockDSIGN] -> Size
ToCBOR (SigDSIGN SchnorrSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods toCBOR :: SigDSIGN SchnorrSecp256k1DSIGN -> Encoding encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SigDSIGN SchnorrSecp256k1DSIGN) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SigDSIGN SchnorrSecp256k1DSIGN] -> Size
DSIGNAlgorithm v => DecCBOR (SigDSIGN v)
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR :: Decoder s (SigDSIGN v) dropCBOR :: Proxy (SigDSIGN v) -> Decoder s () label :: Proxy (SigDSIGN v) -> Text
DSIGNAlgorithm v => EncCBOR (SigDSIGN v)
Instance details Defined in Cardano.Ledger.Binary.Encoding.EncCBOR Methods encCBOR :: SigDSIGN v -> Encoding encodedSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy (SigDSIGN v) -> Size encodedListSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy [SigDSIGN v] -> Size
NFData (SigDSIGN EcdsaSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods rnf :: SigDSIGN EcdsaSecp256k1DSIGN -> () Source #
NFData (SigDSIGN Ed25519DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods rnf :: SigDSIGN Ed25519DSIGN -> () Source #
NFData (SigDSIGN MockDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods rnf :: SigDSIGN MockDSIGN -> () Source #
NFData (SigDSIGN SchnorrSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods rnf :: SigDSIGN SchnorrSecp256k1DSIGN -> () Source #
Eq (SigDSIGN EcdsaSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods (==) :: SigDSIGN EcdsaSecp256k1DSIGN -> SigDSIGN EcdsaSecp256k1DSIGN -> Bool Source # (/=) :: SigDSIGN EcdsaSecp256k1DSIGN -> SigDSIGN EcdsaSecp256k1DSIGN -> Bool Source #
Eq (SigDSIGN Ed25519DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods (==) :: SigDSIGN Ed25519DSIGN -> SigDSIGN Ed25519DSIGN -> Bool Source # (/=) :: SigDSIGN Ed25519DSIGN -> SigDSIGN Ed25519DSIGN -> Bool Source #
Eq (SigDSIGN Ed448DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods (==) :: SigDSIGN Ed448DSIGN -> SigDSIGN Ed448DSIGN -> Bool Source # (/=) :: SigDSIGN Ed448DSIGN -> SigDSIGN Ed448DSIGN -> Bool Source #
Eq (SigDSIGN MockDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods (==) :: SigDSIGN MockDSIGN -> SigDSIGN MockDSIGN -> Bool Source # (/=) :: SigDSIGN MockDSIGN -> SigDSIGN MockDSIGN -> Bool Source #
Eq (SigDSIGN NeverDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed Methods (==) :: SigDSIGN NeverDSIGN -> SigDSIGN NeverDSIGN -> Bool Source # (/=) :: SigDSIGN NeverDSIGN -> SigDSIGN NeverDSIGN -> Bool Source #
Eq (SigDSIGN SchnorrSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods (==) :: SigDSIGN SchnorrSecp256k1DSIGN -> SigDSIGN SchnorrSecp256k1DSIGN -> Bool Source # (/=) :: SigDSIGN SchnorrSecp256k1DSIGN -> SigDSIGN SchnorrSecp256k1DSIGN -> Bool Source #
Eq (SigDSIGN ByronDSIGN) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN Methods (==) :: SigDSIGN ByronDSIGN -> SigDSIGN ByronDSIGN -> Bool Source # (/=) :: SigDSIGN ByronDSIGN -> SigDSIGN ByronDSIGN -> Bool Source #
Ord (SigDSIGN MockDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods compare :: SigDSIGN MockDSIGN -> SigDSIGN MockDSIGN -> Ordering Source # (<) :: SigDSIGN MockDSIGN -> SigDSIGN MockDSIGN -> Bool Source # (<=) :: SigDSIGN MockDSIGN -> SigDSIGN MockDSIGN -> Bool Source # (>) :: SigDSIGN MockDSIGN -> SigDSIGN MockDSIGN -> Bool Source # (>=) :: SigDSIGN MockDSIGN -> SigDSIGN MockDSIGN -> Bool Source # max :: SigDSIGN MockDSIGN -> SigDSIGN MockDSIGN -> SigDSIGN MockDSIGN Source # min :: SigDSIGN MockDSIGN -> SigDSIGN MockDSIGN -> SigDSIGN MockDSIGN Source #
ByteArrayAccess (SigDSIGN Ed448DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods length :: SigDSIGN Ed448DSIGN -> Int withByteArray :: SigDSIGN Ed448DSIGN -> (Ptr p -> IO a) -> IO a copyByteArrayToPtr :: SigDSIGN Ed448DSIGN -> Ptr p -> IO ()
NoThunks (SigDSIGN EcdsaSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods noThunks :: Context -> SigDSIGN EcdsaSecp256k1DSIGN -> IO (Maybe ThunkInfo) wNoThunks :: Context -> SigDSIGN EcdsaSecp256k1DSIGN -> IO (Maybe ThunkInfo) showTypeOf :: Proxy (SigDSIGN EcdsaSecp256k1DSIGN) -> String
NoThunks (SigDSIGN Ed25519DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods noThunks :: Context -> SigDSIGN Ed25519DSIGN -> IO (Maybe ThunkInfo) wNoThunks :: Context -> SigDSIGN Ed25519DSIGN -> IO (Maybe ThunkInfo) showTypeOf :: Proxy (SigDSIGN Ed25519DSIGN) -> String
NoThunks (SigDSIGN Ed448DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods noThunks :: Context -> SigDSIGN Ed448DSIGN -> IO (Maybe ThunkInfo) wNoThunks :: Context -> SigDSIGN Ed448DSIGN -> IO (Maybe ThunkInfo) showTypeOf :: Proxy (SigDSIGN Ed448DSIGN) -> String
NoThunks (SigDSIGN MockDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods noThunks :: Context -> SigDSIGN MockDSIGN -> IO (Maybe ThunkInfo) wNoThunks :: Context -> SigDSIGN MockDSIGN -> IO (Maybe ThunkInfo) showTypeOf :: Proxy (SigDSIGN MockDSIGN) -> String
NoThunks (SigDSIGN NeverDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed Methods noThunks :: Context -> SigDSIGN NeverDSIGN -> IO (Maybe ThunkInfo) wNoThunks :: Context -> SigDSIGN NeverDSIGN -> IO (Maybe ThunkInfo) showTypeOf :: Proxy (SigDSIGN NeverDSIGN) -> String
NoThunks (SigDSIGN SchnorrSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods noThunks :: Context -> SigDSIGN SchnorrSecp256k1DSIGN -> IO (Maybe ThunkInfo) wNoThunks :: Context -> SigDSIGN SchnorrSecp256k1DSIGN -> IO (Maybe ThunkInfo) showTypeOf :: Proxy (SigDSIGN SchnorrSecp256k1DSIGN) -> String
NoThunks (SigDSIGN ByronDSIGN)
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN Methods noThunks :: Context -> SigDSIGN ByronDSIGN -> IO (Maybe ThunkInfo) wNoThunks :: Context -> SigDSIGN ByronDSIGN -> IO (Maybe ThunkInfo) showTypeOf :: Proxy (SigDSIGN ByronDSIGN) -> String
Condense (SigDSIGN Ed25519DSIGN)
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense :: SigDSIGN Ed25519DSIGN -> String
Condense (SigDSIGN Ed448DSIGN)
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense :: SigDSIGN Ed448DSIGN -> String
Condense (SigDSIGN MockDSIGN)
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense :: SigDSIGN MockDSIGN -> String
Condense (SigDSIGN ByronDSIGN)
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN Methods condense :: SigDSIGN ByronDSIGN -> String
newtype SigDSIGN EcdsaSecp256k1DSIGN
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 newtype SigDSIGN EcdsaSecp256k1DSIGN = SigEcdsaSecp256k1 (PinnedSizedBytes SECP256K1_ECDSA_SIGNATURE_BYTES_INTERNAL)
newtype SigDSIGN Ed25519DSIGN
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 newtype SigDSIGN Ed25519DSIGN = SigEd25519DSIGN (PinnedSizedBytes (SizeSigDSIGN Ed25519DSIGN))
newtype SigDSIGN Ed448DSIGN
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 newtype SigDSIGN Ed448DSIGN = SigEd448DSIGN Signature
data SigDSIGN MockDSIGN
Instance details Defined in Cardano.Crypto.DSIGN.Mock data SigDSIGN MockDSIGN = SigMockDSIGN !(Hash ShortHash ()) !Word64
data SigDSIGN NeverDSIGN
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed data SigDSIGN NeverDSIGN = NeverUsedSigDSIGN
newtype SigDSIGN SchnorrSecp256k1DSIGN
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 newtype SigDSIGN SchnorrSecp256k1DSIGN = SigSchnorrSecp256k1 (PinnedSizedBytes (SizeSigDSIGN SchnorrSecp256k1DSIGN))
newtype SigDSIGN ByronDSIGN Source #
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN newtype SigDSIGN ByronDSIGN = SigByronDSIGN (Signature ToSign)
type Rep (SigDSIGN EcdsaSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 type Rep (SigDSIGN EcdsaSecp256k1DSIGN) = D1 ('MetaData "SigDSIGN" "Cardano.Crypto.DSIGN.EcdsaSecp256k1" "cardano-crypto-class-2.1.4.0-EZootg3pYOaJjEo7wOQAB5" 'True) (C1 ('MetaCons "SigEcdsaSecp256k1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PinnedSizedBytes SECP256K1_ECDSA_SIGNATURE_BYTES_INTERNAL))))
type Rep (SigDSIGN Ed25519DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 type Rep (SigDSIGN Ed25519DSIGN) = D1 ('MetaData "SigDSIGN" "Cardano.Crypto.DSIGN.Ed25519" "cardano-crypto-class-2.1.4.0-EZootg3pYOaJjEo7wOQAB5" 'True) (C1 ('MetaCons "SigEd25519DSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PinnedSizedBytes (SizeSigDSIGN Ed25519DSIGN)))))
type Rep (SigDSIGN Ed448DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 type Rep (SigDSIGN Ed448DSIGN) = D1 ('MetaData "SigDSIGN" "Cardano.Crypto.DSIGN.Ed448" "cardano-crypto-class-2.1.4.0-EZootg3pYOaJjEo7wOQAB5" 'True) (C1 ('MetaCons "SigEd448DSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Signature)))
type Rep (SigDSIGN MockDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Mock type Rep (SigDSIGN MockDSIGN) = D1 ('MetaData "SigDSIGN" "Cardano.Crypto.DSIGN.Mock" "cardano-crypto-class-2.1.4.0-EZootg3pYOaJjEo7wOQAB5" 'False) (C1 ('MetaCons "SigMockDSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Hash ShortHash ())) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Word64)))
type Rep (SigDSIGN NeverDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed type Rep (SigDSIGN NeverDSIGN) = D1 ('MetaData "SigDSIGN" "Cardano.Crypto.DSIGN.NeverUsed" "cardano-crypto-class-2.1.4.0-EZootg3pYOaJjEo7wOQAB5" 'False) (C1 ('MetaCons "NeverUsedSigDSIGN" 'PrefixI 'False) (U1 :: Type -> Type))
type Rep (SigDSIGN SchnorrSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 type Rep (SigDSIGN SchnorrSecp256k1DSIGN) = D1 ('MetaData "SigDSIGN" "Cardano.Crypto.DSIGN.SchnorrSecp256k1" "cardano-crypto-class-2.1.4.0-EZootg3pYOaJjEo7wOQAB5" 'True) (C1 ('MetaCons "SigSchnorrSecp256k1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PinnedSizedBytes (SizeSigDSIGN SchnorrSecp256k1DSIGN)))))
type Rep (SigDSIGN ByronDSIGN) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN type Rep (SigDSIGN ByronDSIGN) = D1 ('MetaData "SigDSIGN" "Ouroboros.Consensus.Byron.Crypto.DSIGN" "ouroboros-consensus-cardano-0.12.1.0-B7PPTiiOqdjFK3zhRUwDA9" 'True) (C1 ('MetaCons "SigByronDSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Signature ToSign))))

data family SignKeyDSIGN v #

Instances

Instances details

Generic (SignKeyDSIGN EcdsaSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Associated Types type Rep (SignKeyDSIGN EcdsaSecp256k1DSIGN) :: Type -> Type Source # Methods from :: SignKeyDSIGN EcdsaSecp256k1DSIGN -> Rep (SignKeyDSIGN EcdsaSecp256k1DSIGN) x Source # to :: Rep (SignKeyDSIGN EcdsaSecp256k1DSIGN) x -> SignKeyDSIGN EcdsaSecp256k1DSIGN Source #
Generic (SignKeyDSIGN Ed25519DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Associated Types type Rep (SignKeyDSIGN Ed25519DSIGN) :: Type -> Type Source # Methods from :: SignKeyDSIGN Ed25519DSIGN -> Rep (SignKeyDSIGN Ed25519DSIGN) x Source # to :: Rep (SignKeyDSIGN Ed25519DSIGN) x -> SignKeyDSIGN Ed25519DSIGN Source #
Generic (SignKeyDSIGN Ed448DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Associated Types type Rep (SignKeyDSIGN Ed448DSIGN) :: Type -> Type Source # Methods from :: SignKeyDSIGN Ed448DSIGN -> Rep (SignKeyDSIGN Ed448DSIGN) x Source # to :: Rep (SignKeyDSIGN Ed448DSIGN) x -> SignKeyDSIGN Ed448DSIGN Source #
Generic (SignKeyDSIGN MockDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Mock Associated Types type Rep (SignKeyDSIGN MockDSIGN) :: Type -> Type Source # Methods from :: SignKeyDSIGN MockDSIGN -> Rep (SignKeyDSIGN MockDSIGN) x Source # to :: Rep (SignKeyDSIGN MockDSIGN) x -> SignKeyDSIGN MockDSIGN Source #
Generic (SignKeyDSIGN NeverDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed Associated Types type Rep (SignKeyDSIGN NeverDSIGN) :: Type -> Type Source # Methods from :: SignKeyDSIGN NeverDSIGN -> Rep (SignKeyDSIGN NeverDSIGN) x Source # to :: Rep (SignKeyDSIGN NeverDSIGN) x -> SignKeyDSIGN NeverDSIGN Source #
Generic (SignKeyDSIGN SchnorrSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Associated Types type Rep (SignKeyDSIGN SchnorrSecp256k1DSIGN) :: Type -> Type Source # Methods from :: SignKeyDSIGN SchnorrSecp256k1DSIGN -> Rep (SignKeyDSIGN SchnorrSecp256k1DSIGN) x Source # to :: Rep (SignKeyDSIGN SchnorrSecp256k1DSIGN) x -> SignKeyDSIGN SchnorrSecp256k1DSIGN Source #
Generic (SignKeyDSIGN ByronDSIGN) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN Associated Types type Rep (SignKeyDSIGN ByronDSIGN) :: Type -> Type Source # Methods from :: SignKeyDSIGN ByronDSIGN -> Rep (SignKeyDSIGN ByronDSIGN) x Source # to :: Rep (SignKeyDSIGN ByronDSIGN) x -> SignKeyDSIGN ByronDSIGN Source #
Num (SignKeyDSIGN MockDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods (+) :: SignKeyDSIGN MockDSIGN -> SignKeyDSIGN MockDSIGN -> SignKeyDSIGN MockDSIGN Source # (-) :: SignKeyDSIGN MockDSIGN -> SignKeyDSIGN MockDSIGN -> SignKeyDSIGN MockDSIGN Source # (*) :: SignKeyDSIGN MockDSIGN -> SignKeyDSIGN MockDSIGN -> SignKeyDSIGN MockDSIGN Source # negate :: SignKeyDSIGN MockDSIGN -> SignKeyDSIGN MockDSIGN Source # abs :: SignKeyDSIGN MockDSIGN -> SignKeyDSIGN MockDSIGN Source # signum :: SignKeyDSIGN MockDSIGN -> SignKeyDSIGN MockDSIGN Source # fromInteger :: Integer -> SignKeyDSIGN MockDSIGN Source #
Show (SignKeyDSIGN EcdsaSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods showsPrec :: Int -> SignKeyDSIGN EcdsaSecp256k1DSIGN -> ShowS Source # show :: SignKeyDSIGN EcdsaSecp256k1DSIGN -> String Source # showList :: [SignKeyDSIGN EcdsaSecp256k1DSIGN] -> ShowS Source #
Show (SignKeyDSIGN Ed25519DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods showsPrec :: Int -> SignKeyDSIGN Ed25519DSIGN -> ShowS Source # show :: SignKeyDSIGN Ed25519DSIGN -> String Source # showList :: [SignKeyDSIGN Ed25519DSIGN] -> ShowS Source #
Show (SignKeyDSIGN Ed448DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods showsPrec :: Int -> SignKeyDSIGN Ed448DSIGN -> ShowS Source # show :: SignKeyDSIGN Ed448DSIGN -> String Source # showList :: [SignKeyDSIGN Ed448DSIGN] -> ShowS Source #
Show (SignKeyDSIGN MockDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods showsPrec :: Int -> SignKeyDSIGN MockDSIGN -> ShowS Source # show :: SignKeyDSIGN MockDSIGN -> String Source # showList :: [SignKeyDSIGN MockDSIGN] -> ShowS Source #
Show (SignKeyDSIGN NeverDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed Methods showsPrec :: Int -> SignKeyDSIGN NeverDSIGN -> ShowS Source # show :: SignKeyDSIGN NeverDSIGN -> String Source # showList :: [SignKeyDSIGN NeverDSIGN] -> ShowS Source #
Show (SignKeyDSIGN SchnorrSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods showsPrec :: Int -> SignKeyDSIGN SchnorrSecp256k1DSIGN -> ShowS Source # show :: SignKeyDSIGN SchnorrSecp256k1DSIGN -> String Source # showList :: [SignKeyDSIGN SchnorrSecp256k1DSIGN] -> ShowS Source #
Show (SignKeyDSIGN ByronDSIGN) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN Methods showsPrec :: Int -> SignKeyDSIGN ByronDSIGN -> ShowS Source # show :: SignKeyDSIGN ByronDSIGN -> String Source # showList :: [SignKeyDSIGN ByronDSIGN] -> ShowS Source #
FromCBOR (SignKeyDSIGN EcdsaSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods fromCBOR :: Decoder s (SignKeyDSIGN EcdsaSecp256k1DSIGN) label :: Proxy (SignKeyDSIGN EcdsaSecp256k1DSIGN) -> Text
FromCBOR (SignKeyDSIGN Ed25519DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods fromCBOR :: Decoder s (SignKeyDSIGN Ed25519DSIGN) label :: Proxy (SignKeyDSIGN Ed25519DSIGN) -> Text
FromCBOR (SignKeyDSIGN Ed448DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods fromCBOR :: Decoder s (SignKeyDSIGN Ed448DSIGN) label :: Proxy (SignKeyDSIGN Ed448DSIGN) -> Text
FromCBOR (SignKeyDSIGN MockDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods fromCBOR :: Decoder s (SignKeyDSIGN MockDSIGN) label :: Proxy (SignKeyDSIGN MockDSIGN) -> Text
FromCBOR (SignKeyDSIGN SchnorrSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods fromCBOR :: Decoder s (SignKeyDSIGN SchnorrSecp256k1DSIGN) label :: Proxy (SignKeyDSIGN SchnorrSecp256k1DSIGN) -> Text
ToCBOR (SignKeyDSIGN EcdsaSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods toCBOR :: SignKeyDSIGN EcdsaSecp256k1DSIGN -> Encoding encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SignKeyDSIGN EcdsaSecp256k1DSIGN) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SignKeyDSIGN EcdsaSecp256k1DSIGN] -> Size
ToCBOR (SignKeyDSIGN Ed25519DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods toCBOR :: SignKeyDSIGN Ed25519DSIGN -> Encoding encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SignKeyDSIGN Ed25519DSIGN) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SignKeyDSIGN Ed25519DSIGN] -> Size
ToCBOR (SignKeyDSIGN Ed448DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods toCBOR :: SignKeyDSIGN Ed448DSIGN -> Encoding encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SignKeyDSIGN Ed448DSIGN) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SignKeyDSIGN Ed448DSIGN] -> Size
ToCBOR (SignKeyDSIGN MockDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods toCBOR :: SignKeyDSIGN MockDSIGN -> Encoding encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SignKeyDSIGN MockDSIGN) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SignKeyDSIGN MockDSIGN] -> Size
ToCBOR (SignKeyDSIGN SchnorrSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods toCBOR :: SignKeyDSIGN SchnorrSecp256k1DSIGN -> Encoding encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SignKeyDSIGN SchnorrSecp256k1DSIGN) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SignKeyDSIGN SchnorrSecp256k1DSIGN] -> Size
DSIGNAlgorithm v => DecCBOR (SignKeyDSIGN v)
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR :: Decoder s (SignKeyDSIGN v) dropCBOR :: Proxy (SignKeyDSIGN v) -> Decoder s () label :: Proxy (SignKeyDSIGN v) -> Text
DSIGNAlgorithm v => EncCBOR (SignKeyDSIGN v)
Instance details Defined in Cardano.Ledger.Binary.Encoding.EncCBOR Methods encCBOR :: SignKeyDSIGN v -> Encoding encodedSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy (SignKeyDSIGN v) -> Size encodedListSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy [SignKeyDSIGN v] -> Size
NFData (SignKeyDSIGN EcdsaSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods rnf :: SignKeyDSIGN EcdsaSecp256k1DSIGN -> () Source #
NFData (SignKeyDSIGN Ed25519DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods rnf :: SignKeyDSIGN Ed25519DSIGN -> () Source #
NFData (SignKeyDSIGN Ed448DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods rnf :: SignKeyDSIGN Ed448DSIGN -> () Source #
NFData (SignKeyDSIGN MockDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods rnf :: SignKeyDSIGN MockDSIGN -> () Source #
NFData (SignKeyDSIGN SchnorrSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods rnf :: SignKeyDSIGN SchnorrSecp256k1DSIGN -> () Source #
Eq (SignKeyDSIGN EcdsaSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods (==) :: SignKeyDSIGN EcdsaSecp256k1DSIGN -> SignKeyDSIGN EcdsaSecp256k1DSIGN -> Bool Source # (/=) :: SignKeyDSIGN EcdsaSecp256k1DSIGN -> SignKeyDSIGN EcdsaSecp256k1DSIGN -> Bool Source #
Eq (SignKeyDSIGN Ed25519DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods (==) :: SignKeyDSIGN Ed25519DSIGN -> SignKeyDSIGN Ed25519DSIGN -> Bool Source # (/=) :: SignKeyDSIGN Ed25519DSIGN -> SignKeyDSIGN Ed25519DSIGN -> Bool Source #
Eq (SignKeyDSIGN Ed448DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods (==) :: SignKeyDSIGN Ed448DSIGN -> SignKeyDSIGN Ed448DSIGN -> Bool Source # (/=) :: SignKeyDSIGN Ed448DSIGN -> SignKeyDSIGN Ed448DSIGN -> Bool Source #
Eq (SignKeyDSIGN MockDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods (==) :: SignKeyDSIGN MockDSIGN -> SignKeyDSIGN MockDSIGN -> Bool Source # (/=) :: SignKeyDSIGN MockDSIGN -> SignKeyDSIGN MockDSIGN -> Bool Source #
Eq (SignKeyDSIGN NeverDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed Methods (==) :: SignKeyDSIGN NeverDSIGN -> SignKeyDSIGN NeverDSIGN -> Bool Source # (/=) :: SignKeyDSIGN NeverDSIGN -> SignKeyDSIGN NeverDSIGN -> Bool Source #
Eq (SignKeyDSIGN SchnorrSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods (==) :: SignKeyDSIGN SchnorrSecp256k1DSIGN -> SignKeyDSIGN SchnorrSecp256k1DSIGN -> Bool Source # (/=) :: SignKeyDSIGN SchnorrSecp256k1DSIGN -> SignKeyDSIGN SchnorrSecp256k1DSIGN -> Bool Source #
(TypeError ('Text "Ord not supported for signing keys, use the hash instead") :: Constraint, Eq (SignKeyDSIGN v)) => Ord (SignKeyDSIGN v)
Instance details Defined in Cardano.Crypto.DSIGN.Class Methods compare :: SignKeyDSIGN v -> SignKeyDSIGN v -> Ordering Source # (<) :: SignKeyDSIGN v -> SignKeyDSIGN v -> Bool Source # (<=) :: SignKeyDSIGN v -> SignKeyDSIGN v -> Bool Source # (>) :: SignKeyDSIGN v -> SignKeyDSIGN v -> Bool Source # (>=) :: SignKeyDSIGN v -> SignKeyDSIGN v -> Bool Source # max :: SignKeyDSIGN v -> SignKeyDSIGN v -> SignKeyDSIGN v Source # min :: SignKeyDSIGN v -> SignKeyDSIGN v -> SignKeyDSIGN v Source #
ByteArrayAccess (SignKeyDSIGN Ed448DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods length :: SignKeyDSIGN Ed448DSIGN -> Int withByteArray :: SignKeyDSIGN Ed448DSIGN -> (Ptr p -> IO a) -> IO a copyByteArrayToPtr :: SignKeyDSIGN Ed448DSIGN -> Ptr p -> IO ()
NoThunks (SignKeyDSIGN EcdsaSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods noThunks :: Context -> SignKeyDSIGN EcdsaSecp256k1DSIGN -> IO (Maybe ThunkInfo) wNoThunks :: Context -> SignKeyDSIGN EcdsaSecp256k1DSIGN -> IO (Maybe ThunkInfo) showTypeOf :: Proxy (SignKeyDSIGN EcdsaSecp256k1DSIGN) -> String
NoThunks (SignKeyDSIGN Ed25519DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods noThunks :: Context -> SignKeyDSIGN Ed25519DSIGN -> IO (Maybe ThunkInfo) wNoThunks :: Context -> SignKeyDSIGN Ed25519DSIGN -> IO (Maybe ThunkInfo) showTypeOf :: Proxy (SignKeyDSIGN Ed25519DSIGN) -> String
NoThunks (SignKeyDSIGN Ed448DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods noThunks :: Context -> SignKeyDSIGN Ed448DSIGN -> IO (Maybe ThunkInfo) wNoThunks :: Context -> SignKeyDSIGN Ed448DSIGN -> IO (Maybe ThunkInfo) showTypeOf :: Proxy (SignKeyDSIGN Ed448DSIGN) -> String
NoThunks (SignKeyDSIGN MockDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods noThunks :: Context -> SignKeyDSIGN MockDSIGN -> IO (Maybe ThunkInfo) wNoThunks :: Context -> SignKeyDSIGN MockDSIGN -> IO (Maybe ThunkInfo) showTypeOf :: Proxy (SignKeyDSIGN MockDSIGN) -> String
NoThunks (SignKeyDSIGN NeverDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed Methods noThunks :: Context -> SignKeyDSIGN NeverDSIGN -> IO (Maybe ThunkInfo) wNoThunks :: Context -> SignKeyDSIGN NeverDSIGN -> IO (Maybe ThunkInfo) showTypeOf :: Proxy (SignKeyDSIGN NeverDSIGN) -> String
NoThunks (SignKeyDSIGN SchnorrSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods noThunks :: Context -> SignKeyDSIGN SchnorrSecp256k1DSIGN -> IO (Maybe ThunkInfo) wNoThunks :: Context -> SignKeyDSIGN SchnorrSecp256k1DSIGN -> IO (Maybe ThunkInfo) showTypeOf :: Proxy (SignKeyDSIGN SchnorrSecp256k1DSIGN) -> String
NoThunks (SignKeyDSIGN ByronDSIGN)
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN Methods noThunks :: Context -> SignKeyDSIGN ByronDSIGN -> IO (Maybe ThunkInfo) wNoThunks :: Context -> SignKeyDSIGN ByronDSIGN -> IO (Maybe ThunkInfo) showTypeOf :: Proxy (SignKeyDSIGN ByronDSIGN) -> String
newtype SignKeyDSIGN EcdsaSecp256k1DSIGN
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 newtype SignKeyDSIGN EcdsaSecp256k1DSIGN = SignKeyEcdsaSecp256k1 (PinnedSizedBytes SECP256K1_ECDSA_PRIVKEY_BYTES)
newtype SignKeyDSIGN Ed25519DSIGN
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 newtype SignKeyDSIGN Ed25519DSIGN = SignKeyEd25519DSIGN (PinnedSizedBytes CRYPTO_SIGN_ED25519_SECRETKEYBYTES)
newtype SignKeyDSIGN Ed448DSIGN
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 newtype SignKeyDSIGN Ed448DSIGN = SignKeyEd448DSIGN SecretKey
newtype SignKeyDSIGN MockDSIGN
Instance details Defined in Cardano.Crypto.DSIGN.Mock newtype SignKeyDSIGN MockDSIGN = SignKeyMockDSIGN Word64
data SignKeyDSIGN NeverDSIGN
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed data SignKeyDSIGN NeverDSIGN = NeverUsedSignKeyDSIGN
newtype SignKeyDSIGN SchnorrSecp256k1DSIGN
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 newtype SignKeyDSIGN SchnorrSecp256k1DSIGN = SignKeySchnorrSecp256k1 (PinnedSizedBytes (SizeSignKeyDSIGN SchnorrSecp256k1DSIGN))
newtype SignKeyDSIGN ByronDSIGN Source #
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN newtype SignKeyDSIGN ByronDSIGN = SignKeyByronDSIGN SigningKey
type Rep (SignKeyDSIGN EcdsaSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 type Rep (SignKeyDSIGN EcdsaSecp256k1DSIGN) = D1 ('MetaData "SignKeyDSIGN" "Cardano.Crypto.DSIGN.EcdsaSecp256k1" "cardano-crypto-class-2.1.4.0-EZootg3pYOaJjEo7wOQAB5" 'True) (C1 ('MetaCons "SignKeyEcdsaSecp256k1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PinnedSizedBytes SECP256K1_ECDSA_PRIVKEY_BYTES))))
type Rep (SignKeyDSIGN Ed25519DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 type Rep (SignKeyDSIGN Ed25519DSIGN) = D1 ('MetaData "SignKeyDSIGN" "Cardano.Crypto.DSIGN.Ed25519" "cardano-crypto-class-2.1.4.0-EZootg3pYOaJjEo7wOQAB5" 'True) (C1 ('MetaCons "SignKeyEd25519DSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PinnedSizedBytes CRYPTO_SIGN_ED25519_SECRETKEYBYTES))))
type Rep (SignKeyDSIGN Ed448DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 type Rep (SignKeyDSIGN Ed448DSIGN) = D1 ('MetaData "SignKeyDSIGN" "Cardano.Crypto.DSIGN.Ed448" "cardano-crypto-class-2.1.4.0-EZootg3pYOaJjEo7wOQAB5" 'True) (C1 ('MetaCons "SignKeyEd448DSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SecretKey)))
type Rep (SignKeyDSIGN MockDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Mock type Rep (SignKeyDSIGN MockDSIGN) = D1 ('MetaData "SignKeyDSIGN" "Cardano.Crypto.DSIGN.Mock" "cardano-crypto-class-2.1.4.0-EZootg3pYOaJjEo7wOQAB5" 'True) (C1 ('MetaCons "SignKeyMockDSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))
type Rep (SignKeyDSIGN NeverDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed type Rep (SignKeyDSIGN NeverDSIGN) = D1 ('MetaData "SignKeyDSIGN" "Cardano.Crypto.DSIGN.NeverUsed" "cardano-crypto-class-2.1.4.0-EZootg3pYOaJjEo7wOQAB5" 'False) (C1 ('MetaCons "NeverUsedSignKeyDSIGN" 'PrefixI 'False) (U1 :: Type -> Type))
type Rep (SignKeyDSIGN SchnorrSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 type Rep (SignKeyDSIGN SchnorrSecp256k1DSIGN) = D1 ('MetaData "SignKeyDSIGN" "Cardano.Crypto.DSIGN.SchnorrSecp256k1" "cardano-crypto-class-2.1.4.0-EZootg3pYOaJjEo7wOQAB5" 'True) (C1 ('MetaCons "SignKeySchnorrSecp256k1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PinnedSizedBytes (SizeSignKeyDSIGN SchnorrSecp256k1DSIGN)))))
type Rep (SignKeyDSIGN ByronDSIGN) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN type Rep (SignKeyDSIGN ByronDSIGN) = D1 ('MetaData "SignKeyDSIGN" "Ouroboros.Consensus.Byron.Crypto.DSIGN" "ouroboros-consensus-cardano-0.12.1.0-B7PPTiiOqdjFK3zhRUwDA9" 'True) (C1 ('MetaCons "SignKeyByronDSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SigningKey)))

data family VerKeyDSIGN v #

Instances

Instances details

Generic (VerKeyDSIGN EcdsaSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Associated Types type Rep (VerKeyDSIGN EcdsaSecp256k1DSIGN) :: Type -> Type Source # Methods from :: VerKeyDSIGN EcdsaSecp256k1DSIGN -> Rep (VerKeyDSIGN EcdsaSecp256k1DSIGN) x Source # to :: Rep (VerKeyDSIGN EcdsaSecp256k1DSIGN) x -> VerKeyDSIGN EcdsaSecp256k1DSIGN Source #
Generic (VerKeyDSIGN Ed25519DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Associated Types type Rep (VerKeyDSIGN Ed25519DSIGN) :: Type -> Type Source # Methods from :: VerKeyDSIGN Ed25519DSIGN -> Rep (VerKeyDSIGN Ed25519DSIGN) x Source # to :: Rep (VerKeyDSIGN Ed25519DSIGN) x -> VerKeyDSIGN Ed25519DSIGN Source #
Generic (VerKeyDSIGN Ed448DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Associated Types type Rep (VerKeyDSIGN Ed448DSIGN) :: Type -> Type Source # Methods from :: VerKeyDSIGN Ed448DSIGN -> Rep (VerKeyDSIGN Ed448DSIGN) x Source # to :: Rep (VerKeyDSIGN Ed448DSIGN) x -> VerKeyDSIGN Ed448DSIGN Source #
Generic (VerKeyDSIGN MockDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Mock Associated Types type Rep (VerKeyDSIGN MockDSIGN) :: Type -> Type Source # Methods from :: VerKeyDSIGN MockDSIGN -> Rep (VerKeyDSIGN MockDSIGN) x Source # to :: Rep (VerKeyDSIGN MockDSIGN) x -> VerKeyDSIGN MockDSIGN Source #
Generic (VerKeyDSIGN NeverDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed Associated Types type Rep (VerKeyDSIGN NeverDSIGN) :: Type -> Type Source # Methods from :: VerKeyDSIGN NeverDSIGN -> Rep (VerKeyDSIGN NeverDSIGN) x Source # to :: Rep (VerKeyDSIGN NeverDSIGN) x -> VerKeyDSIGN NeverDSIGN Source #
Generic (VerKeyDSIGN SchnorrSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Associated Types type Rep (VerKeyDSIGN SchnorrSecp256k1DSIGN) :: Type -> Type Source # Methods from :: VerKeyDSIGN SchnorrSecp256k1DSIGN -> Rep (VerKeyDSIGN SchnorrSecp256k1DSIGN) x Source # to :: Rep (VerKeyDSIGN SchnorrSecp256k1DSIGN) x -> VerKeyDSIGN SchnorrSecp256k1DSIGN Source #
Generic (VerKeyDSIGN ByronDSIGN) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN Associated Types type Rep (VerKeyDSIGN ByronDSIGN) :: Type -> Type Source # Methods from :: VerKeyDSIGN ByronDSIGN -> Rep (VerKeyDSIGN ByronDSIGN) x Source # to :: Rep (VerKeyDSIGN ByronDSIGN) x -> VerKeyDSIGN ByronDSIGN Source #
Num (VerKeyDSIGN MockDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods (+) :: VerKeyDSIGN MockDSIGN -> VerKeyDSIGN MockDSIGN -> VerKeyDSIGN MockDSIGN Source # (-) :: VerKeyDSIGN MockDSIGN -> VerKeyDSIGN MockDSIGN -> VerKeyDSIGN MockDSIGN Source # (*) :: VerKeyDSIGN MockDSIGN -> VerKeyDSIGN MockDSIGN -> VerKeyDSIGN MockDSIGN Source # negate :: VerKeyDSIGN MockDSIGN -> VerKeyDSIGN MockDSIGN Source # abs :: VerKeyDSIGN MockDSIGN -> VerKeyDSIGN MockDSIGN Source # signum :: VerKeyDSIGN MockDSIGN -> VerKeyDSIGN MockDSIGN Source # fromInteger :: Integer -> VerKeyDSIGN MockDSIGN Source #
Show (VerKeyDSIGN EcdsaSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods showsPrec :: Int -> VerKeyDSIGN EcdsaSecp256k1DSIGN -> ShowS Source # show :: VerKeyDSIGN EcdsaSecp256k1DSIGN -> String Source # showList :: [VerKeyDSIGN EcdsaSecp256k1DSIGN] -> ShowS Source #
Show (VerKeyDSIGN Ed25519DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods showsPrec :: Int -> VerKeyDSIGN Ed25519DSIGN -> ShowS Source # show :: VerKeyDSIGN Ed25519DSIGN -> String Source # showList :: [VerKeyDSIGN Ed25519DSIGN] -> ShowS Source #
Show (VerKeyDSIGN Ed448DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods showsPrec :: Int -> VerKeyDSIGN Ed448DSIGN -> ShowS Source # show :: VerKeyDSIGN Ed448DSIGN -> String Source # showList :: [VerKeyDSIGN Ed448DSIGN] -> ShowS Source #
Show (VerKeyDSIGN MockDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods showsPrec :: Int -> VerKeyDSIGN MockDSIGN -> ShowS Source # show :: VerKeyDSIGN MockDSIGN -> String Source # showList :: [VerKeyDSIGN MockDSIGN] -> ShowS Source #
Show (VerKeyDSIGN NeverDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed Methods showsPrec :: Int -> VerKeyDSIGN NeverDSIGN -> ShowS Source # show :: VerKeyDSIGN NeverDSIGN -> String Source # showList :: [VerKeyDSIGN NeverDSIGN] -> ShowS Source #
Show (VerKeyDSIGN SchnorrSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods showsPrec :: Int -> VerKeyDSIGN SchnorrSecp256k1DSIGN -> ShowS Source # show :: VerKeyDSIGN SchnorrSecp256k1DSIGN -> String Source # showList :: [VerKeyDSIGN SchnorrSecp256k1DSIGN] -> ShowS Source #
Show (VerKeyDSIGN ByronDSIGN) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN Methods showsPrec :: Int -> VerKeyDSIGN ByronDSIGN -> ShowS Source # show :: VerKeyDSIGN ByronDSIGN -> String Source # showList :: [VerKeyDSIGN ByronDSIGN] -> ShowS Source #
FromCBOR (VerKeyDSIGN EcdsaSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods fromCBOR :: Decoder s (VerKeyDSIGN EcdsaSecp256k1DSIGN) label :: Proxy (VerKeyDSIGN EcdsaSecp256k1DSIGN) -> Text
FromCBOR (VerKeyDSIGN Ed25519DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods fromCBOR :: Decoder s (VerKeyDSIGN Ed25519DSIGN) label :: Proxy (VerKeyDSIGN Ed25519DSIGN) -> Text
FromCBOR (VerKeyDSIGN Ed448DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods fromCBOR :: Decoder s (VerKeyDSIGN Ed448DSIGN) label :: Proxy (VerKeyDSIGN Ed448DSIGN) -> Text
FromCBOR (VerKeyDSIGN MockDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods fromCBOR :: Decoder s (VerKeyDSIGN MockDSIGN) label :: Proxy (VerKeyDSIGN MockDSIGN) -> Text
FromCBOR (VerKeyDSIGN SchnorrSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods fromCBOR :: Decoder s (VerKeyDSIGN SchnorrSecp256k1DSIGN) label :: Proxy (VerKeyDSIGN SchnorrSecp256k1DSIGN) -> Text
ToCBOR (VerKeyDSIGN EcdsaSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods toCBOR :: VerKeyDSIGN EcdsaSecp256k1DSIGN -> Encoding encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (VerKeyDSIGN EcdsaSecp256k1DSIGN) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [VerKeyDSIGN EcdsaSecp256k1DSIGN] -> Size
ToCBOR (VerKeyDSIGN Ed25519DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods toCBOR :: VerKeyDSIGN Ed25519DSIGN -> Encoding encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (VerKeyDSIGN Ed25519DSIGN) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [VerKeyDSIGN Ed25519DSIGN] -> Size
ToCBOR (VerKeyDSIGN Ed448DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods toCBOR :: VerKeyDSIGN Ed448DSIGN -> Encoding encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (VerKeyDSIGN Ed448DSIGN) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [VerKeyDSIGN Ed448DSIGN] -> Size
ToCBOR (VerKeyDSIGN MockDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods toCBOR :: VerKeyDSIGN MockDSIGN -> Encoding encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (VerKeyDSIGN MockDSIGN) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [VerKeyDSIGN MockDSIGN] -> Size
ToCBOR (VerKeyDSIGN SchnorrSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods toCBOR :: VerKeyDSIGN SchnorrSecp256k1DSIGN -> Encoding encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (VerKeyDSIGN SchnorrSecp256k1DSIGN) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [VerKeyDSIGN SchnorrSecp256k1DSIGN] -> Size
DSIGNAlgorithm v => DecCBOR (VerKeyDSIGN v)
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR :: Decoder s (VerKeyDSIGN v) dropCBOR :: Proxy (VerKeyDSIGN v) -> Decoder s () label :: Proxy (VerKeyDSIGN v) -> Text
DSIGNAlgorithm v => EncCBOR (VerKeyDSIGN v)
Instance details Defined in Cardano.Ledger.Binary.Encoding.EncCBOR Methods encCBOR :: VerKeyDSIGN v -> Encoding encodedSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy (VerKeyDSIGN v) -> Size encodedListSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy [VerKeyDSIGN v] -> Size
NFData (VerKeyDSIGN EcdsaSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods rnf :: VerKeyDSIGN EcdsaSecp256k1DSIGN -> () Source #
NFData (VerKeyDSIGN Ed25519DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods rnf :: VerKeyDSIGN Ed25519DSIGN -> () Source #
NFData (VerKeyDSIGN Ed448DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods rnf :: VerKeyDSIGN Ed448DSIGN -> () Source #
NFData (VerKeyDSIGN MockDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods rnf :: VerKeyDSIGN MockDSIGN -> () Source #
NFData (VerKeyDSIGN SchnorrSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods rnf :: VerKeyDSIGN SchnorrSecp256k1DSIGN -> () Source #
Eq (VerKeyDSIGN EcdsaSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods (==) :: VerKeyDSIGN EcdsaSecp256k1DSIGN -> VerKeyDSIGN EcdsaSecp256k1DSIGN -> Bool Source # (/=) :: VerKeyDSIGN EcdsaSecp256k1DSIGN -> VerKeyDSIGN EcdsaSecp256k1DSIGN -> Bool Source #
Eq (VerKeyDSIGN Ed25519DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods (==) :: VerKeyDSIGN Ed25519DSIGN -> VerKeyDSIGN Ed25519DSIGN -> Bool Source # (/=) :: VerKeyDSIGN Ed25519DSIGN -> VerKeyDSIGN Ed25519DSIGN -> Bool Source #
Eq (VerKeyDSIGN Ed448DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods (==) :: VerKeyDSIGN Ed448DSIGN -> VerKeyDSIGN Ed448DSIGN -> Bool Source # (/=) :: VerKeyDSIGN Ed448DSIGN -> VerKeyDSIGN Ed448DSIGN -> Bool Source #
Eq (VerKeyDSIGN MockDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods (==) :: VerKeyDSIGN MockDSIGN -> VerKeyDSIGN MockDSIGN -> Bool Source # (/=) :: VerKeyDSIGN MockDSIGN -> VerKeyDSIGN MockDSIGN -> Bool Source #
Eq (VerKeyDSIGN NeverDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed Methods (==) :: VerKeyDSIGN NeverDSIGN -> VerKeyDSIGN NeverDSIGN -> Bool Source # (/=) :: VerKeyDSIGN NeverDSIGN -> VerKeyDSIGN NeverDSIGN -> Bool Source #
Eq (VerKeyDSIGN SchnorrSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods (==) :: VerKeyDSIGN SchnorrSecp256k1DSIGN -> VerKeyDSIGN SchnorrSecp256k1DSIGN -> Bool Source # (/=) :: VerKeyDSIGN SchnorrSecp256k1DSIGN -> VerKeyDSIGN SchnorrSecp256k1DSIGN -> Bool Source #
Eq (VerKeyDSIGN ByronDSIGN) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN Methods (==) :: VerKeyDSIGN ByronDSIGN -> VerKeyDSIGN ByronDSIGN -> Bool Source # (/=) :: VerKeyDSIGN ByronDSIGN -> VerKeyDSIGN ByronDSIGN -> Bool Source #
(TypeError ('Text "Ord not supported for verification keys, use the hash instead") :: Constraint, Eq (VerKeyDSIGN v)) => Ord (VerKeyDSIGN v)
Instance details Defined in Cardano.Crypto.DSIGN.Class Methods compare :: VerKeyDSIGN v -> VerKeyDSIGN v -> Ordering Source # (<) :: VerKeyDSIGN v -> VerKeyDSIGN v -> Bool Source # (<=) :: VerKeyDSIGN v -> VerKeyDSIGN v -> Bool Source # (>) :: VerKeyDSIGN v -> VerKeyDSIGN v -> Bool Source # (>=) :: VerKeyDSIGN v -> VerKeyDSIGN v -> Bool Source # max :: VerKeyDSIGN v -> VerKeyDSIGN v -> VerKeyDSIGN v Source # min :: VerKeyDSIGN v -> VerKeyDSIGN v -> VerKeyDSIGN v Source #
ByteArrayAccess (VerKeyDSIGN Ed448DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods length :: VerKeyDSIGN Ed448DSIGN -> Int withByteArray :: VerKeyDSIGN Ed448DSIGN -> (Ptr p -> IO a) -> IO a copyByteArrayToPtr :: VerKeyDSIGN Ed448DSIGN -> Ptr p -> IO ()
NoThunks (VerKeyDSIGN EcdsaSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods noThunks :: Context -> VerKeyDSIGN EcdsaSecp256k1DSIGN -> IO (Maybe ThunkInfo) wNoThunks :: Context -> VerKeyDSIGN EcdsaSecp256k1DSIGN -> IO (Maybe ThunkInfo) showTypeOf :: Proxy (VerKeyDSIGN EcdsaSecp256k1DSIGN) -> String
NoThunks (VerKeyDSIGN Ed25519DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods noThunks :: Context -> VerKeyDSIGN Ed25519DSIGN -> IO (Maybe ThunkInfo) wNoThunks :: Context -> VerKeyDSIGN Ed25519DSIGN -> IO (Maybe ThunkInfo) showTypeOf :: Proxy (VerKeyDSIGN Ed25519DSIGN) -> String
NoThunks (VerKeyDSIGN Ed448DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods noThunks :: Context -> VerKeyDSIGN Ed448DSIGN -> IO (Maybe ThunkInfo) wNoThunks :: Context -> VerKeyDSIGN Ed448DSIGN -> IO (Maybe ThunkInfo) showTypeOf :: Proxy (VerKeyDSIGN Ed448DSIGN) -> String
NoThunks (VerKeyDSIGN MockDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods noThunks :: Context -> VerKeyDSIGN MockDSIGN -> IO (Maybe ThunkInfo) wNoThunks :: Context -> VerKeyDSIGN MockDSIGN -> IO (Maybe ThunkInfo) showTypeOf :: Proxy (VerKeyDSIGN MockDSIGN) -> String
NoThunks (VerKeyDSIGN NeverDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed Methods noThunks :: Context -> VerKeyDSIGN NeverDSIGN -> IO (Maybe ThunkInfo) wNoThunks :: Context -> VerKeyDSIGN NeverDSIGN -> IO (Maybe ThunkInfo) showTypeOf :: Proxy (VerKeyDSIGN NeverDSIGN) -> String
NoThunks (VerKeyDSIGN SchnorrSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods noThunks :: Context -> VerKeyDSIGN SchnorrSecp256k1DSIGN -> IO (Maybe ThunkInfo) wNoThunks :: Context -> VerKeyDSIGN SchnorrSecp256k1DSIGN -> IO (Maybe ThunkInfo) showTypeOf :: Proxy (VerKeyDSIGN SchnorrSecp256k1DSIGN) -> String
NoThunks (VerKeyDSIGN ByronDSIGN)
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN Methods noThunks :: Context -> VerKeyDSIGN ByronDSIGN -> IO (Maybe ThunkInfo) wNoThunks :: Context -> VerKeyDSIGN ByronDSIGN -> IO (Maybe ThunkInfo) showTypeOf :: Proxy (VerKeyDSIGN ByronDSIGN) -> String
Show (VerKeyDSIGN d) => Condense (VerKeyDSIGN d)
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense :: VerKeyDSIGN d -> String
newtype VerKeyDSIGN EcdsaSecp256k1DSIGN
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 newtype VerKeyDSIGN EcdsaSecp256k1DSIGN = VerKeyEcdsaSecp256k1 (PinnedSizedBytes SECP256K1_ECDSA_PUBKEY_BYTES_INTERNAL)
newtype VerKeyDSIGN Ed25519DSIGN
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 newtype VerKeyDSIGN Ed25519DSIGN = VerKeyEd25519DSIGN (PinnedSizedBytes (SizeVerKeyDSIGN Ed25519DSIGN))
newtype VerKeyDSIGN Ed448DSIGN
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 newtype VerKeyDSIGN Ed448DSIGN = VerKeyEd448DSIGN PublicKey
newtype VerKeyDSIGN MockDSIGN
Instance details Defined in Cardano.Crypto.DSIGN.Mock newtype VerKeyDSIGN MockDSIGN = VerKeyMockDSIGN Word64
data VerKeyDSIGN NeverDSIGN
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed data VerKeyDSIGN NeverDSIGN = NeverUsedVerKeyDSIGN
newtype VerKeyDSIGN SchnorrSecp256k1DSIGN
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 newtype VerKeyDSIGN SchnorrSecp256k1DSIGN = VerKeySchnorrSecp256k1 (PinnedSizedBytes SECP256K1_SCHNORR_PUBKEY_BYTES_INTERNAL)
newtype VerKeyDSIGN ByronDSIGN Source #
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN newtype VerKeyDSIGN ByronDSIGN = VerKeyByronDSIGN VerificationKey
type Rep (VerKeyDSIGN EcdsaSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 type Rep (VerKeyDSIGN EcdsaSecp256k1DSIGN) = D1 ('MetaData "VerKeyDSIGN" "Cardano.Crypto.DSIGN.EcdsaSecp256k1" "cardano-crypto-class-2.1.4.0-EZootg3pYOaJjEo7wOQAB5" 'True) (C1 ('MetaCons "VerKeyEcdsaSecp256k1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PinnedSizedBytes SECP256K1_ECDSA_PUBKEY_BYTES_INTERNAL))))
type Rep (VerKeyDSIGN Ed25519DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 type Rep (VerKeyDSIGN Ed25519DSIGN) = D1 ('MetaData "VerKeyDSIGN" "Cardano.Crypto.DSIGN.Ed25519" "cardano-crypto-class-2.1.4.0-EZootg3pYOaJjEo7wOQAB5" 'True) (C1 ('MetaCons "VerKeyEd25519DSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PinnedSizedBytes (SizeVerKeyDSIGN Ed25519DSIGN)))))
type Rep (VerKeyDSIGN Ed448DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 type Rep (VerKeyDSIGN Ed448DSIGN) = D1 ('MetaData "VerKeyDSIGN" "Cardano.Crypto.DSIGN.Ed448" "cardano-crypto-class-2.1.4.0-EZootg3pYOaJjEo7wOQAB5" 'True) (C1 ('MetaCons "VerKeyEd448DSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PublicKey)))
type Rep (VerKeyDSIGN MockDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Mock type Rep (VerKeyDSIGN MockDSIGN) = D1 ('MetaData "VerKeyDSIGN" "Cardano.Crypto.DSIGN.Mock" "cardano-crypto-class-2.1.4.0-EZootg3pYOaJjEo7wOQAB5" 'True) (C1 ('MetaCons "VerKeyMockDSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))
type Rep (VerKeyDSIGN NeverDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed type Rep (VerKeyDSIGN NeverDSIGN) = D1 ('MetaData "VerKeyDSIGN" "Cardano.Crypto.DSIGN.NeverUsed" "cardano-crypto-class-2.1.4.0-EZootg3pYOaJjEo7wOQAB5" 'False) (C1 ('MetaCons "NeverUsedVerKeyDSIGN" 'PrefixI 'False) (U1 :: Type -> Type))
type Rep (VerKeyDSIGN SchnorrSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 type Rep (VerKeyDSIGN SchnorrSecp256k1DSIGN) = D1 ('MetaData "VerKeyDSIGN" "Cardano.Crypto.DSIGN.SchnorrSecp256k1" "cardano-crypto-class-2.1.4.0-EZootg3pYOaJjEo7wOQAB5" 'True) (C1 ('MetaCons "VerKeySchnorrSecp256k1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PinnedSizedBytes SECP256K1_SCHNORR_PUBKEY_BYTES_INTERNAL))))
type Rep (VerKeyDSIGN ByronDSIGN) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN type Rep (VerKeyDSIGN ByronDSIGN) = D1 ('MetaData "VerKeyDSIGN" "Ouroboros.Consensus.Byron.Crypto.DSIGN" "ouroboros-consensus-cardano-0.12.1.0-B7PPTiiOqdjFK3zhRUwDA9" 'True) (C1 ('MetaCons "VerKeyByronDSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 VerificationKey)))