projects
/
ghc-base.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
487b9d4
)
Haddock hacks to fix whitespace consistency
author
Simon Marlow
<marlowsd@gmail.com>
Thu, 1 Jul 2010 12:16:31 +0000
(12:16 +0000)
committer
Simon Marlow
<marlowsd@gmail.com>
Thu, 1 Jul 2010 12:16:31 +0000
(12:16 +0000)
GHC/Arr.lhs
patch
|
blob
|
history
diff --git
a/GHC/Arr.lhs
b/GHC/Arr.lhs
index
8a41653
..
639405d
100644
(file)
--- a/
GHC/Arr.lhs
+++ b/
GHC/Arr.lhs
@@
-49,13
+49,13
@@
default ()
-- An implementation is entitled to assume the following laws about these
-- operations:
--
-- An implementation is entitled to assume the following laws about these
-- operations:
--
--- * @'inRange' (l,u) i == 'elem' i ('range' (l,u))@
+-- * @'inRange' (l,u) i == 'elem' i ('range' (l,u))@ @ @
--
-- * @'range' (l,u) '!!' 'index' (l,u) i == i@, when @'inRange' (l,u) i@
--
--
-- * @'range' (l,u) '!!' 'index' (l,u) i == i@, when @'inRange' (l,u) i@
--
--- * @'map' ('index' (l,u)) ('range' (l,u))) == [0..'rangeSize' (l,u)-1]@
+-- * @'map' ('index' (l,u)) ('range' (l,u))) == [0..'rangeSize' (l,u)-1]@ @ @
--
--
--- * @'rangeSize' (l,u) == 'length' ('range' (l,u))@
+-- * @'rangeSize' (l,u) == 'length' ('range' (l,u))@ @ @
--
-- Minimal complete instance: 'range', 'index' and 'inRange'.
--
--
-- Minimal complete instance: 'range', 'index' and 'inRange'.
--