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

git.iko.soy/elk

on 29aa809 help sign in

elk/libraries/String.elm

136 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-}

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{-|

105unwords : [String] -> String

106unwords = Native.String.unwords

108{-|

110lines : String -> [String]

111lines = Native.String.lines

113{-|

115unlines : [String] -> String

116unlines = Native.String.unlines

118{-|

120toUpper : String -> String

121toUpper = Native.String.toUpper

123{-|

125toLower : String -> String

126toLower = Native.String.toLower

128{-|

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

131any = Native.String.any

133{-|

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

136all = Native.String.all