Mercurial > urweb

comparison lib/basis.urs @ 436:024478c34f4d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
time type
author Adam Chlipala <adamc@hcoop.net>
date Thu, 30 Oct 2008 14:36:48 -0400
parents 0ce90d4d9ae7
children 1a4c1b5f4d8f
comparison
equal deleted inserted replaced
435:f7b25375c0cf 436:024478c34f4d
1 type int 1 type int
2 type float 2 type float
3 type string 3 type string
4 type time
4 5
5 type unit = {} 6 type unit = {}
6 7
7 datatype bool = False | True 8 datatype bool = False | True
8 9
50 val show : t ::: Type -> show t -> t -> string 51 val show : t ::: Type -> show t -> t -> string
51 val show_int : show int 52 val show_int : show int
52 val show_float : show float 53 val show_float : show float
53 val show_string : show string 54 val show_string : show string
54 val show_bool : show bool 55 val show_bool : show bool
56 val show_time : show time
55 57
56 class read 58 class read
57 val read : t ::: Type -> read t -> string -> option t 59 val read : t ::: Type -> read t -> string -> option t
58 val readError : t ::: Type -> read t -> string -> t 60 val readError : t ::: Type -> read t -> string -> t
59 (* [readError] calls [error] if the input is malformed. *) 61 (* [readError] calls [error] if the input is malformed. *)
60 val read_int : read int 62 val read_int : read int
61 val read_float : read float 63 val read_float : read float
62 val read_string : read string 64 val read_string : read string
63 val read_bool : read bool 65 val read_bool : read bool
66 val read_time : read time
64 67
65 68
66 (** SQL *) 69 (** SQL *)
67 70
68 con sql_table :: {Type} -> Type 71 con sql_table :: {Type} -> Type