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

git.iko.soy/elk

on 76b2e56 help sign in

elk/libraries/String.elm

133 lines 1.8 kB history raw

1module String where

2{-| A built-in representation of String for effecient string manipulation.

3-}

5import Native.String as Native

6import Maybe

8data String = String

10{-|

11-}

12isEmpty : String

13isEmpty = Native.isEmpty

15{-|

16-}

17cons : Char -> String -> String

18cons = Native.cons

20{-|

21-}

22uncons : String -> Maybe (Char, String)

23uncons = Native.uncons

25{-|

26-}

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

28map = Native.map

30{-|

31-}

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

33filter = Native.filter

35{-|

36-}

37reverse : String -> String

38reverse = Native.reverse

40{-|

41-}

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

43foldl = Native.foldl

45{-|

46-}

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

48foldr = Native.foldr

50{-|

51-}

52split : String -> String -> [String]

53split = Native.split

55{-|

56-}

57join : String -> [String] -> String

58join = Native.join

60{-|

61-}

62repeat : Int -> String -> String

63repeat = Native.repeat

65{-|

66-}

67center : Int -> Char -> String -> String

68center = Native.center

70{-|

71-}

72justifyLeft : Int -> Char -> String -> String

73justifyLeft = Native.justifyLeft

75{-|

76-}

77justifyRight : Int -> Char -> String -> String

78justifyRight = Native.justifyRight

80{-|

81-}

82trim : String -> String

83trim = Native.trim

85{-|

86-}

87trimLeft : String -> String

88trimLeft = Native.trimLeft

90{-|

91-}

92trimRight : String -> String

93trimRight = Native.trimRight

95{-|

96-}

97words : String -> [String]

98words = Native.words

100{-|

102unwords : [String] -> String

103unwords = Native.unwords

105{-|

107lines : String -> [String]

108lines = Native.lines

110{-|

112unlines : [String] -> String

113unlines = Native.unlines

115{-|

117toUpper : String -> String

118toUpper = Native.toUpper

120{-|

122toLower : String -> String

123toLower = Native.toLower

125{-|

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

128any = Native.any

130{-|

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

133all = Native.all