cardano-ledger-byron-1.0.1.0: The blockchain layer of Cardano during the Byron era
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Chain.UTxO.TxWitness

Synopsis

Documentation

type TxWitness = Vector TxInWitness Source #

A witness is a proof that a transaction is allowed to spend the funds it spends (by providing signatures, redeeming scripts, etc). A separate proof is provided for each input.

data TxInWitness Source #

A witness for a single input

Constructors

VKWitness !VerificationKey !TxSig

VKWitness twKey twSig

RedeemWitness !RedeemVerificationKey !(RedeemSignature TxSigData)

RedeemWitness twRedeemKey twRedeemSig

Instances

Instances details
ToJSON TxInWitness Source # 
Instance details

Defined in Cardano.Chain.UTxO.TxWitness

Methods

toJSON ∷ TxInWitness → Value Source #

toEncoding ∷ TxInWitness → Encoding Source #

toJSONList ∷ [TxInWitness] → Value Source #

toEncodingList ∷ [TxInWitness] → Encoding Source #

omitField ∷ TxInWitness → Bool Source #

Generic TxInWitness Source # 
Instance details

Defined in Cardano.Chain.UTxO.TxWitness

Associated Types

type Rep TxInWitness ∷ Type → Type Source #

Methods

from ∷ TxInWitness → Rep TxInWitness x Source #

to ∷ Rep TxInWitness x → TxInWitness Source #

Show TxInWitness Source # 
Instance details

Defined in Cardano.Chain.UTxO.TxWitness

Methods

showsPrec ∷ Int → TxInWitness → ShowS Source #

show ∷ TxInWitness → String Source #

showList ∷ [TxInWitness] → ShowS Source #

FromCBOR TxInWitness Source # 
Instance details

Defined in Cardano.Chain.UTxO.TxWitness

Methods

fromCBOR ∷ Decoder s TxInWitness Source #

label ∷ Proxy TxInWitness → Text Source #

ToCBOR TxInWitness Source # 
Instance details

Defined in Cardano.Chain.UTxO.TxWitness

Methods

toCBOR ∷ TxInWitness → Encoding Source #

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

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

DecCBOR TxInWitness Source # 
Instance details

Defined in Cardano.Chain.UTxO.TxWitness

Methods

decCBOR ∷ Decoder s TxInWitness Source #

dropCBOR ∷ Proxy TxInWitness → Decoder s () Source #

label ∷ Proxy TxInWitness → Text Source #

EncCBOR TxInWitness Source # 
Instance details

Defined in Cardano.Chain.UTxO.TxWitness

Methods

encCBOR ∷ TxInWitness → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy TxInWitness → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [TxInWitness] → Size Source #

NFData TxInWitness Source # 
Instance details

Defined in Cardano.Chain.UTxO.TxWitness

Methods

rnf ∷ TxInWitness → () Source #

Buildable TxInWitness Source # 
Instance details

Defined in Cardano.Chain.UTxO.TxWitness

Methods

build ∷ TxInWitness → Builder Source #

Eq TxInWitness Source # 
Instance details

Defined in Cardano.Chain.UTxO.TxWitness

Methods

(==) ∷ TxInWitness → TxInWitness → Bool Source #

(/=) ∷ TxInWitness → TxInWitness → Bool Source #

type Rep TxInWitness Source # 
Instance details

Defined in Cardano.Chain.UTxO.TxWitness

type Rep TxInWitness = D1 ('MetaData "TxInWitness" "Cardano.Chain.UTxO.TxWitness" "cardano-ledger-byron-1.0.1.0-inplace" 'False) (C1 ('MetaCons "VKWitness" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 VerificationKey) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxSig)) :+: C1 ('MetaCons "RedeemWitness" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 RedeemVerificationKey) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (RedeemSignature TxSigData))))

newtype TxSigData Source #

Data that is being signed when creating a TxSig

Constructors

TxSigData 

Fields

Instances

Instances details
ToJSON TxSigData Source # 
Instance details

Defined in Cardano.Chain.UTxO.TxWitness

Methods

toJSON ∷ TxSigData → Value Source #

toEncoding ∷ TxSigData → Encoding Source #

toJSONList ∷ [TxSigData] → Value Source #

toEncodingList ∷ [TxSigData] → Encoding Source #

omitField ∷ TxSigData → Bool Source #

Generic TxSigData Source # 
Instance details

Defined in Cardano.Chain.UTxO.TxWitness

Associated Types

type Rep TxSigData ∷ Type → Type Source #

Methods

from ∷ TxSigData → Rep TxSigData x Source #

to ∷ Rep TxSigData x → TxSigData Source #

Show TxSigData Source # 
Instance details

Defined in Cardano.Chain.UTxO.TxWitness

Methods

showsPrec ∷ Int → TxSigData → ShowS Source #

show ∷ TxSigData → String Source #

showList ∷ [TxSigData] → ShowS Source #

FromCBOR TxSigData Source # 
Instance details

Defined in Cardano.Chain.UTxO.TxWitness

Methods

fromCBOR ∷ Decoder s TxSigData Source #

label ∷ Proxy TxSigData → Text Source #

ToCBOR TxSigData Source # 
Instance details

Defined in Cardano.Chain.UTxO.TxWitness

Methods

toCBOR ∷ TxSigData → Encoding Source #

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

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

DecCBOR TxSigData Source # 
Instance details

Defined in Cardano.Chain.UTxO.TxWitness

Methods

decCBOR ∷ Decoder s TxSigData Source #

dropCBOR ∷ Proxy TxSigData → Decoder s () Source #

label ∷ Proxy TxSigData → Text Source #

EncCBOR TxSigData Source # 
Instance details

Defined in Cardano.Chain.UTxO.TxWitness

Methods

encCBOR ∷ TxSigData → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy TxSigData → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [TxSigData] → Size Source #

Eq TxSigData Source # 
Instance details

Defined in Cardano.Chain.UTxO.TxWitness

Methods

(==) ∷ TxSigData → TxSigData → Bool Source #

(/=) ∷ TxSigData → TxSigData → Bool Source #

type Rep TxSigData Source # 
Instance details

Defined in Cardano.Chain.UTxO.TxWitness

type Rep TxSigData = D1 ('MetaData "TxSigData" "Cardano.Chain.UTxO.TxWitness" "cardano-ledger-byron-1.0.1.0-inplace" 'True) (C1 ('MetaCons "TxSigData" 'PrefixI 'True) (S1 ('MetaSel ('Just "txSigTxHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Hash Tx))))

type TxSig = Signature TxSigData Source #

Signature of addrId

recoverSigData ∷ Annotated Tx ByteString → Annotated TxSigData ByteString Source #