semigroupoids-6.0.1: Semigroupoids: Category sans id

Copyright | (C) 2011-2015 Edward Kmett
License | BSD-style (see the file LICENSE)
Maintainer | Edward Kmett <ekmett@gmail.com>
Stability | provisional
Portability | portable
Safe Haskell | Safe
Language | Haskell2010

Data.Functor.Bind.Trans

Description

Synopsis

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

# Documentation

class MonadTrans t => BindTrans (t :: (Type -> Type) -> Type -> Type) where Source #

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

Methods

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

#### Instances

Instances details

BindTrans (IdentityT :: (Type -> Type) -> Type -> Type) Source # |
Instance details Defined in Data.Functor.Bind.Trans Methods liftB :: Bind b => b a -> IdentityT b a Source #
BindTrans (ReaderT e) Source # |
Instance details Defined in Data.Functor.Bind.Trans Methods liftB :: Bind b => b a -> ReaderT e b a Source #
BindTrans (StateT s) Source # |
Instance details Defined in Data.Functor.Bind.Trans Methods liftB :: Bind b => b a -> StateT s b a Source #
BindTrans (StateT s) Source # |
Instance details Defined in Data.Functor.Bind.Trans Methods liftB :: Bind b => b a -> StateT s b a Source #
Monoid w => BindTrans (WriterT w) Source # | Since: 5.3.6
Instance details Defined in Data.Functor.Bind.Trans Methods liftB :: Bind b => b a -> WriterT w b a Source #
Monoid w => BindTrans (WriterT w) Source # |
Instance details Defined in Data.Functor.Bind.Trans Methods liftB :: Bind b => b a -> WriterT w b a Source #
Monoid w => BindTrans (WriterT w) Source # |
Instance details Defined in Data.Functor.Bind.Trans Methods liftB :: Bind b => b a -> WriterT w b a Source #
BindTrans (ContT r) Source # |
Instance details Defined in Data.Functor.Bind.Trans Methods liftB :: Bind b => b a -> ContT r b a Source #
Monoid w => BindTrans (RWST r w s) Source # | Since: 5.3.6
Instance details Defined in Data.Functor.Bind.Trans Methods liftB :: Bind b => b a -> RWST r w s b a Source #
Monoid w => BindTrans (RWST r w s) Source # |
Instance details Defined in Data.Functor.Bind.Trans Methods liftB :: Bind b => b a -> RWST r w s b a Source #
Monoid w => BindTrans (RWST r w s) Source # |
Instance details Defined in Data.Functor.Bind.Trans Methods liftB :: Bind b => b a -> RWST r w s b a Source #