| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
PlutusCore.DataFilePaths
Description
Various file paths used in plutus-core, currently all to do with the cost model.
Synopsis
- costModelDataDir ∷ FilePath
- builtinCostModelFileA ∷ FilePath
- builtinCostModelFileB ∷ FilePath
- builtinCostModelFileC ∷ FilePath
- latestBuiltinCostModelFile ∷ FilePath
- cekMachineCostsFileA ∷ FilePath
- cekMachineCostsFileB ∷ FilePath
- cekMachineCostsFileC ∷ FilePath
- latestMachineCostsFile ∷ FilePath
- rModelFile ∷ FilePath
- benchingResultsFile ∷ FilePath
Documentation
rModelFile ∷ FilePath Source #
The file containing the R models: only needed for cost-model-test.
benchingResultsFile ∷ FilePath Source #
The file containing the benchmark results for the built-in functions: only needed for cost-model-test.