diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-08-16 17:35:28 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-08-16 17:35:28 -0400 |
| commit | 631b4b46de98cae2e6d207dc596fbd57a0a1beeb (patch) | |
| tree | 9901b62d9a5999fd32bc762e08076758550a8785 /lib | |
| parent | fbebdf5fa84afd716dea471e3995b6d3a7878e37 (diff) | |
SQL boolean operators
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/basis.lig | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/lib/basis.lig b/lib/basis.lig index 1343e449..e056acee 100644 --- a/lib/basis.lig +++ b/lib/basis.lig @@ -34,6 +34,17 @@ val sql_string : sql_type string val sql_inject : tables ::: {{Type}} -> t ::: Type -> t -> sql_type t -> sql_exp tables t +con sql_unary :: Type -> Type -> Type +val sql_not : sql_unary bool bool +val sql_unary : tables ::: {{Type}} -> arg ::: Type -> res ::: Type + -> sql_unary arg res -> sql_exp tables arg -> sql_exp tables res + +con sql_binary :: Type -> Type -> Type -> Type +val sql_and : sql_binary bool bool bool +val sql_or : sql_binary bool bool bool +val sql_binary : tables ::: {{Type}} -> arg1 ::: Type -> arg2 ::: Type -> res ::: Type + -> sql_binary arg1 arg2 res -> sql_exp tables arg1 -> sql_exp tables arg2 -> sql_exp tables res + type sql_comparison val sql_eq : sql_comparison val sql_ne : sql_comparison |