annotate lib/ur/char.ur @ 1061:e8a35d710ab9

Context globals; ctype functions
author Adam Chlipala <adamc@hcoop.net>
date Tue, 08 Dec 2009 10:46:50 -0500
parents
children e1cf925e2074
rev   line source
adamc@1061 1 type t = char
adamc@1061 2
adamc@1061 3 val isAlnum = Basis.isalnum
adamc@1061 4 val isAlpha = Basis.isalpha
adamc@1061 5 val isBlank = Basis.isblank
adamc@1061 6 val isCntrl = Basis.iscntrl
adamc@1061 7 val isDigit = Basis.isdigit
adamc@1061 8 val isGraph = Basis.isgraph
adamc@1061 9 val isLower = Basis.islower
adamc@1061 10 val isPrint = Basis.isprint
adamc@1061 11 val isPunct = Basis.ispunct
adamc@1061 12 val isSpace = Basis.isspace
adamc@1061 13 val isUpper = Basis.isupper
adamc@1061 14 val isXdigit = Basis.isxdigit
adamc@1061 15 val toLower = Basis.tolower
adamc@1061 16 val toUpper = Basis.toupper