Mercurial > urweb

comparison 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
comparison
equal deleted inserted replaced
2020:924e2ef31f5a 2021:2da693675de9
31 val mp : (char -> char) -> string -> string 31 val mp : (char -> char) -> string -> string
32 32
33 val newlines : ctx ::: {Unit} -> [[Body] ~ ctx] => string -> xml ([Body] ++ ctx) [] [] 33 val newlines : ctx ::: {Unit} -> [[Body] ~ ctx] => string -> xml ([Body] ++ ctx) [] []
34 34
35 val isPrefix : {Full : t, Prefix : t} -> bool 35 val isPrefix : {Full : t, Prefix : t} -> bool
36
37 val trim : t -> t