Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- class (PlutusLanguage l, EraPlutusContext era) ⇒ EraPlutusTxInfo (l ∷ Language) era where
- toPlutusTxCert ∷ proxy l → TxCert era → Either (ContextError era) (PlutusTxCert l)
- toPlutusScriptPurpose ∷ proxy l → PlutusPurpose AsIxItem era → Either (ContextError era) (PlutusScriptPurpose l)
- toPlutusTxInfo ∷ proxy l → PParams era → EpochInfo (Either Text) → SystemStart → UTxO era → Tx era → Either (ContextError era) (PlutusTxInfo l)
- toPlutusScriptContext ∷ proxy l → PlutusTxInfo l → PlutusPurpose AsIxItem era → Either (ContextError era) (PlutusScriptContext 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
- mkPlutusScriptContext ∷ PlutusScript era → PlutusPurpose AsIxItem era → PParams era → EpochInfo (Either Text) → SystemStart → UTxO era → Tx era → Either (ContextError era) (Data era)
- mkPlutusLanguageContext ∷ (EraPlutusTxInfo l era, ToData (PlutusScriptContext l)) ⇒ proxy l → PlutusPurpose AsIxItem era → PParams era → EpochInfo (Either Text) → SystemStart → UTxO era → Tx era → Either (ContextError era) (Data era)
- type family PlutusTxInfo (l ∷ Language) where ...
- type family PlutusTxCert (l ∷ Language) where ...
- type family PlutusScriptPurpose (l ∷ Language) where ...
- type family PlutusScriptContext (l ∷ Language) where ...
Documentation
class (PlutusLanguage l, EraPlutusContext era) ⇒ EraPlutusTxInfo (l ∷ Language) era where Source #
toPlutusTxCert ∷ proxy l → TxCert era → Either (ContextError era) (PlutusTxCert l) Source #
toPlutusScriptPurpose ∷ proxy l → PlutusPurpose AsIxItem era → Either (ContextError era) (PlutusScriptPurpose l) Source #
toPlutusTxInfo ∷ proxy l → PParams era → EpochInfo (Either Text) → SystemStart → UTxO era → Tx era → Either (ContextError era) (PlutusTxInfo l) Source #
toPlutusScriptContext ∷ proxy l → PlutusTxInfo l → PlutusPurpose AsIxItem era → Either (ContextError era) (PlutusScriptContext l) Source #
Instances
Crypto c ⇒ EraPlutusTxInfo 'PlutusV1 (AlonzoEra c) Source # | |
Defined in Cardano.Ledger.Alonzo.Plutus.TxInfo toPlutusTxCert ∷ proxy 'PlutusV1 → TxCert (AlonzoEra c) → Either (ContextError (AlonzoEra c)) (PlutusTxCert 'PlutusV1) Source # toPlutusScriptPurpose ∷ proxy 'PlutusV1 → PlutusPurpose AsIxItem (AlonzoEra c) → Either (ContextError (AlonzoEra c)) (PlutusScriptPurpose 'PlutusV1) Source # toPlutusTxInfo ∷ proxy 'PlutusV1 → PParams (AlonzoEra c) → EpochInfo (Either Text) → SystemStart → UTxO (AlonzoEra c) → Tx (AlonzoEra c) → Either (ContextError (AlonzoEra c)) (PlutusTxInfo 'PlutusV1) Source # toPlutusScriptContext ∷ proxy 'PlutusV1 → PlutusTxInfo 'PlutusV1 → PlutusPurpose AsIxItem (AlonzoEra c) → Either (ContextError (AlonzoEra c)) (PlutusScriptContext '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 #
type ContextError era = (r ∷ Type) | r → era Source #
mkPlutusScriptContext ∷ PlutusScript era → PlutusPurpose AsIxItem era → PParams era → EpochInfo (Either Text) → SystemStart → UTxO era → Tx era → Either (ContextError era) (Data era) Source #
Instances
Crypto c ⇒ EraPlutusContext (AlonzoEra c) Source # | |
Defined in Cardano.Ledger.Alonzo.Plutus.TxInfo type ContextError (AlonzoEra c) = (r ∷ Type) Source # mkPlutusScriptContext ∷ PlutusScript (AlonzoEra c) → PlutusPurpose AsIxItem (AlonzoEra c) → PParams (AlonzoEra c) → EpochInfo (Either Text) → SystemStart → UTxO (AlonzoEra c) → Tx (AlonzoEra c) → Either (ContextError (AlonzoEra c)) (Data (AlonzoEra c)) Source # |
mkPlutusLanguageContext ∷ (EraPlutusTxInfo l era, ToData (PlutusScriptContext l)) ⇒ proxy l → PlutusPurpose AsIxItem era → PParams era → EpochInfo (Either Text) → SystemStart → UTxO era → Tx era → Either (ContextError era) (Data era) Source #
Language dependent translation
type family PlutusTxInfo (l ∷ Language) where ... Source #
type family PlutusTxCert (l ∷ Language) where ... Source #
type family PlutusScriptPurpose (l ∷ Language) where ... Source #
type family PlutusScriptContext (l ∷ Language) where ... Source #