Typeset Big-O complexities with Tex-style notation (#16090)
authorSven Tennie <sven.tennie@gmail.com>
Mon, 22 Apr 2019 23:35:33 +0000 (01:35 +0200)
committerMarge Bot <ben+marge-bot@smart-cactus.org>
Fri, 3 May 2019 17:40:36 +0000 (13:40 -0400)
Use `\min` instead of `min` to typeset it as an operator.

libraries/base/Data/OldList.hs
libraries/base/GHC/List.hs

index 035a969..ac5cbdd 100644 (file)
@@ -241,7 +241,7 @@ infix 5 \\ -- comment to fool cpp: https://downloads.haskell.org/~ghc/latest/doc
 dropWhileEnd :: (a -> Bool) -> [a] -> [a]
 dropWhileEnd p = foldr (\x xs -> if p x && null xs then [] else x : xs) []
 
--- | \(\mathcal{O}(min(m,n))\). The 'stripPrefix' function drops the given
+-- | \(\mathcal{O}(\min(m,n))\). The 'stripPrefix' function drops the given
 -- prefix from a list. It returns 'Nothing' if the list did not start with the
 -- prefix given, or 'Just' the list after the prefix, if it does.
 --
@@ -319,7 +319,7 @@ findIndices p ls = build $ \c n ->
   in foldr go (\_ -> n) ls 0#
 #endif  /* USE_REPORT_PRELUDE */
 
--- | \(\mathcal{O}(min(m,n))\). The 'isPrefixOf' function takes two lists and
+-- | \(\mathcal{O}(\min(m,n))\). The 'isPrefixOf' function takes two lists and
 -- returns 'True' iff the first list is a prefix of the second.
 --
 -- >>> "Hello" `isPrefixOf` "Hello World!"
index 2a2b4cb..0ed8caf 100644 (file)
@@ -1013,7 +1013,7 @@ NB: Zips for larger tuples are in the List module.
 -}
 
 ----------------------------------------------
--- | \(\mathcal{O}(min(m,n))\). 'zip' takes two lists and returns a list of
+-- | \(\mathcal{O}(\min(m,n))\). 'zip' takes two lists and returns a list of
 -- corresponding pairs.
 --
 -- > zip [1, 2] ['a', 'b'] = [(1, 'a'), (2, 'b')]
@@ -1071,7 +1071,7 @@ zip3FB cons = \a b c r -> (a,b,c) `cons` r
 -- function given as the first argument, instead of a tupling function.
 
 ----------------------------------------------
--- | \(\mathcal{O}(min(m,n))\). 'zipWith' generalises 'zip' by zipping with the
+-- | \(\mathcal{O}(\min(m,n))\). 'zipWith' generalises 'zip' by zipping with the
 -- function given as the first argument, instead of a tupling function. For
 -- example, @'zipWith' (+)@ is applied to two lists to produce the list of
 -- corresponding sums: