Data.Functor.Bind.Trans

Documentation

class MonadTrans t => BindTrans t where

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

Methods

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

Instances

BindTrans IdentityT

(Semigroup w, Monoid w) => BindTrans (WriterT w)

(Semigroup w, Monoid w) => BindTrans (WriterT w)

BindTrans (StateT s)

BindTrans (StateT s)

BindTrans (ReaderT e)

BindTrans (ContT r)

(Semigroup w, Monoid w) => BindTrans (RWST r w s)

(Semigroup w, Monoid w) => BindTrans (RWST r w s)