Pipes.KeyValueCsv.KeyValue

Parse key-value pairs.

Documentation

parseKeyValues

Arguments

:: forall (m :: * -> *) (f :: k -> *) (rs :: [k]) (r :: *). (Given Delimiter, Monad m, Record rs)

=> KeyValueOptions m f rs

Options

-> Lines m r

Stream of lines

-> m (Rec (WithKeyValueError :. f) rs, r)

Parse lines into a stream of records with at most one AccSuccess field.

foldHeader :: (Monad m, Record rs) => Producer (Rec (WithKeyValueError :. f) rs) m r -> m (Rec (WithKeyValueError :. f) rs, r)

Fold a stream of key-value records into a single record.

joinRecs :: Rec (WithKeyValueError :. f) rs -> Rec (WithKeyValueError :. f) rs -> Rec (WithKeyValueError :. f) rs

Join two Recs, replacing missing values with successes and accumulating failures.

class Record rs

Create a dummy record parametrized by Proxy. The class is named Record to signify that every possible type list is its instance.

Minimal complete definition

proxyRecord

Instances

Record k ([] k)

Record k rs => Record k ((:) k r rs)

data KeyValueError

An error that occured during the parsing of the header.

Constructors

MissingValue

A value is missing in the header.

MultipleValues

A value is given multiple times.

ValueParsingError String

Parsing error as returned by Data.Text.Lazy.Read.

Instances

Eq KeyValueError

Show KeyValueError