Mercurial > urweb

comparison lib/basis.lig @ 235:0608a0cfd32a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
COUNT
author Adam Chlipala <adamc@hcoop.net>
date Thu, 28 Aug 2008 11:59:46 -0400
parents 82409ef72019
children f5732dc1316c
comparison
equal deleted inserted replaced
234:82409ef72019 235:0608a0cfd32a
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 -> sql_injectable t
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
128 val sql_count : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type}
129 -> unit -> sql_exp tables agg exps int
130
127 131
128 (** XML *) 132 (** XML *)
129 133
130 con tag :: {Type} -> {Unit} -> {Unit} -> {Type} -> {Type} -> Type 134 con tag :: {Type} -> {Unit} -> {Unit} -> {Type} -> {Type} -> Type
131 135