@@ -2,130 +2,130 @@ module String where
2{-| A built-in representation of String for effecient string manipulation.
2{-| A built-in representation of String for effecient string manipulation.
5−import Native.String as Native
5+import Native.String
6import Maybe (Maybe)
6import Maybe (Maybe)
10isEmpty : String
10isEmpty : String
11−isEmpty = Native.isEmpty
11+isEmpty = Native.String.isEmpty
15cons : Char -> String -> String
15cons : Char -> String -> String
16−cons = Native.cons
16+cons = Native.String.cons
20uncons : String -> Maybe (Char, String)
20uncons : String -> Maybe (Char, String)
21−uncons = Native.uncons
21+uncons = Native.String.uncons
25map : (Char -> Char) -> String -> String
25map : (Char -> Char) -> String -> String
26−map = Native.map
26+map = Native.String.map
30filter : (Char -> Bool) -> String -> String
30filter : (Char -> Bool) -> String -> String
31−filter = Native.filter
31+filter = Native.String.filter
35reverse : String -> String
35reverse : String -> String
36−reverse = Native.reverse
36+reverse = Native.String.reverse
40foldl : (Char -> b -> b) -> b -> String -> b
40foldl : (Char -> b -> b) -> b -> String -> b
41−foldl = Native.foldl
41+foldl = Native.String.foldl
45foldr : (Char -> b -> b) -> b -> String -> b
45foldr : (Char -> b -> b) -> b -> String -> b
46−foldr = Native.foldr
46+foldr = Native.String.foldr
50split : String -> String -> [String]
50split : String -> String -> [String]
51−split = Native.split
51+split = Native.String.split
55join : String -> [String] -> String
55join : String -> [String] -> String
56−join = Native.join
56+join = Native.String.join
60repeat : Int -> String -> String
60repeat : Int -> String -> String
61−repeat = Native.repeat
61+repeat = Native.String.repeat
65center : Int -> Char -> String -> String
65center : Int -> Char -> String -> String
66−center = Native.center
66+center = Native.String.center
70justifyLeft : Int -> Char -> String -> String
70justifyLeft : Int -> Char -> String -> String
71−justifyLeft = Native.justifyLeft
71+justifyLeft = Native.String.justifyLeft
75justifyRight : Int -> Char -> String -> String
75justifyRight : Int -> Char -> String -> String
76−justifyRight = Native.justifyRight
76+justifyRight = Native.String.justifyRight
80trim : String -> String
80trim : String -> String
81−trim = Native.trim
81+trim = Native.String.trim
85trimLeft : String -> String
85trimLeft : String -> String
86−trimLeft = Native.trimLeft
86+trimLeft = Native.String.trimLeft
90trimRight : String -> String
90trimRight : String -> String
91−trimRight = Native.trimRight
91+trimRight = Native.String.trimRight
95words : String -> [String]
95words : String -> [String]
96−words = Native.words
96+words = Native.String.words
100unwords : [String] -> String
100unwords : [String] -> String
101−unwords = Native.unwords
101+unwords = Native.String.unwords
105lines : String -> [String]
105lines : String -> [String]
106−lines = Native.lines
106+lines = Native.String.lines
110unlines : [String] -> String
110unlines : [String] -> String
111−unlines = Native.unlines
111+unlines = Native.String.unlines
115toUpper : String -> String
115toUpper : String -> String
116−toUpper = Native.toUpper
116+toUpper = Native.String.toUpper
120toLower : String -> String
120toLower : String -> String
121−toLower = Native.toLower
121+toLower = Native.String.toLower
125any : (Char -> Bool) -> String -> Bool
125any : (Char -> Bool) -> String -> Bool
126−any = Native.any
126+any = Native.String.any
130all : (Char -> Bool) -> String -> Bool
130all : (Char -> Bool) -> String -> Bool
131−all = Native.all
131+all = Native.String.all