| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
PlutusCore.Evaluation.Machine.ExBudgetingDefaults
Synopsis
- defaultBuiltinsRuntime :: HasConstantIn DefaultUni term => BuiltinsRuntime DefaultFun term
- defaultCekCostModel :: CostModel CekMachineCosts BuiltinCostModel
- defaultCekMachineCosts :: CekMachineCosts
- defaultCekParameters :: MachineParameters CekMachineCosts CekValue DefaultUni DefaultFun
- defaultCostModelParams :: Maybe CostModelParams
- defaultUnliftingMode :: UnliftingMode
- defaultBuiltinCostModel :: BuiltinCostModel
- unitCekMachineCosts :: CekMachineCosts
- unitCekParameters :: MachineParameters CekMachineCosts CekValue DefaultUni DefaultFun
Documentation
defaultBuiltinsRuntime :: HasConstantIn DefaultUni term => BuiltinsRuntime DefaultFun term Source #
defaultCekMachineCosts :: CekMachineCosts Source #
Default costs for CEK machine instructions.
defaultCostModelParams :: Maybe CostModelParams Source #
The default cost model data. This is exposed to the ledger, so let's not confuse anybody by mentioning the CEK machine
defaultBuiltinCostModel :: BuiltinCostModel Source #
The default cost model for built-in functions.