indexed-0.1.1: Haskell98 indexed functors, monads, comonads

Copyright(C) 2008 Edward Kmett
LicenseBSD-style (see the file LICENSE)
MaintainerReiner Pope <reiner.pope@gmail.com>
Stabilityexperimental
Portabilityportable
Safe HaskellSafe
LanguageHaskell98

Control.Monad.Indexed.Trans

Description

TODO: figure out a meaningful way for indexed monads to transform indexed monads

Documentation

class IxMonadTrans t where Source #

Minimal complete definition

ilift

Methods

ilift :: Monad m => m a -> t m i i a Source #