Mercurial > urweb

comparison lib/basis.lig @ 220:2b665e822e9a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
SQL boolean operators
author Adam Chlipala <adamc@hcoop.net>
date Sat, 16 Aug 2008 17:35:28 -0400
parents 5292c0113024
children 79819a6346e2
comparison
equal deleted inserted replaced
219:5292c0113024 220:2b665e822e9a
31 val sql_int : sql_type int 31 val sql_int : sql_type int
32 val sql_float : sql_type float 32 val sql_float : sql_type float
33 val sql_string : sql_type string 33 val sql_string : sql_type string
34 34
35 val sql_inject : tables ::: {{Type}} -> t ::: Type -> t -> sql_type t -> sql_exp tables t 35 val sql_inject : tables ::: {{Type}} -> t ::: Type -> t -> sql_type t -> sql_exp tables t
36
37 con sql_unary :: Type -> Type -> Type
38 val sql_not : sql_unary bool bool
39 val sql_unary : tables ::: {{Type}} -> arg ::: Type -> res ::: Type
40 -> sql_unary arg res -> sql_exp tables arg -> sql_exp tables res
41
42 con sql_binary :: Type -> Type -> Type -> Type
43 val sql_and : sql_binary bool bool bool
44 val sql_or : sql_binary bool bool bool
45 val sql_binary : tables ::: {{Type}} -> arg1 ::: Type -> arg2 ::: Type -> res ::: Type
46 -> sql_binary arg1 arg2 res -> sql_exp tables arg1 -> sql_exp tables arg2 -> sql_exp tables res
36 47
37 type sql_comparison 48 type sql_comparison
38 val sql_eq : sql_comparison 49 val sql_eq : sql_comparison
39 val sql_ne : sql_comparison 50 val sql_ne : sql_comparison
40 val sql_lt : sql_comparison 51 val sql_lt : sql_comparison