A CSV parser.
Convert a string of values separated by a separator into a Csv structure.
-- { headers = ["id", "value"], records = [["1", "one"], ["2", "two"]] }
Csv.parseWith "," "id,value\n1,one\n2,two\n"Convert a string of comma-separated values into a Csv structure.
-- { headers = ["id", "value"], records = [["1", "one"], ["2", "two"]] }
Csv.parse "id,value\n1,one\n2,two\n"Convert a string of comma-separated values into a list of lists.
-- [["id", "value"], ["1", "one"], ["2", "two"]]
Csv.split "id,value\n1,one\n2,two\n"Convert a string of values separated by a character into a list of lists.
-- [["id", "value"], ["1", "one"], ["2", "two"]]
Csv.splitWith "," "id,value\n1,one\n2,two\n"
The
Csvtype structure.