From 753e4bccac569d3210013badb21bbbd98225c264 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jo=C3=A3o=20Crist=C3=B3v=C3=A3o?= Date: Thu, 19 Sep 2013 09:30:16 +0100 Subject: [PATCH] Added num class restriction to random, round_, floor_. --- src/Database/Esqueleto/Internal/Language.hs | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/Database/Esqueleto/Internal/Language.hs b/src/Database/Esqueleto/Internal/Language.hs index b737f77..48ad25b 100644 --- a/src/Database/Esqueleto/Internal/Language.hs +++ b/src/Database/Esqueleto/Internal/Language.hs @@ -237,10 +237,10 @@ class (Functor query, Applicative query, Monad query) => (*.) :: PersistField a => expr (Value a) -> expr (Value a) -> expr (Value a) - random_ :: PersistField a => expr (Value a) - round_ :: (PersistField a, PersistField b) => expr (Value a) -> expr (Value b) - ceiling_ :: (PersistField a, PersistField b) => expr (Value a) -> expr (Value b) - floor_ :: (PersistField a, PersistField b) => expr (Value a) -> expr (Value b) + random_ :: (PersistField a, Num a) => expr (Value a) + round_ :: (PersistField a, Num a, PersistField b, Num b) => expr (Value a) -> expr (Value b) + ceiling_ :: (PersistField a, Num a, PersistField b, Num b) => expr (Value a) -> expr (Value b) + floor_ :: (PersistField a, Num a, PersistField b, Num b) => expr (Value a) -> expr (Value b) sum_ :: (PersistField a, PersistField b) => expr (Value a) -> expr (Value (Maybe b)) min_ :: (PersistField a) => expr (Value a) -> expr (Value (Maybe a))