rmonad-0.8: Restricted monad library
class RMonad m => RMonadFix m whereSource
mfix :: Suitable m a => (a -> m a) -> m aSource
fix :: (a -> a) -> a
fix f is the least fixed point of the function f,
i.e. the least defined x such that f x = x.
f x = x
Produced by Haddock version 2.12.0