Copyright	© 2016–2021 Stack Builders
License	MIT
Safe Haskell	None
Language	Haskell2010

Data.Csv.Parser.Megaparsec.Internals

Description

Synopsis

newtype ConversionError = ConversionError String
type Parser = Parsec ConversionError ByteString
csv :: FromRecord a => DecodeOptions -> Parser (Vector a)
csvWithHeader :: FromNamedRecord a => DecodeOptions -> Parser (Header, Vector a)
decodeWithC :: (DecodeOptions -> Parser a) -> DecodeOptions -> HasHeader -> FilePath -> ByteString -> Either (ParseErrorBundle ByteString ConversionError) a
toNamedRecord :: Header -> Record -> NamedRecord
header :: Word8 -> Parser Header
name :: Word8 -> Parser Name
record :: Word8 -> (Record -> Parser a) -> Parser a
field :: Word8 -> Parser Field
escapedField :: Parser ByteString
unescapedField :: Word8 -> Parser ByteString

Documentation

newtype ConversionError #

Custom error component for CSV parsing. It allows typed reporting of conversion errors.

Constructors

ConversionError String

Instances

Instances details

Data ConversionError #
Instance details Defined in Data.Csv.Parser.Megaparsec.Internals Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ConversionError -> c ConversionError # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ConversionError # toConstr :: ConversionError -> Constr # dataTypeOf :: ConversionError -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ConversionError) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ConversionError) # gmapT :: (forall b. Data b => b -> b) -> ConversionError -> ConversionError # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ConversionError -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ConversionError -> r # gmapQ :: (forall d. Data d => d -> u) -> ConversionError -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ConversionError -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ConversionError -> m ConversionError # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ConversionError -> m ConversionError # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ConversionError -> m ConversionError #
Read ConversionError #
Instance details Defined in Data.Csv.Parser.Megaparsec.Internals Methods readsPrec :: Int -> ReadS ConversionError # readList :: ReadS [ConversionError] # readPrec :: ReadPrec ConversionError # readListPrec :: ReadPrec [ConversionError] #
Show ConversionError #
Instance details Defined in Data.Csv.Parser.Megaparsec.Internals Methods showsPrec :: Int -> ConversionError -> ShowS # show :: ConversionError -> String # showList :: [ConversionError] -> ShowS #
Eq ConversionError #
Instance details Defined in Data.Csv.Parser.Megaparsec.Internals Methods (==) :: ConversionError -> ConversionError -> Bool # (/=) :: ConversionError -> ConversionError -> Bool #
Ord ConversionError #
Instance details Defined in Data.Csv.Parser.Megaparsec.Internals Methods compare :: ConversionError -> ConversionError -> Ordering # (<) :: ConversionError -> ConversionError -> Bool # (<=) :: ConversionError -> ConversionError -> Bool # (>) :: ConversionError -> ConversionError -> Bool # (>=) :: ConversionError -> ConversionError -> Bool # max :: ConversionError -> ConversionError -> ConversionError # min :: ConversionError -> ConversionError -> ConversionError #
ShowErrorComponent ConversionError #
Instance details Defined in Data.Csv.Parser.Megaparsec.Internals Methods showErrorComponent :: ConversionError -> String # errorComponentLen :: ConversionError -> Int #

type Parser = Parsec ConversionError ByteString #

Parser type that uses “custom error component” ConversionError.

csv #

Arguments

:: FromRecord a
=> DecodeOptions	Decoding options
-> Parser (Vector a)	The parser that parses collection of records

Parse a CSV file that does not include a header.

csvWithHeader #

Arguments

:: FromNamedRecord a
=> DecodeOptions	Decoding options
-> Parser (Header, Vector a)	The parser that parser collection of named records

Parse a CSV file that includes a header.

decodeWithC #

Arguments

:: (DecodeOptions -> Parser a)	Parsing function parametrized by `DecodeOptions`
-> DecodeOptions	Decoding options
-> HasHeader	Whether to expect a header in the input
-> FilePath	File name (only for displaying in parse error messages, use empty string if you have none)
-> ByteString	CSV data
-> Either (ParseErrorBundle ByteString ConversionError) a

Decode CSV data using the provided parser, skipping a leading header if necessary.

toNamedRecord :: Header -> Record -> NamedRecord #

Convert a Record to a NamedRecord by attaching column names. The Header and Record must be of the same length.

header :: Word8 -> Parser Header #

Parse a header, including the terminating line separator.

name :: Word8 -> Parser Name #

Parse a header name. Header names have the same format as regular fields.

record #

Arguments

:: Word8	Field delimiter
-> (Record -> Parser a)	How to “parse” record to get the data of interest
-> Parser a

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.

field :: Word8 -> Parser Field #

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

escapedField :: Parser ByteString #

Parse an escaped field.

unescapedField :: Word8 -> Parser ByteString #

Parse an unescaped field.