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

Cardano.Ledger.Dijkstra.TxInfo

Synopsis

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 (NonEmptySet TxOutSource)

From Dijkstra onwards, attempt to use a script when there are stake ref pointers present in any outputs will result in this failure

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

GuardScriptHashesNotSupported (NonEmpty ScriptHash)

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

RequiredTopLevelGuardsNotSupported (NonEmptyMap (Credential 'Guard) (StrictMaybe (Data era)))

Attempt to use PlutusV1-V3 with non-empty required top-level guards will result in this failure

ScriptHashNotFoundForPurpose (PlutusPurpose AsIx era)

Attempt to use PlutusV4 script with an invalid redeemer pointer 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 (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.4.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 (NonEmptySet TxOutSource))) :+: 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 "GuardScriptHashesNotSupported" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty ScriptHash))) :+: (C1 ('MetaCons "RequiredTopLevelGuardsNotSupported" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptyMap (Credential 'Guard) (StrictMaybe (Data era))))) :+: C1 ('MetaCons "ScriptHashNotFoundForPurpose" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PlutusPurpose AsIx era)))))))

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 #

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

Defined in Cardano.Ledger.Dijkstra.TxInfo

Methods

compare ∷ DijkstraContextError era → DijkstraContextError era → Ordering #

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

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

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

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

max ∷ DijkstraContextError era → DijkstraContextError era → DijkstraContextError era #

min ∷ DijkstraContextError era → DijkstraContextError era → DijkstraContextError era #

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.4.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 (NonEmptySet TxOutSource))) :+: 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 "GuardScriptHashesNotSupported" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty ScriptHash))) :+: (C1 ('MetaCons "RequiredTopLevelGuardsNotSupported" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptyMap (Credential 'Guard) (StrictMaybe (Data era))))) :+: C1 ('MetaCons "ScriptHashNotFoundForPurpose" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PlutusPurpose AsIx era)))))))

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 #

transValidityInterval ∷ Inject (AlonzoContextError era) (ContextError era) ⇒ Proxy era → EpochInfo (Either Text) → SystemStart → ValidityInterval → Either (ContextError era) POSIXTimeRange Source #

Translate a validity interval to PV4.POSIXTimeRange

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 #

mkSupportedPlutusRunnable ∷ Version → PlutusScript DijkstraEra → SupportedPlutusRunnable DijkstraEra Source #

mkTxInfoResult ∷ LedgerTxInfo DijkstraEra → TxInfoResult DijkstraEra Source #

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

EraPlutusTxInfo 'PlutusV1 DijkstraEra Source # 
Instance details

Methods

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

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

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

toPlutusArgs ∷ proxy 'PlutusV1 → LedgerTxInfo DijkstraEra → PlutusTxInfo 'PlutusV1 → PlutusPurpose AsIxItem 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 → LedgerTxInfo DijkstraEra → PlutusPurpose AsIxItem DijkstraEra → Either (ContextError DijkstraEra) (PlutusScriptPurpose 'PlutusV2) Source #

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

toPlutusArgs ∷ proxy 'PlutusV2 → LedgerTxInfo DijkstraEra → PlutusTxInfo 'PlutusV2 → PlutusPurpose AsIxItem 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 → LedgerTxInfo DijkstraEra → PlutusPurpose AsIxItem DijkstraEra → Either (ContextError DijkstraEra) (PlutusScriptPurpose 'PlutusV3) Source #

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

toPlutusArgs ∷ proxy 'PlutusV3 → LedgerTxInfo DijkstraEra → PlutusTxInfo 'PlutusV3 → PlutusPurpose AsIxItem 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 → LedgerTxInfo DijkstraEra → PlutusPurpose AsIxItem DijkstraEra → Either (ContextError DijkstraEra) (PlutusScriptPurpose 'PlutusV4) Source #

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

toPlutusArgs ∷ proxy 'PlutusV4 → LedgerTxInfo DijkstraEra → PlutusTxInfo 'PlutusV4 → PlutusPurpose AsIxItem 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 #