cardano-crypto-wrapper-1.7.0.0: Cryptographic primitives used in Byron era of the Cardano project
Safe HaskellNone
LanguageHaskell2010

Cardano.Crypto.Signing.Redeem

Synopsis

Documentation

data CompactRedeemVerificationKey Source #

Constructors

CompactRedeemVerificationKey !Word64 !Word64 !Word64 !Word64 

Instances

Instances details
FromJSON CompactRedeemVerificationKey Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.Compact

Methods

parseJSON ∷ Value → Parser CompactRedeemVerificationKey Source #

parseJSONList ∷ Value → Parser [CompactRedeemVerificationKey] Source #

omittedField ∷ Maybe CompactRedeemVerificationKey Source #

FromJSONKey CompactRedeemVerificationKey Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.Compact

Methods

fromJSONKey ∷ FromJSONKeyFunction CompactRedeemVerificationKey Source #

fromJSONKeyList ∷ FromJSONKeyFunction [CompactRedeemVerificationKey] Source #

ToJSON CompactRedeemVerificationKey Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.Compact

Methods

toJSON ∷ CompactRedeemVerificationKey → Value Source #

toEncoding ∷ CompactRedeemVerificationKey → Encoding Source #

toJSONList ∷ [CompactRedeemVerificationKey] → Value Source #

toEncodingList ∷ [CompactRedeemVerificationKey] → Encoding Source #

omitField ∷ CompactRedeemVerificationKey → Bool Source #

ToJSONKey CompactRedeemVerificationKey Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.Compact

Methods

toJSONKey ∷ ToJSONKeyFunction CompactRedeemVerificationKey Source #

toJSONKeyList ∷ ToJSONKeyFunction [CompactRedeemVerificationKey] Source #

FromCBOR CompactRedeemVerificationKey Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.Compact

Methods

fromCBOR ∷ Decoder s CompactRedeemVerificationKey Source #

label ∷ Proxy CompactRedeemVerificationKey → Text Source #

ToCBOR CompactRedeemVerificationKey Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.Compact

Methods

toCBOR ∷ CompactRedeemVerificationKey → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy CompactRedeemVerificationKey → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [CompactRedeemVerificationKey] → Size Source #

DecCBOR CompactRedeemVerificationKey Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.Compact

Methods

decCBOR ∷ Decoder s CompactRedeemVerificationKey Source #

dropCBOR ∷ Proxy CompactRedeemVerificationKey → Decoder s () Source #

label ∷ Proxy CompactRedeemVerificationKey → Text Source #

EncCBOR CompactRedeemVerificationKey Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.Compact

Methods

encCBOR ∷ CompactRedeemVerificationKey → Encoding Source #

NFData CompactRedeemVerificationKey Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.Compact

Methods

rnf ∷ CompactRedeemVerificationKey → () #

Generic CompactRedeemVerificationKey Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.Compact

Associated Types

type Rep CompactRedeemVerificationKey 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.Compact

