annotate lib/ur/char.urs @ 1685:225b87d4a7df

Basis.toMilliseconds and diffInMilliseconds, based on a patch from Gergely Buday
author Adam Chlipala <adam@chlipala.net>
date Sat, 04 Feb 2012 11:01:06 -0500
parents e1cf925e2074
children
rev   line source
adamc@1061 1 type t = char
adamc@1061 2
adamc@1061 3 val isAlnum : t -> bool
adamc@1061 4 val isAlpha : t -> bool
adamc@1061 5 val isBlank : t -> bool
adamc@1061 6 val isCntrl : t -> bool
adamc@1061 7 val isDigit : t -> bool
adamc@1061 8 val isGraph : t -> bool
adamc@1061 9 val isLower : t -> bool
adamc@1061 10 val isPrint : t -> bool
adamc@1061 11 val isPunct : t -> bool
adamc@1061 12 val isSpace : t -> bool
adamc@1061 13 val isUpper : t -> bool
adamc@1061 14 val isXdigit : t -> bool
adamc@1061 15 val toLower : t -> t
adamc@1061 16 val toUpper : t -> t
adamc@1128 17
adamc@1128 18 val toInt : t -> int
adamc@1128 19 val fromInt : int -> t