@@ -37,7 +37,7 @@ foldl1 f (x::xs) = foldl f x xs
3737(++) = prim__concat
3838
3939||| 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
4141||| pieces without having to allocate at every step.
4242||| To build a string using a `StringBuffer`, see `newStringBuffer`,
4343||| `addToStringBuffer` and `getStringFromBuffer`.
@@ -247,7 +247,7 @@ break p = span (not . p)
247247split : (Char -> Bool) -> String -> List String
248248split p xs = map pack (split p (unpack xs))
249249
250−||| Removes whitespace (determined with 'isSpace') from
250+||| Removes whitespace (determined by 'isSpace') from
251251||| the start of the string.
252252|||
253253||| ```idris example
@@ -262,7 +262,7 @@ ltrim xs with (strM xs)
262262 ltrim (strCons x xs) | StrCons _ _
263263 = if (isSpace x) then assert_total (ltrim xs) else (strCons x xs)
264264
265−||| Removes whitespace (determined with 'isSpace') from
265+||| Removes whitespace (determined by 'isSpace') from
266266||| the start and end of the string.
267267|||
268268||| ```idris example
@@ -371,7 +371,7 @@ toLower x with (strM x)
371371||| Uppercases all characters in the string.
372372|||
373373||| ```idris example
374−||| toLower "aBc12!"
374+||| toUpper "aBc12!"
375375||| ```
376376toUpper : String -> String
377377toUpper x with (strM x)