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 :: (Type -> Type) -> Type -> Type)

Defined in Data.Functor.Bind.Trans

Methods

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

Monoid w => BindTrans (WriterT w)

Defined in Data.Functor.Bind.Trans

Methods

liftB :: Bind b => b a -> WriterT w b a

Monoid w => BindTrans (WriterT w)

Defined in Data.Functor.Bind.Trans

Methods

liftB :: Bind b => b a -> WriterT w b a

BindTrans (StateT s)

Defined in Data.Functor.Bind.Trans

Methods

liftB :: Bind b => b a -> StateT s b a

BindTrans (StateT s)

Defined in Data.Functor.Bind.Trans

Methods

liftB :: Bind b => b a -> StateT s b a

BindTrans (ReaderT e :: (Type -> Type) -> Type -> Type)

Defined in Data.Functor.Bind.Trans

Methods

liftB :: Bind b => b a -> ReaderT e b a

BindTrans (ContT r)

Defined in Data.Functor.Bind.Trans

Methods

liftB :: Bind b => b a -> ContT r b a

Monoid w => BindTrans (RWST r w s)

Defined in Data.Functor.Bind.Trans

Methods

liftB :: Bind b => b a -> RWST r w s b a

Monoid w => BindTrans (RWST r w s)

Defined in Data.Functor.Bind.Trans

Methods

liftB :: Bind b => b a -> RWST r w s b a