module PlutusCore.DataFilePaths
where
import System.FilePath
costModelDataDir :: FilePath
costModelDataDir :: FilePath
costModelDataDir = FilePath
"cost-model" FilePath -> FilePath -> FilePath
</> FilePath
"data"
builtinCostModelFileA :: FilePath
builtinCostModelFileA :: FilePath
builtinCostModelFileA = FilePath
costModelDataDir FilePath -> FilePath -> FilePath
</> FilePath
"builtinCostModelA" FilePath -> FilePath -> FilePath
<.> FilePath
"json"
builtinCostModelFileB :: FilePath
builtinCostModelFileB :: FilePath
builtinCostModelFileB = FilePath
costModelDataDir FilePath -> FilePath -> FilePath
</> FilePath
"builtinCostModelB" FilePath -> FilePath -> FilePath
<.> FilePath
"json"
builtinCostModelFileC :: FilePath
builtinCostModelFileC :: FilePath
builtinCostModelFileC = FilePath
costModelDataDir FilePath -> FilePath -> FilePath
</> FilePath
"builtinCostModelC" FilePath -> FilePath -> FilePath
<.> FilePath
"json"
latestBuiltinCostModelFile :: FilePath
latestBuiltinCostModelFile :: FilePath
latestBuiltinCostModelFile = FilePath
builtinCostModelFileC
cekMachineCostsFileA :: FilePath
cekMachineCostsFileA :: FilePath
cekMachineCostsFileA = FilePath
costModelDataDir FilePath -> FilePath -> FilePath
</> FilePath
"cekMachineCostsA" FilePath -> FilePath -> FilePath
<.> FilePath
"json"
cekMachineCostsFileB :: FilePath
cekMachineCostsFileB :: FilePath
cekMachineCostsFileB = FilePath
costModelDataDir FilePath -> FilePath -> FilePath
</> FilePath
"cekMachineCostsB" FilePath -> FilePath -> FilePath
<.> FilePath
"json"
cekMachineCostsFileC :: FilePath
cekMachineCostsFileC :: FilePath
cekMachineCostsFileC = FilePath
costModelDataDir FilePath -> FilePath -> FilePath
</> FilePath
"cekMachineCostsC" FilePath -> FilePath -> FilePath
<.> FilePath
"json"
latestMachineCostsFile :: FilePath
latestMachineCostsFile :: FilePath
latestMachineCostsFile = FilePath
cekMachineCostsFileC
rModelFile :: FilePath
rModelFile :: FilePath
rModelFile = FilePath
costModelDataDir FilePath -> FilePath -> FilePath
</> FilePath
"models" FilePath -> FilePath -> FilePath
<.> FilePath
"R"
benchingResultsFile :: FilePath
benchingResultsFile :: FilePath
benchingResultsFile = FilePath
costModelDataDir FilePath -> FilePath -> FilePath
</> FilePath
"benching-conway" FilePath -> FilePath -> FilePath
<.> FilePath
"csv"