Mercurial > urweb
diff lib/basis.lig @ 219:5292c0113024
SQL comparison operators
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Sat, 16 Aug 2008 17:18:00 -0400 |
| parents | 38b299373676 |
| children | 2b665e822e9a |
line wrap: on
line diff
--- a/lib/basis.lig Sat Aug 16 16:57:21 2008 -0400 +++ b/lib/basis.lig Sat Aug 16 17:18:00 2008 -0400 @@ -34,6 +34,16 @@ val sql_inject : tables ::: {{Type}} -> t ::: Type -> t -> sql_type t -> sql_exp tables t +type sql_comparison +val sql_eq : sql_comparison +val sql_ne : sql_comparison +val sql_lt : sql_comparison +val sql_le : sql_comparison +val sql_gt : sql_comparison +val sql_ge : sql_comparison +val sql_comparison : sql_comparison + -> tables ::: {{Type}} -> t ::: Type -> sql_exp tables t -> sql_exp tables t + -> sql_type t -> sql_exp tables bool (** XML *)