libraries/String.elm · elk · git.iko.soy

git.iko.soy/elk

on ea06794 help sign in

elk/libraries/String.elm

131 lines 2.0 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-}

25map : (Char -> Char) -> String -> String

26map = Native.String.map

28{-|

29-}

30filter : (Char -> Bool) -> String -> String

31filter = Native.String.filter

33{-|

34-}

35reverse : String -> String

36reverse = Native.String.reverse

38{-|

39-}

40foldl : (Char -> b -> b) -> b -> String -> b

41foldl = Native.String.foldl

43{-|

44-}

45foldr : (Char -> b -> b) -> b -> String -> b

46foldr = Native.String.foldr

48{-|

49-}

50split : String -> String -> [String]

51split = Native.String.split

53{-|

54-}

55join : String -> [String] -> String

56join = Native.String.join

58{-|

59-}

60repeat : Int -> String -> String

61repeat = Native.String.repeat

63{-|

64-}

65center : Int -> Char -> String -> String

66center = Native.String.center

68{-|

69-}

70justifyLeft : Int -> Char -> String -> String

71justifyLeft = Native.String.justifyLeft

73{-|

74-}

75justifyRight : Int -> Char -> String -> String

76justifyRight = Native.String.justifyRight

78{-|

79-}

80trim : String -> String

81trim = Native.String.trim

83{-|

84-}

85trimLeft : String -> String

86trimLeft = Native.String.trimLeft

88{-|

89-}

90trimRight : String -> String

91trimRight = Native.String.trimRight

93{-|

94-}

95words : String -> [String]

96words = Native.String.words

98{-|

99-}

100unwords : [String] -> String

101unwords = Native.String.unwords

103{-|

105lines : String -> [String]

106lines = Native.String.lines

108{-|

110unlines : [String] -> String

111unlines = Native.String.unlines

113{-|

115toUpper : String -> String

116toUpper = Native.String.toUpper

118{-|

120toLower : String -> String

121toLower = Native.String.toLower

123{-|

125any : (Char -> Bool) -> String -> Bool

126any = Native.String.any

128{-|

130all : (Char -> Bool) -> String -> Bool

131all = Native.String.all