indexed-0.1: Haskell98 indexed functors, monads, comonads

Portabilityportable
Stabilityexperimental
MaintainerReiner Pope <reiner.pope@gmail.com>
Safe HaskellSafe-Infered

Control.Monad.Indexed.Trans

Description

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

Documentation

class IxMonadTrans t whereSource

Methods

ilift :: Monad m => m a -> t m i i aSource