drop CSV header

This commit is contained in:
Johann150 2023-06-10 16:22:34 +02:00 committed by stuebinm
parent 1b46a4c05c
commit 913f865fbd

View file

@ -176,6 +176,8 @@ fn read_csv() -> List(#(String, String)) {
contents
// the file doesn't use quotes, so this is fine
|> string.split(on: "\n")
// drop CSV header
|> list.drop(1)
|> list.map(fn(a) { string.split(a, on: ";") })
|> list.filter_map(fn(fields) {
case fields {