| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Cardano.Ledger.Alonzo.Plutus.Context
Contents
Synopsis
- data LedgerTxInfo era = LedgerTxInfo {
- ltiProtVer ∷ !ProtVer
- ltiEpochInfo ∷ !(EpochInfo (Either Text))
- ltiSystemStart ∷ !SystemStart
- ltiUTxO ∷ !(UTxO era)
- ltiTx ∷ !(Tx era)
- class (PlutusLanguage l, EraPlutusContext era) ⇒ EraPlutusTxInfo (l ∷ Language) era where
- toPlutusTxCert ∷ proxy l → ProtVer → TxCert era → Either (ContextError era) (PlutusTxCert l)
- toPlutusScriptPurpose ∷ proxy l → ProtVer → PlutusPurpose AsIxItem era → Either (ContextError era) (PlutusScriptPurpose l)
- toPlutusTxInfo ∷ proxy l → LedgerTxInfo era → Either (ContextError era) (PlutusTxInfo l)
- toPlutusArgs ∷ proxy l → ProtVer → PlutusTxInfo l → PlutusPurpose AsIxItem era → Maybe (Data era) → Data era → Either (ContextError era) (PlutusArgs l)
- class (AlonzoEraScript era, Eq (ContextError era), Show (ContextError era), NFData (ContextError era), NoThunks (ContextError era), EncCBOR (ContextError era), DecCBOR (ContextError era), ToJSON (ContextError era)) ⇒ EraPlutusContext era where
- type ContextError era = (r ∷ Type) | r → era
- mkPlutusWithContext ∷ PlutusScript era → ScriptHash → PlutusPurpose AsIxItem era → LedgerTxInfo era → (Data era, ExUnits) → CostModel → Either (ContextError era) PlutusWithContext
- toPlutusWithContext ∷ ∀ l era. (EraPlutusTxInfo l era, AlonzoEraUTxO era) ⇒ Either (Plutus l) (PlutusRunnable l) → ScriptHash → PlutusPurpose AsIxItem era → LedgerTxInfo era → (Data era, ExUnits) → CostModel → Either (ContextError era) PlutusWithContext
- type family PlutusTxInfo (l ∷ Language) where ...
- type family PlutusTxCert (l ∷ Language) where ...
- type family PlutusScriptPurpose (l ∷ Language) where ...
- type family PlutusScriptContext (l ∷ Language) = (r ∷ Type) | r → l where ...
Documentation
data LedgerTxInfo era Source #
All information that is necessary from the ledger to construct Plutus' TxInfo.
Constructors
| LedgerTxInfo | |
Fields
| |
class (PlutusLanguage l, EraPlutusContext era) ⇒ EraPlutusTxInfo (l ∷ Language) era where Source #
Methods
toPlutusTxCert ∷ proxy l → ProtVer → TxCert era → Either (ContextError era) (PlutusTxCert l) Source #
toPlutusScriptPurpose ∷ proxy l → ProtVer → PlutusPurpose AsIxItem era → Either (ContextError era) (PlutusScriptPurpose l) Source #
toPlutusTxInfo ∷ proxy l → LedgerTxInfo era → Either (ContextError era) (PlutusTxInfo l) Source #
toPlutusArgs ∷ proxy l → ProtVer → PlutusTxInfo l → PlutusPurpose AsIxItem era → Maybe (Data era) → Data era → Either (ContextError era) (PlutusArgs l) Source #
Instances
| EraPlutusTxInfo 'PlutusV1 AlonzoEra Source # | |
Defined in Cardano.Ledger.Alonzo.Plutus.TxInfo Methods toPlutusTxCert ∷ proxy 'PlutusV1 → ProtVer → TxCert AlonzoEra → Either (ContextError AlonzoEra) (PlutusTxCert 'PlutusV1) Source # toPlutusScriptPurpose ∷ proxy 'PlutusV1 → ProtVer → PlutusPurpose AsIxItem AlonzoEra → Either (ContextError AlonzoEra) (PlutusScriptPurpose 'PlutusV1) Source # toPlutusTxInfo ∷ proxy 'PlutusV1 → LedgerTxInfo AlonzoEra → Either (ContextError AlonzoEra) (PlutusTxInfo 'PlutusV1) Source # toPlutusArgs ∷ proxy 'PlutusV1 → ProtVer → PlutusTxInfo 'PlutusV1 → PlutusPurpose AsIxItem AlonzoEra → Maybe (Data AlonzoEra) → Data AlonzoEra → Either (ContextError AlonzoEra) (PlutusArgs 'PlutusV1) Source # | |
class (AlonzoEraScript era, Eq (ContextError era), Show (ContextError era), NFData (ContextError era), NoThunks (ContextError era), EncCBOR (ContextError era), DecCBOR (ContextError era), ToJSON (ContextError era)) ⇒ EraPlutusContext era where Source #
Associated Types
type ContextError era = (r ∷ Type) | r → era Source #
Methods
mkPlutusWithContext ∷ PlutusScript era → ScriptHash → PlutusPurpose AsIxItem era → LedgerTxInfo era → (Data era, ExUnits) → CostModel → Either (ContextError era) PlutusWithContext Source #
Instances
| EraPlutusContext AlonzoEra Source # | |
Defined in Cardano.Ledger.Alonzo.Plutus.TxInfo Associated Types type ContextError AlonzoEra = (r ∷ Type) Source # | |
toPlutusWithContext ∷ ∀ l era. (EraPlutusTxInfo l era, AlonzoEraUTxO era) ⇒ Either (Plutus l) (PlutusRunnable l) → ScriptHash → PlutusPurpose AsIxItem era → LedgerTxInfo era → (Data era, ExUnits) → CostModel → Either (ContextError era) PlutusWithContext Source #
Language dependent translation
type family PlutusTxInfo (l ∷ Language) where ... Source #
Equations
| PlutusTxInfo 'PlutusV1 = TxInfo | |
| PlutusTxInfo 'PlutusV2 = TxInfo | |
| PlutusTxInfo 'PlutusV3 = TxInfo |
type family PlutusTxCert (l ∷ Language) where ... Source #
Equations
| PlutusTxCert 'PlutusV1 = DCert | |
| PlutusTxCert 'PlutusV2 = DCert | |
| PlutusTxCert 'PlutusV3 = TxCert |
type family PlutusScriptPurpose (l ∷ Language) where ... Source #
type family PlutusScriptContext (l ∷ Language) = (r ∷ Type) | r → l where ... Source #