| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Cardano.Ledger.Babbage.TxInfo
Contents
Synopsis
- data BabbageContextError era
- transReferenceScript ∷ EraScript era ⇒ StrictMaybe (Script era) → Maybe ScriptHash
- transTxOutV1 ∷ (Inject (BabbageContextError era) (ContextError era), Value era ~ MaryValue, BabbageEraTxOut era) ⇒ TxOutSource → TxOut era → Either (ContextError era) TxOut
- transTxOutV2 ∷ (Inject (BabbageContextError era) (ContextError era), Value era ~ MaryValue, BabbageEraTxOut era) ⇒ TxOutSource → TxOut era → Either (ContextError era) TxOut
- transTxInInfoV1 ∷ (Inject (BabbageContextError era) (ContextError era), Value era ~ MaryValue, BabbageEraTxOut era) ⇒ UTxO era → TxIn → Either (ContextError era) TxInInfo
- transTxInInfoV2 ∷ (Inject (BabbageContextError era) (ContextError era), Value era ~ MaryValue, BabbageEraTxOut era) ⇒ UTxO era → TxIn → Either (ContextError era) TxInInfo
- transTxRedeemers ∷ ∀ (l ∷ Language) era proxy (t ∷ TxLevel). (EraPlutusTxInfo l era, AlonzoEraTxBody era, EraTx era, AlonzoEraTxWits era, Inject (BabbageContextError era) (ContextError era)) ⇒ proxy l → ProtVer → Tx t era → Either (ContextError era) (Map (PlutusScriptPurpose l) Redeemer)
- transRedeemer ∷ Data era → Redeemer
- toPlutusV2Args ∷ EraPlutusTxInfo 'PlutusV2 era ⇒ proxy 'PlutusV2 → ProtVer → TxInfo → PlutusPurpose AsIxItem era → Maybe (Data era) → Data era → Either (ContextError era) (PlutusArgs 'PlutusV2)
Documentation
data BabbageContextError era Source #
Constructors
Instances
transReferenceScript ∷ EraScript era ⇒ StrictMaybe (Script era) → Maybe ScriptHash Source #
transTxOutV1 ∷ (Inject (BabbageContextError era) (ContextError era), Value era ~ MaryValue, BabbageEraTxOut era) ⇒ TxOutSource → 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.
transTxOutV2 ∷ (Inject (BabbageContextError era) (ContextError era), Value era ~ MaryValue, BabbageEraTxOut era) ⇒ TxOutSource → TxOut era → Either (ContextError era) TxOut Source #
Given a TxOut, translate it for V2 and return (Right transalation). It is possible the address part is a Bootstrap Address, in that case return Left.
transTxInInfoV1 ∷ (Inject (BabbageContextError era) (ContextError era), Value era ~ MaryValue, BabbageEraTxOut era) ⇒ UTxO era → TxIn → Either (ContextError era) TxInInfo Source #
Given a TxIn, look it up in the UTxO. If it exists, translate it to the V1 context
transTxInInfoV2 ∷ (Inject (BabbageContextError era) (ContextError era), Value era ~ MaryValue, BabbageEraTxOut era) ⇒ UTxO era → TxIn → Either (ContextError era) TxInInfo Source #
Given a TxIn, look it up in the UTxO. If it exists, translate it to the V2 context
transTxRedeemers ∷ ∀ (l ∷ Language) era proxy (t ∷ TxLevel). (EraPlutusTxInfo l era, AlonzoEraTxBody era, EraTx era, AlonzoEraTxWits era, Inject (BabbageContextError era) (ContextError era)) ⇒ proxy l → ProtVer → Tx t era → Either (ContextError era) (Map (PlutusScriptPurpose l) Redeemer) Source #
Translate all Redeemers from within a Tx into a Map from a PlutusScriptPurpose
to a Redeemer
transRedeemer ∷ Data era → Redeemer Source #
toPlutusV2Args ∷ EraPlutusTxInfo 'PlutusV2 era ⇒ proxy 'PlutusV2 → ProtVer → TxInfo → PlutusPurpose AsIxItem era → Maybe (Data era) → Data era → Either (ContextError era) (PlutusArgs 'PlutusV2) Source #
Orphan instances
| EraPlutusContext BabbageEra Source # | |||||||||
Associated Types
Methods mkSupportedLanguage ∷ Language → Maybe (SupportedLanguage BabbageEra) Source # mkTxInfoResult ∷ LedgerTxInfo BabbageEra → TxInfoResult BabbageEra Source # lookupTxInfoResult ∷ ∀ (l ∷ Language). EraPlutusTxInfo l BabbageEra ⇒ SLanguage l → TxInfoResult BabbageEra → Either (ContextError BabbageEra) (PlutusTxInfo l) Source # mkPlutusWithContext ∷ PlutusScript BabbageEra → ScriptHash → PlutusPurpose AsIxItem BabbageEra → LedgerTxInfo BabbageEra → TxInfoResult BabbageEra → (Data BabbageEra, ExUnits) → CostModel → Either (ContextError BabbageEra) PlutusWithContext Source # | |||||||||
| EraPlutusTxInfo 'PlutusV1 BabbageEra Source # | |||||||||
Methods toPlutusTxCert ∷ proxy 'PlutusV1 → ProtVer → TxCert BabbageEra → Either (ContextError BabbageEra) (PlutusTxCert 'PlutusV1) Source # toPlutusScriptPurpose ∷ proxy 'PlutusV1 → ProtVer → PlutusPurpose AsIxItem BabbageEra → Either (ContextError BabbageEra) (PlutusScriptPurpose 'PlutusV1) Source # toPlutusTxInfo ∷ proxy 'PlutusV1 → LedgerTxInfo BabbageEra → Either (ContextError BabbageEra) (PlutusTxInfo 'PlutusV1) Source # toPlutusArgs ∷ proxy 'PlutusV1 → ProtVer → PlutusTxInfo 'PlutusV1 → PlutusPurpose AsIxItem BabbageEra → Maybe (Data BabbageEra) → Data BabbageEra → Either (ContextError BabbageEra) (PlutusArgs 'PlutusV1) Source # toPlutusTxInInfo ∷ proxy 'PlutusV1 → UTxO BabbageEra → TxIn → Either (ContextError BabbageEra) (PlutusTxInInfo BabbageEra 'PlutusV1) Source # | |||||||||
| EraPlutusTxInfo 'PlutusV2 BabbageEra Source # | |||||||||
Methods toPlutusTxCert ∷ proxy 'PlutusV2 → ProtVer → TxCert BabbageEra → Either (ContextError BabbageEra) (PlutusTxCert 'PlutusV2) Source # toPlutusScriptPurpose ∷ proxy 'PlutusV2 → ProtVer → PlutusPurpose AsIxItem BabbageEra → Either (ContextError BabbageEra) (PlutusScriptPurpose 'PlutusV2) Source # toPlutusTxInfo ∷ proxy 'PlutusV2 → LedgerTxInfo BabbageEra → Either (ContextError BabbageEra) (PlutusTxInfo 'PlutusV2) Source # toPlutusArgs ∷ proxy 'PlutusV2 → ProtVer → PlutusTxInfo 'PlutusV2 → PlutusPurpose AsIxItem BabbageEra → Maybe (Data BabbageEra) → Data BabbageEra → Either (ContextError BabbageEra) (PlutusArgs 'PlutusV2) Source # toPlutusTxInInfo ∷ proxy 'PlutusV2 → UTxO BabbageEra → TxIn → Either (ContextError BabbageEra) (PlutusTxInInfo BabbageEra 'PlutusV2) Source # | |||||||||