Ur/Web: lib/ur/string.ur annotate

Substring functions; fix a nasty MonoReduce pattern match substitution bug

author	Adam Chlipala <adamc@hcoop.net>
date	Sat, 30 May 2009 13:29:00 -0400
parents	14a6c0971d89
children	5e1a4b12c83a

rev	line source
adamc@821	1 type t = Basis.string
adamc@821	2
adamc@828	3 val length = Basis.strlen
adamc@828	4 val append = Basis.strcat
adamc@828	5
adamc@821	6 val sub = Basis.strsub
adamc@821	7 val suffix = Basis.strsuffix
adamc@829	8
adamc@829	9 val index = Basis.strindex
adamc@829	10 val atFirst = Basis.strchr
adamc@829	11
adamc@829	12 fun substring s {Start = start, Len = len} = Basis.substring s start len
adamc@829	13
adamc@829	14 fun split s ch =
adamc@829	15 case index s ch of
adamc@829	16 None => None
adamc@829	17 \| Some i => Some (substring s {Start = 0, Len = i},
adamc@829	18 substring s {Start = i + 1, Len = length s - i - 1})

Mercurial > urweb