git.iko.soy/elk
on cfe1302 help sign in
elk/libraries/String.elm
171 lines 2.5 kB history raw
1module String where
2{-| A built-in representation of String for effecient string manipulation.
3-}
5import Native.String
6import Maybe (Maybe)
8{-|
9-}
10isEmpty : String
11isEmpty = Native.String.isEmpty
13{-|
14-}
15cons : Char -> String -> String
16cons = Native.String.cons
18{-|
19-}
20uncons : String -> Maybe (Char, String)
21uncons = Native.String.uncons
23{-|
24-}
25length : String -> Int
26length = Native.String.length
28{-|
29-}
30map : (Char -> Char) -> String -> String
31map = Native.String.map
33{-|
34-}
35filter : (Char -> Bool) -> String -> String
36filter = Native.String.filter
38{-|
39-}
40reverse : String -> String
41reverse = Native.String.reverse
43{-|
44-}
45foldl : (Char -> b -> b) -> b -> String -> b
46foldl = Native.String.foldl
48{-|
49-}
50foldr : (Char -> b -> b) -> b -> String -> b
51foldr = Native.String.foldr
53{-|
54-}
55split : String -> String -> [String]
56split = Native.String.split
58{-|
59-}
60join : String -> [String] -> String
61join = Native.String.join
63{-|
64-}
65repeat : Int -> String -> String
66repeat = Native.String.repeat
68{-|
69-}
70center : Int -> Char -> String -> String
71center = Native.String.center
73{-|
74-}
75justifyLeft : Int -> Char -> String -> String
76justifyLeft = Native.String.justifyLeft
78{-|
79-}
80justifyRight : Int -> Char -> String -> String
81justifyRight = Native.String.justifyRight
83{-|
84-}
85trim : String -> String
86trim = Native.String.trim
88{-|
89-}
90trimLeft : String -> String
91trimLeft = Native.String.trimLeft
93{-|
94-}
95trimRight : String -> String
96trimRight = Native.String.trimRight
98{-|
99-}
100words : String -> [String]
101words = Native.String.words
103{-|
104-}
105unwords : [String] -> String
106unwords = Native.String.unwords
108{-|
109-}
110lines : String -> [String]
111lines = Native.String.lines
113{-|
114-}
115unlines : [String] -> String
116unlines = Native.String.unlines
118{-|
119-}
120toUpper : String -> String
121toUpper = Native.String.toUpper
123{-|
124-}
125toLower : String -> String
126toLower = Native.String.toLower
128{-|
129-}
130any : (Char -> Bool) -> String -> Bool
131any = Native.String.any
133{-|
134-}
135all : (Char -> Bool) -> String -> Bool
136all = Native.String.all
138{-|
139-}
140contains : String -> String -> Bool
141contains = Native.String.contains
143{-|
144-}
145startsWith : String -> String -> Bool
146startsWith = Native.String.startsWith
148{-|
149-}
150endsWith : String -> String -> Bool
151endsWith = Native.String.endsWith
153{-|
154-}
155indices : String -> String -> [Int]
156indices = Native.String.indexes
158{-|
159-}
160indexes : String -> String -> [Int]
161indexes = Native.String.indexes
163{-|
164-}
165toInt : String -> Maybe Int
166toInt = Native.String.toInt
168{-|
169-}
170toFloat : String -> Maybe Float
171toFloat = Native.String.toFloat