newtype TxBody l AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.TxBody newtype TxBody l AllegraEra = MkAllegraTxBody (MemoBytes (AllegraTxBodyRaw () l AllegraEra))

Methods

mkBasicTxBody ∷ ∀ (l ∷ TxLevel). Typeable l ⇒ TxBody l AllegraEra Source #

inputsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l AllegraEra) (Set TxIn) Source #

outputsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l AllegraEra) (StrictSeq (TxOut AllegraEra)) Source #

feeTxBodyL ∷ Lens' (TxBody 'TopTx AllegraEra) Coin Source #

withdrawalsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l AllegraEra) Withdrawals Source #

auxDataHashTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l AllegraEra) (StrictMaybe TxAuxDataHash) Source #

spendableInputsTxBodyF ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l AllegraEra) (Set TxIn) Source #

allInputsTxBodyF ∷ SimpleGetter (TxBody 'TopTx AllegraEra) (Set TxIn) Source #

certsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l AllegraEra) (StrictSeq (TxCert AllegraEra)) Source #

getTotalDepositsTxBody ∷ ∀ (l ∷ TxLevel). PParams AllegraEra → (KeyHash 'StakePool → Bool) → TxBody l AllegraEra → Coin Source #

getTotalRefundsTxBody ∷ ∀ (l ∷ TxLevel). PParams AllegraEra → (Credential 'Staking → Maybe Coin) → (Credential 'DRepRole → Maybe Coin) → TxBody l AllegraEra → Coin Source #

getGenesisKeyHashCountTxBody ∷ TxBody 'TopTx AllegraEra → Int Source #

EraTxBody AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Associated Types

newtype TxBody l AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.TxBody newtype TxBody l AlonzoEra = MkAlonzoTxBody (MemoBytes (AlonzoTxBodyRaw l AlonzoEra))

Methods

mkBasicTxBody ∷ ∀ (l ∷ TxLevel). Typeable l ⇒ TxBody l AlonzoEra Source #

inputsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l AlonzoEra) (Set TxIn) Source #

outputsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l AlonzoEra) (StrictSeq (TxOut AlonzoEra)) Source #

feeTxBodyL ∷ Lens' (TxBody 'TopTx AlonzoEra) Coin Source #

withdrawalsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l AlonzoEra) Withdrawals Source #

auxDataHashTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l AlonzoEra) (StrictMaybe TxAuxDataHash) Source #

spendableInputsTxBodyF ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l AlonzoEra) (Set TxIn) Source #

allInputsTxBodyF ∷ SimpleGetter (TxBody 'TopTx AlonzoEra) (Set TxIn) Source #

certsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l AlonzoEra) (StrictSeq (TxCert AlonzoEra)) Source #

getTotalDepositsTxBody ∷ ∀ (l ∷ TxLevel). PParams AlonzoEra → (KeyHash 'StakePool → Bool) → TxBody l AlonzoEra → Coin Source #

getTotalRefundsTxBody ∷ ∀ (l ∷ TxLevel). PParams AlonzoEra → (Credential 'Staking → Maybe Coin) → (Credential 'DRepRole → Maybe Coin) → TxBody l AlonzoEra → Coin Source #

getGenesisKeyHashCountTxBody ∷ TxBody 'TopTx AlonzoEra → Int Source #

EraTxBody BabbageEra

Instance details

Defined in Cardano.Ledger.Babbage.TxBody

Associated Types

newtype TxBody l BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.TxBody newtype TxBody l BabbageEra = MkBabbageTxBody (MemoBytes (BabbageTxBodyRaw l BabbageEra))

Methods

mkBasicTxBody ∷ ∀ (l ∷ TxLevel). Typeable l ⇒ TxBody l BabbageEra Source #

inputsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l BabbageEra) (Set TxIn) Source #

outputsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l BabbageEra) (StrictSeq (TxOut BabbageEra)) Source #

feeTxBodyL ∷ Lens' (TxBody 'TopTx BabbageEra) Coin Source #

withdrawalsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l BabbageEra) Withdrawals Source #

auxDataHashTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l BabbageEra) (StrictMaybe TxAuxDataHash) Source #

spendableInputsTxBodyF ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l BabbageEra) (Set TxIn) Source #

allInputsTxBodyF ∷ SimpleGetter (TxBody 'TopTx BabbageEra) (Set TxIn) Source #

certsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l BabbageEra) (StrictSeq (TxCert BabbageEra)) Source #

getTotalDepositsTxBody ∷ ∀ (l ∷ TxLevel). PParams BabbageEra → (KeyHash 'StakePool → Bool) → TxBody l BabbageEra → Coin Source #

getTotalRefundsTxBody ∷ ∀ (l ∷ TxLevel). PParams BabbageEra → (Credential 'Staking → Maybe Coin) → (Credential 'DRepRole → Maybe Coin) → TxBody l BabbageEra → Coin Source #

getGenesisKeyHashCountTxBody ∷ TxBody 'TopTx BabbageEra → Int Source #

EraTxBody ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.TxBody

Associated Types

newtype TxBody l ConwayEra
Instance details Defined in Cardano.Ledger.Conway.TxBody newtype TxBody l ConwayEra = MkConwayTxBody (MemoBytes (ConwayTxBodyRaw l ConwayEra))

Methods

mkBasicTxBody ∷ ∀ (l ∷ TxLevel). Typeable l ⇒ TxBody l ConwayEra Source #

inputsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l ConwayEra) (Set TxIn) Source #

outputsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l ConwayEra) (StrictSeq (TxOut ConwayEra)) Source #

feeTxBodyL ∷ Lens' (TxBody 'TopTx ConwayEra) Coin Source #

withdrawalsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l ConwayEra) Withdrawals Source #

auxDataHashTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l ConwayEra) (StrictMaybe TxAuxDataHash) Source #

spendableInputsTxBodyF ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l ConwayEra) (Set TxIn) Source #

allInputsTxBodyF ∷ SimpleGetter (TxBody 'TopTx ConwayEra) (Set TxIn) Source #

certsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l ConwayEra) (StrictSeq (TxCert ConwayEra)) Source #

getTotalDepositsTxBody ∷ ∀ (l ∷ TxLevel). PParams ConwayEra → (KeyHash 'StakePool → Bool) → TxBody l ConwayEra → Coin Source #

getTotalRefundsTxBody ∷ ∀ (l ∷ TxLevel). PParams ConwayEra → (Credential 'Staking → Maybe Coin) → (Credential 'DRepRole → Maybe Coin) → TxBody l ConwayEra → Coin Source #

getGenesisKeyHashCountTxBody ∷ TxBody 'TopTx ConwayEra → Int Source #

(Eq (Tx 'SubTx DijkstraEra), NFData (Tx 'SubTx DijkstraEra), Show (Tx 'SubTx DijkstraEra), EncCBOR (Tx 'SubTx DijkstraEra)) ⇒ EraTxBody DijkstraEra

Instance details

Defined in Cardano.Ledger.Dijkstra.TxBody

Associated Types

newtype TxBody l DijkstraEra
Instance details Defined in Cardano.Ledger.Dijkstra.TxBody newtype TxBody l DijkstraEra = MkDijkstraTxBody (MemoBytes (DijkstraTxBodyRaw l DijkstraEra))

Methods

mkBasicTxBody ∷ ∀ (l ∷ TxLevel). Typeable l ⇒ TxBody l DijkstraEra Source #

inputsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l DijkstraEra) (Set TxIn) Source #

outputsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l DijkstraEra) (StrictSeq (TxOut DijkstraEra)) Source #

feeTxBodyL ∷ Lens' (TxBody 'TopTx DijkstraEra) Coin Source #

withdrawalsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l DijkstraEra) Withdrawals Source #

auxDataHashTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l DijkstraEra) (StrictMaybe TxAuxDataHash) Source #

spendableInputsTxBodyF ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l DijkstraEra) (Set TxIn) Source #

allInputsTxBodyF ∷ SimpleGetter (TxBody 'TopTx DijkstraEra) (Set TxIn) Source #

certsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l DijkstraEra) (StrictSeq (TxCert DijkstraEra)) Source #

getTotalDepositsTxBody ∷ ∀ (l ∷ TxLevel). PParams DijkstraEra → (KeyHash 'StakePool → Bool) → TxBody l DijkstraEra → Coin Source #

getTotalRefundsTxBody ∷ ∀ (l ∷ TxLevel). PParams DijkstraEra → (Credential 'Staking → Maybe Coin) → (Credential 'DRepRole → Maybe Coin) → TxBody l DijkstraEra → Coin Source #

getGenesisKeyHashCountTxBody ∷ TxBody 'TopTx DijkstraEra → Int Source #

EraTxBody MaryEra

Instance details

Defined in Cardano.Ledger.Mary.TxBody

Associated Types

newtype TxBody l MaryEra
Instance details Defined in Cardano.Ledger.Mary.TxBody newtype TxBody l MaryEra = MkMaryTxBody (MemoBytes (MaryTxBodyRaw l))

Methods

mkBasicTxBody ∷ ∀ (l ∷ TxLevel). Typeable l ⇒ TxBody l MaryEra Source #

inputsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l MaryEra) (Set TxIn) Source #

outputsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l MaryEra) (StrictSeq (TxOut MaryEra)) Source #

feeTxBodyL ∷ Lens' (TxBody 'TopTx MaryEra) Coin Source #

withdrawalsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l MaryEra) Withdrawals Source #

auxDataHashTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l MaryEra) (StrictMaybe TxAuxDataHash) Source #

spendableInputsTxBodyF ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l MaryEra) (Set TxIn) Source #

