Mercurial > urweb

comparison lib/ur/basis.urs @ 1572:5530a8075b62

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
IF THEN ELSE conditional for SQL.
author Karn Kallio <kkallio@eka>
date Fri, 14 Oct 2011 02:33:03 -0430
parents f403e129c276
children e44be6ece475
comparison
equal deleted inserted replaced
1571:f403e129c276 1572:5530a8075b62
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_if_then_else : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type}
478 -> t ::: Type
479 -> sql_exp tables agg exps bool
480 -> sql_exp tables agg exps t
481 -> sql_exp tables agg exps t
482 -> sql_exp tables agg exps t
476 483
477 class sql_arith 484 class sql_arith
478 val sql_arith_int : sql_arith int 485 val sql_arith_int : sql_arith int
479 val sql_arith_float : sql_arith float 486 val sql_arith_float : sql_arith float
480 val sql_arith_option : t ::: Type -> sql_arith t -> sql_arith (option t) 487 val sql_arith_option : t ::: Type -> sql_arith t -> sql_arith (option t)