diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-08-21 15:50:08 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-08-21 15:50:08 -0400 |
| commit | 5334dee9b387e718de785ee8578219d854755002 (patch) | |
| tree | cd0e5c20b73eb9b4feaaadd4d1e98cc3fdd2f915 /lib | |
| parent | 7a98ce3ccaa8e808bcbfc166eda9c9350776fabd (diff) | |
ORDER BY
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/basis.lig | 13 |
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}} |