Moduleplutus-core-1.70.0.0
PlutusCore.Evaluation.Machine.ExBudgetingDefaults
Synopsis
- value cekCostModelForVariant
- value defaultBuiltinCostModelForTesting
- value defaultBuiltinsRuntimeForSemanticsVariant
- value defaultBuiltinsRuntimeForTesting
- value defaultCekCostModelForTesting
- value defaultCekCostModelForTestingB
- value defaultCekMachineCostsForTesting
- value defaultCekParametersForTesting
- value defaultCekParametersForVariant
- value defaultCostModelParamsForTesting
- value defaultCostModelParamsForVariant
- value unitCekParameters
- value unitCekMachineCosts
- Packageplutus-core-1.70.0.0
- Exports13
- LicenceApache-2.0
value
defaultBuiltinsRuntimeForTesting :: HasMeaningIn DefaultUni term => BuiltinsRuntime DefaultFun termvalue
defaultCekParametersForTesting :: Typeable ann => MachineParameters CekMachineCosts DefaultFun (CekValue DefaultUni DefaultFun ann)value
unitCekParameters :: Typeable ann => MachineParameters CekMachineCosts DefaultFun (CekValue DefaultUni DefaultFun ann)