cardano-ledger-conway-1.20.0.0: Cardano ledger with an updated on-chain governance system.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Ledger.Conway.TxBody

Synopsis

Documentation

data family TxBody era Source #

The body of a transaction.

Instances

Instances details
Generic (TxBody ConwayEra) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxBody

Associated Types

type Rep (TxBody ConwayEra) ∷ TypeType #

Show (TxBody ConwayEra) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxBody

ToCBOR (TxBody ConwayEra) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxBody

Methods

toCBORTxBody ConwayEraEncoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (TxBody ConwayEra) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [TxBody ConwayEra] → Size Source #

DecCBOR (TxBody ConwayEra) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxBody

EncCBOR (TxBody ConwayEra) Source #

Encodes memoized bytes created upon construction.

Instance details

Defined in Cardano.Ledger.Conway.TxBody

SafeToHash (TxBody ConwayEra) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxBody

EqRaw (TxBody ConwayEra) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxBody

Memoized (TxBody ConwayEra) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxBody

Associated Types

type RawType (TxBody ConwayEra) = (r ∷ Type) Source #

NFData (TxBody ConwayEra) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxBody

Methods

rnfTxBody ConwayEra → () #

Eq (TxBody ConwayEra) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxBody

NoThunks (TxBody ConwayEra) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxBody

HashAnnotated (TxBody ConwayEra) EraIndependentTxBody Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxBody

newtype TxBody AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

newtype TxBody AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

newtype TxBody BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

newtype TxBody ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxBody

newtype TxBody MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

newtype TxBody ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

