cardano-ledger-api-1.10.0.0: Public API for the cardano ledger codebase
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Ledger.Api.Tx.Body

Synopsis

Documentation

Building and inspecting transaction outputs

module Cardano.Ledger.Api.Tx.Out

Working with Timelock scripts and Plutus scripts

module Cardano.Ledger.Api.Scripts

class (EraTxOut era, EraTxCert era, EraPParams era, HashAnnotated (TxBody era) EraIndependentTxBody (EraCrypto era), DecCBOR (Annotator (TxBody era)), EncCBOR (TxBody era), ToCBOR (TxBody era), NoThunks (TxBody era), NFData (TxBody era), Show (TxBody era), Eq (TxBody era), EqRaw (TxBody era)) ⇒ EraTxBody era Source #

Minimal complete definition

mkBasicTxBody, inputsTxBodyL, outputsTxBodyL, feeTxBodyL, withdrawalsTxBodyL, auxDataHashTxBodyL, spendableInputsTxBodyF, allInputsTxBodyF, certsTxBodyL, upgradeTxBody

Associated Types

type TxBody era = (r ∷ Type) | r → era Source #

The body of a transaction.

mkBasicTxBody ∷ EraTxBody era ⇒ TxBody era Source #

inputsTxBodyL ∷ EraTxBody era ⇒ Lens' (TxBody era) (Set (TxIn (EraCrypto era))) Source #

outputsTxBodyL ∷ EraTxBody era ⇒ Lens' (TxBody era) (StrictSeq (TxOut era)) Source #

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

withdrawalsTxBodyL ∷ EraTxBody era ⇒ Lens' (TxBody era) (Withdrawals (EraCrypto era)) Source #

newtype Withdrawals c Source #

This is called wdrl in the spec.

Constructors

Withdrawals 

Fields

Instances

Instances details
Generic (Withdrawals c) 
Instance details

Defined in Cardano.Ledger.Address

Associated Types

type Rep (Withdrawals c) ∷ Type → Type Source #

Methods

from ∷ Withdrawals c → Rep (Withdrawals c) x Source #

to ∷ Rep (Withdrawals c) x → Withdrawals c Source #

Show (Withdrawals c) 
Instance details

Defined in Cardano.Ledger.Address

Methods

showsPrec ∷ Int → Withdrawals c → ShowS Source #

show ∷ Withdrawals c → String Source #

showList ∷ [Withdrawals c] → ShowS Source #

Crypto c ⇒ DecCBOR (Withdrawals c) 
Instance details

Defined in Cardano.Ledger.Address

Methods

decCBOR ∷ Decoder s (Withdrawals c) Source #

dropCBOR ∷ Proxy (Withdrawals c) → Decoder s () Source #

label ∷ Proxy (Withdrawals c) → Text Source #

Crypto c ⇒ EncCBOR (Withdrawals c) 
Instance details

Defined in Cardano.Ledger.Address

Methods

encCBOR ∷ Withdrawals c → Encoding Source #

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

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

NFData (Withdrawals c) 
Instance details

Defined in Cardano.Ledger.Address

Methods

rnf ∷ Withdrawals c → () Source #

Eq (Withdrawals c) 
Instance details

Defined in Cardano.Ledger.Address

Methods

(==) ∷ Withdrawals c → Withdrawals c → Bool Source #

(/=) ∷ Withdrawals c → Withdrawals c → Bool Source #

NoThunks (Withdrawals c) 
Instance details

Defined in Cardano.Ledger.Address

Methods

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

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

showTypeOf ∷ Proxy (Withdrawals c) → String Source #

type Rep (Withdrawals c) 
Instance details

Defined in Cardano.Ledger.Address

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

auxDataHashTxBodyL ∷ EraTxBody era ⇒ Lens' (TxBody era) (StrictMaybe (AuxiliaryDataHash (EraCrypto era))) Source #

data AuxiliaryDataHash c Source #

Instances

Instances details
Crypto c ⇒ ToJSON (AuxiliaryDataHash c) 
Instance details

Defined in Cardano.Ledger.AuxiliaryData

Methods

toJSON ∷ AuxiliaryDataHash c → Value Source #

toEncoding ∷ AuxiliaryDataHash c → Encoding Source #

toJSONList ∷ [AuxiliaryDataHash c] → Value Source #

toEncodingList ∷ [AuxiliaryDataHash c] → Encoding Source #

omitField ∷ AuxiliaryDataHash c → Bool Source #

