Control.RMonad.Fix

Documentation

class RMonad m => RMonadFix m where

Methods

mfix :: Suitable m a => (a -> m a) -> m a

Instances

RMonadFix []

RMonadFix IO

RMonadFix Maybe

RMonadFix Set

RMonadFix ((->) r)

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.