@@ -123,6 +123,7 @@ split = Native.String.split
124{-| Put many strings together with a given separator.
124{-| Put many strings together with a given separator.
126+ join "a" ["H","w","ii","n"] == "Hawaiian"
126 join " " ["cat","dog","cow"] == "cat dog cow"
127 join " " ["cat","dog","cow"] == "cat dog cow"
127 join "/" ["home","evan","Desktop"] == "home/evan/Desktop"
128 join "/" ["home","evan","Desktop"] == "home/evan/Desktop"
@@ -204,7 +205,7 @@ trim = Native.String.trim
204trimLeft : String -> String
205trimLeft : String -> String
205trimLeft = Native.String.trimLeft
206trimLeft = Native.String.trimLeft
207−{-| Get rid of whitespace on the left of a string.
208+{-| Get rid of whitespace on the right of a string.
209 trimRight " hats \n" == " hats"
210 trimRight " hats \n" == " hats"