Generic (AuxiliaryDataHash c) 
Instance details

Defined in Cardano.Ledger.AuxiliaryData

Associated Types

type Rep (AuxiliaryDataHash c) ∷ Type → Type Source #

Methods

from ∷ AuxiliaryDataHash c → Rep (AuxiliaryDataHash c) x Source #

to ∷ Rep (AuxiliaryDataHash c) x → AuxiliaryDataHash c Source #

Show (AuxiliaryDataHash c) 
Instance details

Defined in Cardano.Ledger.AuxiliaryData

Methods

showsPrec ∷ Int → AuxiliaryDataHash c → ShowS Source #

show ∷ AuxiliaryDataHash c → String Source #

showList ∷ [AuxiliaryDataHash c] → ShowS Source #

Crypto c ⇒ DecCBOR (AuxiliaryDataHash c) 
Instance details

Defined in Cardano.Ledger.AuxiliaryData

Methods

decCBOR ∷ Decoder s (AuxiliaryDataHash c) Source #

dropCBOR ∷ Proxy (AuxiliaryDataHash c) → Decoder s () Source #

label ∷ Proxy (AuxiliaryDataHash c) → Text Source #

Crypto c ⇒ EncCBOR (AuxiliaryDataHash c) 
Instance details

Defined in Cardano.Ledger.AuxiliaryData

Methods

encCBOR ∷ AuxiliaryDataHash c → Encoding Source #

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

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

NFData (AuxiliaryDataHash c) 
Instance details

Defined in Cardano.Ledger.AuxiliaryData

Methods

rnf ∷ AuxiliaryDataHash c → () Source #

Eq (AuxiliaryDataHash c) 
Instance details

Defined in Cardano.Ledger.AuxiliaryData

Methods

(==) ∷ AuxiliaryDataHash c → AuxiliaryDataHash c → Bool Source #

(/=) ∷ AuxiliaryDataHash c → AuxiliaryDataHash c → Bool Source #

Ord (AuxiliaryDataHash c) 
Instance details

Defined in Cardano.Ledger.AuxiliaryData

Methods

compare ∷ AuxiliaryDataHash c → AuxiliaryDataHash c → Ordering Source #

(<) ∷ AuxiliaryDataHash c → AuxiliaryDataHash c → Bool Source #

(<=) ∷ AuxiliaryDataHash c → AuxiliaryDataHash c → Bool Source #

(>) ∷ AuxiliaryDataHash c → AuxiliaryDataHash c → Bool Source #

(>=) ∷ AuxiliaryDataHash c → AuxiliaryDataHash c → Bool Source #

max ∷ AuxiliaryDataHash c → AuxiliaryDataHash c → AuxiliaryDataHash c Source #

min ∷ AuxiliaryDataHash c → AuxiliaryDataHash c → AuxiliaryDataHash c Source #

NoThunks (AuxiliaryDataHash c) 
Instance details

Defined in Cardano.Ledger.AuxiliaryData

Methods

noThunks ∷ Context → AuxiliaryDataHash c → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → AuxiliaryDataHash c → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (AuxiliaryDataHash c) → String Source #

type Rep (AuxiliaryDataHash c) 
Instance details

Defined in Cardano.Ledger.AuxiliaryData

