Pipes.KeyValueCsv.IO

File input and output.

Documentation

streamIn

Arguments

:: forall (m :: * -> *) (f :: k -> *) (g :: j -> *) (hs :: [k]) (rs :: [j]). (Given Delimiter, MonadIO m, MonadMask m, Record hs)

=> Codec

File encoding.

-> FilePath

Input file.

-> Options (SafeT m) f g hs rs

Parsing options.

-> SafeT m (Rec (WithKeyValueError :. f) hs, Producer (Rec (WithCsvError :. g) rs) (SafeT m) (Producer ByteString (SafeT m) ()))

Read a CSV file.

streamInBS :: (MonadIO m, MonadMask m) => FilePath -> Producer ByteString (SafeT m) ()

Read a ByteString stream from file.

Re-exports

data SafeT m r :: (* -> *) -> * -> *

SafeT is a monad transformer that extends the base monad with the ability to register and release finalizers.

All unreleased finalizers are called at the end of the SafeT block, even in the event of exceptions.

Instances

MonadTrans SafeT

MonadState s m => MonadState s (SafeT m)

MonadError e m => MonadError e (SafeT m)

MonadWriter w m => MonadWriter w (SafeT m)

MonadBase b m => MonadBase b (SafeT m)

MonadBaseControl b m => MonadBaseControl b (SafeT m)

Monad m => Monad (SafeT m)

Functor m => Functor (SafeT m)

Applicative m => Applicative (SafeT m)

Alternative m => Alternative (SafeT m)

MonadPlus m => MonadPlus (SafeT m)

MonadThrow m => MonadThrow (SafeT m)

MonadCatch m => MonadCatch (SafeT m)

MonadMask m => MonadMask (SafeT m)

MonadIO m => MonadIO (SafeT m)

MonadCont m => MonadCont (SafeT m)

(MonadIO m, MonadCatch m, MonadMask m) => MonadSafe (SafeT m)

type Base (SafeT m) = m

type StM (SafeT m) a = StM m a