| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Cardano.Ledger.Conway.TxBody
Contents
Synopsis
- class (BabbageEraTxBody era, ConwayEraTxCert era, ConwayEraPParams era, ConwayEraScript era) ⇒ ConwayEraTxBody era where
- currentTreasuryValueTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l era) (StrictMaybe Coin)
- votingProceduresTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l era) (VotingProcedures era)
- proposalProceduresTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l era) (OSet (ProposalProcedure era))
- treasuryDonationTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l era) Coin
- data family TxBody (l ∷ TxLevel) era
- data ConwayTxBodyRaw (l ∷ TxLevel) era where
- ConwayTxBodyRaw ∷ ∀ era. {..} → ConwayTxBodyRaw 'TopTx era
- conwayTotalDepositsTxBody ∷ ∀ (l ∷ TxLevel). PParams ConwayEra → (KeyHash 'StakePool → Bool) → TxBody l ConwayEra → Coin
- conwayProposalsDeposits ∷ ∀ era (l ∷ TxLevel). ConwayEraTxBody era ⇒ PParams era → TxBody l era → Coin
- conwayRedeemerPointer ∷ ∀ era (l ∷ TxLevel). ConwayEraTxBody era ⇒ TxBody l era → ConwayPlutusPurpose AsItem era → StrictMaybe (ConwayPlutusPurpose AsIx era)
- conwayRedeemerPointerInverse ∷ ∀ era (l ∷ TxLevel). ConwayEraTxBody era ⇒ TxBody l era → ConwayPlutusPurpose AsIx era → StrictMaybe (ConwayPlutusPurpose AsIxItem era)
- upgradeBabbageTxOut ∷ (Value era ~ Value (PreviousEra era), EraScript (PreviousEra era), EraScript era) ⇒ BabbageTxOut (PreviousEra era) → BabbageTxOut era
Documentation
class (BabbageEraTxBody era, ConwayEraTxCert era, ConwayEraPParams era, ConwayEraScript era) ⇒ ConwayEraTxBody era where Source #
Methods
currentTreasuryValueTxBodyL ∷ ∀ (l ∷ TxLevel). 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
votingProceduresTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l era) (VotingProcedures era) Source #
Lens for getting and setting VotingProcedures.
proposalProceduresTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l era) (OSet (ProposalProcedure era)) Source #
Lens for getting and setting ProposalProcedures.
treasuryDonationTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l era) Coin Source #
Instances
| ConwayEraTxBody ConwayEra Source # | |
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 # | |
data family TxBody (l ∷ TxLevel) era Source #
The body of a transaction.
Instances
data ConwayTxBodyRaw (l ∷ TxLevel) era where Source #
Constructors
| ConwayTxBodyRaw | |
Fields
| |
Instances
| HasEraTxLevel ConwayTxBodyRaw ConwayEra Source # | |
Defined in Cardano.Ledger.Conway.TxBody Methods toSTxLevel ∷ ∀ (l ∷ TxLevel). ConwayTxBodyRaw l ConwayEra → STxLevel l ConwayEra Source # | |
| Typeable l ⇒ DecCBOR (Annotator (ConwayTxBodyRaw l ConwayEra)) Source # | |
| Typeable l ⇒ DecCBOR (ConwayTxBodyRaw l ConwayEra) Source # | |
| EncCBOR (ConwayTxBodyRaw l ConwayEra) Source # | |
Defined in Cardano.Ledger.Conway.TxBody | |
| NFData (ConwayTxBodyRaw l ConwayEra) Source # | |
Defined in Cardano.Ledger.Conway.TxBody Methods rnf ∷ ConwayTxBodyRaw l ConwayEra → () # | |
| Show (ConwayTxBodyRaw l ConwayEra) Source # | |
Defined in Cardano.Ledger.Conway.TxBody | |
| Eq (ConwayTxBodyRaw l ConwayEra) Source # | |
Defined in Cardano.Ledger.Conway.TxBody Methods (==) ∷ ConwayTxBodyRaw l ConwayEra → ConwayTxBodyRaw l ConwayEra → Bool # (/=) ∷ ConwayTxBodyRaw l ConwayEra → ConwayTxBodyRaw l ConwayEra → Bool # | |
| Typeable l ⇒ NoThunks (ConwayTxBodyRaw l ConwayEra) Source # | |
| type MemoHashIndex (ConwayTxBodyRaw l ConwayEra) Source # | |
Defined in Cardano.Ledger.Conway.TxBody | |
conwayTotalDepositsTxBody ∷ ∀ (l ∷ TxLevel). PParams ConwayEra → (KeyHash 'StakePool → Bool) → TxBody l ConwayEra → 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 ∷ ∀ era (l ∷ TxLevel). ConwayEraTxBody era ⇒ PParams era → TxBody l era → Coin Source #
Total number of deposits in the proposals in TxBody
conwayRedeemerPointer ∷ ∀ era (l ∷ TxLevel). ConwayEraTxBody era ⇒ TxBody l era → ConwayPlutusPurpose AsItem era → StrictMaybe (ConwayPlutusPurpose AsIx era) Source #
conwayRedeemerPointerInverse ∷ ∀ era (l ∷ TxLevel). ConwayEraTxBody era ⇒ TxBody l era → ConwayPlutusPurpose AsIx era → StrictMaybe (ConwayPlutusPurpose AsIxItem era) Source #
upgradeBabbageTxOut ∷ (Value era ~ Value (PreviousEra era), EraScript (PreviousEra era), EraScript era) ⇒ BabbageTxOut (PreviousEra era) → BabbageTxOut era Source #
Orphan instances
| AllegraEraTxBody ConwayEra Source # | |||||
Methods vldtTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l ConwayEra) ValidityInterval Source # | |||||
| AlonzoEraTxBody ConwayEra Source # | |||||
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 # | |||||
| BabbageEraTxBody ConwayEra Source # | |||||
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 # | |||||
| EraTxBody ConwayEra Source # | |||||
Associated Types
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 # | |||||
| MaryEraTxBody ConwayEra Source # | |||||
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 # | |||||
| HasEraTxLevel TxBody ConwayEra Source # | |||||
| Typeable l ⇒ DecCBOR (Annotator (TxBody l ConwayEra)) Source # | |||||
| Typeable l ⇒ ToCBOR (TxBody l ConwayEra) Source # | |||||
| EncCBOR (TxBody l ConwayEra) Source # | Encodes memoized bytes created upon construction. | ||||
| SafeToHash (TxBody l ConwayEra) Source # | |||||
Methods originalBytes ∷ TxBody l ConwayEra → ByteString Source # originalBytesSize ∷ TxBody l ConwayEra → Int Source # makeHashWithExplicitProxys ∷ Proxy i → TxBody l ConwayEra → SafeHash i Source # | |||||
| EqRaw (TxBody l ConwayEra) Source # | |||||
| Memoized (TxBody l ConwayEra) Source # | |||||
Associated Types
| |||||
| NFData (TxBody l ConwayEra) Source # | |||||
| Generic (TxBody l ConwayEra) Source # | |||||
Associated Types
| |||||
| Show (TxBody l ConwayEra) Source # | |||||
| Eq (TxBody l ConwayEra) Source # | |||||
| Typeable l ⇒ NoThunks (TxBody l ConwayEra) Source # | |||||
| HashAnnotated (TxBody l ConwayEra) EraIndependentTxBody Source # | |||||
Methods hashAnnotated ∷ TxBody l ConwayEra → SafeHash EraIndependentTxBody Source # | |||||