Mercurial > urweb

comparison lib/ur/basis.urs @ 1607:da788bd72c9e

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add LIKE operator to SQL sublanguage.
author Karn Kallio <kkallio@eka>
date Wed, 23 Nov 2011 13:17:40 -0430
parents e44be6ece475
children 2b312f6d4007
comparison
equal deleted inserted replaced
1606:f4453e2402d0 1607:da788bd72c9e
520 val sql_ne : t ::: Type -> sql_binary t t bool 520 val sql_ne : t ::: Type -> sql_binary t t bool
521 val sql_lt : t ::: Type -> sql_binary t t bool 521 val sql_lt : t ::: Type -> sql_binary t t bool
522 val sql_le : t ::: Type -> sql_binary t t bool 522 val sql_le : t ::: Type -> sql_binary t t bool
523 val sql_gt : t ::: Type -> sql_binary t t bool 523 val sql_gt : t ::: Type -> sql_binary t t bool
524 val sql_ge : t ::: Type -> sql_binary t t bool 524 val sql_ge : t ::: Type -> sql_binary t t bool
525
526 val sql_like : sql_binary string string bool
525 527
526 val sql_count : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type} 528 val sql_count : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type}
527 -> sql_exp tables agg exps int 529 -> sql_exp tables agg exps int
528 530
529 con sql_aggregate :: Type -> Type -> Type 531 con sql_aggregate :: Type -> Type -> Type