view lib/ur/char.urs @ 1802:e3ec868567ce

Undo change to script evaluation, originally made to support <active> + 'giveFocus'; alternate approach to making 'giveFocus' work in dynamic code generatione
author Adam Chlipala <adam@chlipala.net>
date Fri, 03 Aug 2012 08:38:47 -0400
parents e1cf925e2074
children
line wrap: on
line source
type t = char

val isAlnum : t -> bool
val isAlpha : t -> bool
val isBlank : t -> bool
val isCntrl : t -> bool
val isDigit : t -> bool
val isGraph : t -> bool
val isLower : t -> bool
val isPrint : t -> bool
val isPunct : t -> bool
val isSpace : t -> bool
val isUpper : t -> bool
val isXdigit : t -> bool
val toLower : t -> t
val toUpper : t -> t

val toInt : t -> int
val fromInt : int -> t