Mercurial > urweb

comparison lib/basis.lig @ 231:eadeea528f75

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
LIMIT
author Adam Chlipala <adamc@hcoop.net>
date Thu, 21 Aug 2008 16:00:01 -0400
parents 87d41ac28b30
children a338da9d82f3
comparison
equal deleted inserted replaced
230:87d41ac28b30 231:eadeea528f75
58 val sql_order_by_Nil : tables :: {{Type}} -> sql_order_by tables 58 val sql_order_by_Nil : tables :: {{Type}} -> sql_order_by tables
59 val sql_order_by_Cons : tables ::: {{Type}} -> t ::: Type 59 val sql_order_by_Cons : tables ::: {{Type}} -> t ::: Type
60 -> sql_exp tables [] t -> sql_order_by tables 60 -> sql_exp tables [] t -> sql_order_by tables
61 -> sql_order_by tables 61 -> sql_order_by tables
62 62
63 type sql_limit
64 val sql_no_limit : sql_limit
65 val sql_limit : int -> sql_limit
66
63 val sql_query : tables ::: {{Type}} 67 val sql_query : tables ::: {{Type}}
64 -> selected ::: {{Type}} 68 -> selected ::: {{Type}}
65 -> {Rows : sql_query1 tables selected, 69 -> {Rows : sql_query1 tables selected,
66 OrderBy : sql_order_by tables} 70 OrderBy : sql_order_by tables,
71 Limit : sql_limit}
67 -> sql_query selected 72 -> sql_query selected
68 73
69 val sql_field : otherTabs ::: {{Type}} -> otherFields ::: {Type} -> fieldType ::: Type -> agg ::: {{Type}} 74 val sql_field : otherTabs ::: {{Type}} -> otherFields ::: {Type} -> fieldType ::: Type -> agg ::: {{Type}}
70 -> tab :: Name -> field :: Name 75 -> tab :: Name -> field :: Name
71 -> sql_exp ([tab = [field = fieldType] ++ otherFields] ++ otherTabs) agg fieldType 76 -> sql_exp ([tab = [field = fieldType] ++ otherFields] ++ otherTabs) agg fieldType