Data.Functor.Bind.Trans

semigroupoids-1.2.6: Haskell 98 semigroupoids: Category sans id

Portability | portable
Stability | provisional
Maintainer | Edward Kmett <ekmett@gmail.com>

Data.Functor.Bind.Trans

Description

Synopsis

- class MonadTrans t => BindTrans t where
  - liftB :: Bind b => b a -> t b a

# 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) |