Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- defaultBuiltinsRuntimeForSemanticsVariant ∷ HasMeaningIn DefaultUni term ⇒ BuiltinSemanticsVariant DefaultFun → BuiltinsRuntime DefaultFun term
- defaultCekParametersForVariant ∷ Typeable ann ⇒ BuiltinSemanticsVariant DefaultFun → MachineParameters CekMachineCosts DefaultFun (CekValue DefaultUni DefaultFun ann)
- defaultCostModelParamsForVariant ∷ BuiltinSemanticsVariant DefaultFun → Maybe CostModelParams
- cekCostModelForVariant ∷ BuiltinSemanticsVariant DefaultFun → CostModel CekMachineCosts BuiltinCostModel
- defaultBuiltinsRuntimeForTesting ∷ HasMeaningIn DefaultUni term ⇒ BuiltinsRuntime DefaultFun term
- defaultCekParametersForTesting ∷ Typeable ann ⇒ MachineParameters CekMachineCosts DefaultFun (CekValue DefaultUni DefaultFun ann)
- defaultCekMachineCostsForTesting ∷ CekMachineCosts
- defaultCostModelParamsForTesting ∷ Maybe CostModelParams
- defaultBuiltinCostModelForTesting ∷ BuiltinCostModel
- defaultCekCostModelForTesting ∷ CostModel CekMachineCosts BuiltinCostModel
- defaultCekCostModelForTestingB ∷ CostModel CekMachineCosts BuiltinCostModel
- unitCekMachineCosts ∷ CekMachineCosts
- unitCekParameters ∷ Typeable ann ⇒ MachineParameters CekMachineCosts DefaultFun (CekValue DefaultUni DefaultFun ann)
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 #