| 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 (EraCrypto era)) → Set (TxIn (EraCrypto era)) → Set (TxIn (EraCrypto era)) → StrictSeq (Sized (TxOut era)) → StrictMaybe (Sized (TxOut era)) → StrictMaybe Coin → OSet (ConwayTxCert era) → Withdrawals (EraCrypto era) → Coin → ValidityInterval → Set (KeyHash 'Witness (EraCrypto era)) → MultiAsset (EraCrypto era) → StrictMaybe (ScriptIntegrityHash (EraCrypto era)) → StrictMaybe (AuxiliaryDataHash (EraCrypto era)) → StrictMaybe Network → VotingProcedures era → OSet (ProposalProcedure era) → StrictMaybe Coin → Coin → ConwayTxBody era
- data ConwayTxBodyRaw era = ConwayTxBodyRaw {
- ctbrSpendInputs ∷ !(Set (TxIn (EraCrypto era)))
- ctbrCollateralInputs ∷ !(Set (TxIn (EraCrypto era)))
- ctbrReferenceInputs ∷ !(Set (TxIn (EraCrypto era)))
- ctbrOutputs ∷ !(StrictSeq (Sized (TxOut era)))
- ctbrCollateralReturn ∷ !(StrictMaybe (Sized (TxOut era)))
- ctbrTotalCollateral ∷ !(StrictMaybe Coin)
- ctbrCerts ∷ !(OSet (ConwayTxCert era))
- ctbrWithdrawals ∷ !(Withdrawals (EraCrypto era))
- ctbrTxfee ∷ !Coin
- ctbrVldt ∷ !ValidityInterval
- ctbrReqSignerHashes ∷ !(Set (KeyHash 'Witness (EraCrypto era)))
- ctbrMint ∷ !(MultiAsset (EraCrypto era))
- ctbrScriptIntegrityHash ∷ !(StrictMaybe (ScriptIntegrityHash (EraCrypto era)))
- ctbrAuxDataHash ∷ !(StrictMaybe (AuxiliaryDataHash (EraCrypto era)))
- ctbrTxNetworkId ∷ !(StrictMaybe Network)
- ctbrVotingProcedures ∷ !(VotingProcedures era)
- ctbrProposalProcedures ∷ !(OSet (ProposalProcedure era))
- ctbrCurrentTreasuryValue ∷ !(StrictMaybe Coin)
- ctbrTreasuryDonation ∷ !Coin
- conwayTotalDepositsTxBody ∷ ConwayEraTxBody era ⇒ PParams era → (KeyHash 'StakePool (EraCrypto era) → 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
| Crypto c ⇒ ConwayEraTxBody (ConwayEra c) Source # | |
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 # | |
newtype ConwayTxBody era Source #
Constructors
| TxBodyConstr (MemoBytes ConwayTxBodyRaw era) |
Bundled Patterns
| pattern ConwayTxBody ∷ ConwayEraTxBody era ⇒ Set (TxIn (EraCrypto era)) → Set (TxIn (EraCrypto era)) → Set (TxIn (EraCrypto era)) → StrictSeq (Sized (TxOut era)) → StrictMaybe (Sized (TxOut era)) → StrictMaybe Coin → OSet (ConwayTxCert era) → Withdrawals (EraCrypto era) → Coin → ValidityInterval → Set (KeyHash 'Witness (EraCrypto era)) → MultiAsset (EraCrypto era) → StrictMaybe (ScriptIntegrityHash (EraCrypto era)) → StrictMaybe (AuxiliaryDataHash (EraCrypto era)) → 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 (EraCrypto era) → 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