@@ -37,7 +37,7 @@ foldl1 f (x::xs) = foldl f x xs
37(++) = prim__concat
37(++) = prim__concat
39||| A preallocated buffer for building a String. This allows a function (in IO)
39||| A preallocated buffer for building a String. This allows a function (in IO)
40−||| to allocate enough space for a stirng which will be build from smaller
40+||| to allocate enough space for a string which will be built from smaller
41||| pieces without having to allocate at every step.
41||| pieces without having to allocate at every step.
42||| To build a string using a `StringBuffer`, see `newStringBuffer`,
42||| To build a string using a `StringBuffer`, see `newStringBuffer`,
43||| `addToStringBuffer` and `getStringFromBuffer`.
43||| `addToStringBuffer` and `getStringFromBuffer`.
@@ -247,7 +247,7 @@ break p = span (not . p)
247split : (Char -> Bool) -> String -> List String
247split : (Char -> Bool) -> String -> List String
248split p xs = map pack (split p (unpack xs))
248split p xs = map pack (split p (unpack xs))
250−||| Removes whitespace (determined with 'isSpace') from
250+||| Removes whitespace (determined by 'isSpace') from
251||| the start of the string.
251||| the start of the string.
253||| ```idris example
253||| ```idris example
@@ -262,7 +262,7 @@ ltrim xs with (strM xs)
262 ltrim (strCons x xs) | StrCons _ _
262 ltrim (strCons x xs) | StrCons _ _
263 = if (isSpace x) then assert_total (ltrim xs) else (strCons x xs)
263 = if (isSpace x) then assert_total (ltrim xs) else (strCons x xs)
265−||| Removes whitespace (determined with 'isSpace') from
265+||| Removes whitespace (determined by 'isSpace') from
266||| the start and end of the string.
266||| the start and end of the string.
268||| ```idris example
268||| ```idris example
@@ -371,7 +371,7 @@ toLower x with (strM x)
371||| Uppercases all characters in the string.
371||| Uppercases all characters in the string.
373||| ```idris example
373||| ```idris example
374−||| toLower "aBc12!"
374+||| toUpper "aBc12!"
376toUpper : String -> String
376toUpper : String -> String
377toUpper x with (strM x)
377toUpper x with (strM x)