allInputsTxBodyF ∷ SimpleGetter (TxBody 'TopTx MaryEra) (Set TxIn) Source #

certsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l MaryEra) (StrictSeq (TxCert MaryEra)) Source #

getTotalDepositsTxBody ∷ ∀ (l ∷ TxLevel). PParams MaryEra → (KeyHash 'StakePool → Bool) → TxBody l MaryEra → Coin Source #

getTotalRefundsTxBody ∷ ∀ (l ∷ TxLevel). PParams MaryEra → (Credential 'Staking → Maybe Coin) → (Credential 'DRepRole → Maybe Coin) → TxBody l MaryEra → Coin Source #

getGenesisKeyHashCountTxBody ∷ TxBody 'TopTx MaryEra → Int Source #

EraTxBody ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Associated Types

newtype TxBody l ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.TxBody newtype TxBody l ShelleyEra = MkShelleyTxBody (MemoBytes (ShelleyTxBodyRaw l ShelleyEra))

Methods

mkBasicTxBody ∷ ∀ (l ∷ TxLevel). Typeable l ⇒ TxBody l ShelleyEra Source #

inputsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l ShelleyEra) (Set TxIn) Source #

outputsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l ShelleyEra) (StrictSeq (TxOut ShelleyEra)) Source #

feeTxBodyL ∷ Lens' (TxBody 'TopTx ShelleyEra) Coin Source #

withdrawalsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l ShelleyEra) Withdrawals Source #

auxDataHashTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l ShelleyEra) (StrictMaybe TxAuxDataHash) Source #

spendableInputsTxBodyF ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l ShelleyEra) (Set TxIn) Source #

allInputsTxBodyF ∷ SimpleGetter (TxBody 'TopTx ShelleyEra) (Set TxIn) Source #

certsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l ShelleyEra) (StrictSeq (TxCert ShelleyEra)) Source #

getTotalDepositsTxBody ∷ ∀ (l ∷ TxLevel). PParams ShelleyEra → (KeyHash 'StakePool → Bool) → TxBody l ShelleyEra → Coin Source #

getTotalRefundsTxBody ∷ ∀ (l ∷ TxLevel). PParams ShelleyEra → (Credential 'Staking → Maybe Coin) → (Credential 'DRepRole → Maybe Coin) → TxBody l ShelleyEra → Coin Source #

getGenesisKeyHashCountTxBody ∷ TxBody 'TopTx ShelleyEra → Int Source #

mkBasicTxBody ∷ ∀ (l ∷ TxLevel). (EraTxBody era, Typeable l) ⇒ TxBody l era Source #

inputsTxBodyL ∷ ∀ (l ∷ TxLevel). EraTxBody era ⇒ Lens' (TxBody l era) (Set TxIn) Source #

outputsTxBodyL ∷ ∀ (l ∷ TxLevel). EraTxBody era ⇒ Lens' (TxBody l era) (StrictSeq (TxOut era)) Source #

feeTxBodyL ∷ EraTxBody era ⇒ Lens' (TxBody 'TopTx era) Coin Source #

withdrawalsTxBodyL ∷ ∀ (l ∷ TxLevel). EraTxBody era ⇒ Lens' (TxBody l era) Withdrawals Source #

newtype Withdrawals Source #

This is called wdrl in the spec.

Constructors

Withdrawals
Fields unWithdrawals ∷ Map RewardAccount Coin

Instances

Instances details

DecCBOR Withdrawals

Instance details

Defined in Cardano.Ledger.Address

Methods

decCBOR ∷ Decoder s Withdrawals Source #

dropCBOR ∷ Proxy Withdrawals → Decoder s () Source #

label ∷ Proxy Withdrawals → Text Source #

EncCBOR Withdrawals

Instance details

Defined in Cardano.Ledger.Address

Methods

encCBOR ∷ Withdrawals → Encoding Source #

NFData Withdrawals

Instance details

Defined in Cardano.Ledger.Address

Methods

rnf ∷ Withdrawals → () #

Generic Withdrawals

Instance details

Defined in Cardano.Ledger.Address

Associated Types

