Mercurial > urweb
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 |