Mercurial > urweb
comparison lib/ur/basis.urs @ 1607:da788bd72c9e
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 |