| Safe Haskell | None |
|---|---|
| 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
- builtinCostModelFileD :: FilePath
- builtinCostModelFileE :: FilePath
- latestBuiltinCostModelFile :: FilePath
- cekMachineCostsFileA :: FilePath
- cekMachineCostsFileB :: FilePath
- cekMachineCostsFileC :: FilePath
- cekMachineCostsFileD :: FilePath
- cekMachineCostsFileE :: 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.