Mercurial > urweb
view lib/ur/char.ur @ 1211:1d4d65245dd3
About to try removing Select predicate
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 06 Apr 2010 13:59:16 -0400 (2010-04-06) |
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