annotate lib/ur/string.ur @ 1009:59097824f19b

Viewing papers
author Adam Chlipala <adamc@hcoop.net>
date Thu, 22 Oct 2009 12:16:31 -0400
parents 5e1a4b12c83a
children e46227efcbba
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@831 12 fun mindex {Haystack = s, Needle = chs} = Basis.strcspn s chs
adamc@831 13
adamc@829 14 fun substring s {Start = start, Len = len} = Basis.substring s start len
adamc@829 15
adamc@829 16 fun split s ch =
adamc@829 17 case index s ch of
adamc@829 18 None => None
adamc@829 19 | Some i => Some (substring s {Start = 0, Len = i},
adamc@829 20 substring s {Start = i + 1, Len = length s - i - 1})
adamc@831 21 fun msplit {Haystack = s, Needle = chs} =
adamc@831 22 case mindex {Haystack = s, Needle = chs} of
adamc@831 23 None => None
adamc@831 24 | Some i => Some (substring s {Start = 0, Len = i},
adamc@831 25 sub s i,
adamc@831 26 substring s {Start = i + 1, Len = length s - i - 1})