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

Portabilityportable (indexed monad transfomers)
Stabilityexperimental
MaintainerEdward Kmett <[email protected]>

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

Instances