conduit-extra-1.3.6: Batteries included conduit: adapters for common libraries.
Safe Haskell Trustworthy
Language Haskell2010

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

Instances

Instances details
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

MonadActive ( ST s) Source #
Instance details

Defined in Data.Conduit.Lazy

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 ( ReaderT r 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 ( ConduitT i o m) Source #
Instance details

Defined in Data.Conduit.Lazy

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

Defined in Data.Conduit.Lazy

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

Defined in Data.Conduit.Lazy

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

Defined in Data.Conduit.Lazy