Mercurial > urweb

comparison lib/basis.urs @ 284:77a28e7430bf

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
intToString
author Adam Chlipala <adamc@hcoop.net>
date Sun, 07 Sep 2008 10:13:02 -0400
parents c0e4ac23522d
children e89076c41c39
comparison
equal deleted inserted replaced
283:c0e4ac23522d 284:77a28e7430bf
3 type string 3 type string
4 4
5 type unit = {} 5 type unit = {}
6 6
7 datatype bool = False | True 7 datatype bool = False | True
8
9 (*datatype option t = None | Some of t*)
8 10
9 11
10 (** Basic type classes *) 12 (** Basic type classes *)
11 13
12 class eq 14 class eq
18 20
19 21
20 (** String operations *) 22 (** String operations *)
21 23
22 val strcat : string -> string -> string 24 val strcat : string -> string -> string
25
26 val intToString : int -> string
27
23 28
24 29
25 (** SQL *) 30 (** SQL *)
26 31
27 con sql_table :: {Type} -> Type 32 con sql_table :: {Type} -> Type