conduit-extra-1.3.1.1: Batteries included conduit: adapters for common libraries.

Safe HaskellTrustworthy
LanguageHaskell98

Data.Conduit.Lazy

Description

Use lazy I/O for consuming the contents of a source. Warning: All normal warnings of lazy I/O apply. In particular, if you are using this with a ResourceT transformer, you must force the list to be evaluated before exiting the ResourceT.

Synopsis

Documentation

lazyConsume :: forall m a. (MonadUnliftIO m, MonadActive m) => Source m a -> m [a] Source #

Use lazy I/O to consume all elements from a Source.

This function relies on monadActive to determine if the underlying monadic state has been closed.

Since 0.3.0

class Monad m => MonadActive m where Source #

Determine if some monad is still active. This is intended to prevent usage of a monadic state after it has been closed. This is necessary for such cases as lazy I/O, where an unevaluated thunk may still refer to a closed ResourceT.

Since 0.3.0

Methods

monadActive :: m Bool Source #

Instances
MonadActive IO Source # 
Instance details

Defined in Data.Conduit.Lazy

MonadActive Identity Source # 
Instance details

Defined in Data.Conduit.Lazy

MonadActive (ST s) Source # 
Instance details

Defined in Data.Conduit.Lazy

Methods

monadActive :: ST s Bool Source #

MonadActive (ST s) Source # 
Instance details

Defined in Data.Conduit.Lazy

Methods

monadActive :: ST s Bool Source #

MonadActive m => MonadActive (MaybeT m) Source # 
Instance details

Defined in Data.Conduit.Lazy

(MonadIO m, MonadActive m) => MonadActive (ResourceT m) Source # 
Instance details

Defined in Data.Conduit.Lazy

MonadActive m => MonadActive (ListT m) Source # 
Instance details

Defined in Data.Conduit.Lazy

(Monoid w, MonadActive m) => MonadActive (WriterT w m) Source # 
Instance details

Defined in Data.Conduit.Lazy

(Monoid w, MonadActive m) => MonadActive (WriterT w m) Source # 
Instance details

Defined in Data.Conduit.Lazy

MonadActive m => MonadActive (StateT s m) Source # 
Instance details

Defined in Data.Conduit.Lazy

MonadActive m => MonadActive (StateT s m) Source # 
Instance details

Defined in Data.Conduit.Lazy

MonadActive m => MonadActive (IdentityT m) Source # 
Instance details

Defined in Data.Conduit.Lazy

(Error e, MonadActive m) => MonadActive (ErrorT e m) Source # 
Instance details

Defined in Data.Conduit.Lazy

MonadActive m => MonadActive (ReaderT r m) Source # 
Instance details

Defined in Data.Conduit.Lazy

MonadActive m => MonadActive (ConduitT i o m) Source # 
Instance details

Defined in Data.Conduit.Lazy

Methods

monadActive :: ConduitT i o m Bool Source #

(Monoid w, MonadActive m) => MonadActive (RWST r w s m) Source # 
Instance details

Defined in Data.Conduit.Lazy

Methods

monadActive :: RWST r w s m Bool Source #

(Monoid w, MonadActive m) => MonadActive (RWST r w s m) Source # 
Instance details

Defined in Data.Conduit.Lazy

Methods

monadActive :: RWST r w s m Bool Source #

MonadActive m => MonadActive (Pipe l i o u m) Source # 
Instance details

Defined in Data.Conduit.Lazy

Methods

monadActive :: Pipe l i o u m Bool Source #