Mercurial > urweb

comparison lib/ur/basis.urs @ 1636:2b312f6d4007

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
SQL lower() and upper() functions
author Adam Chlipala <adam@chlipala.net>
date Sat, 17 Dec 2011 12:01:31 -0500
parents da788bd72c9e
children 68429cfce8db
comparison
equal deleted inserted replaced
1635:8938f7b31573 1636:2b312f6d4007
563 -> dom ::: Type -> ran ::: Type 563 -> dom ::: Type -> ran ::: Type
564 -> sql_ufunc dom ran -> sql_exp tables agg exps dom 564 -> sql_ufunc dom ran -> sql_exp tables agg exps dom
565 -> sql_exp tables agg exps ran 565 -> sql_exp tables agg exps ran
566 val sql_octet_length : sql_ufunc blob int 566 val sql_octet_length : sql_ufunc blob int
567 val sql_known : t ::: Type -> sql_ufunc t bool 567 val sql_known : t ::: Type -> sql_ufunc t bool
568 568 val sql_lower : sql_ufunc string string
569 val sql_upper : sql_ufunc string string
569 570
570 val sql_nullable : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type} -> t ::: Type 571 val sql_nullable : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type} -> t ::: Type
571 -> sql_injectable_prim t 572 -> sql_injectable_prim t
572 -> sql_exp tables agg exps t 573 -> sql_exp tables agg exps t
573 -> sql_exp tables agg exps (option t) 574 -> sql_exp tables agg exps (option t)