annotate lib/ur/char.urs @ 1549:355a928871ff

Gracefully accept browser's refusal to let us set certain AJAX headers
author Adam Chlipala <adam@chlipala.net>
date Fri, 26 Aug 2011 09:51:38 -0400
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