annotate lib/ur/char.urs @ 1172:ad15700272f6

Changing foldRX to mapX
author Adam Chlipala <adamc@hcoop.net>
date Sun, 28 Feb 2010 13:06:10 -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