| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Cardano.Ledger.Api.Tx.Body
Synopsis
- module Cardano.Ledger.Api.Tx.Out
- module Cardano.Ledger.Api.Scripts
- class (EraTxOut era, EraTxCert era, EraPParams era, HashAnnotated (TxBody era) EraIndependentTxBody, 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 where
- data TxBody era
- mkBasicTxBody ∷ EraTxBody era ⇒ TxBody era
- inputsTxBodyL ∷ EraTxBody era ⇒ Lens' (TxBody era) (Set TxIn)
- outputsTxBodyL ∷ EraTxBody era ⇒ Lens' (TxBody era) (StrictSeq (TxOut era))
- feeTxBodyL ∷ EraTxBody era ⇒ Lens' (TxBody era) Coin
- withdrawalsTxBodyL ∷ EraTxBody era ⇒ Lens' (TxBody era) Withdrawals
- newtype Withdrawals = Withdrawals {}
- auxDataHashTxBodyL ∷ EraTxBody era ⇒ Lens' (TxBody era) (StrictMaybe TxAuxDataHash)
- newtype TxAuxDataHash = TxAuxDataHash {}
- type AuxiliaryDataHash = TxAuxDataHash
- spendableInputsTxBodyF ∷ EraTxBody era ⇒ SimpleGetter (TxBody era) (Set TxIn)
- allInputsTxBodyF ∷ EraTxBody era ⇒ SimpleGetter (TxBody era) (Set TxIn)
- evalBalanceTxBody ∷ EraUTxO era ⇒ PParams era → (Credential 'Staking → Maybe Coin) → (Credential 'DRepRole → Maybe Coin) → (KeyHash 'StakePool → Bool) → UTxO era → TxBody era → Value era
- txIdTxBody ∷ EraTxBody era ⇒ TxBody era → TxId
- class (EraTxBody era, AnyEraTxOut era, AnyEraTxCert era) ⇒ AnyEraTxBody era where
- updateTxBodyG ∷ SimpleGetter (TxBody era) (Maybe (Maybe (Update era)))
- vldtTxBodyG ∷ SimpleGetter (TxBody era) ValidityInterval
- mintTxBodyG ∷ SimpleGetter (TxBody era) (Maybe MultiAsset)
- collateralInputsTxBodyG ∷ SimpleGetter (TxBody era) (Maybe (Set TxIn))
- scriptIntegrityHashTxBodyG ∷ SimpleGetter (TxBody era) (Maybe (Maybe ScriptIntegrityHash))
- networkIdTxBodyG ∷ SimpleGetter (TxBody era) (Maybe (Maybe Network))
- sizedOutputsTxBodyG ∷ SimpleGetter (TxBody era) (Maybe (StrictSeq (Sized (TxOut era))))
- referenceInputsTxBodyG ∷ SimpleGetter (TxBody era) (Maybe (Set TxIn))
- totalCollateralTxBodyG ∷ SimpleGetter (TxBody era) (Maybe (Maybe Coin))
- collateralReturnTxBodyG ∷ SimpleGetter (TxBody era) (Maybe (Maybe (TxOut era)))
- sizedCollateralReturnTxBodyG ∷ SimpleGetter (TxBody era) (Maybe (Maybe (Sized (TxOut era))))
- currentTreasuryValueTxBodyG ∷ SimpleGetter (TxBody era) (Maybe (Maybe Coin))
- votingProceduresTxBodyG ∷ SimpleGetter (TxBody era) (Maybe (VotingProcedures era))
- proposalProceduresTxBodyG ∷ SimpleGetter (TxBody era) (Maybe (OSet (ProposalProcedure era)))
- treasuryDonationTxBodyG ∷ SimpleGetter (TxBody era) (Maybe Coin)
- guardsTxBodyG ∷ SimpleGetter (TxBody era) (Maybe (OSet (Credential Guard)))
- class (ShelleyEraTxCert era, EraTxBody era, AtMostEra "Babbage" era) ⇒ ShelleyEraTxBody era
- ttlTxBodyL ∷ ShelleyEraTxBody era ⇒ Lens' (TxBody era) SlotNo
- updateTxBodyL ∷ ShelleyEraTxBody era ⇒ Lens' (TxBody era) (StrictMaybe (Update era))
- certsTxBodyL ∷ EraTxBody era ⇒ Lens' (TxBody era) (StrictSeq (TxCert era))
- class EraTxBody era ⇒ AllegraEraTxBody era
- vldtTxBodyL ∷ AllegraEraTxBody era ⇒ Lens' (TxBody era) ValidityInterval
- data ValidityInterval = ValidityInterval {}
- invalidBeforeL ∷ Lens' ValidityInterval (Maybe SlotNo)
- invalidHereAfterL ∷ Lens' ValidityInterval (Maybe SlotNo)
- class AllegraEraTxBody era ⇒ MaryEraTxBody era
- mintTxBodyL ∷ MaryEraTxBody era ⇒ Lens' (TxBody era) MultiAsset
- mintValueTxBodyF ∷ MaryEraTxBody era ⇒ SimpleGetter (TxBody era) (Value era)
- mintedTxBodyF ∷ MaryEraTxBody era ⇒ SimpleGetter (TxBody era) (Set PolicyID)
- class (MaryEraTxBody era, AlonzoEraTxOut era) ⇒ AlonzoEraTxBody era
- collateralInputsTxBodyL ∷ AlonzoEraTxBody era ⇒ Lens' (TxBody era) (Set TxIn)
- reqSignerHashesTxBodyL ∷ AlonzoEraTxBody era ⇒ Lens' (TxBody era) (Set (KeyHash 'Witness))
- scriptIntegrityHashTxBodyL ∷ AlonzoEraTxBody era ⇒ Lens' (TxBody era) (StrictMaybe ScriptIntegrityHash)
- type ScriptIntegrityHash = SafeHash EraIndependentScriptIntegrity
- networkIdTxBodyL ∷ AlonzoEraTxBody era ⇒ Lens' (TxBody era) (StrictMaybe Network)
- redeemerPointer ∷ AlonzoEraTxBody era ⇒ TxBody era → PlutusPurpose AsItem era → StrictMaybe (PlutusPurpose AsIx era)
- redeemerPointerInverse ∷ AlonzoEraTxBody era ⇒ TxBody era → PlutusPurpose AsIx era → StrictMaybe (PlutusPurpose AsIxItem era)
- class (AlonzoEraTxBody era, BabbageEraTxOut era) ⇒ BabbageEraTxBody era
- sizedOutputsTxBodyL ∷ BabbageEraTxBody era ⇒ Lens' (TxBody era) (StrictSeq (Sized (TxOut era)))
- referenceInputsTxBodyL ∷ BabbageEraTxBody era ⇒ Lens' (TxBody era) (Set TxIn)
- totalCollateralTxBodyL ∷ BabbageEraTxBody era ⇒ Lens' (TxBody era) (StrictMaybe Coin)
- collateralReturnTxBodyL ∷ BabbageEraTxBody era ⇒ Lens' (TxBody era) (StrictMaybe (TxOut era))
- sizedCollateralReturnTxBodyL ∷ BabbageEraTxBody era ⇒ Lens' (TxBody era) (StrictMaybe (Sized (TxOut era)))
- allSizedOutputsTxBodyF ∷ BabbageEraTxBody era ⇒ SimpleGetter (TxBody era) (StrictSeq (Sized (TxOut era)))
- class (BabbageEraTxBody era, ConwayEraTxCert era, ConwayEraPParams era, ConwayEraScript era) ⇒ ConwayEraTxBody era
- votingProceduresTxBodyL ∷ ConwayEraTxBody era ⇒ Lens' (TxBody era) (VotingProcedures era)
- data VotingProcedure era = VotingProcedure {
- vProcVote ∷ !Vote
- vProcAnchor ∷ !(StrictMaybe Anchor)
- newtype VotingProcedures era = VotingProcedures {
- unVotingProcedures ∷ Map Voter (Map GovActionId (VotingProcedure era))
- proposalProceduresTxBodyL ∷ ConwayEraTxBody era ⇒ Lens' (TxBody era) (OSet (ProposalProcedure era))
- data ProposalProcedure era = ProposalProcedure {
- pProcDeposit ∷ !Coin
- pProcReturnAddr ∷ !RewardAccount
- pProcGovAction ∷ !(GovAction era)
- pProcAnchor ∷ !Anchor
- currentTreasuryValueTxBodyL ∷ ConwayEraTxBody era ⇒ Lens' (TxBody era) (StrictMaybe Coin)
- treasuryDonationTxBodyL ∷ ConwayEraTxBody era ⇒ Lens' (TxBody era) Coin
- class ConwayEraTxBody era ⇒ DijkstraEraTxBody era
- guardsTxBodyL ∷ DijkstraEraTxBody era ⇒ Lens' (TxBody era) (OSet (Credential 'Guard))
- binaryUpgradeTxBody ∷ (Era era, ToCBOR (TxBody (PreviousEra era)), DecCBOR (Annotator (TxBody era))) ⇒ TxBody (PreviousEra era) → Except DecoderError (TxBody era)
- upgradeTxBody ∷ (EraApi era, EraTxBody (PreviousEra era)) ⇒ TxBody (PreviousEra era) → Either (TxBodyUpgradeError era) (TxBody era)
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, 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
mkBasicTxBody ∷ EraTxBody era ⇒ TxBody era Source #
withdrawalsTxBodyL ∷ EraTxBody era ⇒ Lens' (TxBody era) Withdrawals Source #
newtype Withdrawals Source #
This is called wdrl in the spec.
Constructors
| Withdrawals | |
Fields | |
Instances
| Generic Withdrawals | |
Defined in Cardano.Ledger.Address Associated Types type Rep Withdrawals ∷ Type → Type # | |
| Show Withdrawals | |
Defined in Cardano.Ledger.Address Methods showsPrec ∷ Int → Withdrawals → ShowS # show ∷ Withdrawals → String # showList ∷ [Withdrawals] → ShowS # | |
| DecCBOR Withdrawals | |
Defined in Cardano.Ledger.Address | |
| EncCBOR Withdrawals | |
Defined in Cardano.Ledger.Address Methods | |
| NFData Withdrawals | |
Defined in Cardano.Ledger.Address Methods rnf ∷ Withdrawals → () # | |
| Eq Withdrawals | |
Defined in Cardano.Ledger.Address | |
| NoThunks Withdrawals | |
Defined in Cardano.Ledger.Address | |
| type Rep Withdrawals | |
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 ∷ EraTxBody era ⇒ Lens' (TxBody era) (StrictMaybe TxAuxDataHash) Source #
newtype TxAuxDataHash Source #
Constructors
| TxAuxDataHash | |
Instances
type AuxiliaryDataHash = TxAuxDataHash Source #
spendableInputsTxBodyF ∷ EraTxBody era ⇒ SimpleGetter (TxBody 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 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.
Arguments
| ∷ 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 |
| → (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 |
| → (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 |
| → 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` psStakePools (certPState dpState)) evalBalanceTxBody pp lookupRefund isRegPoolId utxo txBody
Any Era
class (EraTxBody era, AnyEraTxOut era, AnyEraTxCert era) ⇒ AnyEraTxBody era where Source #
Minimal complete definition
Nothing
Methods
updateTxBodyG ∷ SimpleGetter (TxBody era) (Maybe (Maybe (Update era))) Source #
vldtTxBodyG ∷ SimpleGetter (TxBody era) ValidityInterval Source #
default vldtTxBodyG ∷ AllegraEraTxBody era ⇒ SimpleGetter (TxBody era) ValidityInterval Source #
mintTxBodyG ∷ SimpleGetter (TxBody era) (Maybe MultiAsset) Source #
default mintTxBodyG ∷ MaryEraTxBody era ⇒ SimpleGetter (TxBody era) (Maybe MultiAsset) Source #
collateralInputsTxBodyG ∷ SimpleGetter (TxBody era) (Maybe (Set TxIn)) Source #
default collateralInputsTxBodyG ∷ AlonzoEraTxBody era ⇒ SimpleGetter (TxBody era) (Maybe (Set TxIn)) Source #
scriptIntegrityHashTxBodyG ∷ SimpleGetter (TxBody era) (Maybe (Maybe ScriptIntegrityHash)) Source #
default scriptIntegrityHashTxBodyG ∷ AlonzoEraTxBody era ⇒ SimpleGetter (TxBody era) (Maybe (Maybe ScriptIntegrityHash)) Source #
networkIdTxBodyG ∷ SimpleGetter (TxBody era) (Maybe (Maybe Network)) Source #
default networkIdTxBodyG ∷ AlonzoEraTxBody era ⇒ SimpleGetter (TxBody era) (Maybe (Maybe Network)) Source #
sizedOutputsTxBodyG ∷ SimpleGetter (TxBody era) (Maybe (StrictSeq (Sized (TxOut era)))) Source #
default sizedOutputsTxBodyG ∷ BabbageEraTxBody era ⇒ SimpleGetter (TxBody era) (Maybe (StrictSeq (Sized (TxOut era)))) Source #
referenceInputsTxBodyG ∷ SimpleGetter (TxBody era) (Maybe (Set TxIn)) Source #
default referenceInputsTxBodyG ∷ BabbageEraTxBody era ⇒ SimpleGetter (TxBody era) (Maybe (Set TxIn)) Source #
totalCollateralTxBodyG ∷ SimpleGetter (TxBody era) (Maybe (Maybe Coin)) Source #
default totalCollateralTxBodyG ∷ BabbageEraTxBody era ⇒ SimpleGetter (TxBody era) (Maybe (Maybe Coin)) Source #
collateralReturnTxBodyG ∷ SimpleGetter (TxBody era) (Maybe (Maybe (TxOut era))) Source #
default collateralReturnTxBodyG ∷ BabbageEraTxBody era ⇒ SimpleGetter (TxBody era) (Maybe (Maybe (TxOut era))) Source #
sizedCollateralReturnTxBodyG ∷ SimpleGetter (TxBody era) (Maybe (Maybe (Sized (TxOut era)))) Source #
default sizedCollateralReturnTxBodyG ∷ BabbageEraTxBody era ⇒ SimpleGetter (TxBody era) (Maybe (Maybe (Sized (TxOut era)))) Source #
currentTreasuryValueTxBodyG ∷ SimpleGetter (TxBody era) (Maybe (Maybe Coin)) Source #
default currentTreasuryValueTxBodyG ∷ ConwayEraTxBody era ⇒ SimpleGetter (TxBody era) (Maybe (Maybe Coin)) Source #
votingProceduresTxBodyG ∷ SimpleGetter (TxBody era) (Maybe (VotingProcedures era)) Source #
default votingProceduresTxBodyG ∷ ConwayEraTxBody era ⇒ SimpleGetter (TxBody era) (Maybe (VotingProcedures era)) Source #
proposalProceduresTxBodyG ∷ SimpleGetter (TxBody era) (Maybe (OSet (ProposalProcedure era))) Source #
default proposalProceduresTxBodyG ∷ ConwayEraTxBody era ⇒ SimpleGetter (TxBody era) (Maybe (OSet (ProposalProcedure era))) Source #
treasuryDonationTxBodyG ∷ SimpleGetter (TxBody era) (Maybe Coin) Source #
default treasuryDonationTxBodyG ∷ ConwayEraTxBody era ⇒ SimpleGetter (TxBody era) (Maybe Coin) Source #
guardsTxBodyG ∷ SimpleGetter (TxBody era) (Maybe (OSet (Credential Guard))) Source #
default guardsTxBodyG ∷ DijkstraEraTxBody era ⇒ SimpleGetter (TxBody era) (Maybe (OSet (Credential Guard))) Source #
Instances
Shelley Era
class (ShelleyEraTxCert era, EraTxBody era, AtMostEra "Babbage" era) ⇒ ShelleyEraTxBody era Source #
Minimal complete definition
Instances
| ShelleyEraTxBody ShelleyEra | |
Defined in Cardano.Ledger.Shelley.TxBody Methods ttlTxBodyL ∷ Lens' (TxBody ShelleyEra) SlotNo Source # updateTxBodyL ∷ Lens' (TxBody ShelleyEra) (StrictMaybe (Update ShelleyEra)) Source # | |
ttlTxBodyL ∷ ShelleyEraTxBody era ⇒ Lens' (TxBody era) SlotNo Source #
updateTxBodyL ∷ ShelleyEraTxBody era ⇒ Lens' (TxBody era) (StrictMaybe (Update era)) Source #
Allegra Era
class EraTxBody era ⇒ AllegraEraTxBody era Source #
Minimal complete definition
Instances
| AllegraEraTxBody AllegraEra | |
Defined in Cardano.Ledger.Allegra.TxBody Methods vldtTxBodyL ∷ Lens' (TxBody AllegraEra) 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
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
Instances
| MaryEraTxBody MaryEra | |
Defined in Cardano.Ledger.Mary.TxBody Methods mintTxBodyL ∷ Lens' (TxBody MaryEra) MultiAsset Source # mintedTxBodyF ∷ SimpleGetter (TxBody MaryEra) (Set PolicyID) Source # mintValueTxBodyF ∷ SimpleGetter (TxBody MaryEra) (Value MaryEra) Source # | |
mintTxBodyL ∷ MaryEraTxBody era ⇒ Lens' (TxBody era) MultiAsset Source #
mintValueTxBodyF ∷ MaryEraTxBody era ⇒ SimpleGetter (TxBody era) (Value era) Source #
mintedTxBodyF ∷ MaryEraTxBody era ⇒ SimpleGetter (TxBody era) (Set PolicyID) Source #
Alonzo Era
class (MaryEraTxBody era, AlonzoEraTxOut era) ⇒ AlonzoEraTxBody era Source #
Minimal complete definition
collateralInputsTxBodyL, reqSignerHashesTxBodyL, scriptIntegrityHashTxBodyL, networkIdTxBodyL, redeemerPointer, redeemerPointerInverse
Instances
collateralInputsTxBodyL ∷ AlonzoEraTxBody era ⇒ Lens' (TxBody era) (Set TxIn) Source #
reqSignerHashesTxBodyL ∷ AlonzoEraTxBody era ⇒ Lens' (TxBody era) (Set (KeyHash 'Witness)) Source #
scriptIntegrityHashTxBodyL ∷ AlonzoEraTxBody era ⇒ Lens' (TxBody era) (StrictMaybe ScriptIntegrityHash) 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
sizedOutputsTxBodyL ∷ BabbageEraTxBody era ⇒ Lens' (TxBody era) (StrictSeq (Sized (TxOut era))) Source #
referenceInputsTxBodyL ∷ BabbageEraTxBody era ⇒ Lens' (TxBody era) (Set TxIn) 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
votingProceduresTxBodyL ∷ ConwayEraTxBody era ⇒ Lens' (TxBody era) (VotingProcedures era) Source #
Lens for getting and setting VotingProcedures.
data VotingProcedure era Source #
Constructors
| VotingProcedure | |
Fields
| |
Instances
newtype VotingProcedures era Source #
Constructors
| VotingProcedures | |
Fields
| |
Instances
proposalProceduresTxBodyL ∷ ConwayEraTxBody era ⇒ Lens' (TxBody era) (OSet (ProposalProcedure era)) Source #
Lens for getting and setting ProposalProcedures.
data ProposalProcedure era Source #
Constructors
| ProposalProcedure | |
Fields
| |
Instances
currentTreasuryValueTxBodyL ∷ ConwayEraTxBody era ⇒ Lens' (TxBody 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 ∷ ConwayEraTxBody era ⇒ Lens' (TxBody era) Coin Source #
Dijstra Era
class ConwayEraTxBody era ⇒ DijkstraEraTxBody era Source #
Minimal complete definition
Instances
| DijkstraEraTxBody DijkstraEra | |
Defined in Cardano.Ledger.Dijkstra.TxBody Methods guardsTxBodyL ∷ Lens' (TxBody DijkstraEra) (OSet (Credential 'Guard)) Source # | |
guardsTxBodyL ∷ DijkstraEraTxBody era ⇒ Lens' (TxBody era) (OSet (Credential 'Guard)) Source #
Upgrade
binaryUpgradeTxBody ∷ (Era era, ToCBOR (TxBody (PreviousEra era)), DecCBOR (Annotator (TxBody era))) ⇒ TxBody (PreviousEra era) → Except DecoderError (TxBody era) Source #
Translate a tx body through its binary representation from previous to current era.
upgradeTxBody ∷ (EraApi era, EraTxBody (PreviousEra era)) ⇒ TxBody (PreviousEra era) → Either (TxBodyUpgradeError era) (TxBody 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.