comparison lib/ur/char.urs @ 1061:e8a35d710ab9

Context globals; ctype functions
author Adam Chlipala <adamc@hcoop.net>
date Tue, 08 Dec 2009 10:46:50 -0500
parents
children e1cf925e2074
comparison
equal deleted inserted replaced
1060:6f4f8b9c5023 1061:e8a35d710ab9
1 type t = char
2
3 val isAlnum : t -> bool
4 val isAlpha : t -> bool
5 val isBlank : t -> bool
6 val isCntrl : t -> bool
7 val isDigit : t -> bool
8 val isGraph : t -> bool
9 val isLower : t -> bool
10 val isPrint : t -> bool
11 val isPunct : t -> bool
12 val isSpace : t -> bool
13 val isUpper : t -> bool
14 val isXdigit : t -> bool
15 val toLower : t -> t
16 val toUpper : t -> t