Portability | portable |
---|---|
Stability | experimental |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Control.Monad.Indexed.Fix
Description
Documentation
class IxMonad m => IxMonadFix m whereSource
Instances
IxMonadFix IxState | |
MonadFix m => IxMonadFix (IxStateT m) |
category-extras-0.53.5: Various modules and constructs inspired by category theory
Portability | portable |
---|---|
Stability | experimental |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Control.Monad.Indexed.Fix
Description
class IxMonad m => IxMonadFix m whereSource
Instances
IxMonadFix IxState | |
MonadFix m => IxMonadFix (IxStateT m) |