diff options
Diffstat (limited to 'lib/ur/top.ur')
| -rw-r--r-- | lib/ur/top.ur | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/lib/ur/top.ur b/lib/ur/top.ur index ffdd85bf..8b737179 100644 --- a/lib/ur/top.ur +++ b/lib/ur/top.ur @@ -234,6 +234,13 @@ fun queryX' [tables ::: {{Type}}] [exps ::: {Type}] [ctx ::: {Unit}] [inp ::: {T return <xml>{acc}{r}</xml>) <xml/> +fun hasRows [tables ::: {{Type}}] [exps ::: {Type}] + [tables ~ exps] + (q : sql_query tables exps) = + query q + (fn _ _ => return True) + False + fun oneOrNoRows [tables ::: {{Type}}] [exps ::: {Type}] [tables ~ exps] (q : sql_query tables exps) = |