summaryrefslogtreecommitdiff
path: root/lib
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-08-21 15:50:08 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-08-21 15:50:08 -0400
commit5334dee9b387e718de785ee8578219d854755002 (patch)
treecd0e5c20b73eb9b4feaaadd4d1e98cc3fdd2f915 /lib
parent7a98ce3ccaa8e808bcbfc166eda9c9350776fabd (diff)
ORDER BY
Diffstat (limited to 'lib')
-rw-r--r--lib/basis.lig13
1 files changed, 12 insertions, 1 deletions
diff --git a/lib/basis.lig b/lib/basis.lig
index 6ef7408f..863debcb 100644
--- a/lib/basis.lig
+++ b/lib/basis.lig
@@ -50,9 +50,20 @@ val sql_relop : sql_relop
-> 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}}