type Rep Withdrawals
Instance details Defined in Cardano.Ledger.Address type Rep Withdrawals = D1 ('MetaData "Withdrawals" "Cardano.Ledger.Address" "cardano-ledger-core-1.19.0.0-inplace" 'True) (C1 ('MetaCons "Withdrawals" 'PrefixI 'True) (S1 ('MetaSel ('Just "unWithdrawals") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map RewardAccount Coin))))

Methods

from ∷ Withdrawals → Rep Withdrawals x #

to ∷ Rep Withdrawals x → Withdrawals #

Show Withdrawals

Instance details

Defined in Cardano.Ledger.Address

Methods

showsPrec ∷ Int → Withdrawals → ShowS #

show ∷ Withdrawals → String #

showList ∷ [Withdrawals] → ShowS #

Eq Withdrawals

Instance details

Defined in Cardano.Ledger.Address

Methods

(==) ∷ Withdrawals → Withdrawals → Bool #

(/=) ∷ Withdrawals → Withdrawals → Bool #

NoThunks Withdrawals

Instance details

Defined in Cardano.Ledger.Address

Methods

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

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

showTypeOf ∷ Proxy Withdrawals → String Source #

type Rep Withdrawals

Instance details

Defined in Cardano.Ledger.Address

type Rep Withdrawals = D1 ('MetaData "Withdrawals" "Cardano.Ledger.Address" "cardano-ledger-core-1.19.0.0-inplace" 'True) (C1 ('MetaCons "Withdrawals" 'PrefixI 'True) (S1 ('MetaSel ('Just "unWithdrawals") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map RewardAccount Coin))))

auxDataHashTxBodyL ∷ ∀ (l ∷ TxLevel). EraTxBody era ⇒ Lens' (TxBody l era) (StrictMaybe TxAuxDataHash) Source #

newtype TxAuxDataHash Source #

Constructors

TxAuxDataHash
Fields unTxAuxDataHash ∷ SafeHash EraIndependentTxAuxData

Instances

Instances details

ToJSON TxAuxDataHash

Instance details

Defined in Cardano.Ledger.Hashes

Methods

toJSON ∷ TxAuxDataHash → Value Source #

toEncoding ∷ TxAuxDataHash → Encoding Source #

toJSONList ∷ [TxAuxDataHash] → Value Source #

toEncodingList ∷ [TxAuxDataHash] → Encoding Source #

omitField ∷ TxAuxDataHash → Bool Source #

DecCBOR TxAuxDataHash

Instance details

Defined in Cardano.Ledger.Hashes

Methods

decCBOR ∷ Decoder s TxAuxDataHash Source #

dropCBOR ∷ Proxy TxAuxDataHash → Decoder s () Source #

label ∷ Proxy TxAuxDataHash → Text Source #

EncCBOR TxAuxDataHash

Instance details

Defined in Cardano.Ledger.Hashes

Methods

encCBOR ∷ TxAuxDataHash → Encoding Source #

NFData TxAuxDataHash

Instance details

Defined in Cardano.Ledger.Hashes

Methods

rnf ∷ TxAuxDataHash → () #

Generic TxAuxDataHash

Instance details

Defined in Cardano.Ledger.Hashes

Associated Types

type Rep TxAuxDataHash
Instance details Defined in Cardano.Ledger.Hashes type Rep TxAuxDataHash = D1 ('MetaData "TxAuxDataHash" "Cardano.Ledger.Hashes" "cardano-ledger-core-1.19.0.0-inplace" 'True) (C1 ('MetaCons "TxAuxDataHash" 'PrefixI 'True) (S1 ('MetaSel ('Just "unTxAuxDataHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SafeHash EraIndependentTxAuxData))))

Methods

from ∷ TxAuxDataHash → Rep TxAuxDataHash x #

to ∷ Rep TxAuxDataHash x → TxAuxDataHash #

Show TxAuxDataHash

Instance details

Defined in Cardano.Ledger.Hashes

Methods

showsPrec ∷ Int → TxAuxDataHash → ShowS #

show ∷ TxAuxDataHash → String #

showList ∷ [TxAuxDataHash] → ShowS #

Eq TxAuxDataHash

Instance details

Defined in Cardano.Ledger.Hashes

Methods

(==) ∷ TxAuxDataHash → TxAuxDataHash → Bool #

(/=) ∷ TxAuxDataHash → TxAuxDataHash → Bool #

Ord TxAuxDataHash

Instance details

Defined in Cardano.Ledger.Hashes

Methods

compare ∷ TxAuxDataHash → TxAuxDataHash → Ordering #

(<) ∷ TxAuxDataHash → TxAuxDataHash → Bool #

(<=) ∷ TxAuxDataHash → TxAuxDataHash → Bool #

(>) ∷ TxAuxDataHash → TxAuxDataHash → Bool #

(>=) ∷ TxAuxDataHash → TxAuxDataHash → Bool #

max ∷ TxAuxDataHash → TxAuxDataHash → TxAuxDataHash #

min ∷ TxAuxDataHash → TxAuxDataHash → TxAuxDataHash #

NoThunks TxAuxDataHash

Instance details

Defined in Cardano.Ledger.Hashes

Methods

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

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

showTypeOf ∷ Proxy TxAuxDataHash → String Source #

type Rep TxAuxDataHash

Instance details

Defined in Cardano.Ledger.Hashes

type Rep TxAuxDataHash = D1 ('MetaData "TxAuxDataHash" "Cardano.Ledger.Hashes" "cardano-ledger-core-1.19.0.0-inplace" 'True) (C1 ('MetaCons "TxAuxDataHash" 'PrefixI 'True) (S1 ('MetaSel ('Just "unTxAuxDataHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SafeHash EraIndependentTxAuxData))))

spendableInputsTxBodyF ∷ ∀ (l ∷ TxLevel). EraTxBody era ⇒ SimpleGetter (TxBody l era) (Set TxIn) Source #

This getter will produce all inputs from the UTxO map that this transaction might spend, which ones will depend on the validity of the transaction itself. Starting in Alonzo this will include collateral inputs.

allInputsTxBodyF ∷ EraTxBody era ⇒ SimpleGetter (TxBody 'TopTx era) (Set TxIn) Source #

This getter will produce all inputs from the UTxO map that this transaction is referencing, even if some of them cannot be spent by the transaction. For example starting with Babbage era it will also include reference inputs.

evalBalanceTxBody Source #

Arguments

∷ ∀ era (l ∷ TxLevel). EraUTxO era
⇒ PParams era	Current protocol parameters
→ (Credential 'Staking → Maybe Coin)	Lookup current deposit amount for a registered stake credential delegation. This function must produce valid answer for all of the stake credentials present in any of the `DeRegKey` delegation certificates in the supplied `TxBody`. In other words, there is no requirement to know about all of the delegation certificates in the ledger state, just the ones this transaction cares about.
→ (Credential 'DRepRole → Maybe Coin)	Lookup current deposit amount for a registered DRep credential. This function must produce valid answer for all of the DRep credentials present in any of the `UnRegDRep` certificates in the supplied `TxBody`. In other words, there is no requirement to know about all of the DRep registrations in the ledger state, just the ones this transaction cares about.
→ (KeyHash 'StakePool → Bool)	Check whether a pool with a supplied PoolStakeId is already registered. There is no requirement to answer this question for all stake pool credentials, just for the ones that have the registration certificates included in the supplied `TxBody`
→ UTxO era	The UTxO relevant to the transaction.
→ TxBody l era	The transaction being evaluated for balance.
→ Value era	The difference between what the transaction consumes and what it produces.

Evaluate the difference between the value currently being consumed by a transaction and the total value being produced. This value will be zero for a valid transaction.

In case when full CertState is available then this can be simplified to:

let lookupRefund = lookupDepositDState (certDState dpState)
let isRegPoolId = (`Map.member` psStakePools (certPState dpState))
evalBalanceTxBody pp lookupRefund isRegPoolId utxo txBody

txIdTxBody ∷ ∀ era (l ∷ TxLevel). EraTxBody era ⇒ TxBody l era → TxId Source #

Any Era

class (EraTxBody era, AnyEraTxOut era, AnyEraTxCert era) ⇒ AnyEraTxBody era where Source #

Minimal complete definition

Nothing

Methods

updateTxBodyG ∷ SimpleGetter (TxBody 'TopTx era) (Maybe (Maybe (Update era))) Source #

vldtTxBodyG ∷ SimpleGetter (TxBody 'TopTx era) ValidityInterval Source #

default vldtTxBodyG ∷ AllegraEraTxBody era ⇒ SimpleGetter (TxBody 'TopTx era) ValidityInterval Source #

mintTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l era) (Maybe MultiAsset) Source #

default mintTxBodyG ∷ ∀ (l ∷ TxLevel). MaryEraTxBody era ⇒ SimpleGetter (TxBody l era) (Maybe MultiAsset) Source #

collateralInputsTxBodyG ∷ SimpleGetter (TxBody 'TopTx era) (Maybe (Set TxIn)) Source #

default collateralInputsTxBodyG ∷ AlonzoEraTxBody era ⇒ SimpleGetter (TxBody 'TopTx era) (Maybe (Set TxIn)) Source #

scriptIntegrityHashTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l era) (Maybe (Maybe ScriptIntegrityHash)) Source #

default scriptIntegrityHashTxBodyG ∷ ∀ (l ∷ TxLevel). AlonzoEraTxBody era ⇒ SimpleGetter (TxBody l era) (Maybe (Maybe ScriptIntegrityHash)) Source #

networkIdTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l era) (Maybe (Maybe Network)) Source #

default networkIdTxBodyG ∷ ∀ (l ∷ TxLevel). AlonzoEraTxBody era ⇒ SimpleGetter (TxBody l era) (Maybe (Maybe Network)) Source #

sizedOutputsTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l era) (Maybe (StrictSeq (Sized (TxOut era)))) Source #

default sizedOutputsTxBodyG ∷ ∀ (l ∷ TxLevel). BabbageEraTxBody era ⇒ SimpleGetter (TxBody l era) (Maybe (StrictSeq (Sized (TxOut era)))) Source #

referenceInputsTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l era) (Maybe (Set TxIn)) Source #

default referenceInputsTxBodyG ∷ ∀ (l ∷ TxLevel). BabbageEraTxBody era ⇒ SimpleGetter (TxBody l era) (Maybe (Set TxIn)) Source #

totalCollateralTxBodyG ∷ SimpleGetter (TxBody 'TopTx era) (Maybe (Maybe Coin)) Source #

default totalCollateralTxBodyG ∷ BabbageEraTxBody era ⇒ SimpleGetter (TxBody 'TopTx era) (Maybe (Maybe Coin)) Source #

collateralReturnTxBodyG ∷ SimpleGetter (TxBody 'TopTx era) (Maybe (Maybe (TxOut era))) Source #

default collateralReturnTxBodyG ∷ BabbageEraTxBody era ⇒ SimpleGetter (TxBody 'TopTx era) (Maybe (Maybe (TxOut era))) Source #

sizedCollateralReturnTxBodyG ∷ SimpleGetter (TxBody 'TopTx era) (Maybe (Maybe (Sized (TxOut era)))) Source #

default sizedCollateralReturnTxBodyG ∷ BabbageEraTxBody era ⇒ SimpleGetter (TxBody 'TopTx era) (Maybe (Maybe (Sized (TxOut era)))) Source #

currentTreasuryValueTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l era) (Maybe (Maybe Coin)) Source #

default currentTreasuryValueTxBodyG ∷ ∀ (l ∷ TxLevel). ConwayEraTxBody era ⇒ SimpleGetter (TxBody l era) (Maybe (Maybe Coin)) Source #

votingProceduresTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l era) (Maybe (VotingProcedures era)) Source #

default votingProceduresTxBodyG ∷ ∀ (l ∷ TxLevel). ConwayEraTxBody era ⇒ SimpleGetter (TxBody l era) (Maybe (VotingProcedures era)) Source #

proposalProceduresTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l era) (Maybe (OSet (ProposalProcedure era))) Source #

default proposalProceduresTxBodyG ∷ ∀ (l ∷ TxLevel). ConwayEraTxBody era ⇒ SimpleGetter (TxBody l era) (Maybe (OSet (ProposalProcedure era))) Source #

treasuryDonationTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l era) (Maybe Coin) Source #

default treasuryDonationTxBodyG ∷ ∀ (l ∷ TxLevel). ConwayEraTxBody era ⇒ SimpleGetter (TxBody l era) (Maybe Coin) Source #

guardsTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l era) (Maybe (OSet (Credential 'Guard))) Source #

default guardsTxBodyG ∷ ∀ (l ∷ TxLevel). DijkstraEraTxBody era ⇒ SimpleGetter (TxBody l era) (Maybe (OSet (Credential 'Guard))) Source #

Instances

Instances details

AnyEraTxBody AllegraEra Source #
Instance details Defined in Cardano.Ledger.Api.Tx.Body Methods updateTxBodyG ∷ SimpleGetter (TxBody 'TopTx AllegraEra) (Maybe (Maybe (Update AllegraEra))) Source # vldtTxBodyG ∷ SimpleGetter (TxBody 'TopTx AllegraEra) ValidityInterval Source # mintTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l AllegraEra) (Maybe MultiAsset) Source # collateralInputsTxBodyG ∷ SimpleGetter (TxBody 'TopTx AllegraEra) (Maybe (Set TxIn)) Source # scriptIntegrityHashTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l AllegraEra) (Maybe (Maybe ScriptIntegrityHash)) Source # networkIdTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l AllegraEra) (Maybe (Maybe Network)) Source # sizedOutputsTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l AllegraEra) (Maybe (StrictSeq (Sized (TxOut AllegraEra)))) Source # referenceInputsTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l AllegraEra) (Maybe (Set TxIn)) Source # totalCollateralTxBodyG ∷ SimpleGetter (TxBody 'TopTx AllegraEra) (Maybe (Maybe Coin)) Source # collateralReturnTxBodyG ∷ SimpleGetter (TxBody 'TopTx AllegraEra) (Maybe (Maybe (TxOut AllegraEra))) Source # sizedCollateralReturnTxBodyG ∷ SimpleGetter (TxBody 'TopTx AllegraEra) (Maybe (Maybe (Sized (TxOut AllegraEra)))) Source # currentTreasuryValueTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l AllegraEra) (Maybe (Maybe Coin)) Source # votingProceduresTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l AllegraEra) (Maybe (VotingProcedures AllegraEra)) Source # proposalProceduresTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l AllegraEra) (Maybe (OSet (ProposalProcedure AllegraEra))) Source # treasuryDonationTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l AllegraEra) (Maybe Coin) Source # guardsTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l AllegraEra) (Maybe (OSet (Credential 'Guard))) Source #
AnyEraTxBody AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Api.Tx.Body Methods updateTxBodyG ∷ SimpleGetter (TxBody 'TopTx AlonzoEra) (Maybe (Maybe (Update AlonzoEra))) Source # vldtTxBodyG ∷ SimpleGetter (TxBody 'TopTx AlonzoEra) ValidityInterval Source # mintTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l AlonzoEra) (Maybe MultiAsset) Source # collateralInputsTxBodyG ∷ SimpleGetter (TxBody 'TopTx AlonzoEra) (Maybe (Set TxIn)) Source # scriptIntegrityHashTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l AlonzoEra) (Maybe (Maybe ScriptIntegrityHash)) Source # networkIdTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l AlonzoEra) (Maybe (Maybe Network)) Source # sizedOutputsTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l AlonzoEra) (Maybe (StrictSeq (Sized (TxOut AlonzoEra)))) Source # referenceInputsTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l AlonzoEra) (Maybe (Set TxIn)) Source # totalCollateralTxBodyG ∷ SimpleGetter (TxBody 'TopTx AlonzoEra) (Maybe (Maybe Coin)) Source # collateralReturnTxBodyG ∷ SimpleGetter (TxBody 'TopTx AlonzoEra) (Maybe (Maybe (TxOut AlonzoEra))) Source # sizedCollateralReturnTxBodyG ∷ SimpleGetter (TxBody 'TopTx AlonzoEra) (Maybe (Maybe (Sized (TxOut AlonzoEra)))) Source # currentTreasuryValueTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l AlonzoEra) (Maybe (Maybe Coin)) Source # votingProceduresTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l AlonzoEra) (Maybe (VotingProcedures AlonzoEra)) Source # proposalProceduresTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l AlonzoEra) (Maybe (OSet (ProposalProcedure AlonzoEra))) Source # treasuryDonationTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l AlonzoEra) (Maybe Coin) Source # guardsTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l AlonzoEra) (Maybe (OSet (Credential 'Guard))) Source #
AnyEraTxBody BabbageEra Source #
Instance details Defined in Cardano.Ledger.Api.Tx.Body Methods updateTxBodyG ∷ SimpleGetter (TxBody 'TopTx BabbageEra) (Maybe (Maybe (Update BabbageEra))) Source # vldtTxBodyG ∷ SimpleGetter (TxBody 'TopTx BabbageEra) ValidityInterval Source # mintTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l BabbageEra) (Maybe MultiAsset) Source # collateralInputsTxBodyG ∷ SimpleGetter (TxBody 'TopTx BabbageEra) (Maybe (Set TxIn)) Source # scriptIntegrityHashTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l BabbageEra) (Maybe (Maybe ScriptIntegrityHash)) Source # networkIdTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l BabbageEra) (Maybe (Maybe Network)) Source # sizedOutputsTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l BabbageEra) (Maybe (StrictSeq (Sized (TxOut BabbageEra)))) Source # referenceInputsTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l BabbageEra) (Maybe (Set TxIn)) Source # totalCollateralTxBodyG ∷ SimpleGetter (TxBody 'TopTx BabbageEra) (Maybe (Maybe Coin)) Source # collateralReturnTxBodyG ∷ SimpleGetter (TxBody 'TopTx BabbageEra) (Maybe (Maybe (TxOut BabbageEra))) Source # sizedCollateralReturnTxBodyG ∷ SimpleGetter (TxBody 'TopTx BabbageEra) (Maybe (Maybe (Sized (TxOut BabbageEra)))) Source # currentTreasuryValueTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l BabbageEra) (Maybe (Maybe Coin)) Source # votingProceduresTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l BabbageEra) (Maybe (VotingProcedures BabbageEra)) Source # proposalProceduresTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l BabbageEra) (Maybe (OSet (ProposalProcedure BabbageEra))) Source # treasuryDonationTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l BabbageEra) (Maybe Coin) Source # guardsTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l BabbageEra) (Maybe (OSet (Credential 'Guard))) Source #
AnyEraTxBody ConwayEra Source #
Instance details Defined in Cardano.Ledger.Api.Tx.Body Methods updateTxBodyG ∷ SimpleGetter (TxBody 'TopTx ConwayEra) (Maybe (Maybe (Update ConwayEra))) Source # vldtTxBodyG ∷ SimpleGetter (TxBody 'TopTx ConwayEra) ValidityInterval Source # mintTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l ConwayEra) (Maybe MultiAsset) Source # collateralInputsTxBodyG ∷ SimpleGetter (TxBody 'TopTx ConwayEra) (Maybe (Set TxIn)) Source # scriptIntegrityHashTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l ConwayEra) (Maybe (Maybe ScriptIntegrityHash)) Source # networkIdTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l ConwayEra) (Maybe (Maybe Network)) Source # sizedOutputsTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l ConwayEra) (Maybe (StrictSeq (Sized (TxOut ConwayEra)))) Source # referenceInputsTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l ConwayEra) (Maybe (Set TxIn)) Source # totalCollateralTxBodyG ∷ SimpleGetter (TxBody 'TopTx ConwayEra) (Maybe (Maybe Coin)) Source # collateralReturnTxBodyG ∷ SimpleGetter (TxBody 'TopTx ConwayEra) (Maybe (Maybe (TxOut ConwayEra))) Source # sizedCollateralReturnTxBodyG ∷ SimpleGetter (TxBody 'TopTx ConwayEra) (Maybe (Maybe (Sized (TxOut ConwayEra)))) Source # currentTreasuryValueTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l ConwayEra) (Maybe (Maybe Coin)) Source # votingProceduresTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l ConwayEra) (Maybe (VotingProcedures ConwayEra)) Source # proposalProceduresTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l ConwayEra) (Maybe (OSet (ProposalProcedure ConwayEra))) Source # treasuryDonationTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l ConwayEra) (Maybe Coin) Source # guardsTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l ConwayEra) (Maybe (OSet (Credential 'Guard))) Source #
AnyEraTxBody DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Api.Tx.Body Methods updateTxBodyG ∷ SimpleGetter (TxBody 'TopTx DijkstraEra) (Maybe (Maybe (Update DijkstraEra))) Source # vldtTxBodyG ∷ SimpleGetter (TxBody 'TopTx DijkstraEra) ValidityInterval Source # mintTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l DijkstraEra) (Maybe MultiAsset) Source # collateralInputsTxBodyG ∷ SimpleGetter (TxBody 'TopTx DijkstraEra) (Maybe (Set TxIn)) Source # scriptIntegrityHashTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l DijkstraEra) (Maybe (Maybe ScriptIntegrityHash)) Source # networkIdTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l DijkstraEra) (Maybe (Maybe Network)) Source # sizedOutputsTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l DijkstraEra) (Maybe (StrictSeq (Sized (TxOut DijkstraEra)))) Source # referenceInputsTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l DijkstraEra) (Maybe (Set TxIn)) Source # totalCollateralTxBodyG ∷ SimpleGetter (TxBody 'TopTx DijkstraEra) (Maybe (Maybe Coin)) Source # collateralReturnTxBodyG ∷ SimpleGetter (TxBody 'TopTx DijkstraEra) (Maybe (Maybe (TxOut DijkstraEra))) Source # sizedCollateralReturnTxBodyG ∷ SimpleGetter (TxBody 'TopTx DijkstraEra) (Maybe (Maybe (Sized (TxOut DijkstraEra)))) Source # currentTreasuryValueTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l DijkstraEra) (Maybe (Maybe Coin)) Source # votingProceduresTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l DijkstraEra) (Maybe (VotingProcedures DijkstraEra)) Source # proposalProceduresTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l DijkstraEra) (Maybe (OSet (ProposalProcedure DijkstraEra))) Source # treasuryDonationTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l DijkstraEra) (Maybe Coin) Source # guardsTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l DijkstraEra) (Maybe (OSet (Credential 'Guard))) Source #
AnyEraTxBody MaryEra Source #
Instance details Defined in Cardano.Ledger.Api.Tx.Body Methods updateTxBodyG ∷ SimpleGetter (TxBody 'TopTx MaryEra) (Maybe (Maybe (Update MaryEra))) Source # vldtTxBodyG ∷ SimpleGetter (TxBody 'TopTx MaryEra) ValidityInterval Source # mintTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l MaryEra) (Maybe MultiAsset) Source # collateralInputsTxBodyG ∷ SimpleGetter (TxBody 'TopTx MaryEra) (Maybe (Set TxIn)) Source # scriptIntegrityHashTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l MaryEra) (Maybe (Maybe ScriptIntegrityHash)) Source # networkIdTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l MaryEra) (Maybe (Maybe Network)) Source # sizedOutputsTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l MaryEra) (Maybe (StrictSeq (Sized (TxOut MaryEra)))) Source # referenceInputsTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l MaryEra) (Maybe (Set TxIn)) Source # totalCollateralTxBodyG ∷ SimpleGetter (TxBody 'TopTx MaryEra) (Maybe (Maybe Coin)) Source # collateralReturnTxBodyG ∷ SimpleGetter (TxBody 'TopTx MaryEra) (Maybe (Maybe (TxOut MaryEra))) Source # sizedCollateralReturnTxBodyG ∷ SimpleGetter (TxBody 'TopTx MaryEra) (Maybe (Maybe (Sized (TxOut MaryEra)))) Source # currentTreasuryValueTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l MaryEra) (Maybe (Maybe Coin)) Source # votingProceduresTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l MaryEra) (Maybe (VotingProcedures MaryEra)) Source # proposalProceduresTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l MaryEra) (Maybe (OSet (ProposalProcedure MaryEra))) Source # treasuryDonationTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l MaryEra) (Maybe Coin) Source # guardsTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l MaryEra) (Maybe (OSet (Credential 'Guard))) Source #
AnyEraTxBody ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Api.Tx.Body Methods updateTxBodyG ∷ SimpleGetter (TxBody 'TopTx ShelleyEra) (Maybe (Maybe (Update ShelleyEra))) Source # vldtTxBodyG ∷ SimpleGetter (TxBody 'TopTx ShelleyEra) ValidityInterval Source # mintTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l ShelleyEra) (Maybe MultiAsset) Source # collateralInputsTxBodyG ∷ SimpleGetter (TxBody 'TopTx ShelleyEra) (Maybe (Set TxIn)) Source # scriptIntegrityHashTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l ShelleyEra) (Maybe (Maybe ScriptIntegrityHash)) Source # networkIdTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l ShelleyEra) (Maybe (Maybe Network)) Source # sizedOutputsTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l ShelleyEra) (Maybe (StrictSeq (Sized (TxOut ShelleyEra)))) Source # referenceInputsTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l ShelleyEra) (Maybe (Set TxIn)) Source # totalCollateralTxBodyG ∷ SimpleGetter (TxBody 'TopTx ShelleyEra) (Maybe (Maybe Coin)) Source # collateralReturnTxBodyG ∷ SimpleGetter (TxBody 'TopTx ShelleyEra) (Maybe (Maybe (TxOut ShelleyEra))) Source # sizedCollateralReturnTxBodyG ∷ SimpleGetter (TxBody 'TopTx ShelleyEra) (Maybe (Maybe (Sized (TxOut ShelleyEra)))) Source # currentTreasuryValueTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l ShelleyEra) (Maybe (Maybe Coin)) Source # votingProceduresTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l ShelleyEra) (Maybe (VotingProcedures ShelleyEra)) Source # proposalProceduresTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l ShelleyEra) (Maybe (OSet (ProposalProcedure ShelleyEra))) Source # treasuryDonationTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l ShelleyEra) (Maybe Coin) Source # guardsTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l ShelleyEra) (Maybe (OSet (Credential 'Guard))) Source #

Shelley Era

class (ShelleyEraTxCert era, EraTxBody era, AtMostEra "Babbage" era) ⇒ ShelleyEraTxBody era Source #

Minimal complete definition

ttlTxBodyL, updateTxBodyL

Instances

Instances details

ShelleyEraTxBody AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.TxBody Methods ttlTxBodyL ∷ Lens' (TxBody 'TopTx AllegraEra) SlotNo Source # updateTxBodyL ∷ Lens' (TxBody 'TopTx AllegraEra) (StrictMaybe (Update AllegraEra)) Source #
ShelleyEraTxBody AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods ttlTxBodyL ∷ Lens' (TxBody 'TopTx AlonzoEra) SlotNo Source # updateTxBodyL ∷ Lens' (TxBody 'TopTx AlonzoEra) (StrictMaybe (Update AlonzoEra)) Source #
ShelleyEraTxBody BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods ttlTxBodyL ∷ Lens' (TxBody 'TopTx BabbageEra) SlotNo Source # updateTxBodyL ∷ Lens' (TxBody 'TopTx BabbageEra) (StrictMaybe (Update BabbageEra)) Source #
ShelleyEraTxBody MaryEra
Instance details Defined in Cardano.Ledger.Mary.TxBody Methods ttlTxBodyL ∷ Lens' (TxBody 'TopTx MaryEra) SlotNo Source # updateTxBodyL ∷ Lens' (TxBody 'TopTx MaryEra) (StrictMaybe (Update MaryEra)) Source #
ShelleyEraTxBody ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods ttlTxBodyL ∷ Lens' (TxBody 'TopTx ShelleyEra) SlotNo Source # updateTxBodyL ∷ Lens' (TxBody 'TopTx ShelleyEra) (StrictMaybe (Update ShelleyEra)) Source #

ttlTxBodyL ∷ ShelleyEraTxBody era ⇒ Lens' (TxBody 'TopTx era) SlotNo Source #

updateTxBodyL ∷ ShelleyEraTxBody era ⇒ Lens' (TxBody 'TopTx era) (StrictMaybe (Update era)) Source #

certsTxBodyL ∷ ∀ (l ∷ TxLevel). EraTxBody era ⇒ Lens' (TxBody l era) (StrictSeq (TxCert era)) Source #

Allegra Era

class EraTxBody era ⇒ AllegraEraTxBody era Source #

Minimal complete definition

vldtTxBodyL

Instances

Instances details

AllegraEraTxBody AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.TxBody Methods vldtTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l AllegraEra) ValidityInterval Source #
AllegraEraTxBody AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods vldtTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l AlonzoEra) ValidityInterval Source #
AllegraEraTxBody BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods vldtTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l BabbageEra) ValidityInterval Source #
AllegraEraTxBody ConwayEra
Instance details Defined in Cardano.Ledger.Conway.TxBody Methods vldtTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l ConwayEra) ValidityInterval Source #
(Eq (Tx 'SubTx DijkstraEra), NFData (Tx 'SubTx DijkstraEra), Show (Tx 'SubTx DijkstraEra), EncCBOR (Tx 'SubTx DijkstraEra)) ⇒ AllegraEraTxBody DijkstraEra
Instance details Defined in Cardano.Ledger.Dijkstra.TxBody Methods vldtTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l DijkstraEra) ValidityInterval Source #
AllegraEraTxBody MaryEra
Instance details Defined in Cardano.Ledger.Mary.TxBody Methods vldtTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l MaryEra) ValidityInterval Source #

vldtTxBodyL ∷ ∀ (l ∷ TxLevel). AllegraEraTxBody era ⇒ Lens' (TxBody l era) ValidityInterval Source #

data ValidityInterval Source #

ValidityInterval is a half open interval. Closed on the bottom, open on the top. A SNothing on the bottom is negative infinity, and a SNothing on the top is positive infinity

Constructors

ValidityInterval
Fields invalidBefore ∷ !(StrictMaybe SlotNo) invalidHereafter ∷ !(StrictMaybe SlotNo)

Instances

Instances details

ToJSON ValidityInterval

Instance details

Defined in Cardano.Ledger.Allegra.Scripts

Methods

toJSON ∷ ValidityInterval → Value Source #

toEncoding ∷ ValidityInterval → Encoding Source #

toJSONList ∷ [ValidityInterval] → Value Source #

toEncodingList ∷ [ValidityInterval] → Encoding Source #

omitField ∷ ValidityInterval → Bool Source #

DecCBOR ValidityInterval

Instance details

Defined in Cardano.Ledger.Allegra.Scripts

Methods

decCBOR ∷ Decoder s ValidityInterval Source #

dropCBOR ∷ Proxy ValidityInterval → Decoder s () Source #

label ∷ Proxy ValidityInterval → Text Source #

EncCBOR ValidityInterval

Instance details

Defined in Cardano.Ledger.Allegra.Scripts

Methods

encCBOR ∷ ValidityInterval → Encoding Source #

NFData ValidityInterval

Instance details

Defined in Cardano.Ledger.Allegra.Scripts

Methods

rnf ∷ ValidityInterval → () #

Generic ValidityInterval

Instance details

Defined in Cardano.Ledger.Allegra.Scripts

Associated Types

type Rep ValidityInterval

Instance details

Defined in Cardano.Ledger.Allegra.Scripts

type Rep ValidityInterval = D1 ('MetaData "ValidityInterval" "Cardano.Ledger.Allegra.Scripts" "cardano-ledger-allegra-1.9.0.0-inplace" 'False) (C1 ('MetaCons "ValidityInterval" 'PrefixI 'True) (S1 ('MetaSel ('Just "invalidBefore") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe SlotNo)) :*: S1 ('MetaSel ('Just "invalidHereafter") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe SlotNo))))

Methods

from ∷ ValidityInterval → Rep ValidityInterval x #

to ∷ Rep ValidityInterval x → ValidityInterval #

Show ValidityInterval

Instance details

Defined in Cardano.Ledger.Allegra.Scripts

Methods

showsPrec ∷ Int → ValidityInterval → ShowS #

show ∷ ValidityInterval → String #

showList ∷ [ValidityInterval] → ShowS #

Eq ValidityInterval

Instance details

Defined in Cardano.Ledger.Allegra.Scripts

Methods

(==) ∷ ValidityInterval → ValidityInterval → Bool #

(/=) ∷ ValidityInterval → ValidityInterval → Bool #

Ord ValidityInterval

Instance details

Defined in Cardano.Ledger.Allegra.Scripts

Methods

compare ∷ ValidityInterval → ValidityInterval → Ordering #

(<) ∷ ValidityInterval → ValidityInterval → Bool #

(<=) ∷ ValidityInterval → ValidityInterval → Bool #

(>) ∷ ValidityInterval → ValidityInterval → Bool #

(>=) ∷ ValidityInterval → ValidityInterval → Bool #

max ∷ ValidityInterval → ValidityInterval → ValidityInterval #

min ∷ ValidityInterval → ValidityInterval → ValidityInterval #

NoThunks ValidityInterval

Instance details

Defined in Cardano.Ledger.Allegra.Scripts

Methods

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

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

showTypeOf ∷ Proxy ValidityInterval → String Source #

type Rep ValidityInterval

Instance details

Defined in Cardano.Ledger.Allegra.Scripts

type Rep ValidityInterval = D1 ('MetaData "ValidityInterval" "Cardano.Ledger.Allegra.Scripts" "cardano-ledger-allegra-1.9.0.0-inplace" 'False) (C1 ('MetaCons "ValidityInterval" 'PrefixI 'True) (S1 ('MetaSel ('Just "invalidBefore") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe SlotNo)) :*: S1 ('MetaSel ('Just "invalidHereafter") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe SlotNo))))

invalidBeforeL ∷ Lens' ValidityInterval (StrictMaybe SlotNo) Source #

Lens to access the invalidBefore field of a ValidityInterval as a 'StrictMaybe SlotNo'.

invalidHereAfterL ∷ Lens' ValidityInterval (StrictMaybe SlotNo) Source #

Lens to access the invalidHereAfter field of a ValidityInterval as a 'StrictMaybe SlotNo'.

Mary Era

class AllegraEraTxBody era ⇒ MaryEraTxBody era Source #

Minimal complete definition

mintTxBodyL

Instances

Instances details

MaryEraTxBody AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods mintTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l AlonzoEra) MultiAsset Source # mintedTxBodyF ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l AlonzoEra) (Set PolicyID) Source # mintValueTxBodyF ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l AlonzoEra) (Value AlonzoEra) Source #
MaryEraTxBody BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods mintTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l BabbageEra) MultiAsset Source # mintedTxBodyF ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l BabbageEra) (Set PolicyID) Source # mintValueTxBodyF ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l BabbageEra) (Value BabbageEra) Source #
MaryEraTxBody ConwayEra
Instance details Defined in Cardano.Ledger.Conway.TxBody Methods mintTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l ConwayEra) MultiAsset Source # mintedTxBodyF ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l ConwayEra) (Set PolicyID) Source # mintValueTxBodyF ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l ConwayEra) (Value ConwayEra) Source #
(Eq (Tx 'SubTx DijkstraEra), NFData (Tx 'SubTx DijkstraEra), Show (Tx 'SubTx DijkstraEra), EncCBOR (Tx 'SubTx DijkstraEra)) ⇒ MaryEraTxBody DijkstraEra
Instance details Defined in Cardano.Ledger.Dijkstra.TxBody Methods mintTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l DijkstraEra) MultiAsset Source # mintedTxBodyF ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l DijkstraEra) (Set PolicyID) Source # mintValueTxBodyF ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l DijkstraEra) (Value DijkstraEra) Source #
MaryEraTxBody MaryEra
Instance details Defined in Cardano.Ledger.Mary.TxBody Methods mintTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l MaryEra) MultiAsset Source # mintedTxBodyF ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l MaryEra) (Set PolicyID) Source # mintValueTxBodyF ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l MaryEra) (Value MaryEra) Source #

mintTxBodyL ∷ ∀ (l ∷ TxLevel). MaryEraTxBody era ⇒ Lens' (TxBody l era) MultiAsset Source #

mintValueTxBodyF ∷ ∀ (l ∷ TxLevel). MaryEraTxBody era ⇒ SimpleGetter (TxBody l era) (Value era) Source #

mintedTxBodyF ∷ ∀ (l ∷ TxLevel). MaryEraTxBody era ⇒ SimpleGetter (TxBody l era) (Set PolicyID) Source #

Alonzo Era

class (MaryEraTxBody era, AlonzoEraTxOut era) ⇒ AlonzoEraTxBody era Source #

Minimal complete definition

collateralInputsTxBodyL, reqSignerHashesTxBodyL, scriptIntegrityHashTxBodyL, networkIdTxBodyL, redeemerPointer, redeemerPointerInverse

Instances

Instances details

AlonzoEraTxBody AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods collateralInputsTxBodyL ∷ Lens' (TxBody 'TopTx AlonzoEra) (Set TxIn) Source # reqSignerHashesTxBodyL ∷ ∀ (l ∷ TxLevel). AtMostEra "Conway" AlonzoEra ⇒ Lens' (TxBody l AlonzoEra) (Set (KeyHash 'Guard)) Source # reqSignerHashesTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l AlonzoEra) (Set (KeyHash 'Guard)) Source # scriptIntegrityHashTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l AlonzoEra) (StrictMaybe ScriptIntegrityHash) Source # networkIdTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l AlonzoEra) (StrictMaybe Network) Source # redeemerPointer ∷ ∀ (l ∷ TxLevel). TxBody l AlonzoEra → PlutusPurpose AsItem AlonzoEra → StrictMaybe (PlutusPurpose AsIx AlonzoEra) Source # redeemerPointerInverse ∷ ∀ (l ∷ TxLevel). TxBody l AlonzoEra → PlutusPurpose AsIx AlonzoEra → StrictMaybe (PlutusPurpose AsIxItem AlonzoEra) Source #
AlonzoEraTxBody BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods collateralInputsTxBodyL ∷ Lens' (TxBody 'TopTx BabbageEra) (Set TxIn) Source # reqSignerHashesTxBodyL ∷ ∀ (l ∷ TxLevel). AtMostEra "Conway" BabbageEra ⇒ Lens' (TxBody l BabbageEra) (Set (KeyHash 'Guard)) Source # reqSignerHashesTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l BabbageEra) (Set (KeyHash 'Guard)) Source # scriptIntegrityHashTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l BabbageEra) (StrictMaybe ScriptIntegrityHash) Source # networkIdTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l BabbageEra) (StrictMaybe Network) Source # redeemerPointer ∷ ∀ (l ∷ TxLevel). TxBody l BabbageEra → PlutusPurpose AsItem BabbageEra → StrictMaybe (PlutusPurpose AsIx BabbageEra) Source # redeemerPointerInverse ∷ ∀ (l ∷ TxLevel). TxBody l BabbageEra → PlutusPurpose AsIx BabbageEra → StrictMaybe (PlutusPurpose AsIxItem BabbageEra) Source #
AlonzoEraTxBody ConwayEra
Instance details Defined in Cardano.Ledger.Conway.TxBody Methods collateralInputsTxBodyL ∷ Lens' (TxBody 'TopTx ConwayEra) (Set TxIn) Source # reqSignerHashesTxBodyL ∷ ∀ (l ∷ TxLevel). AtMostEra "Conway" ConwayEra ⇒ Lens' (TxBody l ConwayEra) (Set (KeyHash 'Guard)) Source # reqSignerHashesTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l ConwayEra) (Set (KeyHash 'Guard)) Source # scriptIntegrityHashTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l ConwayEra) (StrictMaybe ScriptIntegrityHash) Source # networkIdTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l ConwayEra) (StrictMaybe Network) Source # redeemerPointer ∷ ∀ (l ∷ TxLevel). TxBody l ConwayEra → PlutusPurpose AsItem ConwayEra → StrictMaybe (PlutusPurpose AsIx ConwayEra) Source # redeemerPointerInverse ∷ ∀ (l ∷ TxLevel). TxBody l ConwayEra → PlutusPurpose AsIx ConwayEra → StrictMaybe (PlutusPurpose AsIxItem ConwayEra) Source #
(Eq (Tx 'SubTx DijkstraEra), NFData (Tx 'SubTx DijkstraEra), Show (Tx 'SubTx DijkstraEra), EncCBOR (Tx 'SubTx DijkstraEra)) ⇒ AlonzoEraTxBody DijkstraEra
Instance details Defined in Cardano.Ledger.Dijkstra.TxBody Methods collateralInputsTxBodyL ∷ Lens' (TxBody 'TopTx DijkstraEra) (Set TxIn) Source # reqSignerHashesTxBodyL ∷ ∀ (l ∷ TxLevel). AtMostEra "Conway" DijkstraEra ⇒ Lens' (TxBody l DijkstraEra) (Set (KeyHash 'Guard)) Source # reqSignerHashesTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l DijkstraEra) (Set (KeyHash 'Guard)) Source # scriptIntegrityHashTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l DijkstraEra) (StrictMaybe ScriptIntegrityHash) Source # networkIdTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l DijkstraEra) (StrictMaybe Network) Source # redeemerPointer ∷ ∀ (l ∷ TxLevel). TxBody l DijkstraEra → PlutusPurpose AsItem DijkstraEra → StrictMaybe (PlutusPurpose AsIx DijkstraEra) Source # redeemerPointerInverse ∷ ∀ (l ∷ TxLevel). TxBody l DijkstraEra → PlutusPurpose AsIx DijkstraEra → StrictMaybe (PlutusPurpose AsIxItem DijkstraEra) Source #

collateralInputsTxBodyL ∷ AlonzoEraTxBody era ⇒ Lens' (TxBody 'TopTx era) (Set TxIn) Source #

reqSignerHashesTxBodyL ∷ ∀ (l ∷ TxLevel). (AlonzoEraTxBody era, AtMostEra "Conway" era) ⇒ Lens' (TxBody l era) (Set (KeyHash 'Guard)) Source #

scriptIntegrityHashTxBodyL ∷ ∀ (l ∷ TxLevel). AlonzoEraTxBody era ⇒ Lens' (TxBody l era) (StrictMaybe ScriptIntegrityHash) Source #

type ScriptIntegrityHash = SafeHash EraIndependentScriptIntegrity Source #

networkIdTxBodyL ∷ ∀ (l ∷ TxLevel). AlonzoEraTxBody era ⇒ Lens' (TxBody l era) (StrictMaybe Network) Source #

redeemerPointer ∷ ∀ (l ∷ TxLevel). AlonzoEraTxBody era ⇒ TxBody l era → PlutusPurpose AsItem era → StrictMaybe (PlutusPurpose AsIx era) Source #

This function is called rdptr in the spec. Given a TxBody and a plutus purpose with an item, we should be able to find the plutus purpose as in index

redeemerPointerInverse ∷ ∀ (l ∷ TxLevel). AlonzoEraTxBody era ⇒ TxBody l era → PlutusPurpose AsIx era → StrictMaybe (PlutusPurpose AsIxItem era) Source #

This is an inverse of redeemerPointer. Given purpose as an index return it as an item.

Babbage Era

class (AlonzoEraTxBody era, BabbageEraTxOut era) ⇒ BabbageEraTxBody era Source #

Minimal complete definition

sizedOutputsTxBodyL, referenceInputsTxBodyL, totalCollateralTxBodyL, collateralReturnTxBodyL, sizedCollateralReturnTxBodyL, allSizedOutputsTxBodyF

Instances

Instances details

BabbageEraTxBody BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods sizedOutputsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l BabbageEra) (StrictSeq (Sized (TxOut BabbageEra))) Source # referenceInputsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l BabbageEra) (Set TxIn) Source # totalCollateralTxBodyL ∷ Lens' (TxBody 'TopTx BabbageEra) (StrictMaybe Coin) Source # collateralReturnTxBodyL ∷ Lens' (TxBody 'TopTx BabbageEra) (StrictMaybe (TxOut BabbageEra)) Source # sizedCollateralReturnTxBodyL ∷ Lens' (TxBody 'TopTx BabbageEra) (StrictMaybe (Sized (TxOut BabbageEra))) Source # allSizedOutputsTxBodyF ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l BabbageEra) (StrictSeq (Sized (TxOut BabbageEra))) Source #
BabbageEraTxBody ConwayEra
Instance details Defined in Cardano.Ledger.Conway.TxBody Methods sizedOutputsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l ConwayEra) (StrictSeq (Sized (TxOut ConwayEra))) Source # referenceInputsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l ConwayEra) (Set TxIn) Source # totalCollateralTxBodyL ∷ Lens' (TxBody 'TopTx ConwayEra) (StrictMaybe Coin) Source # collateralReturnTxBodyL ∷ Lens' (TxBody 'TopTx ConwayEra) (StrictMaybe (TxOut ConwayEra)) Source # sizedCollateralReturnTxBodyL ∷ Lens' (TxBody 'TopTx ConwayEra) (StrictMaybe (Sized (TxOut ConwayEra))) Source # allSizedOutputsTxBodyF ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l ConwayEra) (StrictSeq (Sized (TxOut ConwayEra))) Source #
(NFData (Tx 'SubTx DijkstraEra), Eq (Tx 'SubTx DijkstraEra), Show (Tx 'SubTx DijkstraEra), EncCBOR (Tx 'SubTx DijkstraEra)) ⇒ BabbageEraTxBody DijkstraEra
Instance details Defined in Cardano.Ledger.Dijkstra.TxBody Methods sizedOutputsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l DijkstraEra) (StrictSeq (Sized (TxOut DijkstraEra))) Source # referenceInputsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l DijkstraEra) (Set TxIn) Source # totalCollateralTxBodyL ∷ Lens' (TxBody 'TopTx DijkstraEra) (StrictMaybe Coin) Source # collateralReturnTxBodyL ∷ Lens' (TxBody 'TopTx DijkstraEra) (StrictMaybe (TxOut DijkstraEra)) Source # sizedCollateralReturnTxBodyL ∷ Lens' (TxBody 'TopTx DijkstraEra) (StrictMaybe (Sized (TxOut DijkstraEra))) Source # allSizedOutputsTxBodyF ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l DijkstraEra) (StrictSeq (Sized (TxOut DijkstraEra))) Source #

sizedOutputsTxBodyL ∷ ∀ (l ∷ TxLevel). BabbageEraTxBody era ⇒ Lens' (TxBody l era) (StrictSeq (Sized (TxOut era))) Source #

referenceInputsTxBodyL ∷ ∀ (l ∷ TxLevel). BabbageEraTxBody era ⇒ Lens' (TxBody l era) (Set TxIn) Source #

totalCollateralTxBodyL ∷ BabbageEraTxBody era ⇒ Lens' (TxBody 'TopTx era) (StrictMaybe Coin) Source #

collateralReturnTxBodyL ∷ BabbageEraTxBody era ⇒ Lens' (TxBody 'TopTx era) (StrictMaybe (TxOut era)) Source #

sizedCollateralReturnTxBodyL ∷ BabbageEraTxBody era ⇒ Lens' (TxBody 'TopTx era) (StrictMaybe (Sized (TxOut era))) Source #

