semigroupoids-5.2.2: Semigroupoids: Category sans id

Copyright(C) 2011-2015 Edward Kmett
LicenseBSD-style (see the file LICENSE)
MaintainerEdward Kmett <ekmett@gmail.com>
Stabilityprovisional
Portabilityportable
Safe HaskellSafe
LanguageHaskell98

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.

Minimal complete definition

liftB

Methods

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

Instances
BindTrans (IdentityT :: (* -> *) -> * -> *) Source # 
Instance details

Defined in Data.Functor.Bind.Trans

Methods

liftB :: Bind b => b a -> IdentityT 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 (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 #