summaryrefslogtreecommitdiff
path: root/lib
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2010-12-21 17:01:51 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2010-12-21 17:01:51 -0500
commit22d11510a829052ea5be8d93c9805572aa13d66e (patch)
tree9663f11a7186f993953c956c349a8f0b1992944a /lib
parent70d7e503a3a7716b4559756db8ffc3f4c7898716 (diff)
Allow SQL aggregation over nullable types
Diffstat (limited to 'lib')
-rw-r--r--lib/ur/basis.urs2
1 files changed, 2 insertions, 0 deletions
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