Data.Csv — oppi

importPour l'utiliser : import Data.Csv

Data.Csv — comma-separated values (RFC 4180)

Synopsis

data CsvError = CsvError String Nat deriving (Eq, Show)

encode : List (List String) -> String

Encode rows to RFC 4180 text (fields quoted as needed, records joined by CRLF).

data CsvSep = SepComma | SepNL | SepEof

decode : String -> Result CsvError (List (List String))

Parse RFC 4180 text into rows. Error only on a malformed quoted field (unterminated quote, or stray text after a closing quote). Always ≥ 1 record.