Mercurial > urweb

comparison lib/basis.urs @ 437:1a4c1b5f4d8f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add time to some type classes
author Adam Chlipala <adamc@hcoop.net>
date Thu, 30 Oct 2008 14:40:42 -0400
parents 024478c34f4d
children c5335613f31e
comparison
equal deleted inserted replaced
436:024478c34f4d 437:1a4c1b5f4d8f
17 val ne : t ::: Type -> eq t -> t -> t -> bool 17 val ne : t ::: Type -> eq t -> t -> t -> bool
18 val eq_int : eq int 18 val eq_int : eq int
19 val eq_float : eq float 19 val eq_float : eq float
20 val eq_string : eq string 20 val eq_string : eq string
21 val eq_bool : eq bool 21 val eq_bool : eq bool
22 val eq_time : eq time
22 val mkEq : t ::: Type -> (t -> t -> bool) -> eq t 23 val mkEq : t ::: Type -> (t -> t -> bool) -> eq t
23 24
24 class num 25 class num
25 val zero : t ::: Type -> num t -> t 26 val zero : t ::: Type -> num t -> t
26 val neg : t ::: Type -> num t -> t -> t 27 val neg : t ::: Type -> num t -> t -> t
39 val ge : t ::: Type -> ord t -> t -> t -> bool 40 val ge : t ::: Type -> ord t -> t -> t -> bool
40 val ord_int : ord int 41 val ord_int : ord int
41 val ord_float : ord float 42 val ord_float : ord float
42 val ord_string : ord string 43 val ord_string : ord string
43 val ord_bool : ord bool 44 val ord_bool : ord bool
45 val ord_time : ord time
44 46
45 47
46 (** String operations *) 48 (** String operations *)
47 49
48 val strcat : string -> string -> string 50 val strcat : string -> string -> string
162 class sql_injectable 164 class sql_injectable
163 val sql_bool : sql_injectable bool 165 val sql_bool : sql_injectable bool
164 val sql_int : sql_injectable int 166 val sql_int : sql_injectable int
165 val sql_float : sql_injectable float 167 val sql_float : sql_injectable float
166 val sql_string : sql_injectable string 168 val sql_string : sql_injectable string
169 val sql_time : sql_injectable time
167 val sql_inject : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type} 170 val sql_inject : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type}
168 -> t ::: Type 171 -> t ::: Type
169 -> sql_injectable t -> t -> sql_exp tables agg exps t 172 -> sql_injectable t -> t -> sql_exp tables agg exps t
170 173
171 con sql_unary :: Type -> Type -> Type 174 con sql_unary :: Type -> Type -> Type
214 217
215 class sql_maxable 218 class sql_maxable
216 val sql_maxable_int : sql_maxable int 219 val sql_maxable_int : sql_maxable int
217 val sql_maxable_float : sql_maxable float 220 val sql_maxable_float : sql_maxable float
218 val sql_maxable_string : sql_maxable string 221 val sql_maxable_string : sql_maxable string
222 val sql_maxable_time : sql_maxable time
219 val sql_max : t ::: Type -> sql_maxable t -> sql_aggregate t 223 val sql_max : t ::: Type -> sql_maxable t -> sql_aggregate t
220 val sql_min : t ::: Type -> sql_maxable t -> sql_aggregate t 224 val sql_min : t ::: Type -> sql_maxable t -> sql_aggregate t
221 225
222 226
223 (*** Executing queries *) 227 (*** Executing queries *)