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

Use type constraint to constrain a to UTCTime

Browse Source
This commit is contained in:
Fintan Halpenny 2017-08-02 16:34:46 +01:00
parent 161914ddbc
commit a4ebae2345
2 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
esqueleto.cabal
View File

@ -74,6 +74,7 @@ library
, monad-logger , monad-logger
, conduit >= 1.1 , conduit >= 1.1
, resourcet >= 1.1 , resourcet >= 1.1
, time >= 1.6.0.1
, blaze-html , blaze-html
hs-source-dirs: src/ hs-source-dirs: src/
if impl(ghc >= 8.0) if impl(ghc >= 8.0)

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

@ -53,6 +53,7 @@ import Text.Blaze.Html (Html)
import qualified Data.ByteString as B import qualified Data.ByteString as B
import qualified Data.Text as T import qualified Data.Text as T
import qualified Data.Text.Lazy as TL import qualified Data.Text.Lazy as TL
import Data.Time.Clock (UTCTime)
-- | Finally tagless representation of @esqueleto@'s EDSL. -- | 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) 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) 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) 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) floor_ :: (PersistField a, Num a, PersistField b, Num b) => expr (Value a) -> expr (Value b)