| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Generic.Updaters
Synopsis
- class Merge t where
- type Policy = ∀ t. Merge t ⇒ t → t → t
- updateTx ∷ Proof era → Tx era → TxField era → Tx era
- newTx ∷ Proof era → [TxField era] → Tx era
- updateTxBody ∷ EraTxBody era ⇒ Proof era → TxBody era → TxBodyField era → TxBody era
- newTxBody ∷ EraTxBody era ⇒ Proof era → [TxBodyField era] → TxBody era
- updateWitnesses ∷ ∀ era. Policy → Proof era → TxWits era → WitnessesField era → TxWits era
- newWitnesses ∷ Era era ⇒ Policy → Proof era → [WitnessesField era] → TxWits era
- notAddress ∷ TxOutField era → Bool
- updateTxOut ∷ Proof era → TxOut era → TxOutField era → TxOut era
- newTxOut ∷ Era era ⇒ Proof era → [TxOutField era] → TxOut era
- updatePParams ∷ EraPParams era ⇒ Proof era → PParams era → PParamsField era → PParams era
- newPParams ∷ EraPParams era ⇒ Proof era → [PParamsField era] → PParams era
- newScriptIntegrityHash ∷ Proof era → PParams era → [Language] → Redeemers era → TxDats era → StrictMaybe (ScriptIntegrityHash (EraCrypto era))
- defaultCostModels ∷ Proof era → PParamsField era
- languages ∷ Proof era → [Language]
Documentation
Minimal complete definition
Instances
| AlonzoEraScript era ⇒ Merge (Redeemers era) Source # | |
| Era era ⇒ Merge (TxDats era) Source # | |
| Ord a ⇒ Merge (Set a) Source # | |
| Merge (Map (ScriptHash c) v) Source # | |
Defined in Test.Cardano.Ledger.Generic.Updaters Methods first ∷ Map (ScriptHash c) v → Map (ScriptHash c) v → Map (ScriptHash c) v Source # override ∷ Map (ScriptHash c) v → Map (ScriptHash c) v → Map (ScriptHash c) v Source # merge ∷ Map (ScriptHash c) v → Map (ScriptHash c) v → Map (ScriptHash c) v Source # | |
updateTxBody ∷ EraTxBody era ⇒ Proof era → TxBody era → TxBodyField era → TxBody era Source #
updateWitnesses ∷ ∀ era. Policy → Proof era → TxWits era → WitnessesField era → TxWits era Source #
newWitnesses ∷ Era era ⇒ Policy → Proof era → [WitnessesField era] → TxWits era Source #
notAddress ∷ TxOutField era → Bool Source #
updateTxOut ∷ Proof era → TxOut era → TxOutField era → TxOut era Source #
updatePParams ∷ EraPParams era ⇒ Proof era → PParams era → PParamsField era → PParams era Source #
updatePParams uses the Override policy exclusively
newPParams ∷ EraPParams era ⇒ Proof era → [PParamsField era] → PParams era Source #
newScriptIntegrityHash ∷ Proof era → PParams era → [Language] → Redeemers era → TxDats era → StrictMaybe (ScriptIntegrityHash (EraCrypto era)) Source #
This only make sense in the Alonzo era and forward, all other Eras return Nothing
defaultCostModels ∷ Proof era → PParamsField era Source #