plutus-core-1.36.0.0: Language library for Plutus Core
Safe HaskellSafe-Inferred
LanguageHaskell2010

PlutusCore.Evaluation.Machine.ExBudgetingDefaults

Synopsis

Documentation

defaultBuiltinsRuntimeForSemanticsVariant :: HasMeaningIn DefaultUni term => BuiltinSemanticsVariant DefaultFun -> BuiltinsRuntime DefaultFun term Source #

defaultCekParametersForVariant :: Typeable ann => BuiltinSemanticsVariant DefaultFun -> MachineParameters CekMachineCosts DefaultFun (CekValue DefaultUni DefaultFun ann) Source #

defaultCostModelParamsForVariant :: BuiltinSemanticsVariant DefaultFun -> Maybe CostModelParams Source #

cekCostModelForVariant :: BuiltinSemanticsVariant DefaultFun -> CostModel CekMachineCosts BuiltinCostModel Source #

Return the CostModel corresponding to the given semantics variant. The dependency on the semantics variant is what makes cost models configurable.

defaultBuiltinsRuntimeForTesting :: HasMeaningIn DefaultUni term => BuiltinsRuntime DefaultFun term Source #

defaultCekParametersForTesting :: Typeable ann => MachineParameters CekMachineCosts DefaultFun (CekValue DefaultUni DefaultFun ann) Source #

defaultCekMachineCostsForTesting :: CekMachineCosts Source #

defaultCostModelParamsForTesting :: Maybe CostModelParams Source #

defaultBuiltinCostModelForTesting :: BuiltinCostModel Source #

defaultCekCostModelForTesting :: CostModel CekMachineCosts BuiltinCostModel Source #

defaultCekCostModelForTestingB :: CostModel CekMachineCosts BuiltinCostModel Source #

unitCekMachineCosts :: CekMachineCosts Source #

unitCekParameters :: Typeable ann => MachineParameters CekMachineCosts DefaultFun (CekValue DefaultUni DefaultFun ann) Source #