
  0 | module Libraries.Data.String
  1 | 
  2 | import Data.String
  3 | 
  4 | %default total
  5 | 
  6 | -- Remove as soon as 0.9.0 is released,
  7 | -- (together with its imports in Idris.IDEMode.CaseSplit and Idris.REPL)
  8 | -- as rtrim is being moved to Data.String in base
  9 | 
 10 | ||| Trim whitespace on the right of the string
 11 | public export
 12 | rtrim : String -> String
 13 | rtrim = reverse . ltrim . reverse
 14 | 
 15 |