46 lines
1.6 KiB
Haskell
46 lines
1.6 KiB
Haskell
module Database.Esqueleto.Utils where
|
|
|
|
import ClassyPrelude.Yesod hiding (isInfixOf, (||.))
|
|
import Data.Foldable as F
|
|
import Database.Esqueleto as E
|
|
|
|
|
|
{-|
|
|
Description : Convenience for using @Esqueleto@,
|
|
intended to be imported qualified
|
|
just like Esqueleto
|
|
-}
|
|
|
|
-- ezero = E.val (0 :: Int64)
|
|
|
|
-- | Often needed with this concrete type
|
|
true :: E.SqlExpr (E.Value Bool)
|
|
true = E.val True
|
|
|
|
-- | Often needed with this concrete type
|
|
false :: E.SqlExpr (E.Value Bool)
|
|
false = E.val False
|
|
|
|
-- | Check if the first string is contained in the text derived from the second argument
|
|
isInfixOf :: (E.Esqueleto query expr backend, E.SqlString s2) =>
|
|
Text -> expr (E.Value s2) -> expr (E.Value Bool)
|
|
isInfixOf needle strExpr = E.castString strExpr `E.ilike` (E.%) E.++. E.val needle E.++. (E.%)
|
|
|
|
hasInfix :: (E.Esqueleto query expr backend, E.SqlString s2) =>
|
|
expr (E.Value s2) -> Text -> expr (E.Value Bool)
|
|
hasInfix = flip isInfixOf
|
|
|
|
-- | Given a test and a set of values, check whether anyone succeeds the test
|
|
-- WARNING: SQL leaves it explicitely unspecified whether || is short curcuited (i.e. lazily evaluated)
|
|
any :: Foldable f =>
|
|
(a -> SqlExpr (E.Value Bool)) -> f a -> SqlExpr (E.Value Bool)
|
|
any test = F.foldr (\needle acc -> acc ||. test needle) false
|
|
|
|
-- | Given a test and a set of values, check whether all succeeds the test
|
|
-- WARNING: SQL leaves it explicitely unspecified whether && is short curcuited (i.e. lazily evaluated)
|
|
all :: Foldable f =>
|
|
(a -> SqlExpr (E.Value Bool)) -> f a -> SqlExpr (E.Value Bool)
|
|
all test = F.foldr (\needle acc -> acc &&. test needle) true
|
|
|
|
|