-- | Various file paths used in plutus-core, currently all to do with the cost
-- model.

-- Note that a couple of these paths are also used inside an inline-r splice in
-- CostModelCreation.hs but we have to use literal strings there, not the
-- versions defined here.  Those strings will also have to be updated if things
-- change here.

module PlutusCore.DataFilePaths
where

import System.FilePath

costModelDataDir :: FilePath
costModelDataDir :: FilePath
costModelDataDir = FilePath
"cost-model" FilePath -> FilePath -> FilePath
</> FilePath
"data"

-- A literal version of this is also used in CostModelCreation.hs
modelFile :: FilePath
modelFile :: FilePath
modelFile = FilePath
costModelDataDir FilePath -> FilePath -> FilePath
</> FilePath
"models" FilePath -> FilePath -> FilePath
<.> FilePath
"R"

-- A literal version of this is also used in CostModelCreation.hs
benchingResultsFile :: FilePath
benchingResultsFile :: FilePath
benchingResultsFile = FilePath
costModelDataDir FilePath -> FilePath -> FilePath
</> FilePath
"benching" FilePath -> FilePath -> FilePath
<.> FilePath
"csv"

backupBenchingResultsFile :: FilePath
backupBenchingResultsFile :: FilePath
backupBenchingResultsFile = FilePath
benchingResultsFile FilePath -> FilePath -> FilePath
<.> FilePath
"backup"

builtinCostModelFile :: FilePath
builtinCostModelFile :: FilePath
builtinCostModelFile = FilePath
costModelDataDir FilePath -> FilePath -> FilePath
</> FilePath
"builtinCostModel" FilePath -> FilePath -> FilePath
<.> FilePath
"json"

cekMachineCostsFile :: FilePath
cekMachineCostsFile :: FilePath
cekMachineCostsFile = FilePath
costModelDataDir FilePath -> FilePath -> FilePath
</> FilePath
"cekMachineCosts" FilePath -> FilePath -> FilePath
<.> FilePath
"json"