Mercurial > urweb
view lib/ur/char.ur @ 1208:b5a4c5407ae0
Checking known() correctly, according to a pair of examples
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 06 Apr 2010 10:39:15 -0400 |
parents | e1cf925e2074 |
children |
line wrap: on
line source
type t = char val isAlnum = Basis.isalnum val isAlpha = Basis.isalpha val isBlank = Basis.isblank val isCntrl = Basis.iscntrl val isDigit = Basis.isdigit val isGraph = Basis.isgraph val isLower = Basis.islower val isPrint = Basis.isprint val isPunct = Basis.ispunct val isSpace = Basis.isspace val isUpper = Basis.isupper val isXdigit = Basis.isxdigit val toLower = Basis.tolower val toUpper = Basis.toupper val toInt = Basis.ord val fromInt = Basis.chr