haskell/esqueleto
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Generalize types of numerical operations.

Browse Source 
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.
This commit is contained in:
Felipe Lessa 2012-09-05 22:57:16 -03:00
parent 3e242d7b03
commit f5c046775a
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/Database/Esqueleto/Internal/Language.hs
View File

@ -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 ^.