diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-08-16 17:18:00 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-08-16 17:18:00 -0400 |
| commit | fbebdf5fa84afd716dea471e3995b6d3a7878e37 (patch) | |
| tree | bd9b2473290374cffe4d949abc3c7ed936b464e6 /lib | |
| parent | 7910af6db28602b2fb5d3c9c5227bcc3c076acdc (diff) | |
SQL comparison operators
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/basis.lig | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/lib/basis.lig b/lib/basis.lig index 01b3fab8..1343e449 100644 --- a/lib/basis.lig +++ b/lib/basis.lig @@ -34,6 +34,16 @@ val sql_string : sql_type string 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 *) |