diff options
Diffstat (limited to 'libraries/base/Control/Monad/Fix.hs')
-rw-r--r-- | libraries/base/Control/Monad/Fix.hs | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/libraries/base/Control/Monad/Fix.hs b/libraries/base/Control/Monad/Fix.hs index f287b06541..d9a58485f2 100644 --- a/libraries/base/Control/Monad/Fix.hs +++ b/libraries/base/Control/Monad/Fix.hs @@ -39,17 +39,17 @@ import System.IO -- | Monads having fixed points with a \'knot-tying\' semantics. -- Instances of 'MonadFix' should satisfy the following laws: -- --- [/purity/] +-- [Purity] -- @'mfix' ('Control.Monad.return' . h) = 'Control.Monad.return' ('fix' h)@ -- --- [/left shrinking/ (or /tightening/)] +-- [Left shrinking (or Tightening)] -- @'mfix' (\\x -> a >>= \\y -> f x y) = a >>= \\y -> 'mfix' (\\x -> f x y)@ -- --- [/sliding/] +-- [Sliding] -- @'mfix' ('Control.Monad.liftM' h . f) = 'Control.Monad.liftM' h ('mfix' (f . h))@, -- for strict @h@. -- --- [/nesting/] +-- [Nesting] -- @'mfix' (\\x -> 'mfix' (\\y -> f x y)) = 'mfix' (\\x -> f x x)@ -- -- This class is used in the translation of the recursive @do@ notation |