From 22d11510a829052ea5be8d93c9805572aa13d66e Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 21 Dec 2010 17:01:51 -0500 Subject: Allow SQL aggregation over nullable types --- lib/ur/basis.urs | 2 ++ 1 file changed, 2 insertions(+) (limited to 'lib/ur') diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs index 2a3b9a33..9fa37c5d 100644 --- a/lib/ur/basis.urs +++ b/lib/ur/basis.urs @@ -483,6 +483,7 @@ val sql_count_col : t ::: Type -> sql_aggregate (option t) int class sql_summable val sql_summable_int : sql_summable int val sql_summable_float : sql_summable float +val sql_summable_option : t ::: Type -> sql_summable t -> sql_summable (option t) val sql_avg : t ::: Type -> sql_summable t -> sql_aggregate t t val sql_sum : t ::: Type -> sql_summable t -> sql_aggregate t t @@ -491,6 +492,7 @@ val sql_maxable_int : sql_maxable int val sql_maxable_float : sql_maxable float val sql_maxable_string : sql_maxable string val sql_maxable_time : sql_maxable time +val sql_maxable_option : t ::: Type -> sql_maxable t -> sql_maxable (option t) val sql_max : t ::: Type -> sql_maxable t -> sql_aggregate t t val sql_min : t ::: Type -> sql_maxable t -> sql_aggregate t t -- cgit v1.2.3