Mercurial > urweb

diff lib/basis.lig @ 230:87d41ac28b30

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
ORDER BY
author Adam Chlipala <adamc@hcoop.net>
date Thu, 21 Aug 2008 15:50:08 -0400
parents 016d71e878c1
children eadeea528f75
line wrap: on
line diff
--- a/lib/basis.lig	Thu Aug 21 15:27:04 2008 -0400
+++ b/lib/basis.lig	Thu Aug 21 15:50:08 2008 -0400
@@ -50,9 +50,20 @@
         -> selected ::: {{Type}}
         -> sql_query1 tables1 selected -> sql_query1 tables2 selected -> sql_query1 selected selected
 
+type sql_direction
+val sql_asc : sql_direction
+val sql_desc : sql_direction
+
+con sql_order_by :: {{Type}} -> Type
+val sql_order_by_Nil : tables :: {{Type}} -> sql_order_by tables
+val sql_order_by_Cons : tables ::: {{Type}} -> t ::: Type
+        -> sql_exp tables [] t -> sql_order_by tables
+        -> sql_order_by tables
+
 val sql_query : tables ::: {{Type}}
         -> selected ::: {{Type}}
-        -> sql_query1 tables selected
+        -> {Rows : sql_query1 tables selected,
+            OrderBy : sql_order_by tables}
         -> sql_query selected
 
 val sql_field : otherTabs ::: {{Type}} -> otherFields ::: {Type} -> fieldType ::: Type -> agg ::: {{Type}}