Pipes.KeyValueCsv.Common

Utility functions.

Documentation

lines :: Monad m => Producer Text m r -> Lines m r

Split a Text stream into lines.

cells :: (Monad m, Given Delimiter) => Line m r -> Cells m r

Split a line into delimited cells.

useDelimiter :: Char -> (Given Delimiter => a) -> a

Provide a delimiter for a computation. Do not use this function if there is already a Given Delimiter in scope.

wrapParser :: forall m f r. Functor m => Parser Text m (Either String (f r)) -> CellParser m f r

Wrap a parser to use it as a type constructor for Rec.

defaultParser' :: (RecAll f rs FromCell, Monad m) => Rec Proxy rs -> Rec (CellParser m f) rs

defaultParser :: forall m f rs. (RecAll f rs FromCell, Monad m, Record rs) => Rec (CellParser m f) rs

data Lines m r

A stream of lines.

Instances

Monad m => Monad (Lines m)

Methods

(>>=) :: Lines m a -> (a -> Lines m b) -> Lines m b

(>>) :: Lines m a -> Lines m b -> Lines m b

return :: a -> Lines m a

fail :: String -> Lines m a

Monad m => Functor (Lines m)

Methods

fmap :: (a -> b) -> Lines m a -> Lines m b

(<$) :: a -> Lines m b -> Lines m a

Monad m => Applicative (Lines m)

Methods

pure :: a -> Lines m a

(<*>) :: Lines m (a -> b) -> Lines m a -> Lines m b

(*>) :: Lines m a -> Lines m b -> Lines m b

(<*) :: Lines m a -> Lines m b -> Lines m a

data Cells m r

A stream of cells.

Instances

Monad m => Monad (Cells m)

Methods

(>>=) :: Cells m a -> (a -> Cells m b) -> Cells m b

(>>) :: Cells m a -> Cells m b -> Cells m b

return :: a -> Cells m a

fail :: String -> Cells m a

Monad m => Functor (Cells m)

Methods

fmap :: (a -> b) -> Cells m a -> Cells m b

(<$) :: a -> Cells m b -> Cells m a

Monad m => Applicative (Cells m)

Methods

pure :: a -> Cells m a

(<*>) :: Cells m (a -> b) -> Cells m a -> Cells m b

(*>) :: Cells m a -> Cells m b -> Cells m b

(<*) :: Cells m a -> Cells m b -> Cells m a

type Producer b = Proxy X () () b

Producers can only yield

data Text :: *

A space efficient, packed, unboxed Unicode text type.

Instances

Ixed Text

Methods

ix :: Index Text -> Traversal' Text (IxValue Text)

FromCell Text

Methods

fromCell :: Monad m => Parser Text m (Either String Text)

Strict Text Text

Methods

strict :: Iso' Text Text

type Item Text

type Item Text = Char

type Index Text

type Index Text = Int

type IxValue Text

type IxValue Text = Char