Mercurial > urweb

annotate lib/ur/char.urs @ 1077:a3273bee05a9

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Initial generalization of Especialize, with security bug known
author Adam Chlipala <adamc@hcoop.net>
date Tue, 15 Dec 2009 12:26:00 -0500
parents e8a35d710ab9
children e1cf925e2074
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