cardano-ledger-dijkstra-0.3.0.0: Cardano ledger with nested transactions
Safe HaskellNone
LanguageHaskell2010

Cardano.Ledger.Dijkstra.TxInfo

Documentation

data DijkstraContextError era Source #

Constructors

ConwayContextError (ConwayContextError era) 
SubTxContextError TxId (ContextError era)

Failure translating sub-transactions for Guarding purpose at the top level

PointerPresentInOutput (NonEmpty (TxOut era)) 
UnsupportedScriptInSubTx Language TxId

Attempt to use PlutusV1-V3 in a sub-transaction will result in this failure

DirectDepositsNotSupported DirectDeposits

Attempt to use PlutusV1-V3 with non-empty direct deposits will result in this failure

AccountBalanceIntervalsNotSupported (AccountBalanceIntervals era)

Attempt to use PlutusV1-V3 with non-empty account balance intervals will result in this failure

SubTxsAreNotSupported (NonEmpty TxId)

Attempt to use sub-transactions with PlutusV1-V3 scripts at the top level

Instances

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

Defined in Cardano.Ledger.Dijkstra.TxInfo

Methods

toJSON ∷ DijkstraContextError era → Value Source #

toEncoding ∷ DijkstraContextError era → Encoding Source #

toJSONList ∷ [DijkstraContextError era] → Value Source #

toEncodingList ∷ [DijkstraContextError era] → Encoding Source #

omitField ∷ DijkstraContextError era → Bool Source #

