diff options
| author | Alec Theriault <alec.theriault@gmail.com> | 2018-09-20 23:31:00 -0700 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2018-11-22 16:07:00 -0500 |
| commit | a1bbb56f40b679f4841f0b044c0f5445ff6d3c5b (patch) | |
| tree | 3d45011584fa680ef71c0f468dd3275acaed94f0 /libraries/base/Control/Monad/Fix.hs | |
| parent | 9f3e22b9eb2e67323f965b652c37fdd73628b007 (diff) | |
| download | haskell-a1bbb56f40b679f4841f0b044c0f5445ff6d3c5b.tar.gz | |
Doc-only fixes
* laws are capitalized definition lists, no emphasis on the labels
* adds missing hyperlinks
* fixes other misc. Haddock markup issues.
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 |