type Rep CompactRedeemVerificationKey = D1 ('MetaData "CompactRedeemVerificationKey" "Cardano.Crypto.Signing.Redeem.Compact" "cardano-crypto-wrapper-1.7.0.0-inplace" 'False) (C1 ('MetaCons "CompactRedeemVerificationKey" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word64) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word64)) :*: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word64) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word64))))

Methods

from ∷ CompactRedeemVerificationKey → Rep CompactRedeemVerificationKey x #

to ∷ Rep CompactRedeemVerificationKey x → CompactRedeemVerificationKey #

Show CompactRedeemVerificationKey Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.Compact

Methods

showsPrec ∷ Int → CompactRedeemVerificationKey → ShowS #

show ∷ CompactRedeemVerificationKey → String #

showList ∷ [CompactRedeemVerificationKey] → ShowS #

Eq CompactRedeemVerificationKey Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.Compact

Methods

(==) ∷ CompactRedeemVerificationKey → CompactRedeemVerificationKey → Bool #

(/=) ∷ CompactRedeemVerificationKey → CompactRedeemVerificationKey → Bool #

Ord CompactRedeemVerificationKey Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.Compact

Methods

compare ∷ CompactRedeemVerificationKey → CompactRedeemVerificationKey → Ordering #

(<) ∷ CompactRedeemVerificationKey → CompactRedeemVerificationKey → Bool #

(<=) ∷ CompactRedeemVerificationKey → CompactRedeemVerificationKey → Bool #

(>) ∷ CompactRedeemVerificationKey → CompactRedeemVerificationKey → Bool #

(>=) ∷ CompactRedeemVerificationKey → CompactRedeemVerificationKey → Bool #

max ∷ CompactRedeemVerificationKey → CompactRedeemVerificationKey → CompactRedeemVerificationKey #

min ∷ CompactRedeemVerificationKey → CompactRedeemVerificationKey → CompactRedeemVerificationKey #

NoThunks CompactRedeemVerificationKey Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.Compact

Methods

noThunks ∷ Context → CompactRedeemVerificationKey → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → CompactRedeemVerificationKey → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy CompactRedeemVerificationKey → String Source #

MonadError SchemaError m ⇒ FromObjectKey m CompactRedeemVerificationKey Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.Compact

Methods

fromObjectKey ∷ JSString → m (Maybe CompactRedeemVerificationKey) Source #

Monad m ⇒ ToObjectKey m CompactRedeemVerificationKey Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.Compact

Methods

toObjectKey ∷ CompactRedeemVerificationKey → m JSString Source #

type Rep CompactRedeemVerificationKey Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.Compact

type Rep CompactRedeemVerificationKey = D1 ('MetaData "CompactRedeemVerificationKey" "Cardano.Crypto.Signing.Redeem.Compact" "cardano-crypto-wrapper-1.7.0.0-inplace" 'False) (C1 ('MetaCons "CompactRedeemVerificationKey" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word64) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word64)) :*: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word64) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word64))))

fromCompactRedeemVerificationKey ∷ CompactRedeemVerificationKey → RedeemVerificationKey Source #

toCompactRedeemVerificationKey ∷ RedeemVerificationKey → CompactRedeemVerificationKey Source #

newtype RedeemVerificationKey Source #

Wrapper around PublicKey.

Constructors

RedeemVerificationKey PublicKey 

Instances

Instances details
FromJSON RedeemVerificationKey Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.VerificationKey

Methods

parseJSON ∷ Value → Parser RedeemVerificationKey Source #

parseJSONList ∷ Value → Parser [RedeemVerificationKey] Source #

omittedField ∷ Maybe RedeemVerificationKey Source #

FromJSONKey RedeemVerificationKey Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.VerificationKey

Methods

fromJSONKey ∷ FromJSONKeyFunction RedeemVerificationKey Source #

fromJSONKeyList ∷ FromJSONKeyFunction [RedeemVerificationKey] Source #

ToJSON RedeemVerificationKey Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.VerificationKey

Methods

toJSON ∷ RedeemVerificationKey → Value Source #

toEncoding ∷ RedeemVerificationKey → Encoding Source #

toJSONList ∷ [RedeemVerificationKey] → Value Source #

toEncodingList ∷ [RedeemVerificationKey] → Encoding Source #

omitField ∷ RedeemVerificationKey → Bool Source #

ToJSONKey RedeemVerificationKey Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.VerificationKey

Methods

toJSONKey ∷ ToJSONKeyFunction RedeemVerificationKey Source #

toJSONKeyList ∷ ToJSONKeyFunction [RedeemVerificationKey] Source #

FromCBOR RedeemVerificationKey Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.VerificationKey

Methods

fromCBOR ∷ Decoder s RedeemVerificationKey Source #

label ∷ Proxy RedeemVerificationKey → Text Source #

ToCBOR RedeemVerificationKey Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.VerificationKey

Methods

toCBOR ∷ RedeemVerificationKey → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy RedeemVerificationKey → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [RedeemVerificationKey] → Size Source #

DecCBOR RedeemVerificationKey Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.VerificationKey

Methods

decCBOR ∷ Decoder s RedeemVerificationKey Source #

dropCBOR ∷ Proxy RedeemVerificationKey → Decoder s () Source #

label ∷ Proxy RedeemVerificationKey → Text Source #

EncCBOR RedeemVerificationKey Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.VerificationKey

Methods

encCBOR ∷ RedeemVerificationKey → Encoding Source #

NFData RedeemVerificationKey Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.VerificationKey

Methods

rnf ∷ RedeemVerificationKey → () #

Buildable RedeemVerificationKey Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.VerificationKey

Methods

build ∷ RedeemVerificationKey → Builder Source #

Generic RedeemVerificationKey Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.VerificationKey

Associated Types

type Rep RedeemVerificationKey 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.VerificationKey

type Rep RedeemVerificationKey = D1 ('MetaData "RedeemVerificationKey" "Cardano.Crypto.Signing.Redeem.VerificationKey" "cardano-crypto-wrapper-1.7.0.0-inplace" 'True) (C1 ('MetaCons "RedeemVerificationKey" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PublicKey)))

Methods

from ∷ RedeemVerificationKey → Rep RedeemVerificationKey x #

to ∷ Rep RedeemVerificationKey x → RedeemVerificationKey #

Show RedeemVerificationKey Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.VerificationKey

Methods

showsPrec ∷ Int → RedeemVerificationKey → ShowS #

show ∷ RedeemVerificationKey → String #

showList ∷ [RedeemVerificationKey] → ShowS #

Eq RedeemVerificationKey Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.VerificationKey

Methods

(==) ∷ RedeemVerificationKey → RedeemVerificationKey → Bool #

(/=) ∷ RedeemVerificationKey → RedeemVerificationKey → Bool #

Ord RedeemVerificationKey Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.VerificationKey

Methods

compare ∷ RedeemVerificationKey → RedeemVerificationKey → Ordering #

(<) ∷ RedeemVerificationKey → RedeemVerificationKey → Bool #

(<=) ∷ RedeemVerificationKey → RedeemVerificationKey → Bool #

(>) ∷ RedeemVerificationKey → RedeemVerificationKey → Bool #

(>=) ∷ RedeemVerificationKey → RedeemVerificationKey → Bool #

max ∷ RedeemVerificationKey → RedeemVerificationKey → RedeemVerificationKey #

min ∷ RedeemVerificationKey → RedeemVerificationKey → RedeemVerificationKey #

NoThunks RedeemVerificationKey Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.VerificationKey

Methods

noThunks ∷ Context → RedeemVerificationKey → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → RedeemVerificationKey → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy RedeemVerificationKey → String Source #

MonadError SchemaError m ⇒ FromObjectKey m RedeemVerificationKey Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.VerificationKey

Methods

fromObjectKey ∷ JSString → m (Maybe RedeemVerificationKey) Source #

Monad m ⇒ ToObjectKey m RedeemVerificationKey Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.VerificationKey

Methods

toObjectKey ∷ RedeemVerificationKey → m JSString Source #

type Rep RedeemVerificationKey Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.VerificationKey

type Rep RedeemVerificationKey = D1 ('MetaData "RedeemVerificationKey" "Cardano.Crypto.Signing.Redeem.VerificationKey" "cardano-crypto-wrapper-1.7.0.0-inplace" 'True) (C1 ('MetaCons "RedeemVerificationKey" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PublicKey)))

fromAvvmVK ∷ Text → Either AvvmVKError RedeemVerificationKey Source #

Read the text into a redeeming verification key. The key should be in AVVM format which is base64(url). This function must be inverse of redeemVKB64UrlF formatter.

fromVerificationKeyToByteString ∷ PublicKey → ByteString Source #

redeemVKB64UrlF ∷ Format r (RedeemVerificationKey → r) Source #

Base64url Format for RedeemVerificationKey.

redeemVKBuild ∷ ByteString → RedeemVerificationKey Source #

Creates a verification key from 32 byte bytestring, fails with error otherwise

redeemKeyGen ∷ MonadRandom m ⇒ m (RedeemVerificationKey, RedeemSigningKey) Source #

Generate a key pair. It's recommended to run it with runSecureRandom from Cardano.Crypto.Random because the OpenSSL generator is probably safer than the default IO generator.

redeemDeterministicKeyGen ∷ ByteString → Maybe (RedeemVerificationKey, RedeemSigningKey) Source #

Create key pair deterministically from 32 bytes

newtype RedeemSigningKey Source #

Wrapper around SecretKey.

Constructors

RedeemSigningKey SecretKey 

Instances

Instances details
FromCBOR RedeemSigningKey Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.SigningKey

Methods

fromCBOR ∷ Decoder s RedeemSigningKey Source #

label ∷ Proxy RedeemSigningKey → Text Source #

ToCBOR RedeemSigningKey Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.SigningKey

Methods

toCBOR ∷ RedeemSigningKey → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy RedeemSigningKey → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [RedeemSigningKey] → Size Source #

DecCBOR RedeemSigningKey Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.SigningKey

Methods

decCBOR ∷ Decoder s RedeemSigningKey Source #

dropCBOR ∷ Proxy RedeemSigningKey → Decoder s () Source #

label ∷ Proxy RedeemSigningKey → Text Source #

EncCBOR RedeemSigningKey Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.SigningKey

Methods

encCBOR ∷ RedeemSigningKey → Encoding Source #

NFData RedeemSigningKey Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.SigningKey

Methods

rnf ∷ RedeemSigningKey → () #

Buildable RedeemSigningKey Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.SigningKey

Methods

build ∷ RedeemSigningKey → Builder Source #

Generic RedeemSigningKey Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.SigningKey

Associated Types

type Rep RedeemSigningKey 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.SigningKey

type Rep RedeemSigningKey = D1 ('MetaData "RedeemSigningKey" "Cardano.Crypto.Signing.Redeem.SigningKey" "cardano-crypto-wrapper-1.7.0.0-inplace" 'True) (C1 ('MetaCons "RedeemSigningKey" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SecretKey)))

Methods

from ∷ RedeemSigningKey → Rep RedeemSigningKey x #

to ∷ Rep RedeemSigningKey x → RedeemSigningKey #

Show RedeemSigningKey Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.SigningKey

Methods

showsPrec ∷ Int → RedeemSigningKey → ShowS #

show ∷ RedeemSigningKey → String #

showList ∷ [RedeemSigningKey] → ShowS #

Eq RedeemSigningKey Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.SigningKey

Methods

(==) ∷ RedeemSigningKey → RedeemSigningKey → Bool #

(/=) ∷ RedeemSigningKey → RedeemSigningKey → Bool #

NoThunks RedeemSigningKey Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.SigningKey

Methods

noThunks ∷ Context → RedeemSigningKey → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → RedeemSigningKey → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy RedeemSigningKey → String Source #

type Rep RedeemSigningKey Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.SigningKey

type Rep RedeemSigningKey = D1 ('MetaData "RedeemSigningKey" "Cardano.Crypto.Signing.Redeem.SigningKey" "cardano-crypto-wrapper-1.7.0.0-inplace" 'True) (C1 ('MetaCons "RedeemSigningKey" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SecretKey)))

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 #

Typeable 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 #

Typeable 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 #

EncCBOR (RedeemSignature a) Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.Signature

Methods

encCBOR ∷ RedeemSignature a → Encoding Source #

NFData (RedeemSignature a) Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.Signature

Methods

rnf ∷ RedeemSignature a → () #

Buildable (RedeemSignature a) Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.Signature

Methods

build ∷ RedeemSignature a → Builder Source #

Generic (RedeemSignature a) Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.Signature

Associated Types

type Rep (RedeemSignature a) 
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.7.0.0-inplace" 'True) (C1 ('MetaCons "RedeemSignature" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Signature)))

Methods

from ∷ RedeemSignature a → Rep (RedeemSignature a) x #

to ∷ Rep (RedeemSignature a) x → RedeemSignature a #

Show (RedeemSignature a) Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.Signature

Methods

showsPrec ∷ Int → RedeemSignature a → ShowS #

show ∷ RedeemSignature a → String #

showList ∷ [RedeemSignature a] → ShowS #

Eq (RedeemSignature a) Source # 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.Signature

Methods

(==) ∷ RedeemSignature a → RedeemSignature a → Bool #

(/=) ∷ RedeemSignature a → RedeemSignature a → Bool #

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.7.0.0-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

redeemToVerification ∷ RedeemSigningKey → RedeemVerificationKey Source #

Verification key derivation function.

redeemVKB64F ∷ Format r (RedeemVerificationKey → r) Source #

redeemVKB64ShortF ∷ Format r (RedeemVerificationKey → r) Source #