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

Portabilityportable
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>

Control.Monad.Indexed.Fix

Description

 

Documentation

class IxMonad m => IxMonadFix m whereSource

Methods

imfix :: (a -> m i i a) -> m i i aSource

Instances