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	Haskell98

Data.Functor.Semimonad.Trans

Description

Synopsis

Documentation

A subset of monad transformers can transform any Semimonad as well.

Minimal complete definition

Methods

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

Instances

Monoid w => SemimonadTrans (WriterT w) Source #
Instance details Defined in Data.Functor.Semimonad.Trans Methods liftB :: Semimonad b => b a -> WriterT w b a Source #
Monoid w => SemimonadTrans (WriterT w) Source #
Instance details Defined in Data.Functor.Semimonad.Trans Methods liftB :: Semimonad b => b a -> WriterT w b a Source #
SemimonadTrans (StateT s) Source #
Instance details Defined in Data.Functor.Semimonad.Trans Methods liftB :: Semimonad b => b a -> StateT s b a Source #
SemimonadTrans (StateT s) Source #
Instance details Defined in Data.Functor.Semimonad.Trans Methods liftB :: Semimonad b => b a -> StateT s b a Source #
SemimonadTrans (IdentityT :: (* -> ) -> -> *) Source #
Instance details Defined in Data.Functor.Semimonad.Trans Methods liftB :: Semimonad b => b a -> IdentityT b a Source #
SemimonadTrans (ReaderT e :: (* -> ) -> -> *) Source #
Instance details Defined in Data.Functor.Semimonad.Trans Methods liftB :: Semimonad b => b a -> ReaderT e b a Source #
SemimonadTrans (ContT r) Source #
Instance details Defined in Data.Functor.Semimonad.Trans Methods liftB :: Semimonad b => b a -> ContT r b a Source #
Monoid w => SemimonadTrans (RWST r w s) Source #
Instance details Defined in Data.Functor.Semimonad.Trans Methods liftB :: Semimonad b => b a -> RWST r w s b a Source #
Monoid w => SemimonadTrans (RWST r w s) Source #
Instance details Defined in Data.Functor.Semimonad.Trans Methods liftB :: Semimonad b => b a -> RWST r w s b a Source #