@@ -5,9 +5,12 @@ module String where
55
66@docs map, filter, reverse, foldl, foldr
77
8−@docs split, join
8+@docs any, all, toUpper, toLower
99
10−@docs repeat
10+@docs split, join, repeat
11+
12+Should the next 4 exist?
13+@docs left, right, dropLeft, dropRight, sub
1114
1215@docs pad, padLeft, padRight
1316
@@ -15,10 +18,6 @@ module String where
1518
1619@docs words, unwords, lines, unlines
1720
18−@docs toUpper, toLower
19−
20−@docs any, all
21−
2221@docs contains, startsWith, endsWith, indices, indexes
2322
2423@docs toInt, toFloat
@@ -88,6 +87,29 @@ join = Native.String.join
8887repeat : Int -> String -> String
8988repeat = Native.String.repeat
9089
90+sub : Int -> Int -> String -> String
91+sub = Native.String.sub
92+
93+{-|
94+-}
95+left : Int -> String -> String
96+left = Native.String.left
97+
98+{-|
99+-}
100+right : Int -> String -> String
101+right = Native.String.right
102+
103+{-|
104+-}
105+dropLeft : Int -> String -> String
106+dropLeft = Native.String.dropLeft
107+
108+{-|
109+-}
110+dropRight : Int -> String -> String
111+dropRight = Native.String.dropRight
112+
91113{-|
92114-}
93115pad : Int -> Char -> String -> String