Generic (Withdrawals c)
Instance details Defined in Cardano.Ledger.Address Associated Types type Rep (Withdrawals c) ∷ Type → Type Source # Methods from ∷ Withdrawals c → Rep (Withdrawals c) x Source # to ∷ Rep (Withdrawals c) x → Withdrawals c Source #
Show (Withdrawals c)
Instance details Defined in Cardano.Ledger.Address Methods showsPrec ∷ Int → Withdrawals c → ShowS Source # show ∷ Withdrawals c → String Source # showList ∷ [Withdrawals c] → ShowS Source #
Crypto c ⇒ DecCBOR (Withdrawals c)
Instance details Defined in Cardano.Ledger.Address Methods decCBOR ∷ Decoder s (Withdrawals c) Source # dropCBOR ∷ Proxy (Withdrawals c) → Decoder s () Source # label ∷ Proxy (Withdrawals c) → Text Source #
Crypto c ⇒ EncCBOR (Withdrawals c)
Instance details Defined in Cardano.Ledger.Address Methods encCBOR ∷ Withdrawals c → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (Withdrawals c) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [Withdrawals c] → Size Source #
NFData (Withdrawals c)
Instance details Defined in Cardano.Ledger.Address Methods rnf ∷ Withdrawals c → () Source #
Eq (Withdrawals c)
Instance details Defined in Cardano.Ledger.Address Methods (==) ∷ Withdrawals c → Withdrawals c → Bool Source # (/=) ∷ Withdrawals c → Withdrawals c → Bool Source #
NoThunks (Withdrawals c)
Instance details Defined in Cardano.Ledger.Address Methods noThunks ∷ Context → Withdrawals c → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Withdrawals c → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Withdrawals c) → String Source #
type Rep (Withdrawals c)
Instance details Defined in Cardano.Ledger.Address type Rep (Withdrawals c) = D1 ('MetaData "Withdrawals" "Cardano.Ledger.Address" "cardano-ledger-core-1.12.0.0-inplace" 'True) (C1 ('MetaCons "Withdrawals" 'PrefixI 'True) (S1 ('MetaSel ('Just "unWithdrawals") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (RewardAcnt c) Coin))))

auxDataHashTxBodyL ∷ EraTxBody era ⇒ Lens' (TxBody era) (StrictMaybe (AuxiliaryDataHash (EraCrypto era))) Source #

data AuxiliaryDataHash c Source #

Instances

Instances details

Crypto c ⇒ ToJSON (AuxiliaryDataHash c)
Instance details Defined in Cardano.Ledger.AuxiliaryData Methods toJSON ∷ AuxiliaryDataHash c → Value Source # toEncoding ∷ AuxiliaryDataHash c → Encoding Source # toJSONList ∷ [AuxiliaryDataHash c] → Value Source # toEncodingList ∷ [AuxiliaryDataHash c] → Encoding Source # omitField ∷ AuxiliaryDataHash c → Bool Source #
Generic (AuxiliaryDataHash c)
Instance details Defined in Cardano.Ledger.AuxiliaryData Associated Types type Rep (AuxiliaryDataHash c) ∷ Type → Type Source # Methods from ∷ AuxiliaryDataHash c → Rep (AuxiliaryDataHash c) x Source # to ∷ Rep (AuxiliaryDataHash c) x → AuxiliaryDataHash c Source #
Show (AuxiliaryDataHash c)
Instance details Defined in Cardano.Ledger.AuxiliaryData Methods showsPrec ∷ Int → AuxiliaryDataHash c → ShowS Source # show ∷ AuxiliaryDataHash c → String Source # showList ∷ [AuxiliaryDataHash c] → ShowS Source #
Crypto c ⇒ DecCBOR (AuxiliaryDataHash c)
Instance details Defined in Cardano.Ledger.AuxiliaryData Methods decCBOR ∷ Decoder s (AuxiliaryDataHash c) Source # dropCBOR ∷ Proxy (AuxiliaryDataHash c) → Decoder s () Source # label ∷ Proxy (AuxiliaryDataHash c) → Text Source #
Crypto c ⇒ EncCBOR (AuxiliaryDataHash c)
Instance details Defined in Cardano.Ledger.AuxiliaryData Methods encCBOR ∷ AuxiliaryDataHash c → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (AuxiliaryDataHash c) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [AuxiliaryDataHash c] → Size Source #
NFData (AuxiliaryDataHash c)
Instance details Defined in Cardano.Ledger.AuxiliaryData Methods rnf ∷ AuxiliaryDataHash c → () Source #
Eq (AuxiliaryDataHash c)
Instance details Defined in Cardano.Ledger.AuxiliaryData Methods (==) ∷ AuxiliaryDataHash c → AuxiliaryDataHash c → Bool Source # (/=) ∷ AuxiliaryDataHash c → AuxiliaryDataHash c → Bool Source #
Ord (AuxiliaryDataHash c)
Instance details Defined in Cardano.Ledger.AuxiliaryData Methods compare ∷ AuxiliaryDataHash c → AuxiliaryDataHash c → Ordering Source # (<) ∷ AuxiliaryDataHash c → AuxiliaryDataHash c → Bool Source # (<=) ∷ AuxiliaryDataHash c → AuxiliaryDataHash c → Bool Source # (>) ∷ AuxiliaryDataHash c → AuxiliaryDataHash c → Bool Source # (>=) ∷ AuxiliaryDataHash c → AuxiliaryDataHash c → Bool Source # max ∷ AuxiliaryDataHash c → AuxiliaryDataHash c → AuxiliaryDataHash c Source # min ∷ AuxiliaryDataHash c → AuxiliaryDataHash c → AuxiliaryDataHash c Source #
NoThunks (AuxiliaryDataHash c)
Instance details Defined in Cardano.Ledger.AuxiliaryData Methods noThunks ∷ Context → AuxiliaryDataHash c → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → AuxiliaryDataHash c → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (AuxiliaryDataHash c) → String Source #
type Rep (AuxiliaryDataHash c)
Instance details Defined in Cardano.Ledger.AuxiliaryData type Rep (AuxiliaryDataHash c) = D1 ('MetaData "AuxiliaryDataHash" "Cardano.Ledger.AuxiliaryData" "cardano-ledger-core-1.12.0.0-inplace" 'True) (C1 ('MetaCons "AuxiliaryDataHash" 'PrefixI 'True) (S1 ('MetaSel ('Just "unsafeAuxiliaryDataHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SafeHash c EraIndependentTxAuxData))))

spendableInputsTxBodyF ∷ EraTxBody era ⇒ SimpleGetter (TxBody era) (Set (TxIn (EraCrypto era))) 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.

allInputsTxBodyF ∷ EraTxBody era ⇒ SimpleGetter (TxBody era) (Set (TxIn (EraCrypto era))) 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 'Staking (EraCrypto era) → Maybe 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 'DRepRole (EraCrypto era) → Maybe 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 'StakePool (EraCrypto era) → Bool)	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` psStakePoolParams (certPState dpState))
evalBalanceTxBody pp lookupRefund isRegPoolId utxo txBody

txIdTxBody ∷ EraTxBody era ⇒ TxBody era → TxId (EraCrypto era) Source #

Shelley Era

class (ShelleyEraTxCert era, EraTxBody era, ProtVerAtMost era 8) ⇒ ShelleyEraTxBody era Source #

Minimal complete definition

ttlTxBodyL, updateTxBodyL

Instances

Instances details

Crypto c ⇒ ShelleyEraTxBody (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods ttlTxBodyL ∷ Lens' (TxBody (ShelleyEra c)) SlotNo Source # updateTxBodyL ∷ Lens' (TxBody (ShelleyEra c)) (StrictMaybe (Update (ShelleyEra c))) Source #

ttlTxBodyL ∷ ShelleyEraTxBody era ⇒ Lens' (TxBody era) SlotNo Source #

updateTxBodyL ∷ ShelleyEraTxBody era ⇒ Lens' (TxBody era) (StrictMaybe (Update era)) Source #

certsTxBodyL ∷ EraTxBody era ⇒ Lens' (TxBody era) (StrictSeq (TxCert era)) Source #

Allegra Era

class EraTxBody era ⇒ AllegraEraTxBody era Source #

Minimal complete definition

vldtTxBodyL

Instances

Instances details

Crypto c ⇒ AllegraEraTxBody (AllegraEra c)
Instance details Defined in Cardano.Ledger.Allegra.TxBody Methods vldtTxBodyL ∷ Lens' (TxBody (AllegraEra c)) ValidityInterval Source #

vldtTxBodyL ∷ AllegraEraTxBody era ⇒ Lens' (TxBody era) ValidityInterval Source #

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

Constructors

ValidityInterval
Fields invalidBefore ∷ !(StrictMaybe SlotNo) invalidHereafter ∷ !(StrictMaybe SlotNo)

Instances

Instances details

ToJSON ValidityInterval
Instance details Defined in Cardano.Ledger.Allegra.Scripts Methods toJSON ∷ ValidityInterval → Value Source # toEncoding ∷ ValidityInterval → Encoding Source # toJSONList ∷ [ValidityInterval] → Value Source # toEncodingList ∷ [ValidityInterval] → Encoding Source # omitField ∷ ValidityInterval → Bool Source #
Generic ValidityInterval
Instance details Defined in Cardano.Ledger.Allegra.Scripts Associated Types type Rep ValidityInterval ∷ Type → Type Source # Methods from ∷ ValidityInterval → Rep ValidityInterval x Source # to ∷ Rep ValidityInterval x → ValidityInterval Source #
Show ValidityInterval
Instance details Defined in Cardano.Ledger.Allegra.Scripts Methods showsPrec ∷ Int → ValidityInterval → ShowS Source # show ∷ ValidityInterval → String Source # showList ∷ [ValidityInterval] → ShowS Source #
DecCBOR ValidityInterval
Instance details Defined in Cardano.Ledger.Allegra.Scripts Methods decCBOR ∷ Decoder s ValidityInterval Source # dropCBOR ∷ Proxy ValidityInterval → Decoder s () Source # label ∷ Proxy ValidityInterval → Text Source #
EncCBOR ValidityInterval
Instance details Defined in Cardano.Ledger.Allegra.Scripts Methods encCBOR ∷ ValidityInterval → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy ValidityInterval → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ValidityInterval] → Size Source #
NFData ValidityInterval
Instance details Defined in Cardano.Ledger.Allegra.Scripts Methods rnf ∷ ValidityInterval → () Source #
Eq ValidityInterval
Instance details Defined in Cardano.Ledger.Allegra.Scripts Methods (==) ∷ ValidityInterval → ValidityInterval → Bool Source # (/=) ∷ ValidityInterval → ValidityInterval → Bool Source #
Ord ValidityInterval
Instance details Defined in Cardano.Ledger.Allegra.Scripts Methods compare ∷ ValidityInterval → ValidityInterval → Ordering Source # (<) ∷ ValidityInterval → ValidityInterval → Bool Source # (<=) ∷ ValidityInterval → ValidityInterval → Bool Source # (>) ∷ ValidityInterval → ValidityInterval → Bool Source # (>=) ∷ ValidityInterval → ValidityInterval → Bool Source # max ∷ ValidityInterval → ValidityInterval → ValidityInterval Source # min ∷ ValidityInterval → ValidityInterval → ValidityInterval Source #
NoThunks ValidityInterval
Instance details Defined in Cardano.Ledger.Allegra.Scripts Methods noThunks ∷ Context → ValidityInterval → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ValidityInterval → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy ValidityInterval → String Source #
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.4.1.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))))

invalidBeforeL ∷ Lens' ValidityInterval (Maybe SlotNo) Source #

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

invalidHereAfterL ∷ Lens' ValidityInterval (Maybe SlotNo) Source #

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

Mary Era

class AllegraEraTxBody era ⇒ MaryEraTxBody era Source #

Minimal complete definition

mintTxBodyL, mintValueTxBodyF, mintedTxBodyF

Instances

Instances details

Crypto c ⇒ MaryEraTxBody (MaryEra c)
Instance details Defined in Cardano.Ledger.Mary.TxBody Methods mintTxBodyL ∷ Lens' (TxBody (MaryEra c)) (MultiAsset (EraCrypto (MaryEra c))) Source # mintValueTxBodyF ∷ SimpleGetter (TxBody (MaryEra c)) (Value (MaryEra c)) Source # mintedTxBodyF ∷ SimpleGetter (TxBody (MaryEra c)) (Set (PolicyID (EraCrypto (MaryEra c)))) Source #

mintTxBodyL ∷ MaryEraTxBody era ⇒ Lens' (TxBody era) (MultiAsset (EraCrypto era)) Source #

mintValueTxBodyF ∷ MaryEraTxBody era ⇒ SimpleGetter (TxBody era) (Value era) Source #

mintedTxBodyF ∷ MaryEraTxBody era ⇒ SimpleGetter (TxBody era) (Set (PolicyID (EraCrypto era))) Source #

Alonzo Era

class (MaryEraTxBody era, AlonzoEraTxOut era) ⇒ AlonzoEraTxBody era Source #

Minimal complete definition

collateralInputsTxBodyL, reqSignerHashesTxBodyL, scriptIntegrityHashTxBodyL, networkIdTxBodyL, redeemerPointer, redeemerPointerInverse

Instances

Instances details

Crypto c ⇒ AlonzoEraTxBody (AlonzoEra c)

Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Methods

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

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

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

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

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

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

collateralInputsTxBodyL ∷ AlonzoEraTxBody era ⇒ Lens' (TxBody era) (Set (TxIn (EraCrypto era))) Source #

reqSignerHashesTxBodyL ∷ AlonzoEraTxBody era ⇒ Lens' (TxBody era) (Set (KeyHash 'Witness (EraCrypto era))) Source #

scriptIntegrityHashTxBodyL ∷ AlonzoEraTxBody era ⇒ Lens' (TxBody era) (StrictMaybe (ScriptIntegrityHash (EraCrypto era))) Source #

networkIdTxBodyL ∷ AlonzoEraTxBody era ⇒ Lens' (TxBody era) (StrictMaybe Network) Source #

redeemerPointer ∷ AlonzoEraTxBody 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

redeemerPointerInverse ∷ AlonzoEraTxBody 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.