Mercurial > urweb

comparison lib/ur/basis.urs @ 1081:25d491287358

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Basis.sql_nullable and Top.queryL
author Adam Chlipala <adamc@hcoop.net>
date Tue, 22 Dec 2009 12:13:23 -0500
parents 0657e5adc938
children ae885ad70d83
comparison
equal deleted inserted replaced
1080:a4979e31e4bf 1081:25d491287358
481 -> dom ::: Type -> ran ::: Type 481 -> dom ::: Type -> ran ::: Type
482 -> sql_ufunc dom ran -> sql_exp tables agg exps dom 482 -> sql_ufunc dom ran -> sql_exp tables agg exps dom
483 -> sql_exp tables agg exps ran 483 -> sql_exp tables agg exps ran
484 val sql_octet_length : sql_ufunc blob int 484 val sql_octet_length : sql_ufunc blob int
485 485
486
487 val sql_nullable : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type} -> t ::: Type
488 -> sql_injectable_prim t
489 -> sql_exp tables agg exps t
490 -> sql_exp tables agg exps (option t)
486 491
487 (*** Executing queries *) 492 (*** Executing queries *)
488 493
489 val query : tables ::: {{Type}} -> exps ::: {Type} 494 val query : tables ::: {{Type}} -> exps ::: {Type}
490 -> [tables ~ exps] => 495 -> [tables ~ exps] =>