cardano-ledger-dijkstra-0.2.0.0: Cardano ledger with nested transactions

Safe Haskell	None
Language	Haskell2010

Cardano.Ledger.Dijkstra.TxInfo

Contents

Orphan instances

Documentation

transPlutusPurposeV1V2 ∷ ∀ (l ∷ Language) era proxy. (EraPlutusTxInfo l era, PlutusTxCert l ~ DCert, Inject (ConwayPlutusPurpose AsItem era) (PlutusPurpose AsItem era), Inject (DijkstraPlutusPurpose AsItem era) (PlutusPurpose AsItem era), Inject (ConwayContextError era) (ContextError era)) ⇒ proxy l → ProtVer → DijkstraPlutusPurpose AsItem era → Either (ContextError era) ScriptPurpose Source #

transPlutusPurposeV3 ∷ (ConwayEraPlutusTxInfo 'PlutusV3 era, Inject (ConwayContextError era) (ContextError era), Inject (DijkstraPlutusPurpose AsIxItem era) (PlutusPurpose AsIxItem era)) ⇒ ProtVer → DijkstraPlutusPurpose AsIxItem era → Either (ContextError era) ScriptPurpose Source #

data DijkstraContextError era Source #

Constructors

ConwayContextError !(ConwayContextError era)
PointerPresentInOutput !(NonEmpty (TxOut era))

Instances

Instances details

(ToJSON (TxCert era), ToJSON (PlutusPurpose AsIx era), ToJSON (PlutusPurpose AsItem era), ToJSON (TxOut 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 (TxCert era), DecCBOR (TxOut 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 (TxOut 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 (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.2.0.0-inplace" 'False) (C1 ('MetaCons "ConwayContextError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ConwayContextError era))) :+: C1 ('MetaCons "PointerPresentInOutput" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (NonEmpty (TxOut era)))))

Methods

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

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

(AlonzoEraScript era, EraTxCert era, EraTxOut 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 (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) ⇒ NoThunks (DijkstraContextError era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.TxInfo

Methods

noThunks ∷ Context → DijkstraContextError era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → DijkstraContextError era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (DijkstraContextError era) → String Source #

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.2.0.0-inplace" 'False) (C1 ('MetaCons "ConwayContextError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ConwayContextError era))) :+: C1 ('MetaCons "PointerPresentInOutput" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (NonEmpty (TxOut era)))))

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 (Either (ContextError DijkstraEra) (PlutusTxInfo 'PlutusV1)) (Either (ContextError DijkstraEra) (PlutusTxInfo 'PlutusV2)) (Either (ContextError DijkstraEra) (PlutusTxInfo 'PlutusV3)) (Either (ContextError DijkstraEra) (PlutusTxInfo 'PlutusV4))

Methods

mkSupportedLanguage ∷ Language → Maybe (SupportedLanguage DijkstraEra) Source #

mkTxInfoResult ∷ LedgerTxInfo DijkstraEra → TxInfoResult DijkstraEra Source #

lookupTxInfoResult ∷ ∀ (l ∷ Language). EraPlutusTxInfo l DijkstraEra ⇒ SLanguage l → TxInfoResult DijkstraEra → Either (ContextError DijkstraEra) (PlutusTxInfo l) 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 → Either (ContextError DijkstraEra) (PlutusTxInfo 'PlutusV1) 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 → Either (ContextError DijkstraEra) (PlutusTxInfo 'PlutusV2) 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 → Either (ContextError DijkstraEra) (PlutusTxInfo 'PlutusV3) 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 → Either (ContextError DijkstraEra) (PlutusTxInfo 'PlutusV4) 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 #