Mercurial > urweb

diff lib/ur/basis.urs @ 1602:e44be6ece475

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
COALESCE
author Adam Chlipala <adam@chlipala.net>
date Sat, 19 Nov 2011 10:43:57 -0500
parents 5530a8075b62
children da788bd72c9e
line wrap: on
line diff
--- a/lib/ur/basis.urs	Sat Nov 19 10:26:19 2011 -0500
+++ b/lib/ur/basis.urs	Sat Nov 19 10:43:57 2011 -0500
@@ -474,6 +474,12 @@
                   -> sql_exp tables agg exps (option t)
                   -> sql_exp tables agg exps bool
 
+val sql_coalesce : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type}
+                  -> t ::: Type
+                  -> sql_exp tables agg exps (option t)
+                  -> sql_exp tables agg exps t
+                  -> sql_exp tables agg exps t
+
 val sql_if_then_else : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type}
                        -> t ::: Type
                        -> sql_exp tables agg exps bool