Mercurial > urweb
diff lib/basis.lig @ 232:a338da9d82f3
OFFSET
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 21 Aug 2008 16:03:45 -0400 |
parents | eadeea528f75 |
children | c466678af854 |
line wrap: on
line diff
--- a/lib/basis.lig Thu Aug 21 16:00:01 2008 -0400 +++ b/lib/basis.lig Thu Aug 21 16:03:45 2008 -0400 @@ -64,11 +64,16 @@ val sql_no_limit : sql_limit val sql_limit : int -> sql_limit +type sql_offset +val sql_no_offset : sql_offset +val sql_offset : int -> sql_offset + val sql_query : tables ::: {{Type}} -> selected ::: {{Type}} -> {Rows : sql_query1 tables selected, OrderBy : sql_order_by tables, - Limit : sql_limit} + Limit : sql_limit, + Offset : sql_offset} -> sql_query selected val sql_field : otherTabs ::: {{Type}} -> otherFields ::: {Type} -> fieldType ::: Type -> agg ::: {{Type}}