| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Cardano.Ledger.Conway.TxBody.Internal
Contents
Description
Provides Conway TxBody internals
Warning
This module is considered internal.
The contents of this module may change in any way whatsoever and without any warning between minor versions of this package.
Synopsis
- class (BabbageEraTxBody era, ConwayEraTxCert era, ConwayEraPParams era, ConwayEraScript era) ⇒ ConwayEraTxBody era where
- currentTreasuryValueTxBodyL ∷ Lens' (TxBody era) (StrictMaybe Coin)
- votingProceduresTxBodyL ∷ Lens' (TxBody era) (VotingProcedures era)
- proposalProceduresTxBodyL ∷ Lens' (TxBody era) (OSet (ProposalProcedure era))
- treasuryDonationTxBodyL ∷ Lens' (TxBody era) Coin
- newtype ConwayTxBody era where
- TxBodyConstr (MemoBytes ConwayTxBodyRaw era)
- pattern ConwayTxBody ∷ ConwayEraTxBody era ⇒ Set TxIn → Set TxIn → Set TxIn → StrictSeq (Sized (TxOut era)) → StrictMaybe (Sized (TxOut era)) → StrictMaybe Coin → OSet (ConwayTxCert era) → Withdrawals → Coin → ValidityInterval → Set (KeyHash 'Witness) → MultiAsset → StrictMaybe ScriptIntegrityHash → StrictMaybe TxAuxDataHash → StrictMaybe Network → VotingProcedures era → OSet (ProposalProcedure era) → StrictMaybe Coin → Coin → ConwayTxBody era
- data ConwayTxBodyRaw era = ConwayTxBodyRaw {
- ctbrSpendInputs ∷ !(Set TxIn)
- ctbrCollateralInputs ∷ !(Set TxIn)
- ctbrReferenceInputs ∷ !(Set TxIn)
- ctbrOutputs ∷ !(StrictSeq (Sized (TxOut era)))
- ctbrCollateralReturn ∷ !(StrictMaybe (Sized (TxOut era)))
- ctbrTotalCollateral ∷ !(StrictMaybe Coin)
- ctbrCerts ∷ !(OSet (ConwayTxCert era))
- ctbrWithdrawals ∷ !Withdrawals
- ctbrTxfee ∷ !Coin
- ctbrVldt ∷ !ValidityInterval
- ctbrReqSignerHashes ∷ !(Set (KeyHash 'Witness))
- ctbrMint ∷ !MultiAsset
- ctbrScriptIntegrityHash ∷ !(StrictMaybe ScriptIntegrityHash)
- ctbrAuxDataHash ∷ !(StrictMaybe TxAuxDataHash)
- ctbrTxNetworkId ∷ !(StrictMaybe Network)
- ctbrVotingProcedures ∷ !(VotingProcedures era)
- ctbrProposalProcedures ∷ !(OSet (ProposalProcedure era))
- ctbrCurrentTreasuryValue ∷ !(StrictMaybe Coin)
- ctbrTreasuryDonation ∷ !Coin
- conwayTotalDepositsTxBody ∷ ConwayEraTxBody era ⇒ PParams era → (KeyHash 'StakePool → Bool) → TxBody era → Coin
- conwayProposalsDeposits ∷ ConwayEraTxBody era ⇒ PParams era → TxBody era → Coin
Documentation
class (BabbageEraTxBody era, ConwayEraTxCert era, ConwayEraPParams era, ConwayEraScript era) ⇒ ConwayEraTxBody era where Source #
Methods
currentTreasuryValueTxBodyL ∷ 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
votingProceduresTxBodyL ∷ Lens' (TxBody era) (VotingProcedures era) Source #
Lens for getting and setting VotingProcedures.
proposalProceduresTxBodyL ∷ Lens' (TxBody era) (OSet (ProposalProcedure era)) Source #
Lens for getting and setting ProposalProcedures.
Instances
newtype ConwayTxBody era Source #
Constructors
| TxBodyConstr (MemoBytes ConwayTxBodyRaw era) |
Bundled Patterns
| pattern ConwayTxBody ∷ ConwayEraTxBody era ⇒ Set TxIn → Set TxIn → Set TxIn → StrictSeq (Sized (TxOut era)) → StrictMaybe (Sized (TxOut era)) → StrictMaybe Coin → OSet (ConwayTxCert era) → Withdrawals → Coin → ValidityInterval → Set (KeyHash 'Witness) → MultiAsset → StrictMaybe ScriptIntegrityHash → StrictMaybe TxAuxDataHash → StrictMaybe Network → VotingProcedures era → OSet (ProposalProcedure era) → StrictMaybe Coin → Coin → ConwayTxBody era |
Instances
data ConwayTxBodyRaw era Source #
Constructors
| ConwayTxBodyRaw | |
Fields
| |
Instances
conwayTotalDepositsTxBody ∷ ConwayEraTxBody era ⇒ PParams era → (KeyHash 'StakePool → Bool) → TxBody era → Coin Source #
Compute all the deposits in a TxBody. This includes deposits for:
- registering Stake
- registering a StakePool
- registering a DRep
- submitting a Proposal
This is the contribution of a TxBody towards the total
Obligations
conwayProposalsDeposits ∷ ConwayEraTxBody era ⇒ PParams era → TxBody era → Coin Source #
Total number of deposits in the proposals in TxBody