diff options
| author | Herbert Valerio Riedel <hvr@gnu.org> | 2014-01-30 10:30:04 +0100 |
|---|---|---|
| committer | Herbert Valerio Riedel <hvr@gnu.org> | 2014-01-30 10:30:04 +0100 |
| commit | cc4ba35f054ff728781b47a8a52edef29aaed59f (patch) | |
| tree | d5a601d7293ac315784b076c0b5a024d3be6c475 /libraries/base/Control/Arrow.hs | |
| parent | fcf0294b443622850cc2e3aac06d0da053c2636b (diff) | |
| download | haskell-cc4ba35f054ff728781b47a8a52edef29aaed59f.tar.gz | |
Improve Haddock markup
This fixes the markup at the top of `Control.Arrow`, and improves the
markup inside DEPRECATED strings.
(Haddock supports markup inside DEPRECATED messages, which allows to
turn references to Haskell entities into hyperlinks by using the usual
Haddock markup.)
Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
Diffstat (limited to 'libraries/base/Control/Arrow.hs')
| -rw-r--r-- | libraries/base/Control/Arrow.hs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/libraries/base/Control/Arrow.hs b/libraries/base/Control/Arrow.hs index c971be5d40..b723dd4722 100644 --- a/libraries/base/Control/Arrow.hs +++ b/libraries/base/Control/Arrow.hs @@ -10,11 +10,15 @@ -- Portability : portable -- -- Basic arrow definitions, based on +-- -- * /Generalising Monads to Arrows/, by John Hughes, -- /Science of Computer Programming/ 37, pp67-111, May 2000. +-- -- plus a couple of definitions ('returnA' and 'loop') from +-- -- * /A New Notation for Arrows/, by Ross Paterson, in /ICFP 2001/, -- Firenze, Italy, pp229-240. +-- -- These papers and more information on arrows can be found at -- <http://www.haskell.org/arrows/>. @@ -186,6 +190,7 @@ instance MonadPlus m => ArrowPlus (Kleisli m) where -- | Choice, for arrows that support it. This class underlies the -- @if@ and @case@ constructs in arrow notation. +-- -- Minimal complete definition: 'left', satisfying the laws -- -- * @'left' ('arr' f) = 'arr' ('left' f)@ |