semigroupoids-4.0: Semigroupoids: Category sans id

Portabilityportable
Stabilityprovisional
MaintainerEdward Kmett <ekmett@gmail.com>
Safe HaskellSafe-Inferred

Data.Functor.Bind.Trans

Description

 

Synopsis

Documentation

class MonadTrans t => BindTrans t whereSource

A subset of monad transformers can transform any Bind as well.

Methods

liftB :: Bind b => b a -> t b aSource

Instances

BindTrans IdentityT 
BindTrans (ContT r) 
BindTrans (ReaderT e) 
BindTrans (StateT s) 
(Semigroup w, Monoid w) => BindTrans (WriterT w) 
BindTrans (StateT s) 
(Semigroup w, Monoid w) => BindTrans (WriterT w) 
(Semigroup w, Monoid w) => BindTrans (RWST r w s) 
(Semigroup w, Monoid w) => BindTrans (RWST r w s)