Mercurial > urweb

comparison 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
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