category-extras-0.53.3: Various modules and constructs inspired by category theory

Portabilityportable (indexed monad transfomers)
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>

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