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

Portabilityportable
Stabilityexperimental
MaintainerEdward Kmett <[email protected]>

Control.Monad.Indexed.Fix

Description

 

Documentation

class IxMonad m => IxMonadFix m whereSource

Methods

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

Instances