| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Cardano.Ledger.Dijkstra.TxInfo
Contents
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 #