diff options
Diffstat (limited to 'lib/ur/basis.urs')
-rw-r--r-- | lib/ur/basis.urs | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs index 31aa4cdd..200d9896 100644 --- a/lib/ur/basis.urs +++ b/lib/ur/basis.urs @@ -52,6 +52,24 @@ val ord_time : ord time val mkOrd : t ::: Type -> {Lt : t -> t -> bool, Le : t -> t -> bool} -> ord t +(** Character operations *) + +val isalnum : char -> bool +val isalpha : char -> bool +val isblank : char -> bool +val iscntrl : char -> bool +val isdigit : char -> bool +val isgraph : char -> bool +val islower : char -> bool +val isprint : char -> bool +val ispunct : char -> bool +val isspace : char -> bool +val isupper : char -> bool +val isxdigit : char -> bool +val tolower : char -> char +val toupper : char -> char + + (** String operations *) val strlen : string -> int |