type Rep (AuxiliaryDataHash c) = D1 ('MetaData "AuxiliaryDataHash" "Cardano.Ledger.AuxiliaryData" "cardano-ledger-core-1.16.0.0-inplace" 'True) (C1 ('MetaCons "AuxiliaryDataHash" 'PrefixI 'True) (S1 ('MetaSel ('Just "unsafeAuxiliaryDataHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SafeHash c EraIndependentTxAuxData))))

spendableInputsTxBodyF ∷ EraTxBody era ⇒ SimpleGetter (TxBody era) (Set (TxIn (EraCrypto era))) 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 era) (Set (TxIn (EraCrypto era))) 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

∷ EraUTxO era 
⇒ PParams era

Current protocol parameters

→ (Credential 'Staking (EraCrypto era) → 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 (EraCrypto era) → 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 (EraCrypto era) → 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 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` psStakePoolParams (certPState dpState))
evalBalanceTxBody pp lookupRefund isRegPoolId utxo txBody

txIdTxBody ∷ EraTxBody era ⇒ TxBody era → TxId (EraCrypto era) Source #

Shelley Era

class (ShelleyEraTxCert era, EraTxBody era, ProtVerAtMost era 8) ⇒ ShelleyEraTxBody era Source #

Minimal complete definition

ttlTxBodyL, updateTxBodyL

Instances

Instances details
Crypto c ⇒ ShelleyEraTxBody (ShelleyEra c) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

ttlTxBodyL ∷ Lens' (TxBody (ShelleyEra c)) SlotNo Source #

updateTxBodyL ∷ Lens' (TxBody (ShelleyEra c)) (StrictMaybe (Update (ShelleyEra c))) Source #

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

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

certsTxBodyL ∷ EraTxBody era ⇒ Lens' (TxBody era) (StrictSeq (TxCert era)) Source #

Allegra Era

class EraTxBody era ⇒ AllegraEraTxBody era Source #

Minimal complete definition

vldtTxBodyL

Instances

Instances details
Crypto c ⇒ AllegraEraTxBody (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody.Internal

Methods

vldtTxBodyL ∷ Lens' (TxBody (AllegraEra c)) ValidityInterval Source #

vldtTxBodyL ∷ AllegraEraTxBody era ⇒ Lens' (TxBody 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

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 #

Generic ValidityInterval 
Instance details

Defined in Cardano.Ledger.Allegra.Scripts

Associated Types

type Rep ValidityInterval ∷ Type → Type Source #

Methods

from ∷ ValidityInterval → Rep ValidityInterval x Source #

to ∷ Rep ValidityInterval x → ValidityInterval Source #

Show ValidityInterval 
Instance details

Defined in Cardano.Ledger.Allegra.Scripts

Methods

showsPrec ∷ Int → ValidityInterval → ShowS Source #

show ∷ ValidityInterval → String Source #

showList ∷ [ValidityInterval] → ShowS 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 #

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

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

NFData ValidityInterval 
Instance details

Defined in Cardano.Ledger.Allegra.Scripts

Methods

rnf ∷ ValidityInterval → () Source #

Eq ValidityInterval 
Instance details

Defined in Cardano.Ledger.Allegra.Scripts

Methods

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

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

Ord ValidityInterval 
Instance details

Defined in Cardano.Ledger.Allegra.Scripts

Methods

compare ∷ ValidityInterval → ValidityInterval → Ordering Source #

(<) ∷ ValidityInterval → ValidityInterval → Bool Source #

(<=) ∷ ValidityInterval → ValidityInterval → Bool Source #

(>) ∷ ValidityInterval → ValidityInterval → Bool Source #

(>=) ∷ ValidityInterval → ValidityInterval → Bool Source #

max ∷ ValidityInterval → ValidityInterval → ValidityInterval Source #

min ∷ ValidityInterval → ValidityInterval → ValidityInterval Source #

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.6.1.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 (Maybe SlotNo) Source #

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

invalidHereAfterL ∷ Lens' ValidityInterval (Maybe SlotNo) Source #

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

Mary Era

class AllegraEraTxBody era ⇒ MaryEraTxBody era Source #

Minimal complete definition

mintTxBodyL, mintValueTxBodyF, mintedTxBodyF

Instances

Instances details
Crypto c ⇒ MaryEraTxBody (MaryEra c) 
Instance details

Defined in Cardano.Ledger.Mary.TxBody.Internal

Methods

mintTxBodyL ∷ Lens' (TxBody (MaryEra c)) (MultiAsset (EraCrypto (MaryEra c))) Source #

mintValueTxBodyF ∷ SimpleGetter (TxBody (MaryEra c)) (Value (MaryEra c)) Source #

mintedTxBodyF ∷ SimpleGetter (TxBody (MaryEra c)) (Set (PolicyID (EraCrypto (MaryEra c)))) Source #

mintTxBodyL ∷ MaryEraTxBody era ⇒ Lens' (TxBody era) (MultiAsset (EraCrypto era)) Source #

mintValueTxBodyF ∷ MaryEraTxBody era ⇒ SimpleGetter (TxBody era) (Value era) Source #

mintedTxBodyF ∷ MaryEraTxBody era ⇒ SimpleGetter (TxBody era) (Set (PolicyID (EraCrypto era))) Source #

Alonzo Era

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

Minimal complete definition

collateralInputsTxBodyL, reqSignerHashesTxBodyL, scriptIntegrityHashTxBodyL, networkIdTxBodyL, redeemerPointer, redeemerPointerInverse

Instances

Instances details
Crypto c ⇒ AlonzoEraTxBody (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody.Internal

Methods

collateralInputsTxBodyL ∷ Lens' (TxBody (AlonzoEra c)) (Set (TxIn (EraCrypto (AlonzoEra c)))) Source #

reqSignerHashesTxBodyL ∷ Lens' (TxBody (AlonzoEra c)) (Set (KeyHash 'Witness (EraCrypto (AlonzoEra c)))) Source #

scriptIntegrityHashTxBodyL ∷ Lens' (TxBody (AlonzoEra c)) (StrictMaybe (ScriptIntegrityHash (EraCrypto (AlonzoEra c)))) Source #

networkIdTxBodyL ∷ Lens' (TxBody (AlonzoEra c)) (StrictMaybe Network) Source #

redeemerPointer ∷ TxBody (AlonzoEra c) → PlutusPurpose AsItem (AlonzoEra c) → StrictMaybe (PlutusPurpose AsIx (AlonzoEra c)) Source #

redeemerPointerInverse ∷ TxBody (AlonzoEra c) → PlutusPurpose AsIx (AlonzoEra c) → StrictMaybe (PlutusPurpose AsIxItem (AlonzoEra c)) Source #

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

reqSignerHashesTxBodyL ∷ AlonzoEraTxBody era ⇒ Lens' (TxBody era) (Set (KeyHash 'Witness (EraCrypto era))) Source #

scriptIntegrityHashTxBodyL ∷ AlonzoEraTxBody era ⇒ Lens' (TxBody era) (StrictMaybe (ScriptIntegrityHash (EraCrypto era))) Source #

networkIdTxBodyL ∷ AlonzoEraTxBody era ⇒ Lens' (TxBody era) (StrictMaybe Network) Source #

redeemerPointer ∷ AlonzoEraTxBody era ⇒ TxBody 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 ∷ AlonzoEraTxBody era ⇒ TxBody 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
Crypto c ⇒ BabbageEraTxBody (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody.Internal

Methods

sizedOutputsTxBodyL ∷ Lens' (TxBody (BabbageEra c)) (StrictSeq (Sized (TxOut (BabbageEra c)))) Source #

referenceInputsTxBodyL ∷ Lens' (TxBody (BabbageEra c)) (Set (TxIn (EraCrypto (BabbageEra c)))) Source #

totalCollateralTxBodyL ∷ Lens' (TxBody (BabbageEra c)) (StrictMaybe Coin) Source #

collateralReturnTxBodyL ∷ Lens' (TxBody (BabbageEra c)) (StrictMaybe (TxOut (BabbageEra c))) Source #

sizedCollateralReturnTxBodyL ∷ Lens' (TxBody (BabbageEra c)) (StrictMaybe (Sized (TxOut (BabbageEra c)))) Source #

allSizedOutputsTxBodyF ∷ SimpleGetter (TxBody (BabbageEra c)) (StrictSeq (Sized (TxOut (BabbageEra c)))) Source #

sizedOutputsTxBodyL ∷ BabbageEraTxBody era ⇒ Lens' (TxBody era) (StrictSeq (Sized (TxOut era))) Source #

referenceInputsTxBodyL ∷ BabbageEraTxBody era ⇒ Lens' (TxBody era) (Set (TxIn (EraCrypto era))) Source #

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

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

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

allSizedOutputsTxBodyF ∷ BabbageEraTxBody era ⇒ SimpleGetter (TxBody 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
Crypto c ⇒ ConwayEraTxBody (ConwayEra c) 
Instance details

Defined in Cardano.Ledger.Conway.TxBody.Internal

Methods

currentTreasuryValueTxBodyL ∷ Lens' (TxBody (ConwayEra c)) (StrictMaybe Coin) Source #

votingProceduresTxBodyL ∷ Lens' (TxBody (ConwayEra c)) (VotingProcedures (ConwayEra c)) Source #

proposalProceduresTxBodyL ∷ Lens' (TxBody (ConwayEra c)) (OSet (ProposalProcedure (ConwayEra c))) Source #

treasuryDonationTxBodyL ∷ Lens' (TxBody (ConwayEra c)) Coin Source #

votingProceduresTxBodyL ∷ ConwayEraTxBody era ⇒ Lens' (TxBody era) (VotingProcedures era) Source #

Lens for getting and setting VotingProcedures.

proposalProceduresTxBodyL ∷ ConwayEraTxBody era ⇒ Lens' (TxBody era) (OSet (ProposalProcedure era)) Source #

Lens for getting and setting ProposalProcedures.