Mercurial > urweb
comparison lib/basis.lig @ 220:2b665e822e9a
SQL boolean operators
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sat, 16 Aug 2008 17:35:28 -0400 |
parents | 5292c0113024 |
children | 79819a6346e2 |
comparison
equal
deleted
inserted
replaced
219:5292c0113024 | 220:2b665e822e9a |
---|---|
31 val sql_int : sql_type int | 31 val sql_int : sql_type int |
32 val sql_float : sql_type float | 32 val sql_float : sql_type float |
33 val sql_string : sql_type string | 33 val sql_string : sql_type string |
34 | 34 |
35 val sql_inject : tables ::: {{Type}} -> t ::: Type -> t -> sql_type t -> sql_exp tables t | 35 val sql_inject : tables ::: {{Type}} -> t ::: Type -> t -> sql_type t -> sql_exp tables t |
36 | |
37 con sql_unary :: Type -> Type -> Type | |
38 val sql_not : sql_unary bool bool | |
39 val sql_unary : tables ::: {{Type}} -> arg ::: Type -> res ::: Type | |
40 -> sql_unary arg res -> sql_exp tables arg -> sql_exp tables res | |
41 | |
42 con sql_binary :: Type -> Type -> Type -> Type | |
43 val sql_and : sql_binary bool bool bool | |
44 val sql_or : sql_binary bool bool bool | |
45 val sql_binary : tables ::: {{Type}} -> arg1 ::: Type -> arg2 ::: Type -> res ::: Type | |
46 -> sql_binary arg1 arg2 res -> sql_exp tables arg1 -> sql_exp tables arg2 -> sql_exp tables res | |
36 | 47 |
37 type sql_comparison | 48 type sql_comparison |
38 val sql_eq : sql_comparison | 49 val sql_eq : sql_comparison |
39 val sql_ne : sql_comparison | 50 val sql_ne : sql_comparison |
40 val sql_lt : sql_comparison | 51 val sql_lt : sql_comparison |