Mercurial > urweb
comparison lib/basis.lig @ 230:87d41ac28b30
ORDER BY
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 21 Aug 2008 15:50:08 -0400 |
parents | 016d71e878c1 |
children | eadeea528f75 |
comparison
equal
deleted
inserted
replaced
229:016d71e878c1 | 230:87d41ac28b30 |
---|---|
48 -> tables1 ::: {{Type}} | 48 -> tables1 ::: {{Type}} |
49 -> tables2 ::: {{Type}} | 49 -> tables2 ::: {{Type}} |
50 -> selected ::: {{Type}} | 50 -> selected ::: {{Type}} |
51 -> sql_query1 tables1 selected -> sql_query1 tables2 selected -> sql_query1 selected selected | 51 -> sql_query1 tables1 selected -> sql_query1 tables2 selected -> sql_query1 selected selected |
52 | 52 |
53 type sql_direction | |
54 val sql_asc : sql_direction | |
55 val sql_desc : sql_direction | |
56 | |
57 con sql_order_by :: {{Type}} -> Type | |
58 val sql_order_by_Nil : tables :: {{Type}} -> sql_order_by tables | |
59 val sql_order_by_Cons : tables ::: {{Type}} -> t ::: Type | |
60 -> sql_exp tables [] t -> sql_order_by tables | |
61 -> sql_order_by tables | |
62 | |
53 val sql_query : tables ::: {{Type}} | 63 val sql_query : tables ::: {{Type}} |
54 -> selected ::: {{Type}} | 64 -> selected ::: {{Type}} |
55 -> sql_query1 tables selected | 65 -> {Rows : sql_query1 tables selected, |
66 OrderBy : sql_order_by tables} | |
56 -> sql_query selected | 67 -> sql_query selected |
57 | 68 |
58 val sql_field : otherTabs ::: {{Type}} -> otherFields ::: {Type} -> fieldType ::: Type -> agg ::: {{Type}} | 69 val sql_field : otherTabs ::: {{Type}} -> otherFields ::: {Type} -> fieldType ::: Type -> agg ::: {{Type}} |
59 -> tab :: Name -> field :: Name | 70 -> tab :: Name -> field :: Name |
60 -> sql_exp ([tab = [field = fieldType] ++ otherFields] ++ otherTabs) agg fieldType | 71 -> sql_exp ([tab = [field = fieldType] ++ otherFields] ++ otherTabs) agg fieldType |