Pipes.KeyValueCsv.Types.Common

Types common to both CSV and key-value part of the library, and reexports of abstract types.

Documentation

data Line m r

A single line. Internally, a stream of text.

Instances

Monad m => Monad (Line m)

Methods

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

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

return :: a -> Line m a

fail :: String -> Line m a

Monad m => Functor (Line m)

Methods

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

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

Monad m => Applicative (Line m)

Methods

pure :: a -> Line m a

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

liftA2 :: (a -> b -> c) -> Line m a -> Line m b -> Line m c

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

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

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

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

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

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

data Cell m r

A single cell. Internally, a stream of text.

Instances

Monad m => Monad (Cell m)

Methods

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

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

return :: a -> Cell m a

fail :: String -> Cell m a

Monad m => Functor (Cell m)

Methods

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

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

Monad m => Applicative (Cell m)

Methods

pure :: a -> Cell m a

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

liftA2 :: (a -> b -> c) -> Cell m a -> Cell m b -> Cell m c

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

(<*) :: Cell m a -> Cell m b -> Cell 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

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

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

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

data Delimiter

A wrapped Char that has the explicit puropse of delimiting cells.

newtype WrapParser (a :: *) (m :: * -> *) (r :: *)

As Parser is a type synonym, it can't be partially applied as an argument for Rec.

Constructors

WrapParser

Fields

• unwrapParser :: Parser a m r

type CellParser (m :: * -> *) (f :: k -> *) = WrapParser Text m :. (Either String :. f)

Shorthand for a Parser of Text that can return a String error a'la Data.Text.Read.