(EraPParams era, DecCBOR (TxOut era), DecCBOR (TxCert era), DecCBOR (ContextError era), DecCBOR (PlutusPurpose AsIx era), DecCBOR (PlutusPurpose AsItem era)) ⇒ DecCBOR (DijkstraContextError era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.TxInfo

Methods

decCBOR ∷ Decoder s (DijkstraContextError era) Source #

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

label ∷ Proxy (DijkstraContextError era) → Text Source #

(EraPParams era, EncCBOR (TxOut era), EncCBOR (TxCert era), EncCBOR (ContextError era), EncCBOR (PlutusPurpose AsIx era), EncCBOR (PlutusPurpose AsItem era)) ⇒ EncCBOR (DijkstraContextError era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.TxInfo

Methods

encCBOR ∷ DijkstraContextError era → Encoding Source #

(AlonzoEraScript era, EraTxCert era, EraTxOut era, NFData (ContextError era)) ⇒ NFData (DijkstraContextError era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.TxInfo

Methods

rnf ∷ DijkstraContextError era → () #

Generic (DijkstraContextError era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.TxInfo

Associated Types

type Rep (DijkstraContextError era) 
Instance details

Defined in Cardano.Ledger.Dijkstra.TxInfo

type Rep (DijkstraContextError era) = D1 ('MetaData "DijkstraContextError" "Cardano.Ledger.Dijkstra.TxInfo" "cardano-ledger-dijkstra-0.3.0.0-inplace" 'False) ((C1 ('MetaCons "ConwayContextError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ConwayContextError era))) :+: (C1 ('MetaCons "SubTxContextError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxId) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ContextError era))) :+: C1 ('MetaCons "PointerPresentInOutput" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (TxOut era)))))) :+: ((C1 ('MetaCons "UnsupportedScriptInSubTx" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Language) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxId)) :+: C1 ('MetaCons "DirectDepositsNotSupported" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DirectDeposits))) :+: (C1 ('MetaCons "AccountBalanceIntervalsNotSupported" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (AccountBalanceIntervals era))) :+: C1 ('MetaCons "SubTxsAreNotSupported" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty TxId))))))

Methods

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

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

(AlonzoEraScript era, EraTxCert era, EraTxOut era, Show (ContextError era)) ⇒ Show (DijkstraContextError era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.TxInfo

Methods

showsPrec ∷ Int → DijkstraContextError era → ShowS #

show ∷ DijkstraContextError era → String #

showList ∷ [DijkstraContextError era] → ShowS #

(AlonzoEraScript era, EraTxCert era, EraTxOut era, Eq (ContextError era)) ⇒ Eq (DijkstraContextError era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.TxInfo

Methods

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

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

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

Defined in Cardano.Ledger.Dijkstra.TxInfo

Methods

inject ∷ BabbageContextError era → DijkstraContextError era Source #

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

Defined in Cardano.Ledger.Dijkstra.TxInfo

Methods

inject ∷ ConwayContextError era → DijkstraContextError era Source #

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

Defined in Cardano.Ledger.Dijkstra.TxInfo

Methods

inject ∷ AlonzoContextError era → DijkstraContextError era Source #

type Rep (DijkstraContextError era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.TxInfo

type Rep (DijkstraContextError era) = D1 ('MetaData "DijkstraContextError" "Cardano.Ledger.Dijkstra.TxInfo" "cardano-ledger-dijkstra-0.3.0.0-inplace" 'False) ((C1 ('MetaCons "ConwayContextError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ConwayContextError era))) :+: (C1 ('MetaCons "SubTxContextError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxId) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ContextError era))) :+: C1 ('MetaCons "PointerPresentInOutput" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (TxOut era)))))) :+: ((C1 ('MetaCons "UnsupportedScriptInSubTx" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Language) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxId)) :+: C1 ('MetaCons "DirectDepositsNotSupported" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DirectDeposits))) :+: (C1 ('MetaCons "AccountBalanceIntervalsNotSupported" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (AccountBalanceIntervals era))) :+: C1 ('MetaCons "SubTxsAreNotSupported" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty TxId))))))

guardDijkstraFeaturesForPlutusV1toV3 ∷ (EraTx era, DijkstraEraTxBody era, Inject (DijkstraContextError era) (ContextError era)) ⇒ Tx 'TopTx era → Either (ContextError era) () Source #

transFailUnsupportedScriptInSubTx ∷ ∀ (l ∷ Language) era. (EraTx era, Inject (DijkstraContextError era) (ContextError era), PlutusLanguage l) ⇒ Tx 'SubTx era → PlutusTxInfoResult l era Source #

Orphan instances

EraPlutusContext DijkstraEra Source # 
Instance details

Associated Types

type ContextError DijkstraEra 
Instance details

Defined in Cardano.Ledger.Dijkstra.TxInfo

type ContextError DijkstraEra = DijkstraContextError DijkstraEra
data TxInfoResult DijkstraEra 
Instance details

Defined in Cardano.Ledger.Dijkstra.TxInfo

data TxInfoResult DijkstraEra = DijkstraTxInfoResult (PlutusTxInfoResult 'PlutusV1 DijkstraEra) (PlutusTxInfoResult 'PlutusV2 DijkstraEra) (PlutusTxInfoResult 'PlutusV3 DijkstraEra) (PlutusTxInfoResult 'PlutusV4 DijkstraEra)

Methods

mkSupportedLanguage ∷ Language → Maybe (SupportedLanguage DijkstraEra) Source #

mkTxInfoResult ∷ LedgerTxInfo DijkstraEra → TxInfoResult DijkstraEra Source #

lookupTxInfoResult ∷ ∀ (l ∷ Language). EraPlutusTxInfo l DijkstraEra ⇒ SLanguage l → TxInfoResult DijkstraEra → PlutusTxInfoResult l DijkstraEra Source #

mkPlutusWithContext ∷ PlutusScript DijkstraEra → ScriptHash → PlutusPurpose AsIxItem DijkstraEra → LedgerTxInfo DijkstraEra → TxInfoResult DijkstraEra → (Data DijkstraEra, ExUnits) → CostModel → Either (ContextError DijkstraEra) PlutusWithContext Source #

EraPlutusTxInfo 'PlutusV1 DijkstraEra Source # 
Instance details

Methods

toPlutusTxCert ∷ proxy 'PlutusV1 → ProtVer → TxCert DijkstraEra → Either (ContextError DijkstraEra) (PlutusTxCert 'PlutusV1) Source #

toPlutusScriptPurpose ∷ proxy 'PlutusV1 → ProtVer → PlutusPurpose AsIxItem DijkstraEra → Either (ContextError DijkstraEra) (PlutusScriptPurpose 'PlutusV1) Source #

toPlutusTxInfo ∷ proxy 'PlutusV1 → LedgerTxInfo DijkstraEra → PlutusTxInfoResult 'PlutusV1 DijkstraEra Source #

toPlutusArgs ∷ proxy 'PlutusV1 → ProtVer → PlutusTxInfo 'PlutusV1 → PlutusPurpose AsIxItem DijkstraEra → Maybe (Data DijkstraEra) → Data DijkstraEra → Either (ContextError DijkstraEra) (PlutusArgs 'PlutusV1) Source #

toPlutusTxInInfo ∷ proxy 'PlutusV1 → UTxO DijkstraEra → TxIn → Either (ContextError DijkstraEra) (PlutusTxInInfo DijkstraEra 'PlutusV1) Source #

EraPlutusTxInfo 'PlutusV2 DijkstraEra Source # 
Instance details

Methods

toPlutusTxCert ∷ proxy 'PlutusV2 → ProtVer → TxCert DijkstraEra → Either (ContextError DijkstraEra) (PlutusTxCert 'PlutusV2) Source #

toPlutusScriptPurpose ∷ proxy 'PlutusV2 → ProtVer → PlutusPurpose AsIxItem DijkstraEra → Either (ContextError DijkstraEra) (PlutusScriptPurpose 'PlutusV2) Source #

toPlutusTxInfo ∷ proxy 'PlutusV2 → LedgerTxInfo DijkstraEra → PlutusTxInfoResult 'PlutusV2 DijkstraEra Source #

toPlutusArgs ∷ proxy 'PlutusV2 → ProtVer → PlutusTxInfo 'PlutusV2 → PlutusPurpose AsIxItem DijkstraEra → Maybe (Data DijkstraEra) → Data DijkstraEra → Either (ContextError DijkstraEra) (PlutusArgs 'PlutusV2) Source #

toPlutusTxInInfo ∷ proxy 'PlutusV2 → UTxO DijkstraEra → TxIn → Either (ContextError DijkstraEra) (PlutusTxInInfo DijkstraEra 'PlutusV2) Source #

EraPlutusTxInfo 'PlutusV3 DijkstraEra Source # 
Instance details

Methods

toPlutusTxCert ∷ proxy 'PlutusV3 → ProtVer → TxCert DijkstraEra → Either (ContextError DijkstraEra) (PlutusTxCert 'PlutusV3) Source #

toPlutusScriptPurpose ∷ proxy 'PlutusV3 → ProtVer → PlutusPurpose AsIxItem DijkstraEra → Either (ContextError DijkstraEra) (PlutusScriptPurpose 'PlutusV3) Source #

toPlutusTxInfo ∷ proxy 'PlutusV3 → LedgerTxInfo DijkstraEra → PlutusTxInfoResult 'PlutusV3 DijkstraEra Source #

toPlutusArgs ∷ proxy 'PlutusV3 → ProtVer → PlutusTxInfo 'PlutusV3 → PlutusPurpose AsIxItem DijkstraEra → Maybe (Data DijkstraEra) → Data DijkstraEra → Either (ContextError DijkstraEra) (PlutusArgs 'PlutusV3) Source #

toPlutusTxInInfo ∷ proxy 'PlutusV3 → UTxO DijkstraEra → TxIn → Either (ContextError DijkstraEra) (PlutusTxInInfo DijkstraEra 'PlutusV3) Source #

EraPlutusTxInfo 'PlutusV4 DijkstraEra Source # 
Instance details

Methods

toPlutusTxCert ∷ proxy 'PlutusV4 → ProtVer → TxCert DijkstraEra → Either (ContextError DijkstraEra) (PlutusTxCert 'PlutusV4) Source #

toPlutusScriptPurpose ∷ proxy 'PlutusV4 → ProtVer → PlutusPurpose AsIxItem DijkstraEra → Either (ContextError DijkstraEra) (PlutusScriptPurpose 'PlutusV4) Source #

toPlutusTxInfo ∷ proxy 'PlutusV4 → LedgerTxInfo DijkstraEra → PlutusTxInfoResult 'PlutusV4 DijkstraEra Source #

toPlutusArgs ∷ proxy 'PlutusV4 → ProtVer → PlutusTxInfo 'PlutusV4 → PlutusPurpose AsIxItem DijkstraEra → Maybe (Data DijkstraEra) → Data DijkstraEra → Either (ContextError DijkstraEra) (PlutusArgs 'PlutusV4) Source #

toPlutusTxInInfo ∷ proxy 'PlutusV4 → UTxO DijkstraEra → TxIn → Either (ContextError DijkstraEra) (PlutusTxInInfo DijkstraEra 'PlutusV4) Source #

ConwayEraPlutusTxInfo 'PlutusV3 DijkstraEra Source # 
Instance details

Methods

toPlutusChangedParameters ∷ proxy 'PlutusV3 → PParamsUpdate DijkstraEra → ChangedParameters Source #

ConwayEraPlutusTxInfo 'PlutusV4 DijkstraEra Source # 
Instance details

Methods

toPlutusChangedParameters ∷ proxy 'PlutusV4 → PParamsUpdate DijkstraEra → ChangedParameters Source #