diff options
author | Sven Tennie <sven.tennie@gmail.com> | 2018-12-16 17:25:24 +0100 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2018-12-18 09:46:18 -0500 |
commit | ae4e4ba655f2d0d8a5cc8488ada628726e9cc147 (patch) | |
tree | cc544619d7602d45218fef659c361e42700b4fb0 /libraries/base/Data/OldList.hs | |
parent | b00741030596f921486ea98a4956ff79a8caac1c (diff) | |
download | haskell-ae4e4ba655f2d0d8a5cc8488ada628726e9cc147.tar.gz |
Add some complexities to Data.List documentation (#15003)
Namely for:
- stripPrefix
- isPrefixOf
- intersperse
- tails
- map
- scanl
- scanl1
- scanl'
- scanr
- scanr1
- zip
- zipWith
Add examples to `zipWith` and `map`.
Diffstat (limited to 'libraries/base/Data/OldList.hs')
-rw-r--r-- | libraries/base/Data/OldList.hs | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/libraries/base/Data/OldList.hs b/libraries/base/Data/OldList.hs index 99ad914ba7..559823c4bd 100644 --- a/libraries/base/Data/OldList.hs +++ b/libraries/base/Data/OldList.hs @@ -241,9 +241,9 @@ 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) [] --- | 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. +-- | /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. -- -- >>> stripPrefix "foo" "foobar" -- Just "bar" @@ -319,7 +319,7 @@ findIndices p ls = build $ \c n -> in foldr go (\_ -> n) ls 0# #endif /* USE_REPORT_PRELUDE */ --- | The 'isPrefixOf' function takes two lists and returns 'True' +-- | /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!" @@ -509,7 +509,7 @@ intersectBy _ [] _ = [] intersectBy _ _ [] = [] intersectBy eq xs ys = [x | x <- xs, any (eq x) ys] --- | The 'intersperse' function takes an element and a list and +-- | /O(n)/. The 'intersperse' function takes an element and a list and -- \`intersperses\' that element between the elements of the list. -- For example, -- @@ -1001,7 +1001,7 @@ inits = map toListSB . scanl' snocSB emptySB -- if it fuses with a consumer, and it would generally lead to serious -- loss of sharing if allowed to fuse with a producer. --- | The 'tails' function returns all final segments of the argument, +-- | /O(n)/. The 'tails' function returns all final segments of the argument, -- longest first. For example, -- -- >>> tails "abc" |