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
- lazyConsume :: (MonadUnliftIO m, MonadActive m) => Source m a -> m [a]
- class Monad m => MonadActive (m :: Type -> Type) where
- monadActive :: m Bool
Documentation
lazyConsume :: (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 :: Type -> Type) 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 Identity Source # | |
Defined in Data.Conduit.Lazy Methods monadActive :: Identity Bool Source # | |
MonadActive IO Source # | |
Defined in Data.Conduit.Lazy Methods monadActive :: IO Bool Source # | |
MonadActive (ST s) Source # | |
Defined in Data.Conduit.Lazy Methods monadActive :: ST s Bool Source # | |
MonadActive (ST s) Source # | |
Defined in Data.Conduit.Lazy Methods monadActive :: ST s Bool Source # | |
(MonadIO m, MonadActive m) => MonadActive (ResourceT m) Source # | |
Defined in Data.Conduit.Lazy Methods monadActive :: ResourceT m Bool Source # | |
MonadActive m => MonadActive (MaybeT m) Source # | |
Defined in Data.Conduit.Lazy Methods monadActive :: MaybeT m Bool Source # | |
MonadActive m => MonadActive (IdentityT m) Source # | |
Defined in Data.Conduit.Lazy Methods monadActive :: IdentityT m Bool Source # | |
MonadActive m => MonadActive (ReaderT r m) Source # | |
Defined in Data.Conduit.Lazy Methods monadActive :: ReaderT r m Bool Source # | |
MonadActive m => MonadActive (StateT s m) Source # | |
Defined in Data.Conduit.Lazy Methods monadActive :: StateT s m Bool Source # | |
MonadActive m => MonadActive (StateT s m) Source # | |
Defined in Data.Conduit.Lazy Methods monadActive :: StateT s m Bool Source # | |
(Monoid w, MonadActive m) => MonadActive (WriterT w m) Source # | |
Defined in Data.Conduit.Lazy Methods monadActive :: WriterT w m Bool Source # | |
(Monoid w, MonadActive m) => MonadActive (WriterT w m) Source # | |
Defined in Data.Conduit.Lazy Methods monadActive :: WriterT w m Bool Source # | |
MonadActive m => MonadActive (ConduitT i o m) Source # | |
Defined in Data.Conduit.Lazy Methods monadActive :: ConduitT i o m Bool Source # | |
(Monoid w, MonadActive m) => MonadActive (RWST r w s m) Source # | |
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 # | |
Defined in Data.Conduit.Lazy Methods monadActive :: RWST r w s m Bool Source # | |
MonadActive m => MonadActive (Pipe l i o u m) Source # | |
Defined in Data.Conduit.Lazy Methods monadActive :: Pipe l i o u m Bool Source # |