allSizedOutputsTxBodyF ∷ ∀ (l ∷ TxLevel). BabbageEraTxBody era ⇒ SimpleGetter (TxBody l era) (StrictSeq (Sized (TxOut era))) Source #

Conway Era

class (BabbageEraTxBody era, ConwayEraTxCert era, ConwayEraPParams era, ConwayEraScript era) ⇒ ConwayEraTxBody era Source #

Minimal complete definition

currentTreasuryValueTxBodyL, votingProceduresTxBodyL, proposalProceduresTxBodyL, treasuryDonationTxBodyL

Instances

Instances details

ConwayEraTxBody ConwayEra
Instance details Defined in Cardano.Ledger.Conway.TxBody Methods currentTreasuryValueTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l ConwayEra) (StrictMaybe Coin) Source # votingProceduresTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l ConwayEra) (VotingProcedures ConwayEra) Source # proposalProceduresTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l ConwayEra) (OSet (ProposalProcedure ConwayEra)) Source # treasuryDonationTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l ConwayEra) Coin Source #
(NFData (Tx 'SubTx DijkstraEra), Eq (Tx 'SubTx DijkstraEra), Show (Tx 'SubTx DijkstraEra), EncCBOR (Tx 'SubTx DijkstraEra)) ⇒ ConwayEraTxBody DijkstraEra
Instance details Defined in Cardano.Ledger.Dijkstra.TxBody Methods currentTreasuryValueTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l DijkstraEra) (StrictMaybe Coin) Source # votingProceduresTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l DijkstraEra) (VotingProcedures DijkstraEra) Source # proposalProceduresTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l DijkstraEra) (OSet (ProposalProcedure DijkstraEra)) Source # treasuryDonationTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l DijkstraEra) Coin Source #

