Documentation

Methods

toJSON ∷ TxProof → Value Source #

toEncoding ∷ TxProof → Encoding Source #

toJSONList ∷ [TxProof] → Value Source #

toEncodingList ∷ [TxProof] → Encoding Source #

omitField ∷ TxProof → Bool Source #

FromCBOR TxProof Source #

Instance details

Methods

fromCBOR ∷ Decoder s TxProof Source #

label ∷ Proxy TxProof → Text Source #

ToCBOR TxProof Source #

Instance details

Methods

toCBOR ∷ TxProof → Encoding Source #

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

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

DecCBOR TxProof Source #

Instance details

Methods

decCBOR ∷ Decoder s TxProof Source #

dropCBOR ∷ Proxy TxProof → Decoder s () Source #

label ∷ Proxy TxProof → Text Source #

EncCBOR TxProof Source #

Instance details

Methods

encCBOR ∷ TxProof → Encoding Source #

NFData TxProof Source #

Instance details

Methods

rnf ∷ TxProof → () #

Buildable TxProof Source #

Instance details

Methods

build ∷ TxProof → Builder Source #

Generic TxProof Source #

Instance details

Associated Types

type Rep TxProof

Instance details

type Rep TxProof = D1 ('MetaData "TxProof" "Cardano.Chain.UTxO.TxProof" "cardano-ledger-byron-1.3.0.0-inplace" 'False) (C1 ('MetaCons "TxProof" 'PrefixI 'True) (S1 ('MetaSel ('Just "txpNumber") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word32) :*: (S1 ('MetaSel ('Just "txpRoot") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (MerkleRoot Tx)) :*: S1 ('MetaSel ('Just "txpWitnessesHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Hash [TxWitness])))))

Methods

from ∷ TxProof → Rep TxProof x #

to ∷ Rep TxProof x → TxProof #

Show TxProof Source #

Instance details

Methods

showsPrec ∷ Int → TxProof → ShowS #

show ∷ TxProof → String #

showList ∷ [TxProof] → ShowS #

Eq TxProof Source #

Instance details

Methods

(==) ∷ TxProof → TxProof → Bool #

(/=) ∷ TxProof → TxProof → Bool #

NoThunks TxProof Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy TxProof → String Source #

type Rep TxProof Source #

Instance details

type Rep TxProof = D1 ('MetaData "TxProof" "Cardano.Chain.UTxO.TxProof" "cardano-ledger-byron-1.3.0.0-inplace" 'False) (C1 ('MetaCons "TxProof" 'PrefixI 'True) (S1 ('MetaSel ('Just "txpNumber") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word32) :*: (S1 ('MetaSel ('Just "txpRoot") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (MerkleRoot Tx)) :*: S1 ('MetaSel ('Just "txpWitnessesHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Hash [TxWitness])))))

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 UTxOConfiguration Source #

Additional configuration for ledger validation.

Constructors

UTxOConfiguration
Fields tcAssetLockedSrcAddrs ∷ !(Set CompactAddress) Set of source address which are asset-locked. Transactions which use these addresses as transaction inputs will be deemed invalid.

Instances

Instances details

FromCBOR UTxOConfiguration Source #

Instance details

Methods

fromCBOR ∷ Decoder s UTxOConfiguration Source #

label ∷ Proxy UTxOConfiguration → Text Source #

ToCBOR UTxOConfiguration Source #

Instance details

Methods

toCBOR ∷ UTxOConfiguration → Encoding Source #

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

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

DecCBOR UTxOConfiguration Source #

Instance details

Methods

decCBOR ∷ Decoder s UTxOConfiguration Source #

dropCBOR ∷ Proxy UTxOConfiguration → Decoder s () Source #

label ∷ Proxy UTxOConfiguration → Text Source #

EncCBOR UTxOConfiguration Source #

Instance details

Methods

encCBOR ∷ UTxOConfiguration → Encoding Source #

Generic UTxOConfiguration Source #

Instance details

Associated Types

type Rep UTxOConfiguration
Instance details Defined in Cardano.Chain.UTxO.UTxOConfiguration type Rep UTxOConfiguration = D1 ('MetaData "UTxOConfiguration" "Cardano.Chain.UTxO.UTxOConfiguration" "cardano-ledger-byron-1.3.0.0-inplace" 'False) (C1 ('MetaCons "UTxOConfiguration" 'PrefixI 'True) (S1 ('MetaSel ('Just "tcAssetLockedSrcAddrs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set CompactAddress))))

Methods

from ∷ UTxOConfiguration → Rep UTxOConfiguration x #

to ∷ Rep UTxOConfiguration x → UTxOConfiguration #

Show UTxOConfiguration Source #

Instance details

Methods

showsPrec ∷ Int → UTxOConfiguration → ShowS #

show ∷ UTxOConfiguration → String #

showList ∷ [UTxOConfiguration] → ShowS #

Eq UTxOConfiguration Source #

Instance details

Methods

(==) ∷ UTxOConfiguration → UTxOConfiguration → Bool #

(/=) ∷ UTxOConfiguration → UTxOConfiguration → Bool #

NoThunks UTxOConfiguration Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy UTxOConfiguration → String Source #

type Rep UTxOConfiguration Source #

Instance details

type Rep UTxOConfiguration = D1 ('MetaData "UTxOConfiguration" "Cardano.Chain.UTxO.UTxOConfiguration" "cardano-ledger-byron-1.3.0.0-inplace" 'False) (C1 ('MetaCons "UTxOConfiguration" 'PrefixI 'True) (S1 ('MetaSel ('Just "tcAssetLockedSrcAddrs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set CompactAddress))))

data CompactTxIn Source #

A compact in-memory representation for a TxIn.

Convert using toCompactTxIn and fromCompactTxIn.

Constructors

CompactTxInUtxo !CompactTxId !Word16

Instances

Instances details

FromCBOR CompactTxIn Source #

Instance details

Methods

fromCBOR ∷ Decoder s CompactTxIn Source #

label ∷ Proxy CompactTxIn → Text Source #

ToCBOR CompactTxIn Source #

Instance details

Methods

toCBOR ∷ CompactTxIn → Encoding Source #

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

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

DecCBOR CompactTxIn Source #

Instance details

Methods

decCBOR ∷ Decoder s CompactTxIn Source #

dropCBOR ∷ Proxy CompactTxIn → Decoder s () Source #

label ∷ Proxy CompactTxIn → Text Source #

EncCBOR CompactTxIn Source #

Instance details

Methods

encCBOR ∷ CompactTxIn → Encoding Source #

NFData CompactTxIn Source #

Instance details

Methods

rnf ∷ CompactTxIn → () #

Generic CompactTxIn Source #

Instance details

Associated Types

type Rep CompactTxIn

Instance details

type Rep CompactTxIn = D1 ('MetaData "CompactTxIn" "Cardano.Chain.UTxO.Compact" "cardano-ledger-byron-1.3.0.0-inplace" 'False) (C1 ('MetaCons "CompactTxInUtxo" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 CompactTxId) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word16)))

Methods

from ∷ CompactTxIn → Rep CompactTxIn x #

to ∷ Rep CompactTxIn x → CompactTxIn #

Show CompactTxIn Source #

Instance details

Methods

showsPrec ∷ Int → CompactTxIn → ShowS #

show ∷ CompactTxIn → String #

showList ∷ [CompactTxIn] → ShowS #

Eq CompactTxIn Source #

Instance details

Methods

(==) ∷ CompactTxIn → CompactTxIn → Bool #

(/=) ∷ CompactTxIn → CompactTxIn → Bool #

Ord CompactTxIn Source #

Instance details

Methods

compare ∷ CompactTxIn → CompactTxIn → Ordering #

(<) ∷ CompactTxIn → CompactTxIn → Bool #

(<=) ∷ CompactTxIn → CompactTxIn → Bool #

(>) ∷ CompactTxIn → CompactTxIn → Bool #

(>=) ∷ CompactTxIn → CompactTxIn → Bool #

max ∷ CompactTxIn → CompactTxIn → CompactTxIn #

min ∷ CompactTxIn → CompactTxIn → CompactTxIn #

HeapWords CompactTxIn Source #

Instance details

Methods

heapWords ∷ CompactTxIn → Int Source #

NoThunks CompactTxIn Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy CompactTxIn → String Source #

type Rep CompactTxIn Source #

Instance details

type Rep CompactTxIn = D1 ('MetaData "CompactTxIn" "Cardano.Chain.UTxO.Compact" "cardano-ledger-byron-1.3.0.0-inplace" 'False) (C1 ('MetaCons "CompactTxInUtxo" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 CompactTxId) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word16)))

data CompactTxOut Source #

A compact in-memory representation for a TxOut.

Convert using toCompactTxOut and fromCompactTxOut.

Constructors

CompactTxOut !CompactAddress !Lovelace

Instances

Instances details

FromCBOR CompactTxOut Source #

Instance details

Methods

fromCBOR ∷ Decoder s CompactTxOut Source #

label ∷ Proxy CompactTxOut → Text Source #

ToCBOR CompactTxOut Source #

Instance details

Methods

toCBOR ∷ CompactTxOut → Encoding Source #

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

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

DecCBOR CompactTxOut Source #

Instance details

Methods

decCBOR ∷ Decoder s CompactTxOut Source #

dropCBOR ∷ Proxy CompactTxOut → Decoder s () Source #

label ∷ Proxy CompactTxOut → Text Source #

EncCBOR CompactTxOut Source #

Instance details

Methods

encCBOR ∷ CompactTxOut → Encoding Source #

NFData CompactTxOut Source #

Instance details

Methods

rnf ∷ CompactTxOut → () #

Generic CompactTxOut Source #

Instance details

Associated Types

type Rep CompactTxOut

Instance details

type Rep CompactTxOut = D1 ('MetaData "CompactTxOut" "Cardano.Chain.UTxO.Compact" "cardano-ledger-byron-1.3.0.0-inplace" 'False) (C1 ('MetaCons "CompactTxOut" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 CompactAddress) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Lovelace)))

Methods

from ∷ CompactTxOut → Rep CompactTxOut x #

to ∷ Rep CompactTxOut x → CompactTxOut #

Show CompactTxOut Source #

Instance details

Methods

showsPrec ∷ Int → CompactTxOut → ShowS #

show ∷ CompactTxOut → String #

showList ∷ [CompactTxOut] → ShowS #

Eq CompactTxOut Source #

Instance details

Methods

(==) ∷ CompactTxOut → CompactTxOut → Bool #

(/=) ∷ CompactTxOut → CompactTxOut → Bool #

Ord CompactTxOut Source #

Instance details

Methods

compare ∷ CompactTxOut → CompactTxOut → Ordering #

(<) ∷ CompactTxOut → CompactTxOut → Bool #

(<=) ∷ CompactTxOut → CompactTxOut → Bool #

(>) ∷ CompactTxOut → CompactTxOut → Bool #

(>=) ∷ CompactTxOut → CompactTxOut → Bool #

max ∷ CompactTxOut → CompactTxOut → CompactTxOut #

min ∷ CompactTxOut → CompactTxOut → CompactTxOut #

HeapWords CompactTxOut Source #

Instance details

Methods

heapWords ∷ CompactTxOut → Int Source #

NoThunks CompactTxOut Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy CompactTxOut → String Source #

type Rep CompactTxOut Source #

Instance details

type Rep CompactTxOut = D1 ('MetaData "CompactTxOut" "Cardano.Chain.UTxO.Compact" "cardano-ledger-byron-1.3.0.0-inplace" 'False) (C1 ('MetaCons "CompactTxOut" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 CompactAddress) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Lovelace)))

fromCompactTxIn ∷ CompactTxIn → TxIn Source #

fromCompactTxOut ∷ CompactTxOut → TxOut Source #

toCompactTxIn ∷ TxIn → CompactTxIn Source #

toCompactTxOut ∷ TxOut → CompactTxOut Source #

data TxIn Source #

Transaction arbitrary input

Constructors

TxInUtxo TxId Word16

TxId = Which transaction's output is used | Word16 = Index of the output in transaction's outputs

Instances

Instances details

ToJSON TxIn Source #

Instance details

Defined in Cardano.Chain.UTxO.Tx

Methods

toJSON ∷ TxIn → Value Source #

toEncoding ∷ TxIn → Encoding Source #

toJSONList ∷ [TxIn] → Value Source #

toEncodingList ∷ [TxIn] → Encoding Source #

omitField ∷ TxIn → Bool Source #

FromCBOR TxIn Source #

Instance details

Defined in Cardano.Chain.UTxO.Tx

Methods

fromCBOR ∷ Decoder s TxIn Source #

label ∷ Proxy TxIn → Text Source #

ToCBOR TxIn Source #

Instance details

Defined in Cardano.Chain.UTxO.Tx

Methods

toCBOR ∷ TxIn → Encoding Source #

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

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

DecCBOR TxIn Source #

Instance details

Defined in Cardano.Chain.UTxO.Tx

Methods

decCBOR ∷ Decoder s TxIn Source #

dropCBOR ∷ Proxy TxIn → Decoder s () Source #

label ∷ Proxy TxIn → Text Source #

EncCBOR TxIn Source #

Instance details

Defined in Cardano.Chain.UTxO.Tx

Methods

encCBOR ∷ TxIn → Encoding Source #

NFData TxIn Source #

Instance details

Defined in Cardano.Chain.UTxO.Tx

Methods

rnf ∷ TxIn → () #

Buildable TxIn Source #

Instance details

Defined in Cardano.Chain.UTxO.Tx

Methods

build ∷ TxIn → Builder Source #

Generic TxIn Source #

Instance details

Defined in Cardano.Chain.UTxO.Tx

Associated Types

type Rep TxIn

Instance details

Defined in Cardano.Chain.UTxO.Tx

type Rep TxIn = D1 ('MetaData "TxIn" "Cardano.Chain.UTxO.Tx" "cardano-ledger-byron-1.3.0.0-inplace" 'False) (C1 ('MetaCons "TxInUtxo" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxId) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word16)))

Methods

from ∷ TxIn → Rep TxIn x #

to ∷ Rep TxIn x → TxIn #

Show TxIn Source #

Instance details

Defined in Cardano.Chain.UTxO.Tx

Methods

showsPrec ∷ Int → TxIn → ShowS #

show ∷ TxIn → String #

showList ∷ [TxIn] → ShowS #

Eq TxIn Source #

Instance details

Defined in Cardano.Chain.UTxO.Tx

Methods

(==) ∷ TxIn → TxIn → Bool #

(/=) ∷ TxIn → TxIn → Bool #

Ord TxIn Source #

Instance details

Defined in Cardano.Chain.UTxO.Tx

Methods

compare ∷ TxIn → TxIn → Ordering #

(<) ∷ TxIn → TxIn → Bool #

(<=) ∷ TxIn → TxIn → Bool #

(>) ∷ TxIn → TxIn → Bool #

(>=) ∷ TxIn → TxIn → Bool #

max ∷ TxIn → TxIn → TxIn #

min ∷ TxIn → TxIn → TxIn #

HeapWords TxIn Source #

Instance details

Defined in Cardano.Chain.UTxO.Tx

Methods

heapWords ∷ TxIn → Int Source #

type Rep TxIn Source #

Instance details

Defined in Cardano.Chain.UTxO.Tx

type Rep TxIn = D1 ('MetaData "TxIn" "Cardano.Chain.UTxO.Tx" "cardano-ledger-byron-1.3.0.0-inplace" 'False) (C1 ('MetaCons "TxInUtxo" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxId) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word16)))

taWitness ∷ ATxAux a → TxWitness Source #

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

Methods

toJSON ∷ TxInWitness → Value Source #

toEncoding ∷ TxInWitness → Encoding Source #

toJSONList ∷ [TxInWitness] → Value Source #

toEncodingList ∷ [TxInWitness] → Encoding Source #

omitField ∷ TxInWitness → Bool Source #

FromCBOR TxInWitness Source #

Instance details

Methods

fromCBOR ∷ Decoder s TxInWitness Source #

label ∷ Proxy TxInWitness → Text Source #

ToCBOR TxInWitness Source #

Instance details

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

Methods

decCBOR ∷ Decoder s TxInWitness Source #

dropCBOR ∷ Proxy TxInWitness → Decoder s () Source #

label ∷ Proxy TxInWitness → Text Source #

EncCBOR TxInWitness Source #

Instance details

Methods

encCBOR ∷ TxInWitness → Encoding Source #

NFData TxInWitness Source #

Instance details

Methods

rnf ∷ TxInWitness → () #

Buildable TxInWitness Source #

Instance details

Methods

build ∷ TxInWitness → Builder Source #

Generic TxInWitness Source #

Instance details

Associated Types

type Rep TxInWitness

Instance details

type Rep TxInWitness = D1 ('MetaData "TxInWitness" "Cardano.Chain.UTxO.TxWitness" "cardano-ledger-byron-1.3.0.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))))

Methods

from ∷ TxInWitness → Rep TxInWitness x #

to ∷ Rep TxInWitness x → TxInWitness #

Show TxInWitness Source #

Instance details

Methods

showsPrec ∷ Int → TxInWitness → ShowS #

show ∷ TxInWitness → String #

showList ∷ [TxInWitness] → ShowS #

Eq TxInWitness Source #

Instance details

Methods

(==) ∷ TxInWitness → TxInWitness → Bool #

(/=) ∷ TxInWitness → TxInWitness → Bool #

type Rep TxInWitness Source #

Instance details

type Rep TxInWitness = D1 ('MetaData "TxInWitness" "Cardano.Chain.UTxO.TxWitness" "cardano-ledger-byron-1.3.0.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 txSigTxHash ∷ Hash Tx

Instances

Instances details

ToJSON TxSigData Source #

Instance details

Methods

toJSON ∷ TxSigData → Value Source #

toEncoding ∷ TxSigData → Encoding Source #

toJSONList ∷ [TxSigData] → Value Source #

toEncodingList ∷ [TxSigData] → Encoding Source #

omitField ∷ TxSigData → Bool Source #

FromCBOR TxSigData Source #

Instance details

Methods

fromCBOR ∷ Decoder s TxSigData Source #

label ∷ Proxy TxSigData → Text Source #

ToCBOR TxSigData Source #

Instance details

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

Methods

decCBOR ∷ Decoder s TxSigData Source #

dropCBOR ∷ Proxy TxSigData → Decoder s () Source #

label ∷ Proxy TxSigData → Text Source #

EncCBOR TxSigData Source #

Instance details

Methods

encCBOR ∷ TxSigData → Encoding Source #

Generic TxSigData Source #

Instance details

Associated Types

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

Methods

from ∷ TxSigData → Rep TxSigData x #

to ∷ Rep TxSigData x → TxSigData #

Show TxSigData Source #

Instance details

Methods

showsPrec ∷ Int → TxSigData → ShowS #

show ∷ TxSigData → String #

showList ∷ [TxSigData] → ShowS #

Eq TxSigData Source #

Instance details

Methods

(==) ∷ TxSigData → TxSigData → Bool #

(/=) ∷ TxSigData → TxSigData → Bool #

type Rep TxSigData Source #

Instance details

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

recoverSigData ∷ Annotated Tx ByteString → Annotated TxSigData ByteString Source #

data TxValidationMode Source #

Indicates what sort of transaction validation should be performed.

Constructors

TxValidation	Perform all transaction validations.
TxValidationNoCrypto	Because we've already validated this transaction against some ledger state, we know that cryptographic validation has passed. However, we should still perform all of the other non-cryptographic checks since we're validating against a potentially dfferent ledger state.
NoTxValidation	No validations should be performed as we have already validated this transaction against this very same ledger state.

Instances

Instances details

Show TxValidationMode Source #
Instance details Defined in Cardano.Chain.UTxO.ValidationMode Methods showsPrec ∷ Int → TxValidationMode → ShowS # show ∷ TxValidationMode → String # showList ∷ [TxValidationMode] → ShowS #
Eq TxValidationMode Source #
Instance details Defined in Cardano.Chain.UTxO.ValidationMode Methods (==) ∷ TxValidationMode → TxValidationMode → Bool # (/=) ∷ TxValidationMode → TxValidationMode → Bool #

newtype ATxPayload a Source #

Constructors

ATxPayload
Fields aUnTxPayload ∷ [ATxAux a]

Instances

Instances details

FromCBOR TxPayload Source #

Instance details

Methods

fromCBOR ∷ Decoder s TxPayload Source #

label ∷ Proxy TxPayload → Text Source #

ToCBOR TxPayload Source #

Instance details

Methods

toCBOR ∷ TxPayload → Encoding Source #

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

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

DecCBOR TxPayload Source #

Instance details

Methods

decCBOR ∷ Decoder s TxPayload Source #

dropCBOR ∷ Proxy TxPayload → Decoder s () Source #

label ∷ Proxy TxPayload → Text Source #

EncCBOR TxPayload Source #

Instance details

Methods

encCBOR ∷ TxPayload → Encoding Source #

Functor ATxPayload Source #

Instance details

Methods

fmap ∷ (a → b) → ATxPayload a → ATxPayload b #

(<$) ∷ a → ATxPayload b → ATxPayload a #

ToJSON a ⇒ ToJSON (ATxPayload a) Source #

Instance details

Methods

toJSON ∷ ATxPayload a → Value Source #

toEncoding ∷ ATxPayload a → Encoding Source #

toJSONList ∷ [ATxPayload a] → Value Source #

toEncodingList ∷ [ATxPayload a] → Encoding Source #

omitField ∷ ATxPayload a → Bool Source #

FromCBOR (ATxPayload ByteSpan) Source #

Instance details

Methods

fromCBOR ∷ Decoder s (ATxPayload ByteSpan) Source #

label ∷ Proxy (ATxPayload ByteSpan) → Text Source #

DecCBOR (ATxPayload ByteSpan) Source #

Instance details

Methods

decCBOR ∷ Decoder s (ATxPayload ByteSpan) Source #

dropCBOR ∷ Proxy (ATxPayload ByteSpan) → Decoder s () Source #

label ∷ Proxy (ATxPayload ByteSpan) → Text Source #

NFData a ⇒ NFData (ATxPayload a) Source #

Instance details

Methods

rnf ∷ ATxPayload a → () #

Generic (ATxPayload a) Source #

Instance details

Associated Types

type Rep (ATxPayload a)
Instance details Defined in Cardano.Chain.UTxO.TxPayload type Rep (ATxPayload a) = D1 ('MetaData "ATxPayload" "Cardano.Chain.UTxO.TxPayload" "cardano-ledger-byron-1.3.0.0-inplace" 'True) (C1 ('MetaCons "ATxPayload" 'PrefixI 'True) (S1 ('MetaSel ('Just "aUnTxPayload") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [ATxAux a])))

Methods

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

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

Show a ⇒ Show (ATxPayload a) Source #

Instance details

Methods

showsPrec ∷ Int → ATxPayload a → ShowS #

show ∷ ATxPayload a → String #

showList ∷ [ATxPayload a] → ShowS #

Eq a ⇒ Eq (ATxPayload a) Source #

Instance details

Methods

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

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

type Rep (ATxPayload a) Source #

Instance details

type Rep (ATxPayload a) = D1 ('MetaData "ATxPayload" "Cardano.Chain.UTxO.TxPayload" "cardano-ledger-byron-1.3.0.0-inplace" 'True) (C1 ('MetaCons "ATxPayload" 'PrefixI 'True) (S1 ('MetaSel ('Just "aUnTxPayload") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [ATxAux a])))

txpTxs ∷ ATxPayload a → [Tx] Source #

txpWitnesses ∷ TxPayload → [TxWitness] Source #

mkTxProof ∷ TxPayload → TxProof Source #

Construct TxProof which proves given TxPayload

This will construct a Merkle tree, which can be very expensive. Use with care.

recoverTxProof ∷ ATxPayload ByteString → TxProof Source #

genesisUtxo ∷ Config → UTxO Source #

Create initial UTxO from balances defined in the genesis config

defaultUTxOConfiguration ∷ UTxOConfiguration Source #

data CompactTxId Source #

A compact in-memory representation for a TxId.

Convert using toCompactTxId and fromCompactTxId.

Compared to a normal TxId, this takes 5 heap words rather than 12.

Instances

Instances details

FromCBOR CompactTxId Source #

Instance details

Methods

fromCBOR ∷ Decoder s CompactTxId Source #

label ∷ Proxy CompactTxId → Text Source #

ToCBOR CompactTxId Source #

Instance details

Methods

toCBOR ∷ CompactTxId → Encoding Source #

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

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

DecCBOR CompactTxId Source #

Instance details

Methods

decCBOR ∷ Decoder s CompactTxId Source #

dropCBOR ∷ Proxy CompactTxId → Decoder s () Source #

label ∷ Proxy CompactTxId → Text Source #

EncCBOR CompactTxId Source #

Instance details

Methods

encCBOR ∷ CompactTxId → Encoding Source #

NFData CompactTxId Source #

Instance details

Methods

rnf ∷ CompactTxId → () #

Generic CompactTxId Source #

Instance details

Associated Types

type Rep CompactTxId

Instance details

type Rep CompactTxId = D1 ('MetaData "CompactTxId" "Cardano.Chain.UTxO.Compact" "cardano-ledger-byron-1.3.0.0-inplace" 'False) (C1 ('MetaCons "CompactTxId" '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 ∷ CompactTxId → Rep CompactTxId x #

to ∷ Rep CompactTxId x → CompactTxId #

Show CompactTxId Source #

Instance details

Methods

showsPrec ∷ Int → CompactTxId → ShowS #

show ∷ CompactTxId → String #

showList ∷ [CompactTxId] → ShowS #

Eq CompactTxId Source #

Instance details

Methods

(==) ∷ CompactTxId → CompactTxId → Bool #

(/=) ∷ CompactTxId → CompactTxId → Bool #

Ord CompactTxId Source #

Instance details

Methods

compare ∷ CompactTxId → CompactTxId → Ordering #

(<) ∷ CompactTxId → CompactTxId → Bool #

(<=) ∷ CompactTxId → CompactTxId → Bool #

(>) ∷ CompactTxId → CompactTxId → Bool #

(>=) ∷ CompactTxId → CompactTxId → Bool #

max ∷ CompactTxId → CompactTxId → CompactTxId #

min ∷ CompactTxId → CompactTxId → CompactTxId #

HeapWords CompactTxId Source #

Instance details

Methods

heapWords ∷ CompactTxId → Int Source #

NoThunks CompactTxId Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy CompactTxId → String Source #

type Rep CompactTxId Source #

Instance details