From a4ebae23453b4958fcc9f90909b0de3ff43e780b Mon Sep 17 00:00:00 2001 From: Fintan Halpenny Date: Wed, 2 Aug 2017 16:34:46 +0100 Subject: [PATCH] Use type constraint to constrain a to UTCTime --- esqueleto.cabal | 1 + src/Database/Esqueleto/Internal/Language.hs | 3 ++- 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/esqueleto.cabal b/esqueleto.cabal index 628eb3f..a477bfb 100644 --- a/esqueleto.cabal +++ b/esqueleto.cabal @@ -74,6 +74,7 @@ library , monad-logger , conduit >= 1.1 , resourcet >= 1.1 + , time >= 1.6.0.1 , blaze-html hs-source-dirs: src/ if impl(ghc >= 8.0) diff --git a/src/Database/Esqueleto/Internal/Language.hs b/src/Database/Esqueleto/Internal/Language.hs index 261246c..6536f3e 100644 --- a/src/Database/Esqueleto/Internal/Language.hs +++ b/src/Database/Esqueleto/Internal/Language.hs @@ -53,6 +53,7 @@ import Text.Blaze.Html (Html) import qualified Data.ByteString as B import qualified Data.Text as T import qualified Data.Text.Lazy as TL +import Data.Time.Clock (UTCTime) -- | Finally tagless representation of @esqueleto@'s EDSL. @@ -352,7 +353,7 @@ class (Functor query, Applicative query, Monad query) => random_ :: (PersistField a, Num a) => expr (Value a) - now_ :: (PersistField a) => expr (Value a) + now_ :: (PersistField a, a ~ UTCTime) => 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)