Mercurial > urweb

comparison lib/ur/string.ur @ 1388:3913cbfd72e9

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
String processing optimizations
author Adam Chlipala <adam@chlipala.net>
date Tue, 11 Jan 2011 14:03:54 -0500
parents f0afe61a6f8b
children 9a721f0722d3
comparison
equal deleted inserted replaced
1387:dd99e1702432 1388:3913cbfd72e9
1 type t = Basis.string 1 type t = Basis.string
2 2
3 val str = Basis.str1 3 val str = Basis.str1
4 4
5 val length = Basis.strlen 5 val length = Basis.strlen
6 val lengthGe = Basis.strlenGe
6 val append = Basis.strcat 7 val append = Basis.strcat
7 8
8 val sub = Basis.strsub 9 val sub = Basis.strsub
9 val suffix = Basis.strsuffix 10 val suffix = Basis.strsuffix
10 11