comparison lib/basis.urs @ 253:7f6620853c36

Monoized a WHERE clause with a comparison
author Adam Chlipala <adamc@hcoop.net>
date Sun, 31 Aug 2008 14:27:01 -0400
parents 7e9bd70ad3ce
children e52243e20858
comparison
equal deleted inserted replaced
252:7e9bd70ad3ce 253:7f6620853c36
117 val sql_ne : sql_comparison 117 val sql_ne : sql_comparison
118 val sql_lt : sql_comparison 118 val sql_lt : sql_comparison
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 : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type}
123 -> tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type}
124 -> t ::: Type 123 -> t ::: Type
124 -> sql_comparison
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