Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Crypto.Signing.Signature

Contents

Signature
Signing
Verification

Synopsis

newtype Signature a = Signature XSignature
encCBORXSignature ∷ XSignature → Encoding
decCBORXSignature ∷ Decoder s XSignature
fullSignatureHexF ∷ Format r (Signature a → r)
parseFullSignature ∷ Text → Either SignatureParseError (Signature a)
sign ∷ EncCBOR a ⇒ ProtocolMagicId → SignTag → SigningKey → a → Signature a
signEncoded ∷ ProtocolMagicId → SignTag → SigningKey → Encoding → Signature a
signRaw ∷ ProtocolMagicId → Maybe SignTag → SigningKey → ByteString → Signature Raw
safeSign ∷ EncCBOR a ⇒ ProtocolMagicId → SignTag → SafeSigner → a → Signature a
safeSignRaw ∷ ProtocolMagicId → Maybe SignTag → SafeSigner → ByteString → Signature Raw
verifySignature ∷ (a → Encoding) → ProtocolMagicId → SignTag → VerificationKey → a → Signature a → Bool
verifySignatureDecoded ∷ Decoded t ⇒ Annotated ProtocolMagicId ByteString → SignTag → VerificationKey → t → Signature (BaseType t) → Bool
verifySignatureRaw ∷ VerificationKey → ByteString → Signature Raw → Bool

Signature

newtype Signature a Source #

Wrapper around XSignature

Constructors

Signature XSignature

Instances

Instances details

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

encCBORXSignature ∷ XSignature → Encoding Source #

decCBORXSignature ∷ Decoder s XSignature Source #

fullSignatureHexF ∷ Format r (Signature a → r) Source #

Formatter for Signature to show it in hex.

parseFullSignature ∷ Text → Either SignatureParseError (Signature a) Source #

Parse Signature from base16 encoded string.

Signing

sign Source #

Arguments

∷ EncCBOR a
⇒ ProtocolMagicId
→ SignTag	See docs for `SignTag`
→ SigningKey
→ a
→ Signature a

Encode something with EncCBOR and sign it

signEncoded ∷ ProtocolMagicId → SignTag → SigningKey → Encoding → Signature a Source #

Like sign but without the EncCBOR constraint

signRaw Source #

Arguments

∷ ProtocolMagicId
→ Maybe SignTag	See docs for `SignTag`. Unlike in `sign`, we allow no tag to be provided just in case you need to sign exactly the bytestring you provided.
→ SigningKey
→ ByteString
→ Signature Raw

Sign a Raw bytestring

safeSign ∷ EncCBOR a ⇒ ProtocolMagicId → SignTag → SafeSigner → a → Signature a Source #

safeSignRaw ∷ ProtocolMagicId → Maybe SignTag → SafeSigner → ByteString → Signature Raw Source #

Verification

verifySignature ∷ (a → Encoding) → ProtocolMagicId → SignTag → VerificationKey → a → Signature a → Bool Source #

Verify a signature

verifySignatureDecoded ∷ Decoded t ⇒ Annotated ProtocolMagicId ByteString → SignTag → VerificationKey → t → Signature (BaseType t) → Bool Source #

Verify a signature

verifySignatureRaw ∷ VerificationKey → ByteString → Signature Raw → Bool Source #

Verify Raw signature