votingProceduresTxBodyL ∷ ∀ (l ∷ TxLevel). ConwayEraTxBody era ⇒ Lens' (TxBody l era) (VotingProcedures era) Source #

Lens for getting and setting VotingProcedures.

data VotingProcedure era Source #

Constructors

VotingProcedure
Fields vProcVote ∷ !Vote vProcAnchor ∷ !(StrictMaybe Anchor)

Instances

Instances details

EraPParams era ⇒ ToJSON (VotingProcedure era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

toJSON ∷ VotingProcedure era → Value Source #

toEncoding ∷ VotingProcedure era → Encoding Source #

toJSONList ∷ [VotingProcedure era] → Value Source #

toEncodingList ∷ [VotingProcedure era] → Encoding Source #

omitField ∷ VotingProcedure era → Bool Source #

Era era ⇒ DecCBOR (VotingProcedure era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

decCBOR ∷ Decoder s (VotingProcedure era) Source #

dropCBOR ∷ Proxy (VotingProcedure era) → Decoder s () Source #

label ∷ Proxy (VotingProcedure era) → Text Source #

Era era ⇒ EncCBOR (VotingProcedure era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

encCBOR ∷ VotingProcedure era → Encoding Source #

EraPParams era ⇒ ToKeyValuePairs (VotingProcedure era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

toKeyValuePairs ∷ KeyValue e kv ⇒ VotingProcedure era → [kv] Source #

NFData (VotingProcedure era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

rnf ∷ VotingProcedure era → () #

Generic (VotingProcedure era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Associated Types

type Rep (VotingProcedure era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

type Rep (VotingProcedure era) = D1 ('MetaData "VotingProcedure" "Cardano.Ledger.Conway.Governance.Procedures" "cardano-ledger-conway-1.21.0.0-inplace" 'False) (C1 ('MetaCons "VotingProcedure" 'PrefixI 'True) (S1 ('MetaSel ('Just "vProcVote") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Vote) :*: S1 ('MetaSel ('Just "vProcAnchor") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe Anchor))))

Methods

from ∷ VotingProcedure era → Rep (VotingProcedure era) x #

to ∷ Rep (VotingProcedure era) x → VotingProcedure era #

Show (VotingProcedure era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

showsPrec ∷ Int → VotingProcedure era → ShowS #

show ∷ VotingProcedure era → String #

showList ∷ [VotingProcedure era] → ShowS #

Eq (VotingProcedure era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

(==) ∷ VotingProcedure era → VotingProcedure era → Bool #

(/=) ∷ VotingProcedure era → VotingProcedure era → Bool #

NoThunks (VotingProcedure era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

noThunks ∷ Context → VotingProcedure era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → VotingProcedure era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (VotingProcedure era) → String Source #

type Rep (VotingProcedure era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

type Rep (VotingProcedure era) = D1 ('MetaData "VotingProcedure" "Cardano.Ledger.Conway.Governance.Procedures" "cardano-ledger-conway-1.21.0.0-inplace" 'False) (C1 ('MetaCons "VotingProcedure" 'PrefixI 'True) (S1 ('MetaSel ('Just "vProcVote") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Vote) :*: S1 ('MetaSel ('Just "vProcAnchor") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe Anchor))))

newtype VotingProcedures era Source #

Constructors

VotingProcedures
Fields unVotingProcedures ∷ Map Voter (Map GovActionId (VotingProcedure era))

Instances

Instances details

Indexable Voter (VotingProcedures era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

indexOf ∷ AsItem Word32 Voter → VotingProcedures era → StrictMaybe (AsIx Word32 Voter) Source #

fromIndex ∷ AsIx Word32 Voter → VotingProcedures era → StrictMaybe (AsIxItem Word32 Voter) Source #

EraPParams era ⇒ ToJSON (VotingProcedures era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

toJSON ∷ VotingProcedures era → Value Source #

toEncoding ∷ VotingProcedures era → Encoding Source #

toJSONList ∷ [VotingProcedures era] → Value Source #

toEncodingList ∷ [VotingProcedures era] → Encoding Source #

omitField ∷ VotingProcedures era → Bool Source #

Era era ⇒ DecCBOR (VotingProcedures era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

decCBOR ∷ Decoder s (VotingProcedures era) Source #

dropCBOR ∷ Proxy (VotingProcedures era) → Decoder s () Source #

label ∷ Proxy (VotingProcedures era) → Text Source #

Era era ⇒ EncCBOR (VotingProcedures era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

encCBOR ∷ VotingProcedures era → Encoding Source #

Era era ⇒ NFData (VotingProcedures era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

rnf ∷ VotingProcedures era → () #

Generic (VotingProcedures era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Associated Types

type Rep (VotingProcedures era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

type Rep (VotingProcedures era) = D1 ('MetaData "VotingProcedures" "Cardano.Ledger.Conway.Governance.Procedures" "cardano-ledger-conway-1.21.0.0-inplace" 'True) (C1 ('MetaCons "VotingProcedures" 'PrefixI 'True) (S1 ('MetaSel ('Just "unVotingProcedures") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map Voter (Map GovActionId (VotingProcedure era))))))

Methods

from ∷ VotingProcedures era → Rep (VotingProcedures era) x #

to ∷ Rep (VotingProcedures era) x → VotingProcedures era #

Show (VotingProcedures era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

showsPrec ∷ Int → VotingProcedures era → ShowS #

show ∷ VotingProcedures era → String #

showList ∷ [VotingProcedures era] → ShowS #

Eq (VotingProcedures era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

(==) ∷ VotingProcedures era → VotingProcedures era → Bool #

(/=) ∷ VotingProcedures era → VotingProcedures era → Bool #

NoThunks (VotingProcedures era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

noThunks ∷ Context → VotingProcedures era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → VotingProcedures era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (VotingProcedures era) → String Source #

type Rep (VotingProcedures era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

type Rep (VotingProcedures era) = D1 ('MetaData "VotingProcedures" "Cardano.Ledger.Conway.Governance.Procedures" "cardano-ledger-conway-1.21.0.0-inplace" 'True) (C1 ('MetaCons "VotingProcedures" 'PrefixI 'True) (S1 ('MetaSel ('Just "unVotingProcedures") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map Voter (Map GovActionId (VotingProcedure era))))))

proposalProceduresTxBodyL ∷ ∀ (l ∷ TxLevel). ConwayEraTxBody era ⇒ Lens' (TxBody l era) (OSet (ProposalProcedure era)) Source #

Lens for getting and setting ProposalProcedures.

data ProposalProcedure era Source #

Constructors

ProposalProcedure
Fields pProcDeposit ∷ !Coin pProcReturnAddr ∷ !RewardAccount pProcGovAction ∷ !(GovAction era) pProcAnchor ∷ !Anchor

Instances

Instances details

TranslateEra DijkstraEra ProposalProcedure

Instance details

Defined in Cardano.Ledger.Dijkstra.Translation

Associated Types

type TranslationError DijkstraEra ProposalProcedure
Instance details Defined in Cardano.Ledger.Dijkstra.Translation type TranslationError DijkstraEra ProposalProcedure = Void

Methods

translateEra ∷ TranslationContext DijkstraEra → ProposalProcedure (PreviousEra DijkstraEra) → Except (TranslationError DijkstraEra ProposalProcedure) (ProposalProcedure DijkstraEra) Source #

EraPParams era ⇒ ToJSON (ProposalProcedure era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

toJSON ∷ ProposalProcedure era → Value Source #

toEncoding ∷ ProposalProcedure era → Encoding Source #

toJSONList ∷ [ProposalProcedure era] → Value Source #

toEncodingList ∷ [ProposalProcedure era] → Encoding Source #

omitField ∷ ProposalProcedure era → Bool Source #

EraPParams era ⇒ DecCBOR (ProposalProcedure era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

decCBOR ∷ Decoder s (ProposalProcedure era) Source #

dropCBOR ∷ Proxy (ProposalProcedure era) → Decoder s () Source #

label ∷ Proxy (ProposalProcedure era) → Text Source #

EraPParams era ⇒ EncCBOR (ProposalProcedure era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

encCBOR ∷ ProposalProcedure era → Encoding Source #

EraPParams era ⇒ ToKeyValuePairs (ProposalProcedure era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

toKeyValuePairs ∷ KeyValue e kv ⇒ ProposalProcedure era → [kv] Source #

EraPParams era ⇒ NFData (ProposalProcedure era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

rnf ∷ ProposalProcedure era → () #

Generic (ProposalProcedure era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Associated Types

type Rep (ProposalProcedure era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

type Rep (ProposalProcedure era) = D1 ('MetaData "ProposalProcedure" "Cardano.Ledger.Conway.Governance.Procedures" "cardano-ledger-conway-1.21.0.0-inplace" 'False) (C1 ('MetaCons "ProposalProcedure" 'PrefixI 'True) ((S1 ('MetaSel ('Just "pProcDeposit") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin) :*: S1 ('MetaSel ('Just "pProcReturnAddr") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 RewardAccount)) :*: (S1 ('MetaSel ('Just "pProcGovAction") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (GovAction era)) :*: S1 ('MetaSel ('Just "pProcAnchor") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Anchor))))

Methods

from ∷ ProposalProcedure era → Rep (ProposalProcedure era) x #

to ∷ Rep (ProposalProcedure era) x → ProposalProcedure era #

EraPParams era ⇒ Show (ProposalProcedure era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

showsPrec ∷ Int → ProposalProcedure era → ShowS #

show ∷ ProposalProcedure era → String #

showList ∷ [ProposalProcedure era] → ShowS #

EraPParams era ⇒ Eq (ProposalProcedure era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

(==) ∷ ProposalProcedure era → ProposalProcedure era → Bool #

(/=) ∷ ProposalProcedure era → ProposalProcedure era → Bool #

EraPParams era ⇒ Ord (ProposalProcedure era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

compare ∷ ProposalProcedure era → ProposalProcedure era → Ordering #

(<) ∷ ProposalProcedure era → ProposalProcedure era → Bool #

(<=) ∷ ProposalProcedure era → ProposalProcedure era → Bool #

(>) ∷ ProposalProcedure era → ProposalProcedure era → Bool #

(>=) ∷ ProposalProcedure era → ProposalProcedure era → Bool #

max ∷ ProposalProcedure era → ProposalProcedure era → ProposalProcedure era #

min ∷ ProposalProcedure era → ProposalProcedure era → ProposalProcedure era #

EraPParams era ⇒ NoThunks (ProposalProcedure era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

noThunks ∷ Context → ProposalProcedure era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → ProposalProcedure era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (ProposalProcedure era) → String Source #

type TranslationError DijkstraEra ProposalProcedure

Instance details

Defined in Cardano.Ledger.Dijkstra.Translation

type TranslationError DijkstraEra ProposalProcedure = Void

type Rep (ProposalProcedure era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

type Rep (ProposalProcedure era) = D1 ('MetaData "ProposalProcedure" "Cardano.Ledger.Conway.Governance.Procedures" "cardano-ledger-conway-1.21.0.0-inplace" 'False) (C1 ('MetaCons "ProposalProcedure" 'PrefixI 'True) ((S1 ('MetaSel ('Just "pProcDeposit") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin) :*: S1 ('MetaSel ('Just "pProcReturnAddr") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 RewardAccount)) :*: (S1 ('MetaSel ('Just "pProcGovAction") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (GovAction era)) :*: S1 ('MetaSel ('Just "pProcAnchor") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Anchor))))

currentTreasuryValueTxBodyL ∷ ∀ (l ∷ TxLevel). ConwayEraTxBody era ⇒ Lens' (TxBody l era) (StrictMaybe Coin) Source #

Lens for getting and setting number of Coin that is expected to be in the Treasury at the current Epoch

treasuryDonationTxBodyL ∷ ∀ (l ∷ TxLevel). ConwayEraTxBody era ⇒ Lens' (TxBody l era) Coin Source #

Dijstra Era

class ConwayEraTxBody era ⇒ DijkstraEraTxBody era Source #

Minimal complete definition

guardsTxBodyL, subTransactionsTxBodyL

Instances

Instances details

(NFData (Tx 'SubTx DijkstraEra), Eq (Tx 'SubTx DijkstraEra), Show (Tx 'SubTx DijkstraEra), EncCBOR (Tx 'SubTx DijkstraEra)) ⇒ DijkstraEraTxBody DijkstraEra
Instance details Defined in Cardano.Ledger.Dijkstra.TxBody Methods guardsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l DijkstraEra) (OSet (Credential 'Guard)) Source # subTransactionsTxBodyL ∷ Lens' (TxBody 'TopTx DijkstraEra) (OMap TxId (Tx 'SubTx DijkstraEra)) Source #

guardsTxBodyL ∷ ∀ (l ∷ TxLevel). DijkstraEraTxBody era ⇒ Lens' (TxBody l era) (OSet (Credential 'Guard)) Source #

Upgrade

binaryUpgradeTxBody ∷ ∀ era (l ∷ TxLevel). (Era era, ToCBOR (TxBody l (PreviousEra era)), DecCBOR (Annotator (TxBody l era))) ⇒ TxBody l (PreviousEra era) → Except DecoderError (TxBody l era) Source #

Translate a tx body through its binary representation from previous to current era.

upgradeTxBody ∷ ∀ (l ∷ TxLevel). (EraApi era, EraTxBody (PreviousEra era)) ⇒ TxBody l (PreviousEra era) → Either (TxBodyUpgradeError era) (TxBody l era) Source #

Upgrade a transaction body from the previous era. Warning - This may not preserve the underlying binary representation. Use binaryUpgradeTxBody instead, if you need to preserve the serialised form.