rmonad-0.3: Restricted monad library

Control.RMonad.Fix

Synopsis

class RMonad m => RMonadFix m whereSource

Methods

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.

fix f

fix

f

x

f x = x