PlutusCore.Evaluation.Machine.ExBudgetingDefaults · plutus-core-1.70.0.0

valuecekCostModelForVariant

valuedefaultBuiltinCostModelForTesting :: BuiltinCostModel

valuedefaultBuiltinsRuntimeForSemanticsVariant

valuedefaultBuiltinsRuntimeForTesting :: HasMeaningIn DefaultUni term => BuiltinsRuntime DefaultFun term

valuedefaultCekCostModelForTesting :: CostModel CekMachineCosts BuiltinCostModel

valuedefaultCekCostModelForTestingB :: CostModel CekMachineCosts BuiltinCostModel

valuedefaultCekMachineCostsForTesting :: CekMachineCosts

value

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

valuedefaultCekParametersForVariant

valuedefaultCostModelParamsForTesting :: Maybe CostModelParams

valuedefaultCostModelParamsForVariant

valueunitCekParameters :: Typeable ann => MachineParameters CekMachineCosts DefaultFun (CekValue DefaultUni DefaultFun ann)

valueunitCekMachineCosts :: CekMachineCosts