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

Cardano.Ledger.Conway.TxBody

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
Crypto c ⇒ ConwayEraTxBody (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxBody

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 #

data ConwayTxBody era where Source #

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

Instances details
Memoized ConwayTxBody Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxBody

Associated Types

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

Methods

getMemoBytes ∷ ConwayTxBody era → MemoBytes (RawType ConwayTxBody) era

wrapMemoBytes ∷ MemoBytes (RawType ConwayTxBody) era → ConwayTxBody era

Generic (ConwayTxBody era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxBody

Associated Types

type Rep (ConwayTxBody era) ∷ Type → Type Source #

Methods

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

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

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

Defined in Cardano.Ledger.Conway.TxBody

Methods

showsPrec ∷ Int → ConwayTxBody era → ShowS Source #

show ∷ ConwayTxBody era → String Source #

showList ∷ [ConwayTxBody era] → ShowS Source #

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

Defined in Cardano.Ledger.Conway.TxBody

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), EraPParams era, ShelleyEraTxCert era, TxCert era ~ ConwayTxCert era) ⇒ DecCBOR (Annotator (ConwayTxBody era)) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxBody

Methods

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

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

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

Era era ⇒ EncCBOR (ConwayTxBody era) Source #

Encodes memoized bytes created upon construction.

Instance details

Defined in Cardano.Ledger.Conway.TxBody

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 #

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

Defined in Cardano.Ledger.Conway.TxBody

Methods

eqRaw ∷ ConwayTxBody era → ConwayTxBody era → Bool Source #

SafeToHash (ConwayTxBody era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxBody

Methods

originalBytes ∷ ConwayTxBody era → ByteString Source #

originalBytesSize ∷ ConwayTxBody era → Int Source #

makeHashWithExplicitProxys ∷ HashAlgorithm (HASH c) ⇒ Proxy c → Proxy index → ConwayTxBody era → SafeHash c index Source #

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

Defined in Cardano.Ledger.Conway.TxBody

Methods

rnf ∷ ConwayTxBody era → () Source #

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

Defined in Cardano.Ledger.Conway.TxBody

Methods

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

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

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

Defined in Cardano.Ledger.Conway.TxBody

Methods

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

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

showTypeOf ∷ Proxy (ConwayTxBody era) → String Source #

c ~ EraCrypto era ⇒ HashAnnotated (ConwayTxBody era) EraIndependentTxBody c Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxBody

Methods

indexProxy ∷ ConwayTxBody era → Proxy EraIndependentTxBody Source #

hashAnnotated ∷ ConwayTxBody era → SafeHash c EraIndependentTxBody Source #

type RawType ConwayTxBody Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxBody

type RawType ConwayTxBody = ConwayTxBodyRaw
type Rep (ConwayTxBody era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxBody

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

data ConwayTxBodyRaw era Source #

Instances

Instances details
Generic (ConwayTxBodyRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxBody

Associated Types

type Rep (ConwayTxBodyRaw era) ∷ Type → Type Source #

Methods

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

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

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

Defined in Cardano.Ledger.Conway.TxBody

Methods

showsPrec ∷ Int → ConwayTxBodyRaw era → ShowS Source #

show ∷ ConwayTxBodyRaw era → String Source #

showList ∷ [ConwayTxBodyRaw era] → ShowS Source #

(DecCBOR (TxOut era), EraPParams era, ShelleyEraTxCert era, TxCert era ~ ConwayTxCert era) ⇒ DecCBOR (Annotator (ConwayTxBodyRaw era)) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxBody

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, DecCBOR (TxOut era), ShelleyEraTxCert era, TxCert era ~ ConwayTxCert era) ⇒ DecCBOR (ConwayTxBodyRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxBody

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

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 (TxOut era)) ⇒ NFData (ConwayTxBodyRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxBody

Methods

rnf ∷ ConwayTxBodyRaw era → () Source #

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

Defined in Cardano.Ledger.Conway.TxBody

Methods

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

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

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

Defined in Cardano.Ledger.Conway.TxBody

Methods

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

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

showTypeOf ∷ Proxy (ConwayTxBodyRaw era) → String Source #

type MemoHashIndex ConwayTxBodyRaw Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxBody

type MemoHashIndex ConwayTxBodyRaw = EraIndependentTxBody
type Rep (ConwayTxBodyRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxBody

type Rep (ConwayTxBodyRaw era) = D1 ('MetaData "ConwayTxBodyRaw" "Cardano.Ledger.Conway.TxBody" "cardano-ledger-conway-1.14.0.0-inplace" 'False) (C1 ('MetaCons "ConwayTxBodyRaw" 'PrefixI 'True) ((((S1 ('MetaSel ('Just "ctbrSpendInputs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (TxIn (EraCrypto era)))) :*: S1 ('MetaSel ('Just "ctbrCollateralInputs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (TxIn (EraCrypto era))))) :*: (S1 ('MetaSel ('Just "ctbrReferenceInputs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (TxIn (EraCrypto era)))) :*: 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 (ConwayTxCert era))) :*: (S1 ('MetaSel ('Just "ctbrWithdrawals") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Withdrawals (EraCrypto era))) :*: 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 (EraCrypto era))))) :*: (S1 ('MetaSel ('Just "ctbrMint") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (MultiAsset (EraCrypto era))) :*: (S1 ('MetaSel ('Just "ctbrScriptIntegrityHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (ScriptIntegrityHash (EraCrypto era)))) :*: S1 ('MetaSel ('Just "ctbrAuxDataHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (AuxiliaryDataHash (EraCrypto era))))))) :*: ((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)))))))

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:

  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

Crypto c ⇒ AllegraEraTxBody (ConwayEra c) Source # 
Instance details

Methods

vldtTxBodyL ∷ Lens' (TxBody (ConwayEra c)) ValidityInterval Source #

Crypto c ⇒ AlonzoEraTxBody (ConwayEra c) Source # 
Instance details

Methods

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

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

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

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

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

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

Crypto c ⇒ BabbageEraTxBody (ConwayEra c) Source # 
Instance details

Methods

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

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

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

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

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

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

Crypto c ⇒ EraTxBody (ConwayEra c) Source # 
Instance details

Associated Types

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

type TxBodyUpgradeError (ConwayEra c) Source #

Methods

mkBasicTxBody ∷ TxBody (ConwayEra c) Source #

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

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

feeTxBodyL ∷ Lens' (TxBody (ConwayEra c)) Coin Source #

withdrawalsTxBodyL ∷ Lens' (TxBody (ConwayEra c)) (Withdrawals (EraCrypto (ConwayEra c))) Source #

auxDataHashTxBodyL ∷ Lens' (TxBody (ConwayEra c)) (StrictMaybe (AuxiliaryDataHash (EraCrypto (ConwayEra c)))) Source #

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

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

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

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

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

getGenesisKeyHashCountTxBody ∷ TxBody (ConwayEra c) → Int Source #

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

Crypto c ⇒ MaryEraTxBody (ConwayEra c) Source # 
Instance details

Methods

mintTxBodyL ∷ Lens' (TxBody (ConwayEra c)) (MultiAsset (EraCrypto (ConwayEra c))) Source #

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

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