Data.Csv — oppi

importPour l'utiliser : import Data.Csv

Data.Csv — valeurs séparées par des virgules (RFC 4180)

Synopsis

data CsvError = CsvError String Nat deriving (Eq, Show)
encode : List (List String) -> String
data CsvSep = SepComma | SepNL | SepEof
decode : String -> Result CsvError (List (List String))

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

encode : List (List String) -> String

Encode des enregistrements en texte RFC 4180 (champs cités au besoin, enregistrements joints par CRLF).

data CsvSep = SepComma | SepNL | SepEof

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

Analyse un texte RFC 4180 en enregistrements. Error uniquement sur un champ cité mal formé (guillemet non terminé, ou texte parasite après un guillemet fermant). Toujours ≥ 1 enregistrement.