Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Cardano.Ledger.Dijkstra.TxInfo
Contents
Documentation
transPlutusPurposeV1V2 ∷ ∀ l 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 ∷ ∀ era. (ConwayEraPlutusTxInfo PlutusV3 era, Inject (ConwayContextError era) (ContextError era), Inject (DijkstraPlutusPurpose AsIxItem era) (PlutusPurpose AsIxItem era)) ⇒ ProtVer → DijkstraPlutusPurpose AsIxItem era → Either (ContextError era) ScriptPurpose Source #