diff options
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/basis.lig | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/lib/basis.lig b/lib/basis.lig index 3b77a1af..b85587bb 100644 --- a/lib/basis.lig +++ b/lib/basis.lig @@ -64,11 +64,16 @@ type sql_limit 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}} |