type Rep (TxBody AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

type Rep (TxBody AllegraEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Allegra.TxBody" "cardano-ledger-allegra-1.8.0.0-inplace" 'True) (C1 ('MetaCons "MkAllegraTxBody" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (AllegraTxBodyRaw () AllegraEra)))))
type Rep (TxBody AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

type Rep (TxBody AlonzoEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Alonzo.TxBody" "cardano-ledger-alonzo-1.14.0.0-inplace" 'True) (C1 ('MetaCons "MkAlonzoTxBody" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes AlonzoTxBodyRaw))))
type Rep (TxBody BabbageEra) 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

type Rep (TxBody ConwayEra) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxBody

type Rep (TxBody ConwayEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Conway.TxBody" "cardano-ledger-conway-1.20.0.0-inplace" 'True) (C1 ('MetaCons "MkConwayTxBody" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes ConwayTxBodyRaw))))
type Rep (TxBody MaryEra) 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

type Rep (TxBody MaryEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Mary.TxBody" "cardano-ledger-mary-1.9.0.0-inplace" 'True) (C1 ('MetaCons "MkMaryTxBody" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes MaryTxBodyRaw))))
type Rep (TxBody ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

type Rep (TxBody ShelleyEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Shelley.TxBody" "cardano-ledger-shelley-1.17.0.0-inplace" 'True) (C1 ('MetaCons "MkShelleyTxBody" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes ShelleyTxBodyRaw))))
type RawType (TxBody AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

type RawType (TxBody AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

type RawType (TxBody BabbageEra) 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

type RawType (TxBody ConwayEra) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxBody

type RawType (TxBody MaryEra) 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

type RawType (TxBody ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

data ConwayTxBodyRaw Source #

Instances

Instances details
Generic ConwayTxBodyRaw Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxBody

Associated Types

type Rep ConwayTxBodyRawTypeType #

Show ConwayTxBodyRaw Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxBody

DecCBOR ConwayTxBodyRaw Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxBody

EncCBOR ConwayTxBodyRaw Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxBody

NFData ConwayTxBodyRaw Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxBody

Methods

rnfConwayTxBodyRaw → () #

Eq ConwayTxBodyRaw Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxBody

NoThunks ConwayTxBodyRaw Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxBody

type Rep ConwayTxBodyRaw Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxBody

type Rep ConwayTxBodyRaw = D1 ('MetaData "ConwayTxBodyRaw" "Cardano.Ledger.Conway.TxBody" "cardano-ledger-conway-1.20.0.0-inplace" 'False) (C1 ('MetaCons "ConwayTxBodyRaw" 'PrefixI 'True) ((((S1 ('MetaSel ('Just "ctbrSpendInputs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set TxIn)) :*: S1 ('MetaSel ('Just "ctbrCollateralInputs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set TxIn))) :*: (S1 ('MetaSel ('Just "ctbrReferenceInputs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set TxIn)) :*: S1 ('MetaSel ('Just "ctbrOutputs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictSeq (Sized (TxOut ConwayEra)))))) :*: ((S1 ('MetaSel ('Just "ctbrCollateralReturn") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (Sized (TxOut ConwayEra)))) :*: S1 ('MetaSel ('Just "ctbrTotalCollateral") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe Coin))) :*: (S1 ('MetaSel ('Just "ctbrCerts") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (OSet (TxCert ConwayEra))) :*: (S1 ('MetaSel ('Just "ctbrWithdrawals") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Withdrawals) :*: S1 ('MetaSel ('Just "ctbrFee") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin))))) :*: (((S1 ('MetaSel ('Just "ctbrVldt") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ValidityInterval) :*: S1 ('MetaSel ('Just "ctbrReqSignerHashes") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (KeyHash 'Witness)))) :*: (S1 ('MetaSel ('Just "ctbrMint") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 MultiAsset) :*: (S1 ('MetaSel ('Just "ctbrScriptIntegrityHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe ScriptIntegrityHash)) :*: S1 ('MetaSel ('Just "ctbrAuxDataHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe TxAuxDataHash))))) :*: ((S1 ('MetaSel ('Just "ctbrNetworkId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe Network)) :*: S1 ('MetaSel ('Just "ctbrVotingProcedures") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VotingProcedures ConwayEra))) :*: (S1 ('MetaSel ('Just "ctbrProposalProcedures") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (OSet (ProposalProcedure ConwayEra))) :*: (S1 ('MetaSel ('Just "ctbrCurrentTreasuryValue") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe Coin)) :*: S1 ('MetaSel ('Just "ctbrTreasuryDonation") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin)))))))
type MemoHashIndex ConwayTxBodyRaw Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxBody

conwayTotalDepositsTxBodyPParams ConwayEra → (KeyHash 'StakePoolBool) → TxBody ConwayEraCoin Source #

Compute all the deposits in a TxBody. This includes deposits for:

  1. registering Stake
  2. registering a StakePool
  3. registering a DRep
  4. submitting a Proposal

This is the contribution of a TxBody towards the total Obligations

conwayProposalsDepositsConwayEraTxBody era ⇒ PParams era → TxBody era → Coin Source #

Total number of deposits in the proposals in TxBody

Orphan instances

AllegraEraTxBody ConwayEra Source # 
Instance details

AlonzoEraTxBody ConwayEra Source # 
Instance details

BabbageEraTxBody ConwayEra Source # 
Instance details

EraTxBody ConwayEra Source # 
Instance details

MaryEraTxBody ConwayEra Source # 
Instance details

Generic (TxBody ConwayEra) Source # 
Instance details

Associated Types

type Rep (TxBody ConwayEra) ∷ TypeType #

Show (TxBody ConwayEra) Source # 
Instance details

ToCBOR (TxBody ConwayEra) Source # 
Instance details

Methods

toCBORTxBody ConwayEraEncoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (TxBody ConwayEra) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [TxBody ConwayEra] → Size Source #

DecCBOR (TxBody ConwayEra) Source # 
Instance details

EncCBOR (TxBody ConwayEra) Source #

Encodes memoized bytes created upon construction.

Instance details

SafeToHash (TxBody ConwayEra) Source # 
Instance details

EqRaw (TxBody ConwayEra) Source # 
Instance details

Memoized (TxBody ConwayEra) Source # 
Instance details

Associated Types

type RawType (TxBody ConwayEra) = (r ∷ Type) Source #

NFData (TxBody ConwayEra) Source # 
Instance details

Methods

rnfTxBody ConwayEra → () #

Eq (TxBody ConwayEra) Source # 
Instance details

NoThunks (TxBody ConwayEra) Source # 
Instance details

HashAnnotated (TxBody ConwayEra) EraIndependentTxBody Source # 
Instance details