diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2012-02-02 11:40:10 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2012-02-02 11:40:10 -0500 |
| commit | 1a92bdc65a47614912b4bfd0cf6f442d7134ce23 (patch) | |
| tree | 5271983ec2581bb6cf7fecc8053b8c3e41de9250 /lib/ur/basis.urs | |
| parent | 912c6fcf0c09348965262dd13c8faaefa61c2999 (diff) | |
'ORDER BY RANDOM' (based on a patch from Ron de Bruijn)
Diffstat (limited to 'lib/ur/basis.urs')
| -rw-r--r-- | lib/ur/basis.urs | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs index 08585546..3afb4985 100644 --- a/lib/ur/basis.urs +++ b/lib/ur/basis.urs @@ -399,7 +399,7 @@ val sql_query1 : free ::: {{Type}} selectedExps) } -> sql_query1 free afree tables selectedFields selectedExps -type sql_relop +type sql_relop val sql_union : sql_relop val sql_intersect : sql_relop val sql_except : sql_relop @@ -428,11 +428,13 @@ val sql_order_by_Cons : tables ::: {{Type}} -> exps ::: {Type} -> t ::: Type -> sql_exp tables [] exps t -> sql_direction -> sql_order_by tables exps -> sql_order_by tables exps +val sql_order_by_random : tables ::: {{Type}} -> exps ::: {Type} + -> sql_order_by tables exps 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 @@ -651,7 +653,7 @@ val tag : attrsGiven ::: {Type} -> attrsAbsent ::: {Type} ctxOuter ctxInner useOuter bindOuter -> xml ctxInner useInner bindInner -> xml ctxOuter (useOuter ++ useInner) (bindOuter ++ bindInner) -val join : ctx ::: {Unit} +val join : ctx ::: {Unit} -> use1 ::: {Type} -> bind1 ::: {Type} -> bind2 ::: {Type} -> [use1 ~ bind1] => [bind1 ~ bind2] => xml ctx use1 bind1 @@ -769,13 +771,13 @@ val a : bodyTag ([Link = transaction page, Href = url, Target = string] ++ boxAt val img : bodyTag ([Alt = string, Src = url, Width = int, Height = int, Onabort = transaction unit, Onerror = transaction unit, Onload = transaction unit] ++ boxAttrs) - + val form : ctx ::: {Unit} -> bind ::: {Type} -> [[MakeForm, Form] ~ ctx] => option css_class -> xml ([Form] ++ ctx) [] bind -> xml ([MakeForm] ++ ctx) [] [] - + val subform : ctx ::: {Unit} -> use ::: {Type} -> bind ::: {Type} -> [[Form] ~ ctx] => nm :: Name -> [[nm] ~ use] => |