| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Cardano.Ledger.Conway.Plutus.Context
Contents
Synopsis
- pparamUpdateToData ∷ Map Word (PParam era) → PParamsUpdate era → Data
- pparamUpdateFromData ∷ EraPParams era ⇒ Map Word (PParam era) → Data → Maybe (PParamsUpdate era)
- conwayPParam ∷ ConwayEraPParams era ⇒ [PParam era]
- conwayPParamMap ∷ ConwayEraPParams era ⇒ Map Word (PParam era)
- class (ToPlutusData (PParamsUpdate era), EraPlutusTxInfo l era) ⇒ ConwayEraPlutusTxInfo (l ∷ Language) era where
- toPlutusChangedParameters ∷ proxy l → PParamsUpdate era → ChangedParameters
Documentation
pparamUpdateToData ∷ Map Word (PParam era) → PParamsUpdate era → Data Source #
Translate a PParamUpdate to Data, using the PParamMap. The PParamUpdate is Basically (Map (tag t) (Some (StrictMaybe t))) The idea is to only store (Map (tag t) (Some t)) for just the components that had (SJust t), and to leave out the other tags. To transform this back to a (Map (tag t) (Some t)), we start with a full map where everything is SNothing, and then override the tags we find in the data with (SJust t) That is what happens in pparamUpdateFromData below
pparamUpdateFromData ∷ EraPParams era ⇒ Map Word (PParam era) → Data → Maybe (PParamsUpdate era) Source #
Translate Data to a PParamUpdate, using the PParamMap.
conwayPParam ∷ ConwayEraPParams era ⇒ [PParam era] Source #
A list for the Conway era, other eras may have different tags and lenses.
conwayPParamMap ∷ ConwayEraPParams era ⇒ Map Word (PParam era) Source #
A Map for the Conway era
class (ToPlutusData (PParamsUpdate era), EraPlutusTxInfo l era) ⇒ ConwayEraPlutusTxInfo (l ∷ Language) era where Source #
Methods
toPlutusChangedParameters ∷ proxy l → PParamsUpdate era → ChangedParameters Source #
Instances
| Crypto c ⇒ ConwayEraPlutusTxInfo 'PlutusV3 (ConwayEra c) Source # | |
Defined in Cardano.Ledger.Conway.TxInfo Methods toPlutusChangedParameters ∷ proxy 'PlutusV3 → PParamsUpdate (ConwayEra c) → ChangedParameters Source # | |