@@ -1,5 +1,28 @@
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
6+@docs map, filter, reverse, foldl, foldr
12+@docs pad, padLeft, padRight
14+@docs trim, trimLeft, trimRight
16+@docs words, unwords, lines, unlines
18+@docs toUpper, toLower
22+@docs contains, startsWith, endsWith, indices, indexes
5import Native.String
28import Native.String
@@ -67,18 +90,18 @@ repeat = Native.String.repeat
70−center : Int -> Char -> String -> String
93+pad : Int -> Char -> String -> String
71−center = Native.String.center
94+pad = Native.String.pad
75−justifyLeft : Int -> Char -> String -> String
98+padLeft : Int -> Char -> String -> String
76−justifyLeft = Native.String.justifyLeft
99+padLeft = Native.String.padLeft
80−justifyRight : Int -> Char -> String -> String
103+padRight : Int -> Char -> String -> String
81−justifyRight = Native.String.justifyRight
104+padRight = Native.String.padRight