From f5c046775a8560c82e5a8d33a18eafa4441cc238 Mon Sep 17 00:00:00 2001 From: Felipe Lessa Date: Wed, 5 Sep 2012 22:57:16 -0300 Subject: [PATCH] Generalize types of numerical operations. Persistent doesn't ask for Num and everything has worked very well so far. Not having a Num constraint also allows those operations to work on Maybes. --- 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 66d2113..5af9b7f 100644 --- a/src/Database/Esqueleto/Internal/Language.hs +++ b/src/Database/Esqueleto/Internal/Language.hs @@ -168,10 +168,10 @@ class (Functor query, Applicative query, Monad query) => (&&.) :: expr (Single Bool) -> expr (Single Bool) -> expr (Single Bool) (||.) :: expr (Single Bool) -> expr (Single Bool) -> expr (Single Bool) - (+.) :: (Num a, PersistField a) => expr (Single a) -> expr (Single a) -> expr (Single a) - (-.) :: (Num a, PersistField a) => expr (Single a) -> expr (Single a) -> expr (Single a) - (/.) :: (Num a, PersistField a) => expr (Single a) -> expr (Single a) -> expr (Single a) - (*.) :: (Num a, PersistField a) => expr (Single a) -> expr (Single a) -> expr (Single a) + (+.) :: PersistField a => expr (Single a) -> expr (Single a) -> expr (Single a) + (-.) :: PersistField a => expr (Single a) -> expr (Single a) -> expr (Single a) + (/.) :: PersistField a => expr (Single a) -> expr (Single a) -> expr (Single a) + (*.) :: PersistField a => expr (Single a) -> expr (Single a) -> expr (Single a) -- Fixity declarations infixl 9 ^.