Mercurial > urweb

comparison lib/basis.lig @ 236:f5732dc1316c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
More aggregate functions
author Adam Chlipala <adamc@hcoop.net>
date Thu, 28 Aug 2008 12:56:08 -0400
parents 0608a0cfd32a
children 2b9dfaffb008
comparison
equal deleted inserted replaced
235:0608a0cfd32a 236:f5732dc1316c
119 val sql_le : sql_comparison 119 val sql_le : sql_comparison
120 val sql_gt : sql_comparison 120 val sql_gt : sql_comparison
121 val sql_ge : sql_comparison 121 val sql_ge : sql_comparison
122 val sql_comparison : sql_comparison 122 val sql_comparison : sql_comparison
123 -> tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type} 123 -> tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type}
124 -> t ::: Type -> sql_injectable t 124 -> t ::: Type
125 -> sql_exp tables agg exps t -> sql_exp tables agg exps t 125 -> sql_exp tables agg exps t -> sql_exp tables agg exps t
126 -> sql_exp tables agg exps bool 126 -> sql_exp tables agg exps bool
127 127
128 val sql_count : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type} 128 val sql_count : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type}
129 -> unit -> sql_exp tables agg exps int 129 -> unit -> sql_exp tables agg exps int
130
131 con sql_aggregate :: Type -> Type
132 val sql_aggregate : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type} -> t ::: Type
133 -> sql_aggregate t -> sql_exp agg agg exps t -> sql_exp tables agg exps t
134
135 class sql_summable
136 val sql_summable_int : sql_summable int
137 val sql_summable_float : sql_summable float
138 val sql_avg : t ::: Type -> sql_summable t -> sql_aggregate t
139 val sql_sum : t ::: Type -> sql_summable t -> sql_aggregate t
140
141 class sql_maxable
142 val sql_maxable_int : sql_maxable int
143 val sql_maxable_float : sql_maxable float
144 val sql_maxable_string : sql_maxable string
145 val sql_max : t ::: Type -> sql_maxable t -> sql_aggregate t
146 val sql_min : t ::: Type -> sql_maxable t -> sql_aggregate t
130 147
131 148
132 (** XML *) 149 (** XML *)
133 150
134 con tag :: {Type} -> {Unit} -> {Unit} -> {Type} -> {Type} -> Type 151 con tag :: {Type} -> {Unit} -> {Unit} -> {Type} -> {Type} -> Type