annotate lib/ur/char.urs @ 1754:a1380fc15cb5

Fix bugs in support for 'style' and 'dynStyle'
author Adam Chlipala <adam@chlipala.net>
date Sun, 06 May 2012 15:46:25 -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