Mercurial > urweb

comparison lib/basis.lig @ 219:5292c0113024

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
SQL comparison operators
author Adam Chlipala <adamc@hcoop.net>
date Sat, 16 Aug 2008 17:18:00 -0400
parents 38b299373676
children 2b665e822e9a
comparison
equal deleted inserted replaced
218:a3413288cce1 219:5292c0113024
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 36
37 type sql_comparison
38 val sql_eq : sql_comparison
39 val sql_ne : sql_comparison
40 val sql_lt : sql_comparison
41 val sql_le : sql_comparison
42 val sql_gt : sql_comparison
43 val sql_ge : sql_comparison
44 val sql_comparison : sql_comparison
45 -> tables ::: {{Type}} -> t ::: Type -> sql_exp tables t -> sql_exp tables t
46 -> sql_type t -> sql_exp tables bool
37 47
38 (** XML *) 48 (** XML *)
39 49
40 con tag :: {Type} -> {Unit} -> {Unit} -> {Type} -> {Type} -> Type 50 con tag :: {Type} -> {Unit} -> {Unit} -> {Type} -> {Type} -> Type
41 51