category-extras-0.53.6: Various modules and constructs inspired by category theoryContentsIndex
Control.Monad.Indexed.Trans
Portabilityportable (indexed monad transfomers)
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>
Description
TODO: figure out a meaningful way for indexed monads to transform indexed monads
Documentation
class IxMonadTrans t where
Methods
ilift :: Monad m => m a -> t m i i a
show/hide Instances
Produced by Haddock version 2.1.0