Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Crypto.Signing.Redeem.Signature

Synopsis

newtype RedeemSignature a = RedeemSignature Signature
redeemSign ∷ EncCBOR a ⇒ ProtocolMagicId → SignTag → RedeemSigningKey → a → RedeemSignature a
redeemSignRaw ∷ ProtocolMagicId → Maybe SignTag → RedeemSigningKey → ByteString → RedeemSignature Raw
verifyRedeemSig ∷ EncCBOR a ⇒ ProtocolMagicId → SignTag → RedeemVerificationKey → a → RedeemSignature a → Bool
verifyRedeemSigDecoded ∷ Decoded t ⇒ Annotated ProtocolMagicId ByteString → SignTag → RedeemVerificationKey → t → RedeemSignature (BaseType t) → Bool
verifyRedeemSigRaw ∷ RedeemVerificationKey → ByteString → RedeemSignature Raw → Bool

Documentation

newtype RedeemSignature a Source #

Wrapper around Signature

Constructors

RedeemSignature Signature

Instances

Instances details

FromJSON a ⇒ FromJSON (RedeemSignature a) Source #
Instance details Defined in Cardano.Crypto.Signing.Redeem.Signature Methods parseJSON ∷ Value → Parser (RedeemSignature a) Source # parseJSONList ∷ Value → Parser [RedeemSignature a] Source # omittedField ∷ Maybe (RedeemSignature a) Source #
ToJSON a ⇒ ToJSON (RedeemSignature a) Source #
Instance details Defined in Cardano.Crypto.Signing.Redeem.Signature Methods toJSON ∷ RedeemSignature a → Value Source # toEncoding ∷ RedeemSignature a → Encoding Source # toJSONList ∷ [RedeemSignature a] → Value Source # toEncodingList ∷ [RedeemSignature a] → Encoding Source # omitField ∷ RedeemSignature a → Bool Source #
Generic (RedeemSignature a) Source #
Instance details Defined in Cardano.Crypto.Signing.Redeem.Signature Associated Types type Rep (RedeemSignature a) ∷ Type → Type Source # Methods from ∷ RedeemSignature a → Rep (RedeemSignature a) x Source # to ∷ Rep (RedeemSignature a) x → RedeemSignature a Source #
Show (RedeemSignature a) Source #
Instance details Defined in Cardano.Crypto.Signing.Redeem.Signature Methods showsPrec ∷ Int → RedeemSignature a → ShowS Source # show ∷ RedeemSignature a → String Source # showList ∷ [RedeemSignature a] → ShowS Source #
DecCBOR a ⇒ FromCBOR (RedeemSignature a) Source #
Instance details Defined in Cardano.Crypto.Signing.Redeem.Signature Methods fromCBOR ∷ Decoder s (RedeemSignature a) Source # label ∷ Proxy (RedeemSignature a) → Text Source #
EncCBOR a ⇒ ToCBOR (RedeemSignature a) Source #
Instance details Defined in Cardano.Crypto.Signing.Redeem.Signature Methods toCBOR ∷ RedeemSignature a → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (RedeemSignature a) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [RedeemSignature a] → Size Source #
Typeable a ⇒ DecCBOR (RedeemSignature a) Source #
Instance details Defined in Cardano.Crypto.Signing.Redeem.Signature Methods decCBOR ∷ Decoder s (RedeemSignature a) Source # dropCBOR ∷ Proxy (RedeemSignature a) → Decoder s () Source # label ∷ Proxy (RedeemSignature a) → Text Source #
Typeable a ⇒ EncCBOR (RedeemSignature a) Source #
Instance details Defined in Cardano.Crypto.Signing.Redeem.Signature Methods encCBOR ∷ RedeemSignature a → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (RedeemSignature a) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [RedeemSignature a] → Size Source #
NFData (RedeemSignature a) Source #
Instance details Defined in Cardano.Crypto.Signing.Redeem.Signature Methods rnf ∷ RedeemSignature a → () Source #
Buildable (RedeemSignature a) Source #
Instance details Defined in Cardano.Crypto.Signing.Redeem.Signature Methods build ∷ RedeemSignature a → Builder Source #
Eq (RedeemSignature a) Source #
Instance details Defined in Cardano.Crypto.Signing.Redeem.Signature Methods (==) ∷ RedeemSignature a → RedeemSignature a → Bool Source # (/=) ∷ RedeemSignature a → RedeemSignature a → Bool Source #
type Rep (RedeemSignature a) Source #
Instance details Defined in Cardano.Crypto.Signing.Redeem.Signature type Rep (RedeemSignature a) = D1 ('MetaData "RedeemSignature" "Cardano.Crypto.Signing.Redeem.Signature" "cardano-crypto-wrapper-1.5.1.2-inplace" 'True) (C1 ('MetaCons "RedeemSignature" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Signature)))

redeemSign ∷ EncCBOR a ⇒ ProtocolMagicId → SignTag → RedeemSigningKey → a → RedeemSignature a Source #

Encode something with EncCBOR and sign it

redeemSignRaw ∷ ProtocolMagicId → Maybe SignTag → RedeemSigningKey → ByteString → RedeemSignature Raw Source #

Alias for constructor

verifyRedeemSig ∷ EncCBOR a ⇒ ProtocolMagicId → SignTag → RedeemVerificationKey → a → RedeemSignature a → Bool Source #

Verify a redeem signature

verifyRedeemSigDecoded ∷ Decoded t ⇒ Annotated ProtocolMagicId ByteString → SignTag → RedeemVerificationKey → t → RedeemSignature (BaseType t) → Bool Source #

verifyRedeemSigRaw ∷ RedeemVerificationKey → ByteString → RedeemSignature Raw → Bool Source #

Verify raw ByteString