Siphon.Internal

A CSV parser. The parser defined here is RFC 4180 compliant, with the following extensions:

• Empty lines are ignored.
• Non-escaped fields may contain any characters except double-quotes, commas, carriage returns, and newlines.
• Escaped fields may contain any characters (but double-quotes need to be escaped).

The functions in this module can be used to implement e.g. a resumable parser that is fed input incrementally.

Documentation

byteStringChar8 :: Siphon ByteString

encodeRow :: Vector (Escaped ByteString) -> ByteString

escape :: ByteString -> Escaped ByteString

escapeAlways :: ByteString -> Escaped ByteString

This implementation is definitely suboptimal. A better option (which would waste a little space but would be much faster) would be to build the new bytestring by writing to a buffer directly.

sepByDelim1'

Arguments

:: Parser a

-> Word8

Field delimiter

-> Parser [a]

Specialized version of sepBy1' which is faster due to not accepting an arbitrary separator.

sepByEndOfLine1' :: Parser a -> Parser [a]

Specialized version of sepBy1' which is faster due to not accepting an arbitrary separator.

row

Arguments

:: Word8

Field delimiter

-> Parser (Vector ByteString)

Parse a record, not including the terminating line separator. The terminating line separate is not included as the last record in a CSV file is allowed to not have a terminating line separator. You most likely want to use the endOfLine parser in combination with this parser.

rowNoNewline

Arguments

:: Word8

Field delimiter

-> Parser (Vector ByteString)

removeBlankLines :: [Vector ByteString] -> [Vector ByteString]

field :: Word8 -> Parser ByteString

Parse a field. The field may be in either the escaped or non-escaped format. The return value is unescaped.

escapedField :: Parser ByteString

unescapedField :: Word8 -> Parser ByteString

dquote :: Parser Char

unescape :: Parser ByteString

This could be improved. We could avoid the builder and just write to a buffer directly.

(<$!>) :: Monad m => (a -> b) -> m a -> m b infixl 4

A strict version of <$> for monads.

blankLine :: Vector ByteString -> Bool

Is this an empty record (i.e. a blank line)?

liftM2' :: Monad m => (a -> b -> c) -> m a -> m b -> m c

A version of liftM2 that is strict in the result of its first action.

endOfLine :: Parser ()

Match either a single newline character '\n', or a carriage return followed by a newline character "\r\n", or a single carriage return '\r'.

doubleQuote :: Word8

newline :: Word8

cr :: Word8

comma :: Word8