Mercurial > urweb

comparison lib/ur/basis.urs @ 1061:e8a35d710ab9

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Context globals; ctype functions
author Adam Chlipala <adamc@hcoop.net>
date Tue, 08 Dec 2009 10:46:50 -0500
parents 93315ac00394
children 217eb87dde31
comparison
equal deleted inserted replaced
1060:6f4f8b9c5023 1061:e8a35d710ab9
48 val ord_string : ord string 48 val ord_string : ord string
49 val ord_char : ord char 49 val ord_char : ord char
50 val ord_bool : ord bool 50 val ord_bool : ord bool
51 val ord_time : ord time 51 val ord_time : ord time
52 val mkOrd : t ::: Type -> {Lt : t -> t -> bool, Le : t -> t -> bool} -> ord t 52 val mkOrd : t ::: Type -> {Lt : t -> t -> bool, Le : t -> t -> bool} -> ord t
53
54
55 (** Character operations *)
56
57 val isalnum : char -> bool
58 val isalpha : char -> bool
59 val isblank : char -> bool
60 val iscntrl : char -> bool
61 val isdigit : char -> bool
62 val isgraph : char -> bool
63 val islower : char -> bool
64 val isprint : char -> bool
65 val ispunct : char -> bool
66 val isspace : char -> bool
67 val isupper : char -> bool
68 val isxdigit : char -> bool
69 val tolower : char -> char
70 val toupper : char -> char
53 71
54 72
55 (** String operations *) 73 (** String operations *)
56 74
57 val strlen : string -> int 75 val strlen : string -> int