Make sure the line can't go down, pass CSV filename as arg

Changes

1 changed files (+3/-5)

• Plot.lean
  • @@ -1,8 +1,6 @@
    import Std.Time open Std.Time - def csv_filename := "log.csv" - def parse_csv filename (parse_row : List String → Option α) := do return (← IO.FS.readFile filename).splitOn "\n" |>.toArray |>.map (λ (l : String) ↦ l.replace "\\," "\n"
  • @@ -13,8 +11,8 @@ def parse_csv filename (parse_row : List String → Option α) := do
    instance : LT (DateTime TimeZone.UTC) := ltOfOrd instance : LE PlainDate := leOfOrd - def main := do - let lines ← parse_csv csv_filename λ l ↦ match l with + def main (args : List String) := do + let lines ← parse_csv args[1]! λ l ↦ match l with | [a, b, c] => match ZonedDateTime.fromISO8601String b with | .ok b => some (b.toDateTime.convertTimeZone TimeZone.UTC, ZonedDateTime.fromISO8601String c
  • @@ -45,7 +43,7 @@ def main := do
    j := j + 1 cnt := cnt + 1 daily := daily.push cnt - IO.println s!"{date}{List.replicate (log_size / 2) " " |> "".intercalate}|{List.replicate ((total - log_size) / 2) " " |> "".intercalate}|" + IO.println s!"{date}{List.replicate (log_size / 2) " " |> "".intercalate}|{List.replicate (total / 2 - log_size / 2) " " |> "".intercalate}|" date := date.addDays 1 let m := daily.toList.max?.getD 0 let colors := [" ", "░", "▒", "▓", "█"]