Mercurial > urweb

diff lib/ur/string.urs @ 2021:2da693675de9

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
String.trim; add OnChange to more tags
author Adam Chlipala <adam@chlipala.net>
date Tue, 10 Jun 2014 10:58:22 -0400
parents 65fbb250b875
children
line wrap: on
line diff
--- a/lib/ur/string.urs	Mon Jun 09 18:26:03 2014 -0400
+++ b/lib/ur/string.urs	Tue Jun 10 10:58:22 2014 -0400
@@ -33,3 +33,5 @@
 val newlines : ctx ::: {Unit} -> [[Body] ~ ctx] => string -> xml ([Body] ++ ctx) [] []
 
 val isPrefix : {Full : t, Prefix : t} -> bool
+
+val trim : t -> t