Mercurial > urweb
comparison lib/basis.lig @ 219:5292c0113024
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 |