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 will result in this failure

GuardScriptHashesNotSupported (NonEmpty ScriptHash)

Attempt to use PlutusV1-V3 with script hashes in guards will result in this failure

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))) :+: C1 ('MetaCons "GuardScriptHashesNotSupported" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty ScriptHash))))))

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))) :+: C1 ('MetaCons "GuardScriptHashesNotSupported" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty ScriptHash))))))

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 #