summaryrefslogtreecommitdiff
path: root/lib/basis.lig
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-08-21 16:00:01 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-08-21 16:00:01 -0400
commit535d72045b35d01cf4513af273262c3c50c219fe (patch)
treeaca827d739a146f42091ceb29e614392b63c561a /lib/basis.lig
parent5334dee9b387e718de785ee8578219d854755002 (diff)
LIMIT
Diffstat (limited to 'lib/basis.lig')
-rw-r--r--lib/basis.lig7
1 files changed, 6 insertions, 1 deletions
diff --git a/lib/basis.lig b/lib/basis.lig
index 863debcb..3b77a1af 100644
--- a/lib/basis.lig
+++ b/lib/basis.lig
@@ -60,10 +60,15 @@ val sql_order_by_Cons : tables ::: {{Type}} -> t ::: Type
-> sql_exp tables [] t -> sql_order_by tables
-> sql_order_by tables
+type sql_limit
+val sql_no_limit : sql_limit
+val sql_limit : int -> sql_limit
+
val sql_query : tables ::: {{Type}}
-> selected ::: {{Type}}
-> {Rows : sql_query1 tables selected,
- OrderBy : sql_order_by tables}
+ OrderBy : sql_order_by tables,
+ Limit : sql_limit}
-> sql_query selected
val sql_field : otherTabs ::: {{Type}} -> otherFields ::: {Type} -> fieldType ::: Type -> agg ::: {{Type}}