@@ -1,27 +1,31 @@
1module String where
1module String where
2{-| A built-in representation of String for effecient string manipulation.
2{-| A built-in representation of String for effecient string manipulation.
4−@docs isEmpty, length, cons, uncons
5+@docs isEmpty, length, cons, uncons, reverse,
6+ map, filter, foldl, foldr, any, all, repeat
6−@docs map, filter, reverse, foldl, foldr
8+# Split and Join
9+@docs split, join, words, unwords, lines, unlines
8−@docs any, all, toUpper, toLower
11+# Get Substrings
12+@docs sub, left, right, dropLeft, dropRight
10−@docs split, join, repeat
14+# Check for Substrings
15+@docs contains, startsWith, endsWith, indices, indexes
17+# Conversion To Numbers
12−Should the next 4 exist?
20+# Formatting
13−@docs left, right, dropLeft, dropRight, sub
21+@docs toUpper, toLower
15@docs pad, padLeft, padRight
24@docs pad, padLeft, padRight
17@docs trim, trimLeft, trimRight
27@docs trim, trimLeft, trimRight
19−@docs words, unwords, lines, unlines
21−@docs contains, startsWith, endsWith, indices, indexes
27import Native.String
31import Native.String