Mercurial > urweb
view lib/ur/char.ur @ 1351:74d35d9a5d16
Implement constrained type kinding properly; bump mono inline threshhold
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Mon, 20 Dec 2010 09:34:10 -0500 |
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