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 Success 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 k (rs :: [k])

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)

Methods

proxyRecord :: Rec [k] (Proxy [k]) rs

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

Methods

proxyRecord :: Rec ((k ': r) rs) (Proxy ((k ': r) rs)) 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

Methods

(==) :: KeyValueError -> KeyValueError -> Bool

(/=) :: KeyValueError -> KeyValueError -> Bool

Show KeyValueError

Methods

showsPrec :: Int -> KeyValueError -> ShowS

show :: KeyValueError -> String

showList :: [KeyValueError] -> ShowS