view lib/ur/char.urs @ 1081:25d491287358

Basis.sql_nullable and Top.queryL
author Adam Chlipala <adamc@hcoop.net>
date Tue, 22 Dec 2009 12:13:23 -0500
parents e8a35d710ab9
children e1cf925e2074
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