Mercurial > urweb
view lib/ur/char.ur @ 1359:e525ad571e15
Recursive record unification errors, for more detail
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Thu, 23 Dec 2010 11:23:31 -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