annotate lib/ur/char.ur @ 1111:e1d738870086

JavaScript urlification; more lenient export pattern in Corify; only include scripts in pages that use JavaScript
author Adam Chlipala <adamc@hcoop.net>
date Sat, 02 Jan 2010 14:54:15 -0500
parents e8a35d710ab9
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