From 631b4b46de98cae2e6d207dc596fbd57a0a1beeb Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sat, 16 Aug 2008 17:35:28 -0400
Subject: SQL boolean operators

---
 lib/basis.lig | 11 +++++++++++
 1 file changed, 11 insertions(+)

(limited to 'lib/basis.lig')

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
-- 
cgit v1.2.3