Skip to content

HORIZON HASKELL Docs lts/ghc-10.0.x77a86622026-10-31Search packagesCtrl K

Theme: |

GHC 10.0.0.20260917 · lts/ghc-10.0.x · 77a8662 · 2026-10-31

Moduleconduit-1.3.6.1Haskell2010

Data.Conduit.Lift

Allow monad transformers to be run/eval/exec in a section of conduit rather then needing to run across the whole conduit. The circumvents many of the problems with breaking the monad transformer laws. For more information, see the announcement blog post: http://www.yesodweb.com/blog/2014/01/conduit-transformer-exception

This module was added in conduit 1.0.11.

Contents

ExceptT
CatchC
MaybeT
ReaderT
StateT, lazy
Strict
WriterT, lazy
Strict
RWST, lazy
Strict

Synopsis

Packageconduit-1.3.6.1
Exports31
LanguageHaskell2010
LicenceMIT
SourceLift.hs

ExceptT

valueexceptC

:: Monad m
=> ConduitT i o m (Either e a)
-> ConduitT i o (ExceptT e m) a

Wrap the base monad in ExceptT

Since 1.2.12

valuerunExceptC

:: Monad m
=> ConduitT i o (ExceptT e m) r
-> ConduitT i o m (Either e r)

Run ExceptT in the base monad

Since 1.2.12

valuecatchExceptC

:: Monad m
=> ConduitT i o (ExceptT e m) r
-> e -> ConduitT i o (ExceptT e m) r
-> ConduitT i o (ExceptT e m) r

Catch an error in the base monad

Since 1.2.12

CatchC

valuerunCatchC

:: Monad m
=> ConduitT i o (CatchT m) r
-> ConduitT i o m (Either SomeException r)

Run CatchT in the base monad

Since 1.1.0

valuecatchCatchC

:: Monad m
=> ConduitT i o (CatchT m) r
-> SomeException -> ConduitT i o (CatchT m) r
-> ConduitT i o (CatchT m) r

Catch an exception in the base monad

Since 1.1.0

MaybeT

valuemaybeC :: Monad m => ConduitT i o m (Maybe a) -> ConduitT i o (MaybeT m) a

Wrap the base monad in MaybeT

Since 1.0.11

valuerunMaybeC

:: Monad m
=> ConduitT i o (MaybeT m) r
-> ConduitT i o m (Maybe r)

Run MaybeT in the base monad

Since 1.0.11

ReaderT

valuereaderC

:: Monad m
=> r -> ConduitT i o m a
-> ConduitT i o (ReaderT r m) a

Wrap the base monad in ReaderT

Since 1.0.11

valuerunReaderC

:: Monad m
=> r
-> ConduitT i o (ReaderT r m) res
-> ConduitT i o m res

Run ReaderT in the base monad

Since 1.0.11

StateT, lazy

valuestateLC

:: Monad m
=> s -> ConduitT i o m (a, s)
-> ConduitT i o (StateT s m) a

Wrap the base monad in StateT

Since 1.0.11

valuerunStateLC

:: Monad m
=> s
-> ConduitT i o (StateT s m) r
-> ConduitT i o m (r, s)

Run StateT in the base monad

Since 1.0.11

valueevalStateLC

:: Monad m
=> s
-> ConduitT i o (StateT s m) r
-> ConduitT i o m r

Evaluate StateT in the base monad

Since 1.0.11

valueexecStateLC

:: Monad m
=> s
-> ConduitT i o (StateT s m) r
-> ConduitT i o m s

Execute StateT in the base monad

Since 1.0.11

Strict

valuestateC

:: Monad m
=> s -> ConduitT i o m (a, s)
-> ConduitT i o (StateT s m) a

Wrap the base monad in StateT

Since 1.0.11

valuerunStateC

:: Monad m
=> s
-> ConduitT i o (StateT s m) r
-> ConduitT i o m (r, s)

Run StateT in the base monad

Since 1.0.11

valueevalStateC

:: Monad m
=> s
-> ConduitT i o (StateT s m) r
-> ConduitT i o m r

Evaluate StateT in the base monad

Since 1.0.11

valueexecStateC

:: Monad m
=> s
-> ConduitT i o (StateT s m) r
-> ConduitT i o m s

Execute StateT in the base monad

Since 1.0.11

WriterT, lazy

valuewriterLC

:: (Monad m, Monoid w)
=> ConduitT i o m (b, w)
-> ConduitT i o (WriterT w m) b

Wrap the base monad in WriterT

Since 1.0.11

valuerunWriterLC

:: (Monad m, Monoid w)
=> ConduitT i o (WriterT w m) r
-> ConduitT i o m (r, w)

Run WriterT in the base monad

Since 1.0.11

valueexecWriterLC

:: (Monad m, Monoid w)
=> ConduitT i o (WriterT w m) r
-> ConduitT i o m w

Execute WriterT in the base monad

Since 1.0.11

Strict

valuewriterC

:: (Monad m, Monoid w)
=> ConduitT i o m (b, w)
-> ConduitT i o (WriterT w m) b

Wrap the base monad in WriterT

Since 1.0.11

valuerunWriterC

:: (Monad m, Monoid w)
=> ConduitT i o (WriterT w m) r
-> ConduitT i o m (r, w)

Run WriterT in the base monad

Since 1.0.11

valueexecWriterC

:: (Monad m, Monoid w)
=> ConduitT i o (WriterT w m) r
-> ConduitT i o m w

Execute WriterT in the base monad

Since 1.0.11

RWST, lazy

valuerwsLC

:: (Monad m, Monoid w)
=> r -> s -> ConduitT i o m (a, s, w)
-> ConduitT i o (RWST r w s m) a

Wrap the base monad in RWST

Since 1.0.11

valuerunRWSLC

:: (Monad m, Monoid w)
=> r
-> s
-> ConduitT i o (RWST r w s m) res
-> ConduitT i o m (res, s, w)

Run RWST in the base monad

Since 1.0.11

valueevalRWSLC

:: (Monad m, Monoid w)
=> r
-> s
-> ConduitT i o (RWST r w s m) res
-> ConduitT i o m (res, w)

Evaluate RWST in the base monad

Since 1.0.11

valueexecRWSLC

:: (Monad m, Monoid w)
=> r
-> s
-> ConduitT i o (RWST r w s m) res
-> ConduitT i o m (s, w)

Execute RWST in the base monad

Since 1.0.11

Strict

valuerwsC

:: (Monad m, Monoid w)
=> r -> s -> ConduitT i o m (a, s, w)
-> ConduitT i o (RWST r w s m) a

Wrap the base monad in RWST

Since 1.0.11

valuerunRWSC

:: (Monad m, Monoid w)
=> r
-> s
-> ConduitT i o (RWST r w s m) res
-> ConduitT i o m (res, s, w)

Run RWST in the base monad

Since 1.0.11

valueevalRWSC

:: (Monad m, Monoid w)
=> r
-> s
-> ConduitT i o (RWST r w s m) res
-> ConduitT i o m (res, w)

Evaluate RWST in the base monad

Since 1.0.11

valueexecRWSC

:: (Monad m, Monoid w)
=> r
-> s
-> ConduitT i o (RWST r w s m) res
-> ConduitT i o m (s, w)

Execute RWST in the base monad

Since 1.0.11