@@ -5,9 +5,12 @@ module String where
6@docs map, filter, reverse, foldl, foldr
6@docs map, filter, reverse, foldl, foldr
8−@docs split, join
8+@docs any, all, toUpper, toLower
10−@docs repeat
10+@docs split, join, repeat
12+Should the next 4 exist?
13+@docs left, right, dropLeft, dropRight, sub
12@docs pad, padLeft, padRight
15@docs pad, padLeft, padRight
@@ -15,10 +18,6 @@ module String where
16@docs words, unwords, lines, unlines
19@docs words, unwords, lines, unlines
18−@docs toUpper, toLower
22@docs contains, startsWith, endsWith, indices, indexes
21@docs contains, startsWith, endsWith, indices, indexes
24@docs toInt, toFloat
23@docs toInt, toFloat
@@ -88,6 +87,29 @@ join = Native.String.join
88repeat : Int -> String -> String
87repeat : Int -> String -> String
89repeat = Native.String.repeat
88repeat = Native.String.repeat
90+sub : Int -> Int -> String -> String
91+sub = Native.String.sub
95+left : Int -> String -> String
96+left = Native.String.left
100+right : Int -> String -> String
101+right = Native.String.right
105+dropLeft : Int -> String -> String
106+dropLeft = Native.String.dropLeft
110+dropRight : Int -> String -> String
111+dropRight = Native.String.dropRight
93pad : Int -> Char -> String -> String
115pad : Int -> Char -> String -> String