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

Cardano.Ledger.Conway.TxInfo

Synopsis

Documentation

data ConwayContextError era Source #

Instances

Instances details
(ToJSON (TxCert era), ToJSON (PlutusPurpose AsIx era), ToJSON (PlutusPurpose AsItem era), EraPParams era) ⇒ ToJSON (ConwayContextError era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxInfo

Generic (ConwayContextError era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxInfo

Associated Types

type Rep (ConwayContextError era) ∷ TypeType Source #

(Show (BabbageContextError era), Show (TxCert era), Show (PlutusPurpose AsItem era), Show (PlutusPurpose AsIx era), EraPParams era) ⇒ Show (ConwayContextError era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxInfo

(EraPParams era, DecCBOR (TxCert era), DecCBOR (PlutusPurpose AsIx era), DecCBOR (PlutusPurpose AsItem era)) ⇒ DecCBOR (ConwayContextError era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxInfo

(EraPParams era, EncCBOR (TxCert era), EncCBOR (PlutusPurpose AsIx era), EncCBOR (PlutusPurpose AsItem era)) ⇒ EncCBOR (ConwayContextError era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxInfo

Methods

encCBORConwayContextError era → Encoding Source #

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

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

(EraPParams era, NFData (TxCert era), NFData (PlutusPurpose AsIx era), NFData (PlutusPurpose AsItem era)) ⇒ NFData (ConwayContextError era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxInfo

Methods

rnfConwayContextError era → () Source #

(Eq (BabbageContextError era), Eq (TxCert era), Eq (PlutusPurpose AsItem era), Eq (PlutusPurpose AsIx era), EraPParams era) ⇒ Eq (ConwayContextError era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxInfo

(NoThunks (TxCert era), NoThunks (PlutusPurpose AsIx era), NoThunks (PlutusPurpose AsItem era), EraPParams era) ⇒ NoThunks (ConwayContextError era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxInfo

Inject (AlonzoContextError era) (ConwayContextError era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxInfo

Inject (BabbageContextError era) (ConwayContextError era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxInfo

type Rep (ConwayContextError era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxInfo

type Rep (ConwayContextError era) = D1 ('MetaData "ConwayContextError" "Cardano.Ledger.Conway.TxInfo" "cardano-ledger-conway-1.18.0.0-inplace" 'False) ((C1 ('MetaCons "BabbageContextError" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (BabbageContextError era))) :+: (C1 ('MetaCons "CertificateNotSupported" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TxCert era))) :+: C1 ('MetaCons "PlutusPurposeNotSupported" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PlutusPurpose AsItem era))))) :+: ((C1 ('MetaCons "CurrentTreasuryFieldNotSupported" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin)) :+: C1 ('MetaCons "VotingProceduresFieldNotSupported" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VotingProcedures era)))) :+: (C1 ('MetaCons "ProposalProceduresFieldNotSupported" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (OSet (ProposalProcedure era)))) :+: C1 ('MetaCons "TreasuryDonationFieldNotSupported" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin)))))

transTxBodyWithdrawalsEraTxBody era ⇒ TxBody era → Map Credential Lovelace Source #

Translate all Withdrawals from within a TxBody

transTxCertConwayEraTxCert era ⇒ ProtVerTxCert era → TxCert Source #

In version 9, a bug in RegTxCert and UnRegTxCert pattern definitions was causing the deposit in RegDepositTxCert and UnRegDepositTxCert to be omitted. We need to keep this behavior for version 9, so, now that the bug in the patterns has been fixed, we are explicitly omitting the deposit in these cases.

transScriptPurpose ∷ (ConwayEraPlutusTxInfo l era, PlutusTxCert l ~ TxCert) ⇒ proxy l → ProtVerConwayPlutusPurpose AsIxItem era → Either (ContextError era) ScriptPurpose Source #

In Conway we have Anchors in some certificates and all proposals. However, because we do not translate anchors to plutus context, it is not always possible to deduce which item the script purpose is responsible for, without also including the index for that item. For this reason starting with PlutusV3, besides the item, Certifying and Proposing also have an index. Moreover, other script purposes rely on Ledger Ord instances for types that dictate the order, so it might not be a good idea to pass that information to Plutus for those purposes.

transMap ∷ (t1 → k) → (t2 → v) → Map t1 t2 → Map k v Source #

transTxInInfoV1 ∷ ∀ era. (Inject (BabbageContextError era) (ContextError era), Value era ~ MaryValue (EraCrypto era), BabbageEraTxOut era) ⇒ UTxO era → TxIn (EraCrypto era) → Either (ContextError era) TxInInfo Source #

Given a TxIn, look it up in the UTxO. If it exists, translate it to the V1 context

transTxOutV1 ∷ ∀ era. (Inject (BabbageContextError era) (ContextError era), Value era ~ MaryValue (EraCrypto era), BabbageEraTxOut era) ⇒ TxOutSource (EraCrypto era) → TxOut era → Either (ContextError era) TxOut Source #

Given a TxOut, translate it for V2 and return (Right transalation). If the transaction contains any Byron addresses or Babbage features, return Left.

Orphan instances

Crypto c ⇒ EraPlutusTxInfo 'PlutusV1 (ConwayEra c) Source # 
Instance details

Crypto c ⇒ EraPlutusTxInfo 'PlutusV2 (ConwayEra c) Source # 
Instance details

Crypto c ⇒ EraPlutusTxInfo 'PlutusV3 (ConwayEra c) Source # 
Instance details

Crypto c ⇒ ConwayEraPlutusTxInfo 'PlutusV3 (ConwayEra c) Source # 
Instance details

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

Associated Types

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

Crypto c ⇒ ToPlutusData (PParamsUpdate (ConwayEra c)) Source # 
Instance details