open Types
-let listAsStr (s: 'a seq) =
+let listAsStr (s : 'a seq) =
s |> Seq.fold (fun acc obj -> acc + (if acc = "" then "" else ", ") + obj.ToString()) ""
-let percentText (nbTotal: int, nb: int) : string =
- if nbTotal = 0
- then
+let percentText (nbTotal : int, nb : int) : string =
+ if nbTotal = 0 then
""
else
let percent = 100. * (float nb) / (float nbTotal)
let sensorSizesFilename = "sensor-sizes.json"
let sensorSizesFilepath = Path.Combine(roamingDir, sensorSizesFilename)
-let private savePredefinedPPIToFile (predefinedPPI: PredefinedPPI list) =
+let private savePredefinedPPIToFile (predefinedPPI : PredefinedPPI list) =
try
use file = new StreamWriter(predefinedPPIFilepath)
file.Write(JsonConvert.SerializeObject(predefinedPPI, JsonSerializerSettings(Formatting = Formatting.Indented)))
ex ->
Logger.Log.Error("Unable to save predefined PPI to file \"{0}\": {1}", predefinedPPIFilepath, ex)
-let private saveSensorSizesToFile (sensorSizes: SensorSize list) =
+let private saveSensorSizesToFile (sensorSizes : SensorSize list) =
try
use file = new StreamWriter(sensorSizesFilepath)
file.Write(JsonConvert.SerializeObject(sensorSizes, JsonSerializerSettings(Formatting = Formatting.Indented)))