| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Cardano.Ledger.Babbage.TxInfo
Contents
Synopsis
- data BabbageContextError era
- transReferenceScript ∷ ∀ era. EraScript era ⇒ StrictMaybe (Script era) → Maybe ScriptHash
- transTxOutV1 ∷ ∀ era. (Inject (BabbageContextError era) (ContextError era), Value era ~ MaryValue, BabbageEraTxOut era) ⇒ TxOutSource → TxOut era → Either (ContextError era) TxOut
- transTxOutV2 ∷ ∀ era. (Inject (BabbageContextError era) (ContextError era), Value era ~ MaryValue, BabbageEraTxOut era) ⇒ TxOutSource → TxOut era → Either (ContextError era) TxOut
- transTxInInfoV1 ∷ ∀ era. (Inject (BabbageContextError era) (ContextError era), Value era ~ MaryValue, BabbageEraTxOut era) ⇒ UTxO era → TxIn → Either (ContextError era) TxInInfo
- transTxInInfoV2 ∷ ∀ era. (Inject (BabbageContextError era) (ContextError era), Value era ~ MaryValue, BabbageEraTxOut era) ⇒ UTxO era → TxIn → Either (ContextError era) TxInInfo
- transTxRedeemers ∷ (EraPlutusTxInfo l era, AlonzoEraTxBody era, EraTx era, AlonzoEraTxWits era, Inject (BabbageContextError era) (ContextError era)) ⇒ proxy l → ProtVer → Tx 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 ∷ ∀ era. EraScript era ⇒ StrictMaybe (Script era) → Maybe ScriptHash Source #
transTxOutV1 ∷ ∀ era. (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 ∷ ∀ era. (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 ∷ ∀ era. (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 ∷ ∀ era. (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 ∷ (EraPlutusTxInfo l era, AlonzoEraTxBody era, EraTx era, AlonzoEraTxWits era, Inject (BabbageContextError era) (ContextError era)) ⇒ proxy l → ProtVer → Tx 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 #