Modulecardano-ledger-conway-1.23.0.0
Cardano.Ledger.Conway.TxBody
- 1 type
- 1 class
- 24 values
- Packagecardano-ledger-conway-1.23.0.0
- Exports29
- LicenceApache-2.0
class
class (BabbageEraTxBody era, ConwayEraTxCert era, ConwayEraPParams era, ConwayEraScript era) => ConwayEraTxBody era whereMethods
currentTreasuryValueTxBodyL :: Lens' (TxBody l era) (StrictMaybe Coin)votingProceduresTxBodyL :: Lens' (TxBody l era) (VotingProcedures era)proposalProceduresTxBodyL :: Lens' (TxBody l era) (OSet (ProposalProcedure era))treasuryDonationTxBodyL :: Lens' (TxBody l era) Coin
Instances1ConwayEraTxBody
ConwayEraTxBody ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBody
Constructors
ConwayTxBodyRaw :: !Set TxIn -> !Set TxIn -> !Set TxIn -> !StrictSeq (Sized (TxOut era)) -> !StrictMaybe (Sized (TxOut era)) -> !StrictMaybe Coin -> !OSet (TxCert era) -> !Withdrawals -> !Coin -> !ValidityInterval -> !Set (KeyHash Guard) -> !MultiAsset -> !StrictMaybe ScriptIntegrityHash -> !StrictMaybe TxAuxDataHash -> !StrictMaybe Network -> !VotingProcedures era -> !OSet (ProposalProcedure era) -> !StrictMaybe Coin -> !Coin -> ConwayTxBodyRaw TopTx eractbrSpendInputs :: !Set TxInctbrCollateralInputs :: !Set TxInctbrReferenceInputs :: !Set TxInctbrOutputs :: !StrictSeq (Sized (TxOut era))ctbrCollateralReturn :: !StrictMaybe (Sized (TxOut era))ctbrTotalCollateral :: !StrictMaybe CoinctbrCerts :: !OSet (TxCert era)ctbrWithdrawals :: !WithdrawalsctbrFee :: !CoinctbrVldt :: !ValidityIntervalctbrReqSignerHashes :: !Set (KeyHash Guard)ctbrMint :: !MultiAssetctbrScriptIntegrityHash :: !StrictMaybe ScriptIntegrityHashctbrAuxDataHash :: !StrictMaybe TxAuxDataHashctbrNetworkId :: !StrictMaybe NetworkctbrVotingProcedures :: !VotingProcedures eractbrProposalProcedures :: !OSet (ProposalProcedure era)ctbrCurrentTreasuryValue :: !StrictMaybe CoinctbrTreasuryDonation :: !Coin
Instances9HasEraTxLevel, Eq, Show, NFData, NoThunks, DecCBOR, …
HasEraTxLevel ConwayTxBodyRaw ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBodyTypeable l => DecCBOR (Annotator (ConwayTxBodyRaw l ConwayEra))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBodyEq (ConwayTxBodyRaw l ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBodyShow (ConwayTxBodyRaw l ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBodyNFData (ConwayTxBodyRaw l ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBodyTypeable l => NoThunks (ConwayTxBodyRaw l ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBodyTypeable l => DecCBOR (ConwayTxBodyRaw l ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBodyEncCBOR (ConwayTxBodyRaw l ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBodytype MemoHashIndex (ConwayTxBodyRaw l ConwayEra) = EraIndependentTxBodyDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBody
Instances97HasEraTxLevel, HasOKey, DecCBOR, Eq, Show, Generic, …
HasEraTxLevel TxBody AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphanHasEraTxLevel TxBody AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphanHasEraTxLevel TxBody BabbageEraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxBody · orphanHasEraTxLevel TxBody ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBody · orphanHasEraTxLevel TxBody MaryEraDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.TxBody · orphanHasEraTxLevel TxBody ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphanEraTxBody era => HasOKey TxId (TxBody l era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoreTypeable l => DecCBOR (Annotator (TxBody l AllegraEra))Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphanTypeable l => DecCBOR (Annotator (TxBody l AlonzoEra))Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphanTypeable l => DecCBOR (Annotator (TxBody l BabbageEra))Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxBody · orphanTypeable l => DecCBOR (Annotator (TxBody l ConwayEra))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBody · orphanTypeable l => DecCBOR (Annotator (TxBody l MaryEra))Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.TxBody · orphanTypeable l => DecCBOR (Annotator (TxBody l ShelleyEra))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphanEq (TxBody l AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphanEq (TxBody l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphanEq (TxBody l BabbageEra)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxBody · orphanEq (TxBody l ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBody · orphanEq (TxBody l MaryEra)Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.TxBody · orphanEq (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphanShow (TxBody l AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphanShow (TxBody l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphanShow (TxBody l BabbageEra)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxBody · orphanShow (TxBody l ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBody · orphanShow (TxBody l MaryEra)Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.TxBody · orphanShow (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphanGeneric (TxBody l AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphanGeneric (TxBody l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphanGeneric (TxBody l BabbageEra)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxBody · orphanGeneric (TxBody l ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBody · orphanGeneric (TxBody l MaryEra)Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.TxBody · orphanGeneric (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphanNFData (TxBody l AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphanNFData (TxBody l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphanNFData (TxBody l BabbageEra)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxBody · orphanNFData (TxBody l ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBody · orphanNFData (TxBody l MaryEra)Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.TxBody · orphanNFData (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphanTypeable l => NoThunks (TxBody l AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphanTypeable l => NoThunks (TxBody l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphanTypeable l => NoThunks (TxBody l BabbageEra)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxBody · orphanTypeable l => NoThunks (TxBody l ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBody · orphanTypeable l => NoThunks (TxBody l MaryEra)Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.TxBody · orphanTypeable l => NoThunks (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphanTypeable l => ToCBOR (TxBody l AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphanTypeable l => ToCBOR (TxBody l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphanTypeable l => ToCBOR (TxBody l BabbageEra)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxBody · orphanTypeable l => ToCBOR (TxBody l ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBody · orphanTypeable l => ToCBOR (TxBody l MaryEra)Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.TxBody · orphanTypeable l => ToCBOR (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphanEncCBOR (TxBody l AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphanEncCBOR (TxBody l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphanEncCBOR (TxBody l BabbageEra)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxBody · orphanEncCBOR (TxBody l ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBody · orphanEncCBOR (TxBody l MaryEra)Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.TxBody · orphanEncCBOR (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphanSafeToHash (TxBody l AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphanSafeToHash (TxBody l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphanSafeToHash (TxBody l BabbageEra)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxBody · orphanSafeToHash (TxBody l ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBody · orphanSafeToHash (TxBody l MaryEra)Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.TxBody · orphanSafeToHash (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphanEqRaw (TxBody l AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphanEqRaw (TxBody l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphanEqRaw (TxBody l BabbageEra)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxBody · orphanEqRaw (TxBody l ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBody · orphanEqRaw (TxBody l MaryEra)Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.TxBody · orphanEqRaw (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphanMemoized (TxBody l AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphanMemoized (TxBody l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphanMemoized (TxBody l BabbageEra)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxBody · orphanMemoized (TxBody l ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBody · orphanMemoized (TxBody l MaryEra)Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.TxBody · orphanMemoized (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphanHashAnnotated (TxBody l AllegraEra) EraIndependentTxBodyDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphanHashAnnotated (TxBody l AlonzoEra) EraIndependentTxBodyDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphanHashAnnotated (TxBody l BabbageEra) EraIndependentTxBodyDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxBody · orphanHashAnnotated (TxBody l ConwayEra) EraIndependentTxBodyDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBody · orphanHashAnnotated (TxBody l MaryEra) EraIndependentTxBodyDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.TxBody · orphanHashAnnotated (TxBody l ShelleyEra) EraIndependentTxBodyDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphantype Rep (TxBody l AllegraEra) = D1 ('MetaDataDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphan"TxBody"
"Cardano.Ledger.Allegra.TxBody"
"cardano-ledger-allegra-1.10.1.0-CrQS1ZJSGfrBK4W3kaLbYJ"
'True) (C1 ('MetaCons"MkAllegraTxBody"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (AllegraTxBodyRaw () l AllegraEra)))))type Rep (TxBody l AlonzoEra) = D1 ('MetaDataDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphan"TxBody"
"Cardano.Ledger.Alonzo.TxBody"
"cardano-ledger-alonzo-1.16.0.0-IAMfW3LYKkAJgcpNx6tltO"
'True) (C1 ('MetaCons"MkAlonzoTxBody"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (AlonzoTxBodyRaw l AlonzoEra)))))type Rep (TxBody l BabbageEra) = Rep (MemoBytes (BabbageTxBodyRaw l BabbageEra))Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxBody · orphantype Rep (TxBody l ConwayEra) = D1 ('MetaDataDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBody · orphan"TxBody"
"Cardano.Ledger.Conway.TxBody"
"cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK"
'True) (C1 ('MetaCons"MkConwayTxBody"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (ConwayTxBodyRaw l ConwayEra)))))type Rep (TxBody l MaryEra) = D1 ('MetaDataDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.TxBody · orphan"TxBody"
"Cardano.Ledger.Mary.TxBody"
"cardano-ledger-mary-1.11.0.0-BDX9Jw3i0LOAEIgnwJZDrh"
'True) (C1 ('MetaCons"MkMaryTxBody"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (MaryTxBodyRaw l)))))type Rep (TxBody l ShelleyEra) = D1 ('MetaDataDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan"TxBody"
"Cardano.Ledger.Shelley.TxBody"
"cardano-ledger-shelley-1.19.0.1-FBmICzj0TLXDG7I9pVlx3P"
'True) (C1 ('MetaCons"MkShelleyTxBody"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (ShelleyTxBodyRaw l ShelleyEra)))))data TxBody l AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphandata TxBody l AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphandata TxBody l BabbageEraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxBody · orphandata TxBody l ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBody · orphandata TxBody l MaryEraDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.TxBody · orphandata TxBody l ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphantype RawType (TxBody l AllegraEra) = AllegraTxBodyRaw () l AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphantype RawType (TxBody l AlonzoEra) = AlonzoTxBodyRaw l AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphantype RawType (TxBody l BabbageEra) = BabbageTxBodyRaw l BabbageEraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxBody · orphantype RawType (TxBody l ConwayEra) = ConwayTxBodyRaw l ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBody · orphantype RawType (TxBody l MaryEra) = AllegraTxBodyRaw MultiAsset l MaryEraDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.TxBody · orphantype RawType (TxBody l ShelleyEra) = ShelleyTxBodyRaw l ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
pattern
pattern ConwayTxBody :: Set TxIn -> Set TxIn -> Set TxIn -> StrictSeq (Sized (TxOut ConwayEra)) -> StrictMaybe (Sized (TxOut ConwayEra)) -> StrictMaybe Coin -> OSet (TxCert ConwayEra) -> Withdrawals -> Coin -> ValidityInterval -> Set (KeyHash Guard) -> MultiAsset -> StrictMaybe ScriptIntegrityHash -> StrictMaybe TxAuxDataHash -> StrictMaybe Network -> VotingProcedures ConwayEra -> OSet (ProposalProcedure ConwayEra) -> StrictMaybe Coin -> Coin -> TxBody TopTx ConwayEraOrphan instances
18 instancesEraTxBody ConwayEraAllegraEraTxBody ConwayEraMaryEraTxBody ConwayEraAlonzoEraTxBody ConwayEraBabbageEraTxBody ConwayEraHasEraTxLevel TxBody ConwayEraTypeable l => DecCBOR (Annotator (TxBody l ConwayEra))Eq (TxBody l ConwayEra)Show (TxBody l ConwayEra)Generic (TxBody l ConwayEra)NFData (TxBody l ConwayEra)Typeable l => NoThunks (TxBody l ConwayEra)Typeable l => ToCBOR (TxBody l ConwayEra)EncCBOR (TxBody l ConwayEra)SafeToHash (TxBody l ConwayEra)EqRaw (TxBody l ConwayEra)Memoized (TxBody l ConwayEra)HashAnnotated (TxBody l ConwayEra) EraIndependentTxBody