cardano-ledger-api-1.13.0.0: Public API for the cardano ledger codebase
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Ledger.Api.Tx.Body

Synopsis

Documentation

Building and inspecting transaction outputs

Working with Timelock scripts and Plutus scripts

newtype Withdrawals Source #

This is called wdrl in the spec.

Instances

Instances details
Generic Withdrawals 
Instance details

Defined in Cardano.Ledger.Address

Associated Types

type Rep WithdrawalsTypeType #

Show Withdrawals 
Instance details

Defined in Cardano.Ledger.Address

DecCBOR Withdrawals 
Instance details

Defined in Cardano.Ledger.Address

EncCBOR Withdrawals 
Instance details

Defined in Cardano.Ledger.Address

Methods

encCBORWithdrawalsEncoding Source #

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

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

NFData Withdrawals 
Instance details

Defined in Cardano.Ledger.Address

Methods

rnfWithdrawals → () #

Eq Withdrawals 
Instance details

Defined in Cardano.Ledger.Address

NoThunks Withdrawals 
Instance details

Defined in Cardano.Ledger.Address

type Rep Withdrawals 
Instance details

Defined in Cardano.Ledger.Address

type Rep Withdrawals = D1 ('MetaData "Withdrawals" "Cardano.Ledger.Address" "cardano-ledger-core-1.19.0.0-inplace" 'True) (C1 ('MetaCons "Withdrawals" 'PrefixI 'True) (S1 ('MetaSel ('Just "unWithdrawals") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map RewardAccount Coin))))

newtype TxAuxDataHash Source #

Instances

Instances details
ToJSON TxAuxDataHash 
Instance details

Defined in Cardano.Ledger.Hashes

Generic TxAuxDataHash 
Instance details

Defined in Cardano.Ledger.Hashes

Associated Types

type Rep TxAuxDataHashTypeType #

Show TxAuxDataHash 
Instance details

Defined in Cardano.Ledger.Hashes

DecCBOR TxAuxDataHash 
Instance details

Defined in Cardano.Ledger.Hashes

EncCBOR TxAuxDataHash 
Instance details

Defined in Cardano.Ledger.Hashes

NFData TxAuxDataHash 
Instance details

Defined in Cardano.Ledger.Hashes

Methods

rnfTxAuxDataHash → () #

Eq TxAuxDataHash 
Instance details

Defined in Cardano.Ledger.Hashes

Ord TxAuxDataHash 
Instance details

Defined in Cardano.Ledger.Hashes

NoThunks TxAuxDataHash 
Instance details

Defined in Cardano.Ledger.Hashes

type Rep TxAuxDataHash 
Instance details

Defined in Cardano.Ledger.Hashes

type Rep TxAuxDataHash = D1 ('MetaData "TxAuxDataHash" "Cardano.Ledger.Hashes" "cardano-ledger-core-1.19.0.0-inplace" 'True) (C1 ('MetaCons "TxAuxDataHash" 'PrefixI 'True) (S1 ('MetaSel ('Just "unTxAuxDataHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SafeHash EraIndependentTxAuxData))))

spendableInputsTxBodyFEraTxBody era ⇒ SimpleGetter (TxBody era) (Set TxIn) Source #

This getter will produce all inputs from the UTxO map that this transaction might spend, which ones will depend on the validity of the transaction itself. Starting in Alonzo this will include collateral inputs.

allInputsTxBodyFEraTxBody era ⇒ SimpleGetter (TxBody era) (Set TxIn) Source #

This getter will produce all inputs from the UTxO map that this transaction is referencing, even if some of them cannot be spent by the transaction. For example starting with Babbage era it will also include reference inputs.

evalBalanceTxBody Source #

Arguments

EraUTxO era 
PParams era

Current protocol parameters

→ (Credential 'StakingMaybe Coin)

Lookup current deposit amount for a registered stake credential delegation. This function must produce valid answer for all of the stake credentials present in any of the DeRegKey delegation certificates in the supplied TxBody. In other words, there is no requirement to know about all of the delegation certificates in the ledger state, just the ones this transaction cares about.

→ (Credential 'DRepRoleMaybe Coin)

Lookup current deposit amount for a registered DRep credential. This function must produce valid answer for all of the DRep credentials present in any of the UnRegDRep certificates in the supplied TxBody. In other words, there is no requirement to know about all of the DRep registrations in the ledger state, just the ones this transaction cares about.

→ (KeyHash 'StakePoolBool)

Check whether a pool with a supplied PoolStakeId is already registered. There is no requirement to answer this question for all stake pool credentials, just for the ones that have the registration certificates included in the supplied TxBody

UTxO era

The UTxO relevant to the transaction.

TxBody era

The transaction being evaluated for balance.

Value era

The difference between what the transaction consumes and what it produces.

Evaluate the difference between the value currently being consumed by a transaction and the total value being produced. This value will be zero for a valid transaction.

In case when full CertState is available then this can be simplified to:

let lookupRefund = lookupDepositDState (certDState dpState)
let isRegPoolId = (`Map.member` psStakePools (certPState dpState))
evalBalanceTxBody pp lookupRefund isRegPoolId utxo txBody

txIdTxBodyEraTxBody era ⇒ TxBody era → TxId Source #

Any Era

class (EraTxBody era, AnyEraTxOut era, AnyEraTxCert era) ⇒ AnyEraTxBody era where Source #

Minimal complete definition

Nothing

Methods

updateTxBodyGSimpleGetter (TxBody era) (Maybe (Maybe (Update era))) Source #

vldtTxBodyGSimpleGetter (TxBody era) ValidityInterval Source #

mintTxBodyGSimpleGetter (TxBody era) (Maybe MultiAsset) Source #

collateralInputsTxBodyGSimpleGetter (TxBody era) (Maybe (Set TxIn)) Source #

scriptIntegrityHashTxBodyGSimpleGetter (TxBody era) (Maybe (Maybe ScriptIntegrityHash)) Source #

networkIdTxBodyGSimpleGetter (TxBody era) (Maybe (Maybe Network)) Source #

sizedOutputsTxBodyGSimpleGetter (TxBody era) (Maybe (StrictSeq (Sized (TxOut era)))) Source #

referenceInputsTxBodyGSimpleGetter (TxBody era) (Maybe (Set TxIn)) Source #

totalCollateralTxBodyGSimpleGetter (TxBody era) (Maybe (Maybe Coin)) Source #

collateralReturnTxBodyGSimpleGetter (TxBody era) (Maybe (Maybe (TxOut era))) Source #

sizedCollateralReturnTxBodyGSimpleGetter (TxBody era) (Maybe (Maybe (Sized (TxOut era)))) Source #

currentTreasuryValueTxBodyGSimpleGetter (TxBody era) (Maybe (Maybe Coin)) Source #

votingProceduresTxBodyGSimpleGetter (TxBody era) (Maybe (VotingProcedures era)) Source #

proposalProceduresTxBodyGSimpleGetter (TxBody era) (Maybe (OSet (ProposalProcedure era))) Source #

treasuryDonationTxBodyGSimpleGetter (TxBody era) (Maybe Coin) Source #

guardsTxBodyGSimpleGetter (TxBody era) (Maybe (OSet (Credential Guard))) Source #

Instances

Instances details
AnyEraTxBody AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Api.Tx.Body

Methods

updateTxBodyGSimpleGetter (TxBody AllegraEra) (Maybe (Maybe (Update AllegraEra))) Source #

vldtTxBodyGSimpleGetter (TxBody AllegraEra) ValidityInterval Source #

mintTxBodyGSimpleGetter (TxBody AllegraEra) (Maybe MultiAsset) Source #

collateralInputsTxBodyGSimpleGetter (TxBody AllegraEra) (Maybe (Set TxIn)) Source #

scriptIntegrityHashTxBodyGSimpleGetter (TxBody AllegraEra) (Maybe (Maybe ScriptIntegrityHash)) Source #

networkIdTxBodyGSimpleGetter (TxBody AllegraEra) (Maybe (Maybe Network)) Source #

sizedOutputsTxBodyGSimpleGetter (TxBody AllegraEra) (Maybe (StrictSeq (Sized (TxOut AllegraEra)))) Source #

referenceInputsTxBodyGSimpleGetter (TxBody AllegraEra) (Maybe (Set TxIn)) Source #

totalCollateralTxBodyGSimpleGetter (TxBody AllegraEra) (Maybe (Maybe Coin)) Source #

collateralReturnTxBodyGSimpleGetter (TxBody AllegraEra) (Maybe (Maybe (TxOut AllegraEra))) Source #

sizedCollateralReturnTxBodyGSimpleGetter (TxBody AllegraEra) (Maybe (Maybe (Sized (TxOut AllegraEra)))) Source #

currentTreasuryValueTxBodyGSimpleGetter (TxBody AllegraEra) (Maybe (Maybe Coin)) Source #

votingProceduresTxBodyGSimpleGetter (TxBody AllegraEra) (Maybe (VotingProcedures AllegraEra)) Source #

proposalProceduresTxBodyGSimpleGetter (TxBody AllegraEra) (Maybe (OSet (ProposalProcedure AllegraEra))) Source #

treasuryDonationTxBodyGSimpleGetter (TxBody AllegraEra) (Maybe Coin) Source #

guardsTxBodyGSimpleGetter (TxBody AllegraEra) (Maybe (OSet (Credential 'Guard))) Source #

AnyEraTxBody AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Api.Tx.Body

Methods

updateTxBodyGSimpleGetter (TxBody AlonzoEra) (Maybe (Maybe (Update AlonzoEra))) Source #

vldtTxBodyGSimpleGetter (TxBody AlonzoEra) ValidityInterval Source #

mintTxBodyGSimpleGetter (TxBody AlonzoEra) (Maybe MultiAsset) Source #

collateralInputsTxBodyGSimpleGetter (TxBody AlonzoEra) (Maybe (Set TxIn)) Source #

scriptIntegrityHashTxBodyGSimpleGetter (TxBody AlonzoEra) (Maybe (Maybe ScriptIntegrityHash)) Source #

networkIdTxBodyGSimpleGetter (TxBody AlonzoEra) (Maybe (Maybe Network)) Source #

sizedOutputsTxBodyGSimpleGetter (TxBody AlonzoEra) (Maybe (StrictSeq (Sized (TxOut AlonzoEra)))) Source #

referenceInputsTxBodyGSimpleGetter (TxBody AlonzoEra) (Maybe (Set TxIn)) Source #

totalCollateralTxBodyGSimpleGetter (TxBody AlonzoEra) (Maybe (Maybe Coin)) Source #

collateralReturnTxBodyGSimpleGetter (TxBody AlonzoEra) (Maybe (Maybe (TxOut AlonzoEra))) Source #

sizedCollateralReturnTxBodyGSimpleGetter (TxBody AlonzoEra) (Maybe (Maybe (Sized (TxOut AlonzoEra)))) Source #

currentTreasuryValueTxBodyGSimpleGetter (TxBody AlonzoEra) (Maybe (Maybe Coin)) Source #

votingProceduresTxBodyGSimpleGetter (TxBody AlonzoEra) (Maybe (VotingProcedures AlonzoEra)) Source #

proposalProceduresTxBodyGSimpleGetter (TxBody AlonzoEra) (Maybe (OSet (ProposalProcedure AlonzoEra))) Source #

treasuryDonationTxBodyGSimpleGetter (TxBody AlonzoEra) (Maybe Coin) Source #

guardsTxBodyGSimpleGetter (TxBody AlonzoEra) (Maybe (OSet (Credential 'Guard))) Source #

AnyEraTxBody BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Api.Tx.Body

Methods

updateTxBodyGSimpleGetter (TxBody BabbageEra) (Maybe (Maybe (Update BabbageEra))) Source #

vldtTxBodyGSimpleGetter (TxBody BabbageEra) ValidityInterval Source #

mintTxBodyGSimpleGetter (TxBody BabbageEra) (Maybe MultiAsset) Source #

collateralInputsTxBodyGSimpleGetter (TxBody BabbageEra) (Maybe (Set TxIn)) Source #

scriptIntegrityHashTxBodyGSimpleGetter (TxBody BabbageEra) (Maybe (Maybe ScriptIntegrityHash)) Source #

networkIdTxBodyGSimpleGetter (TxBody BabbageEra) (Maybe (Maybe Network)) Source #

sizedOutputsTxBodyGSimpleGetter (TxBody BabbageEra) (Maybe (StrictSeq (Sized (TxOut BabbageEra)))) Source #

referenceInputsTxBodyGSimpleGetter (TxBody BabbageEra) (Maybe (Set TxIn)) Source #

totalCollateralTxBodyGSimpleGetter (TxBody BabbageEra) (Maybe (Maybe Coin)) Source #

collateralReturnTxBodyGSimpleGetter (TxBody BabbageEra) (Maybe (Maybe (TxOut BabbageEra))) Source #

sizedCollateralReturnTxBodyGSimpleGetter (TxBody BabbageEra) (Maybe (Maybe (Sized (TxOut BabbageEra)))) Source #

currentTreasuryValueTxBodyGSimpleGetter (TxBody BabbageEra) (Maybe (Maybe Coin)) Source #

votingProceduresTxBodyGSimpleGetter (TxBody BabbageEra) (Maybe (VotingProcedures BabbageEra)) Source #

proposalProceduresTxBodyGSimpleGetter (TxBody BabbageEra) (Maybe (OSet (ProposalProcedure BabbageEra))) Source #

treasuryDonationTxBodyGSimpleGetter (TxBody BabbageEra) (Maybe Coin) Source #

guardsTxBodyGSimpleGetter (TxBody BabbageEra) (Maybe (OSet (Credential 'Guard))) Source #

AnyEraTxBody ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Api.Tx.Body

Methods

updateTxBodyGSimpleGetter (TxBody ConwayEra) (Maybe (Maybe (Update ConwayEra))) Source #

vldtTxBodyGSimpleGetter (TxBody ConwayEra) ValidityInterval Source #

mintTxBodyGSimpleGetter (TxBody ConwayEra) (Maybe MultiAsset) Source #

collateralInputsTxBodyGSimpleGetter (TxBody ConwayEra) (Maybe (Set TxIn)) Source #

scriptIntegrityHashTxBodyGSimpleGetter (TxBody ConwayEra) (Maybe (Maybe ScriptIntegrityHash)) Source #

networkIdTxBodyGSimpleGetter (TxBody ConwayEra) (Maybe (Maybe Network)) Source #

sizedOutputsTxBodyGSimpleGetter (TxBody ConwayEra) (Maybe (StrictSeq (Sized (TxOut ConwayEra)))) Source #

referenceInputsTxBodyGSimpleGetter (TxBody ConwayEra) (Maybe (Set TxIn)) Source #

totalCollateralTxBodyGSimpleGetter (TxBody ConwayEra) (Maybe (Maybe Coin)) Source #

collateralReturnTxBodyGSimpleGetter (TxBody ConwayEra) (Maybe (Maybe (TxOut ConwayEra))) Source #

sizedCollateralReturnTxBodyGSimpleGetter (TxBody ConwayEra) (Maybe (Maybe (Sized (TxOut ConwayEra)))) Source #

currentTreasuryValueTxBodyGSimpleGetter (TxBody ConwayEra) (Maybe (Maybe Coin)) Source #

votingProceduresTxBodyGSimpleGetter (TxBody ConwayEra) (Maybe (VotingProcedures ConwayEra)) Source #

proposalProceduresTxBodyGSimpleGetter (TxBody ConwayEra) (Maybe (OSet (ProposalProcedure ConwayEra))) Source #

treasuryDonationTxBodyGSimpleGetter (TxBody ConwayEra) (Maybe Coin) Source #

guardsTxBodyGSimpleGetter (TxBody ConwayEra) (Maybe (OSet (Credential 'Guard))) Source #

AnyEraTxBody DijkstraEra Source # 
Instance details

Defined in Cardano.Ledger.Api.Tx.Body

Methods

updateTxBodyGSimpleGetter (TxBody DijkstraEra) (Maybe (Maybe (Update DijkstraEra))) Source #

vldtTxBodyGSimpleGetter (TxBody DijkstraEra) ValidityInterval Source #

mintTxBodyGSimpleGetter (TxBody DijkstraEra) (Maybe MultiAsset) Source #

collateralInputsTxBodyGSimpleGetter (TxBody DijkstraEra) (Maybe (Set TxIn)) Source #

scriptIntegrityHashTxBodyGSimpleGetter (TxBody DijkstraEra) (Maybe (Maybe ScriptIntegrityHash)) Source #

networkIdTxBodyGSimpleGetter (TxBody DijkstraEra) (Maybe (Maybe Network)) Source #

sizedOutputsTxBodyGSimpleGetter (TxBody DijkstraEra) (Maybe (StrictSeq (Sized (TxOut DijkstraEra)))) Source #

referenceInputsTxBodyGSimpleGetter (TxBody DijkstraEra) (Maybe (Set TxIn)) Source #

totalCollateralTxBodyGSimpleGetter (TxBody DijkstraEra) (Maybe (Maybe Coin)) Source #

collateralReturnTxBodyGSimpleGetter (TxBody DijkstraEra) (Maybe (Maybe (TxOut DijkstraEra))) Source #

sizedCollateralReturnTxBodyGSimpleGetter (TxBody DijkstraEra) (Maybe (Maybe (Sized (TxOut DijkstraEra)))) Source #

currentTreasuryValueTxBodyGSimpleGetter (TxBody DijkstraEra) (Maybe (Maybe Coin)) Source #

votingProceduresTxBodyGSimpleGetter (TxBody DijkstraEra) (Maybe (VotingProcedures DijkstraEra)) Source #

proposalProceduresTxBodyGSimpleGetter (TxBody DijkstraEra) (Maybe (OSet (ProposalProcedure DijkstraEra))) Source #

treasuryDonationTxBodyGSimpleGetter (TxBody DijkstraEra) (Maybe Coin) Source #

guardsTxBodyGSimpleGetter (TxBody DijkstraEra) (Maybe (OSet (Credential 'Guard))) Source #

AnyEraTxBody MaryEra Source # 
Instance details

Defined in Cardano.Ledger.Api.Tx.Body

AnyEraTxBody ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Api.Tx.Body

Methods

updateTxBodyGSimpleGetter (TxBody ShelleyEra) (Maybe (Maybe (Update ShelleyEra))) Source #

vldtTxBodyGSimpleGetter (TxBody ShelleyEra) ValidityInterval Source #

mintTxBodyGSimpleGetter (TxBody ShelleyEra) (Maybe MultiAsset) Source #

collateralInputsTxBodyGSimpleGetter (TxBody ShelleyEra) (Maybe (Set TxIn)) Source #

scriptIntegrityHashTxBodyGSimpleGetter (TxBody ShelleyEra) (Maybe (Maybe ScriptIntegrityHash)) Source #

networkIdTxBodyGSimpleGetter (TxBody ShelleyEra) (Maybe (Maybe Network)) Source #

sizedOutputsTxBodyGSimpleGetter (TxBody ShelleyEra) (Maybe (StrictSeq (Sized (TxOut ShelleyEra)))) Source #

referenceInputsTxBodyGSimpleGetter (TxBody ShelleyEra) (Maybe (Set TxIn)) Source #

totalCollateralTxBodyGSimpleGetter (TxBody ShelleyEra) (Maybe (Maybe Coin)) Source #

collateralReturnTxBodyGSimpleGetter (TxBody ShelleyEra) (Maybe (Maybe (TxOut ShelleyEra))) Source #

sizedCollateralReturnTxBodyGSimpleGetter (TxBody ShelleyEra) (Maybe (Maybe (Sized (TxOut ShelleyEra)))) Source #

currentTreasuryValueTxBodyGSimpleGetter (TxBody ShelleyEra) (Maybe (Maybe Coin)) Source #

votingProceduresTxBodyGSimpleGetter (TxBody ShelleyEra) (Maybe (VotingProcedures ShelleyEra)) Source #

proposalProceduresTxBodyGSimpleGetter (TxBody ShelleyEra) (Maybe (OSet (ProposalProcedure ShelleyEra))) Source #

treasuryDonationTxBodyGSimpleGetter (TxBody ShelleyEra) (Maybe Coin) Source #

guardsTxBodyGSimpleGetter (TxBody ShelleyEra) (Maybe (OSet (Credential 'Guard))) Source #

Shelley Era

class (ShelleyEraTxCert era, EraTxBody era, AtMostEra "Babbage" era) ⇒ ShelleyEraTxBody era Source #

Minimal complete definition

ttlTxBodyL, updateTxBodyL

Allegra Era

class EraTxBody era ⇒ AllegraEraTxBody era Source #

Minimal complete definition

vldtTxBodyL

Instances

Instances details
AllegraEraTxBody AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

data ValidityInterval Source #

ValidityInterval is a half open interval. Closed on the bottom, open on the top. A SNothing on the bottom is negative infinity, and a SNothing on the top is positive infinity

Instances

Instances details
ToJSON ValidityInterval 
Instance details

Defined in Cardano.Ledger.Allegra.Scripts

Generic ValidityInterval 
Instance details

Defined in Cardano.Ledger.Allegra.Scripts

Associated Types

type Rep ValidityIntervalTypeType #

Show ValidityInterval 
Instance details

Defined in Cardano.Ledger.Allegra.Scripts

DecCBOR ValidityInterval 
Instance details

Defined in Cardano.Ledger.Allegra.Scripts

EncCBOR ValidityInterval 
Instance details

Defined in Cardano.Ledger.Allegra.Scripts

NFData ValidityInterval 
Instance details

Defined in Cardano.Ledger.Allegra.Scripts

Methods

rnfValidityInterval → () #

Eq ValidityInterval 
Instance details

Defined in Cardano.Ledger.Allegra.Scripts

Ord ValidityInterval 
Instance details

Defined in Cardano.Ledger.Allegra.Scripts

NoThunks ValidityInterval 
Instance details

Defined in Cardano.Ledger.Allegra.Scripts

type Rep ValidityInterval 
Instance details

Defined in Cardano.Ledger.Allegra.Scripts

type Rep ValidityInterval = D1 ('MetaData "ValidityInterval" "Cardano.Ledger.Allegra.Scripts" "cardano-ledger-allegra-1.9.0.0-inplace" 'False) (C1 ('MetaCons "ValidityInterval" 'PrefixI 'True) (S1 ('MetaSel ('Just "invalidBefore") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe SlotNo)) :*: S1 ('MetaSel ('Just "invalidHereafter") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe SlotNo))))

invalidBeforeLLens' ValidityInterval (Maybe SlotNo) Source #

Lens to access the invalidBefore field of a ValidityInterval as a 'Maybe SlotNo'.

invalidHereAfterLLens' ValidityInterval (Maybe SlotNo) Source #

Lens to access the invalidHereAfter field of a ValidityInterval as a 'Maybe SlotNo'.

Mary Era

Alonzo Era

redeemerPointerAlonzoEraTxBody era ⇒ TxBody era → PlutusPurpose AsItem era → StrictMaybe (PlutusPurpose AsIx era) Source #

This function is called rdptr in the spec. Given a TxBody and a plutus purpose with an item, we should be able to find the plutus purpose as in index

redeemerPointerInverseAlonzoEraTxBody era ⇒ TxBody era → PlutusPurpose AsIx era → StrictMaybe (PlutusPurpose AsIxItem era) Source #

This is an inverse of redeemerPointer. Given purpose as an index return it as an item.

Babbage Era

Conway Era

votingProceduresTxBodyLConwayEraTxBody era ⇒ Lens' (TxBody era) (VotingProcedures era) Source #

Lens for getting and setting VotingProcedures.

data VotingProcedure era Source #

Constructors

VotingProcedure 

Instances

Instances details
EraPParams era ⇒ ToJSON (VotingProcedure era) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Generic (VotingProcedure era) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Associated Types

type Rep (VotingProcedure era) ∷ TypeType #

Methods

fromVotingProcedure era → Rep (VotingProcedure era) x #

toRep (VotingProcedure era) x → VotingProcedure era #

Show (VotingProcedure era) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

showsPrecIntVotingProcedure era → ShowS #

showVotingProcedure era → String #

showList ∷ [VotingProcedure era] → ShowS #

Era era ⇒ DecCBOR (VotingProcedure era) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Era era ⇒ EncCBOR (VotingProcedure era) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

encCBORVotingProcedure era → Encoding Source #

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

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

EraPParams era ⇒ ToKeyValuePairs (VotingProcedure era) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

toKeyValuePairsKeyValue e kv ⇒ VotingProcedure era → [kv] Source #

NFData (VotingProcedure era) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

rnfVotingProcedure era → () #

Eq (VotingProcedure era) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

(==)VotingProcedure era → VotingProcedure era → Bool #

(/=)VotingProcedure era → VotingProcedure era → Bool #

NoThunks (VotingProcedure era) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

type Rep (VotingProcedure era) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

type Rep (VotingProcedure era) = D1 ('MetaData "VotingProcedure" "Cardano.Ledger.Conway.Governance.Procedures" "cardano-ledger-conway-1.21.0.0-inplace" 'False) (C1 ('MetaCons "VotingProcedure" 'PrefixI 'True) (S1 ('MetaSel ('Just "vProcVote") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Vote) :*: S1 ('MetaSel ('Just "vProcAnchor") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe Anchor))))

newtype VotingProcedures era Source #

Instances

Instances details
Indexable Voter (VotingProcedures era) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

EraPParams era ⇒ ToJSON (VotingProcedures era) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Generic (VotingProcedures era) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Associated Types

type Rep (VotingProcedures era) ∷ TypeType #

Methods

fromVotingProcedures era → Rep (VotingProcedures era) x #

toRep (VotingProcedures era) x → VotingProcedures era #

Show (VotingProcedures era) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Era era ⇒ DecCBOR (VotingProcedures era) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Era era ⇒ EncCBOR (VotingProcedures era) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

encCBORVotingProcedures era → Encoding Source #

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

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

Era era ⇒ NFData (VotingProcedures era) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

rnfVotingProcedures era → () #

Eq (VotingProcedures era) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

(==)VotingProcedures era → VotingProcedures era → Bool #

(/=)VotingProcedures era → VotingProcedures era → Bool #

NoThunks (VotingProcedures era) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

type Rep (VotingProcedures era) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

type Rep (VotingProcedures era) = D1 ('MetaData "VotingProcedures" "Cardano.Ledger.Conway.Governance.Procedures" "cardano-ledger-conway-1.21.0.0-inplace" 'True) (C1 ('MetaCons "VotingProcedures" 'PrefixI 'True) (S1 ('MetaSel ('Just "unVotingProcedures") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map Voter (Map GovActionId (VotingProcedure era))))))

proposalProceduresTxBodyLConwayEraTxBody era ⇒ Lens' (TxBody era) (OSet (ProposalProcedure era)) Source #

Lens for getting and setting ProposalProcedures.

data ProposalProcedure era Source #

Instances

Instances details
EraPParams era ⇒ ToJSON (ProposalProcedure era) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Generic (ProposalProcedure era) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Associated Types

type Rep (ProposalProcedure era) ∷ TypeType #

Methods

fromProposalProcedure era → Rep (ProposalProcedure era) x #

toRep (ProposalProcedure era) x → ProposalProcedure era #

EraPParams era ⇒ Show (ProposalProcedure era) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

EraPParams era ⇒ DecCBOR (ProposalProcedure era) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

EraPParams era ⇒ EncCBOR (ProposalProcedure era) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

encCBORProposalProcedure era → Encoding Source #

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

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

EraPParams era ⇒ ToKeyValuePairs (ProposalProcedure era) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

toKeyValuePairsKeyValue e kv ⇒ ProposalProcedure era → [kv] Source #

EraPParams era ⇒ NFData (ProposalProcedure era) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

rnfProposalProcedure era → () #

EraPParams era ⇒ Eq (ProposalProcedure era) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

EraPParams era ⇒ Ord (ProposalProcedure era) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

EraPParams era ⇒ NoThunks (ProposalProcedure era) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

type TranslationError DijkstraEra ProposalProcedure 
Instance details

Defined in Cardano.Ledger.Dijkstra.Translation

type Rep (ProposalProcedure era) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

type Rep (ProposalProcedure era) = D1 ('MetaData "ProposalProcedure" "Cardano.Ledger.Conway.Governance.Procedures" "cardano-ledger-conway-1.21.0.0-inplace" 'False) (C1 ('MetaCons "ProposalProcedure" 'PrefixI 'True) ((S1 ('MetaSel ('Just "pProcDeposit") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin) :*: S1 ('MetaSel ('Just "pProcReturnAddr") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 RewardAccount)) :*: (S1 ('MetaSel ('Just "pProcGovAction") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (GovAction era)) :*: S1 ('MetaSel ('Just "pProcAnchor") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Anchor))))

currentTreasuryValueTxBodyLConwayEraTxBody era ⇒ 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

Dijstra Era

class ConwayEraTxBody era ⇒ DijkstraEraTxBody era Source #

Minimal complete definition

guardsTxBodyL

Instances

Instances details
DijkstraEraTxBody DijkstraEra 
Instance details

Defined in Cardano.Ledger.Dijkstra.TxBody

Upgrade

binaryUpgradeTxBody ∷ (Era era, ToCBOR (TxBody (PreviousEra era)), DecCBOR (Annotator (TxBody era))) ⇒ TxBody (PreviousEra era) → Except DecoderError (TxBody era) Source #

Translate a tx body through its binary representation from previous to current era.

upgradeTxBody ∷ (EraApi era, EraTxBody (PreviousEra era)) ⇒ TxBody (PreviousEra era) → Either (TxBodyUpgradeError era) (TxBody era) Source #

Upgrade a transaction body from the previous era. Warning - This may not preserve the underlying binary representation. Use binaryUpgradeTxBody instead, if you need to preserve the serialised form.