Mercurial > urweb
comparison lib/ur/string.ur @ 1388:3913cbfd72e9
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 |