semigroupoids-5.3.7: 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

Documentation

class MonadTrans t => BindTrans t 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

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 #

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 #

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 #

BindTrans ( ReaderT e) Source #
Instance details

Defined in Data.Functor.Bind.Trans

Methods

liftB :: Bind b => b a -> ReaderT e 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 #
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 #

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 #