rmonad-0.6: Restricted monad library

Control.RMonad.Fix

Synopsis

Documentation

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.