Mercurial > urweb

comparison 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
comparison
equal deleted inserted replaced
1601:78e0d56b594e 1602:e44be6ece475
471 471
472 val sql_is_null : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type} 472 val sql_is_null : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type}
473 -> t ::: Type 473 -> t ::: Type
474 -> sql_exp tables agg exps (option t) 474 -> sql_exp tables agg exps (option t)
475 -> sql_exp tables agg exps bool 475 -> sql_exp tables agg exps bool
476
477 val sql_coalesce : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type}
478 -> t ::: Type
479 -> sql_exp tables agg exps (option t)
480 -> sql_exp tables agg exps t
481 -> sql_exp tables agg exps t
476 482
477 val sql_if_then_else : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type} 483 val sql_if_then_else : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type}
478 -> t ::: Type 484 -> t ::: Type
479 -> sql_exp tables agg exps bool 485 -> sql_exp tables agg exps bool
480 -> sql_exp tables agg exps t 486 -> sql_exp tables agg exps t