Module
Data.CSV.Record
- Package
- purescript-csv-stream
- Repository
- cakekindel/purescript-csv-stream
#WriteCSVRecord Source
class WriteCSVRecord :: Row Type -> RowList Type -> Constraintclass (RowToList r rl) <= WriteCSVRecord r rl | rl -> r where
Members
writeCSVRecord :: Record r -> Array String
Instances
(RowToList r (Cons k v tailrl), IsSymbol k, WriteCSV v, Lacks k tail, Cons k v tail r, WriteCSVRecord tail tailrl) => WriteCSVRecord r (Cons k v tailrl)WriteCSVRecord () Nil
#ReadCSVRecord Source
class ReadCSVRecord :: Row Type -> RowList Type -> Constraintclass (RowToList r rl) <= ReadCSVRecord r rl | rl -> r where
Members
readCSVRecord :: Map String Int -> Array String -> Except (NonEmptyList ForeignError) (Record r)
Instances
(RowToList r (Cons k v tailrl), IsSymbol k, ReadCSV v, Lacks k tail, Cons k v tail r, ReadCSVRecord tail tailrl) => ReadCSVRecord r (Cons k v tailrl)ReadCSVRecord () Nil