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

Cardano.Ledger.Conway.TxBody.Internal

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

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.

treasuryDonationTxBodyL ∷ Lens' (TxBody era) Coin Source #

Instances

Instances details
ConwayEraTxBody ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxBody.Internal

Methods

currentTreasuryValueTxBodyL ∷ Lens' (TxBody ConwayEra) (StrictMaybe Coin) Source #

votingProceduresTxBodyL ∷ Lens' (TxBody ConwayEra) (VotingProcedures ConwayEra) Source #

proposalProceduresTxBodyL ∷ Lens' (TxBody ConwayEra) (OSet (ProposalProcedure ConwayEra)) Source #

treasuryDonationTxBodyL ∷ Lens' (TxBody ConwayEra) Coin Source #

newtype ConwayTxBody era Source #

Constructors

TxBodyConstr (MemoBytes (ConwayTxBodyRaw era)) 

Bundled Patterns

pattern ConwayTxBody ∷ ∀ era. ConwayEraTxBody era ⇒ Set TxIn → Set TxIn → Set TxIn → StrictSeq (Sized (TxOut era)) → StrictMaybe (Sized (TxOut era)) → StrictMaybe Coin → OSet (TxCert 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

Instances details
Generic (ConwayTxBody era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxBody.Internal

Associated Types

type Rep (ConwayTxBody era) ∷ Type → Type #

Methods

from ∷ ConwayTxBody era → Rep (ConwayTxBody era) x #

to ∷ Rep (ConwayTxBody era) x → ConwayTxBody era #

(EraPParams era, Show (TxOut era), Show (TxCert era)) ⇒ Show (ConwayTxBody era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxBody.Internal

Methods

showsPrec ∷ Int → ConwayTxBody era → ShowS #

show ∷ ConwayTxBody era → String #

showList ∷ [ConwayTxBody era] → ShowS #

Typeable era ⇒ ToCBOR (ConwayTxBody era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxBody.Internal

Methods

toCBOR ∷ ConwayTxBody era → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (ConwayTxBody era) → Size Source #

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

(DecCBOR (TxOut era), EraTxCert era, EraPParams era) ⇒ DecCBOR (Annotator (ConwayTxBody era)) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxBody.Internal

Methods

decCBOR ∷ Decoder s (Annotator (ConwayTxBody era)) Source #

dropCBOR ∷ Proxy (Annotator (ConwayTxBody era)) → Decoder s () Source #

label ∷ Proxy (Annotator (ConwayTxBody era)) → Text Source #

(EraPParams era, EraTxCert era, DecCBOR (TxOut era)) ⇒ DecCBOR (ConwayTxBody era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxBody.Internal

Methods

decCBOR ∷ Decoder s (ConwayTxBody era) Source #

dropCBOR ∷ Proxy (ConwayTxBody era) → Decoder s () Source #

label ∷ Proxy (ConwayTxBody era) → Text Source #

Era era ⇒ EncCBOR (ConwayTxBody era) Source #

Encodes memoized bytes created upon construction.

Instance details

Defined in Cardano.Ledger.Conway.TxBody.Internal

Methods

encCBOR ∷ ConwayTxBody era → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (ConwayTxBody era) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ConwayTxBody era] → Size Source #

SafeToHash (ConwayTxBody era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxBody.Internal

Methods

originalBytes ∷ ConwayTxBody era → ByteString Source #

originalBytesSize ∷ ConwayTxBody era → Int Source #

makeHashWithExplicitProxys ∷ Proxy i → ConwayTxBody era → SafeHash i Source #

(EraPParams era, Eq (TxOut era), Eq (TxCert era)) ⇒ EqRaw (ConwayTxBody era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxBody.Internal

Methods

eqRaw ∷ ConwayTxBody era → ConwayTxBody era → Bool Source #

Memoized (ConwayTxBody era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxBody.Internal

Associated Types

type RawType (ConwayTxBody era) = (r ∷ Type) Source #

Methods

getMemoBytes ∷ ConwayTxBody era → MemoBytes (RawType (ConwayTxBody era))

wrapMemoBytes ∷ MemoBytes (RawType (ConwayTxBody era)) → ConwayTxBody era

(EraPParams era, NFData (TxOut era), NFData (TxCert era)) ⇒ NFData (ConwayTxBody era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxBody.Internal

Methods

rnf ∷ ConwayTxBody era → () #

(EraPParams era, Eq (TxOut era), Eq (TxCert era)) ⇒ Eq (ConwayTxBody era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxBody.Internal

Methods

(==) ∷ ConwayTxBody era → ConwayTxBody era → Bool #

(/=) ∷ ConwayTxBody era → ConwayTxBody era → Bool #

(EraPParams era, NoThunks (TxOut era), NoThunks (TxCert era)) ⇒ NoThunks (ConwayTxBody era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxBody.Internal

Methods

noThunks ∷ Context → ConwayTxBody era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → ConwayTxBody era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (ConwayTxBody era) → String Source #

HashAnnotated (ConwayTxBody era) EraIndependentTxBody Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxBody.Internal

Methods

hashAnnotated ∷ ConwayTxBody era → SafeHash EraIndependentTxBody Source #

type Rep (ConwayTxBody era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxBody.Internal

type Rep (ConwayTxBody era) = D1 ('MetaData "ConwayTxBody" "Cardano.Ledger.Conway.TxBody.Internal" "cardano-ledger-conway-1.19.0.0-inplace" 'True) (C1 ('MetaCons "TxBodyConstr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (ConwayTxBodyRaw era)))))
type RawType (ConwayTxBody era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxBody.Internal

type RawType (ConwayTxBody era) = ConwayTxBodyRaw era

data ConwayTxBodyRaw era Source #

Constructors

ConwayTxBodyRaw 

Fields

Instances

Instances details
Generic (ConwayTxBodyRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxBody.Internal

Associated Types

type Rep (ConwayTxBodyRaw era) ∷ Type → Type #

Methods

from ∷ ConwayTxBodyRaw era → Rep (ConwayTxBodyRaw era) x #

to ∷ Rep (ConwayTxBodyRaw era) x → ConwayTxBodyRaw era #

(EraPParams era, Show (TxCert era), Show (TxOut era)) ⇒ Show (ConwayTxBodyRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxBody.Internal

Methods

showsPrec ∷ Int → ConwayTxBodyRaw era → ShowS #

show ∷ ConwayTxBodyRaw era → String #

showList ∷ [ConwayTxBodyRaw era] → ShowS #

(DecCBOR (TxOut era), EraTxCert era, EraPParams era) ⇒ DecCBOR (Annotator (ConwayTxBodyRaw era)) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxBody.Internal

Methods

decCBOR ∷ Decoder s (Annotator (ConwayTxBodyRaw era)) Source #

dropCBOR ∷ Proxy (Annotator (ConwayTxBodyRaw era)) → Decoder s () Source #

label ∷ Proxy (Annotator (ConwayTxBodyRaw era)) → Text Source #

(EraPParams era, EraTxCert era, DecCBOR (TxOut era)) ⇒ DecCBOR (ConwayTxBodyRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxBody.Internal

Methods

decCBOR ∷ Decoder s (ConwayTxBodyRaw era) Source #

dropCBOR ∷ Proxy (ConwayTxBodyRaw era) → Decoder s () Source #

label ∷ Proxy (ConwayTxBodyRaw era) → Text Source #

ConwayEraTxBody era ⇒ EncCBOR (ConwayTxBodyRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxBody.Internal

Methods

encCBOR ∷ ConwayTxBodyRaw era → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (ConwayTxBodyRaw era) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ConwayTxBodyRaw era] → Size Source #

(EraPParams era, NFData (TxCert era), NFData (TxOut era)) ⇒ NFData (ConwayTxBodyRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxBody.Internal

Methods

rnf ∷ ConwayTxBodyRaw era → () #

(EraPParams era, Eq (TxCert era), Eq (TxOut era)) ⇒ Eq (ConwayTxBodyRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxBody.Internal

Methods

(==) ∷ ConwayTxBodyRaw era → ConwayTxBodyRaw era → Bool #

(/=) ∷ ConwayTxBodyRaw era → ConwayTxBodyRaw era → Bool #

(EraPParams era, NoThunks (TxCert era), NoThunks (TxOut era)) ⇒ NoThunks (ConwayTxBodyRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxBody.Internal

Methods

noThunks ∷ Context → ConwayTxBodyRaw era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → ConwayTxBodyRaw era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (ConwayTxBodyRaw era) → String Source #

type Rep (ConwayTxBodyRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxBody.Internal

type Rep (ConwayTxBodyRaw era) = D1 ('MetaData "ConwayTxBodyRaw" "Cardano.Ledger.Conway.TxBody.Internal" "cardano-ledger-conway-1.19.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 era)))))) :*: ((S1 ('MetaSel ('Just "ctbrCollateralReturn") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (Sized (TxOut era)))) :*: S1 ('MetaSel ('Just "ctbrTotalCollateral") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe Coin))) :*: (S1 ('MetaSel ('Just "ctbrCerts") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (OSet (TxCert era))) :*: (S1 ('MetaSel ('Just "ctbrWithdrawals") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Withdrawals) :*: S1 ('MetaSel ('Just "ctbrTxfee") '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 "ctbrTxNetworkId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe Network)) :*: S1 ('MetaSel ('Just "ctbrVotingProcedures") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VotingProcedures era))) :*: (S1 ('MetaSel ('Just "ctbrProposalProcedures") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (OSet (ProposalProcedure era))) :*: (S1 ('MetaSel ('Just "ctbrCurrentTreasuryValue") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe Coin)) :*: S1 ('MetaSel ('Just "ctbrTreasuryDonation") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin)))))))
type MemoHashIndex (ConwayTxBodyRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxBody.Internal

type MemoHashIndex (ConwayTxBodyRaw era) = EraIndependentTxBody

conwayTotalDepositsTxBody ∷ ConwayEraTxBody era ⇒ PParams era → (KeyHash 'StakePool → Bool) → TxBody era → Coin 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

conwayProposalsDeposits ∷ ConwayEraTxBody era ⇒ PParams era → TxBody era → Coin Source #

Total number of deposits in the proposals in TxBody

Orphan instances

AllegraEraTxBody ConwayEra Source # 
Instance details

Methods

vldtTxBodyL ∷ Lens' (TxBody ConwayEra) ValidityInterval Source #

AlonzoEraTxBody ConwayEra Source # 
Instance details

Methods

collateralInputsTxBodyL ∷ Lens' (TxBody ConwayEra) (Set TxIn) Source #

reqSignerHashesTxBodyL ∷ Lens' (TxBody ConwayEra) (Set (KeyHash 'Witness)) Source #

scriptIntegrityHashTxBodyL ∷ Lens' (TxBody ConwayEra) (StrictMaybe ScriptIntegrityHash) Source #

networkIdTxBodyL ∷ Lens' (TxBody ConwayEra) (StrictMaybe Network) Source #

redeemerPointer ∷ TxBody ConwayEra → PlutusPurpose AsItem ConwayEra → StrictMaybe (PlutusPurpose AsIx ConwayEra) Source #

redeemerPointerInverse ∷ TxBody ConwayEra → PlutusPurpose AsIx ConwayEra → StrictMaybe (PlutusPurpose AsIxItem ConwayEra) Source #

BabbageEraTxBody ConwayEra Source # 
Instance details

Methods

sizedOutputsTxBodyL ∷ Lens' (TxBody ConwayEra) (StrictSeq (Sized (TxOut ConwayEra))) Source #

referenceInputsTxBodyL ∷ Lens' (TxBody ConwayEra) (Set TxIn) Source #

totalCollateralTxBodyL ∷ Lens' (TxBody ConwayEra) (StrictMaybe Coin) Source #

collateralReturnTxBodyL ∷ Lens' (TxBody ConwayEra) (StrictMaybe (TxOut ConwayEra)) Source #

sizedCollateralReturnTxBodyL ∷ Lens' (TxBody ConwayEra) (StrictMaybe (Sized (TxOut ConwayEra))) Source #

allSizedOutputsTxBodyF ∷ SimpleGetter (TxBody ConwayEra) (StrictSeq (Sized (TxOut ConwayEra))) Source #

EraTxBody ConwayEra Source # 
Instance details

Associated Types

type TxBody ConwayEra = (r ∷ Type) Source #

type TxBodyUpgradeError ConwayEra Source #

Methods

mkBasicTxBody ∷ TxBody ConwayEra Source #

inputsTxBodyL ∷ Lens' (TxBody ConwayEra) (Set TxIn) Source #

outputsTxBodyL ∷ Lens' (TxBody ConwayEra) (StrictSeq (TxOut ConwayEra)) Source #

feeTxBodyL ∷ Lens' (TxBody ConwayEra) Coin Source #

withdrawalsTxBodyL ∷ Lens' (TxBody ConwayEra) Withdrawals Source #

auxDataHashTxBodyL ∷ Lens' (TxBody ConwayEra) (StrictMaybe TxAuxDataHash) Source #

spendableInputsTxBodyF ∷ SimpleGetter (TxBody ConwayEra) (Set TxIn) Source #

allInputsTxBodyF ∷ SimpleGetter (TxBody ConwayEra) (Set TxIn) Source #

certsTxBodyL ∷ Lens' (TxBody ConwayEra) (StrictSeq (TxCert ConwayEra)) Source #

getTotalDepositsTxBody ∷ PParams ConwayEra → (KeyHash 'StakePool → Bool) → TxBody ConwayEra → Coin Source #

getTotalRefundsTxBody ∷ PParams ConwayEra → (Credential 'Staking → Maybe Coin) → (Credential 'DRepRole → Maybe Coin) → TxBody ConwayEra → Coin Source #

getGenesisKeyHashCountTxBody ∷ TxBody ConwayEra → Int Source #

upgradeTxBody ∷ TxBody (PreviousEra ConwayEra) → Either (TxBodyUpgradeError ConwayEra) (TxBody ConwayEra) Source #

MaryEraTxBody ConwayEra Source # 
Instance details

Methods

mintTxBodyL ∷ Lens' (TxBody ConwayEra) MultiAsset Source #

mintValueTxBodyF ∷ SimpleGetter (TxBody ConwayEra) (Value ConwayEra) Source #

mintedTxBodyF ∷ SimpleGetter (TxBody ConwayEra) (Set PolicyID) Source #