-- Hoogle documentation, generated by Haddock -- See Hoogle, http://www.haskell.org/hoogle/ -- | Bare bones, type-safe EDSL for SQL queries on persistent backends. -- -- This is a preview release. -- -- persistent is a library for type-safe data serialization. It -- has many kinds of backends, such as SQL backends -- (persistent-mysql, persistent-postgresql, -- persistent-sqlite) and NoSQL backends -- (persistent-mongoDB). -- -- While persistent is a nice library for storing and retrieving -- records, currently it has a poor interface for SQL backends compared -- to SQL itself. For example, it's extremely hard to do a type-safe -- JOIN on a many-to-one relation, and simply impossible to do -- any other kinds of JOINs (including for the very common -- many-to-many relations). Users have the option of writing raw SQL, but -- that's error prone and not type-checked. -- -- esqueleto is a bare bones, type-safe EDSL for SQL queries -- that works with unmodified persistent SQL backends. Its -- language closely resembles SQL, so (a) you don't have to learn new -- concepts, just new syntax, and (b) it's fairly easy to predict the -- generated SQL and optimize it for your backend. Most kinds of errors -- committed when writing SQL are caught as compile-time -- errors---although it is possible to write type-checked -- esqueleto queries that fail at runtime. -- -- Currently only SELECTs are supported. Not all SQL features -- are available, but most of them can be easily added (especially -- functions), so please open an issue or send a pull request if you need -- anything that is not covered by esqueleto on -- https://github.com/meteficha/esqueleto/. -- -- The name of this library means "skeleton" in Portuguese and contains -- all three SQL letters in the correct order =). @package esqueleto @version 0.2 module Database.Esqueleto.Internal.Language -- | Finally tagless representation of esqueleto's EDSL. class (Functor query, Applicative query, Monad query) => Esqueleto query expr backend | query -> expr backend, expr -> query backend fromStart :: (Esqueleto query expr backend, PersistEntity a, PersistEntityBackend a ~ backend) => query (expr (PreprocessedFrom (expr (Entity a)))) fromStartMaybe :: (Esqueleto query expr backend, PersistEntity a, PersistEntityBackend a ~ backend) => query (expr (PreprocessedFrom (expr (Maybe (Entity a))))) fromJoin :: (Esqueleto query expr backend, IsJoinKind join) => expr (PreprocessedFrom a) -> expr (PreprocessedFrom b) -> query (expr (PreprocessedFrom (join a b))) fromFinish :: Esqueleto query expr backend => expr (PreprocessedFrom a) -> query a where_ :: Esqueleto query expr backend => expr (Value Bool) -> query () on :: Esqueleto query expr backend => expr (Value Bool) -> query () orderBy :: Esqueleto query expr backend => [expr OrderBy] -> query () asc :: (Esqueleto query expr backend, PersistField a) => expr (Value a) -> expr OrderBy desc :: (Esqueleto query expr backend, PersistField a) => expr (Value a) -> expr OrderBy sub_select :: (Esqueleto query expr backend, PersistField a) => query (expr (Value a)) -> expr (Value a) sub_selectDistinct :: (Esqueleto query expr backend, PersistField a) => query (expr (Value a)) -> expr (Value a) (^.) :: (Esqueleto query expr backend, PersistEntity val, PersistField typ) => expr (Entity val) -> EntityField val typ -> expr (Value typ) (?.) :: (Esqueleto query expr backend, PersistEntity val, PersistField typ) => expr (Maybe (Entity val)) -> EntityField val typ -> expr (Value (Maybe typ)) val :: (Esqueleto query expr backend, PersistField typ) => typ -> expr (Value typ) isNothing :: (Esqueleto query expr backend, PersistField typ) => expr (Value (Maybe typ)) -> expr (Value Bool) just :: Esqueleto query expr backend => expr (Value typ) -> expr (Value (Maybe typ)) nothing :: Esqueleto query expr backend => expr (Value (Maybe typ)) countRows :: (Esqueleto query expr backend, Num a) => expr (Value a) not_ :: Esqueleto query expr backend => expr (Value Bool) -> expr (Value Bool) (==.) :: (Esqueleto query expr backend, PersistField typ) => expr (Value typ) -> expr (Value typ) -> expr (Value Bool) (>=.) :: (Esqueleto query expr backend, PersistField typ) => expr (Value typ) -> expr (Value typ) -> expr (Value Bool) (>.) :: (Esqueleto query expr backend, PersistField typ) => expr (Value typ) -> expr (Value typ) -> expr (Value Bool) (<=.) :: (Esqueleto query expr backend, PersistField typ) => expr (Value typ) -> expr (Value typ) -> expr (Value Bool) (<.) :: (Esqueleto query expr backend, PersistField typ) => expr (Value typ) -> expr (Value typ) -> expr (Value Bool) (!=.) :: (Esqueleto query expr backend, PersistField typ) => expr (Value typ) -> expr (Value typ) -> expr (Value Bool) (&&.) :: Esqueleto query expr backend => expr (Value Bool) -> expr (Value Bool) -> expr (Value Bool) (||.) :: Esqueleto query expr backend => expr (Value Bool) -> expr (Value Bool) -> expr (Value Bool) (+.) :: (Esqueleto query expr backend, PersistField a) => expr (Value a) -> expr (Value a) -> expr (Value a) (-.) :: (Esqueleto query expr backend, PersistField a) => expr (Value a) -> expr (Value a) -> expr (Value a) (/.) :: (Esqueleto query expr backend, PersistField a) => expr (Value a) -> expr (Value a) -> expr (Value a) (*.) :: (Esqueleto query expr backend, PersistField a) => expr (Value a) -> expr (Value a) -> expr (Value a) set :: (Esqueleto query expr backend, PersistEntity val) => expr (Entity val) -> [expr (Update val)] -> query () (=.) :: (Esqueleto query expr backend, PersistEntity val, PersistField typ) => EntityField val typ -> expr (Value typ) -> expr (Update val) (+=.) :: (Esqueleto query expr backend, PersistEntity val, PersistField a) => EntityField val a -> expr (Value a) -> expr (Update val) (-=.) :: (Esqueleto query expr backend, PersistEntity val, PersistField a) => EntityField val a -> expr (Value a) -> expr (Update val) (*=.) :: (Esqueleto query expr backend, PersistEntity val, PersistField a) => EntityField val a -> expr (Value a) -> expr (Update val) (/=.) :: (Esqueleto query expr backend, PersistEntity val, PersistField a) => EntityField val a -> expr (Value a) -> expr (Update val) -- | FROM clause: bring an entity into scope. -- -- The following types implement from: -- -- -- -- Note that using from for the same entity twice does work and -- corresponds to a self-join. You don't even need to use two different -- calls to from, you may use a tuple. from :: From query expr backend a => (a -> query b) -> query b -- | A single value (as opposed to a whole entity). You may use -- (^.) or (?.) to get a Value -- from an Entity. data Value a Value :: a -> Value a -- | Data type that represents an INNER JOIN (see -- LeftOuterJoin for an example). data InnerJoin a b InnerJoin :: a -> b -> InnerJoin a b -- | Data type that represents a CROSS JOIN (see -- LeftOuterJoin for an example). data CrossJoin a b CrossJoin :: a -> b -> CrossJoin a b -- | Data type that represents a LEFT OUTER JOIN. For example, -- -- 
--   select $
--   from $ (person LeftOuterJoin pet) ->
--     ...
--
-- -- is translated into -- -- 
--   SELECT ...
--   FROM Person LEFT OUTER JOIN Pet
--   ...
--
data LeftOuterJoin a b LeftOuterJoin :: a -> b -> LeftOuterJoin a b -- | Data type that represents a RIGHT OUTER JOIN (see -- LeftOuterJoin for an example). data RightOuterJoin a b RightOuterJoin :: a -> b -> RightOuterJoin a b -- | Data type that represents a FULL OUTER JOIN (see -- LeftOuterJoin for an example). data FullOuterJoin a b FullOuterJoin :: a -> b -> FullOuterJoin a b -- | (Internal) A kind of JOIN. data JoinKind -- | 
--   INNER JOIN
--
InnerJoinKind :: JoinKind -- | 
--   CROSS JOIN
--
CrossJoinKind :: JoinKind -- | 
--   LEFT OUTER JOIN
--
LeftOuterJoinKind :: JoinKind -- | 
--   RIGHT OUTER JOIN
--
RightOuterJoinKind :: JoinKind -- | 
--   FULL OUTER JOIN
--
FullOuterJoinKind :: JoinKind -- | (Internal) Functions that operate on types (that should be) of kind -- JoinKind. class IsJoinKind join smartJoin :: IsJoinKind join => a -> b -> join a b reifyJoinKind :: IsJoinKind join => join a b -> JoinKind -- | Exception thrown whenever on is used to create an ON -- clause but no matching JOIN is found. data OnClauseWithoutMatchingJoinException OnClauseWithoutMatchingJoinException :: String -> OnClauseWithoutMatchingJoinException -- | (Internal) Phantom type used to process from (see -- fromStart). data PreprocessedFrom a -- | Phantom type used by orderBy, asc and desc. data OrderBy -- | Phantom type for a SET operation on an entity of the given -- type (see set and '(=.)'). data Update typ instance Typeable1 Value instance Typeable OnClauseWithoutMatchingJoinException instance Eq a => Eq (Value a) instance Ord a => Ord (Value a) instance Show a => Show (Value a) instance Eq OnClauseWithoutMatchingJoinException instance Ord OnClauseWithoutMatchingJoinException instance Show OnClauseWithoutMatchingJoinException instance (Esqueleto query expr backend, FromPreprocess query expr backend a, FromPreprocess query expr backend b, IsJoinKind join) => FromPreprocess query expr backend (join a b) instance (Esqueleto query expr backend, PersistEntity val, PersistEntityBackend val ~ backend) => FromPreprocess query expr backend (expr (Maybe (Entity val))) instance (Esqueleto query expr backend, PersistEntity val, PersistEntityBackend val ~ backend) => FromPreprocess query expr backend (expr (Entity val)) instance (From query expr backend a, From query expr backend b, From query expr backend c, From query expr backend d, From query expr backend e, From query expr backend f, From query expr backend g, From query expr backend h) => From query expr backend (a, b, c, d, e, f, g, h) instance (From query expr backend a, From query expr backend b, From query expr backend c, From query expr backend d, From query expr backend e, From query expr backend f, From query expr backend g) => From query expr backend (a, b, c, d, e, f, g) instance (From query expr backend a, From query expr backend b, From query expr backend c, From query expr backend d, From query expr backend e, From query expr backend f) => From query expr backend (a, b, c, d, e, f) instance (From query expr backend a, From query expr backend b, From query expr backend c, From query expr backend d, From query expr backend e) => From query expr backend (a, b, c, d, e) instance (From query expr backend a, From query expr backend b, From query expr backend c, From query expr backend d) => From query expr backend (a, b, c, d) instance (From query expr backend a, From query expr backend b, From query expr backend c) => From query expr backend (a, b, c) instance (From query expr backend a, From query expr backend b) => From query expr backend (a, b) instance (Esqueleto query expr backend, FromPreprocess query expr backend (FullOuterJoin a b)) => From query expr backend (FullOuterJoin a b) instance (Esqueleto query expr backend, FromPreprocess query expr backend (RightOuterJoin a b)) => From query expr backend (RightOuterJoin a b) instance (Esqueleto query expr backend, FromPreprocess query expr backend (LeftOuterJoin a b)) => From query expr backend (LeftOuterJoin a b) instance (Esqueleto query expr backend, FromPreprocess query expr backend (CrossJoin a b)) => From query expr backend (CrossJoin a b) instance (Esqueleto query expr backend, FromPreprocess query expr backend (InnerJoin a b)) => From query expr backend (InnerJoin a b) instance (Esqueleto query expr backend, FromPreprocess query expr backend (expr (Maybe (Entity val)))) => From query expr backend (expr (Maybe (Entity val))) instance (Esqueleto query expr backend, FromPreprocess query expr backend (expr (Entity val))) => From query expr backend (expr (Entity val)) instance Exception OnClauseWithoutMatchingJoinException instance IsJoinKind FullOuterJoin instance IsJoinKind RightOuterJoin instance IsJoinKind LeftOuterJoin instance IsJoinKind CrossJoin instance IsJoinKind InnerJoin module Database.Esqueleto.Internal.Sql -- | SQL backend for esqueleto using SqlPersist. data SqlQuery a -- | An expression on the SQL backend. data SqlExpr a -- | Execute an esqueleto SELECT query inside -- persistent's SqlPersist monad and return a list of -- rows. select :: (SqlSelect a r, MonadLogger m, MonadResourceBase m) => SqlQuery a -> SqlPersist m [r] -- | Execute an esqueleto SELECT query inside -- persistent's SqlPersist monad and return a -- Source of rows. selectSource :: (SqlSelect a r, MonadLogger m, MonadResourceBase m) => SqlQuery a -> SqlPersist m (Source (ResourceT (SqlPersist m)) r) -- | Execute an esqueleto SELECT DISTINCT query inside -- persistent's SqlPersist monad and return a list of -- rows. selectDistinct :: (SqlSelect a r, MonadLogger m, MonadResourceBase m) => SqlQuery a -> SqlPersist m [r] -- | Execute an esqueleto SELECT DISTINCT query inside -- persistent's SqlPersist monad and return a -- Source of rows. selectDistinctSource :: (SqlSelect a r, MonadLogger m, MonadResourceBase m) => SqlQuery a -> SqlPersist m (Source (ResourceT (SqlPersist m)) r) -- | (Internal) Execute an esqueleto SELECT -- SqlQuery inside persistent's SqlPersist monad. rawSelectSource :: (SqlSelect a r, MonadLogger m, MonadResourceBase m) => Mode -> SqlQuery a -> SqlPersist m (Source (ResourceT (SqlPersist m)) r) -- | Runs a Source of rows. runSource :: MonadResourceBase m => Source (ResourceT (SqlPersist m)) r -> SqlPersist m [r] -- | (Internal) Execute an esqueleto statement inside -- persistent's SqlPersist monad. rawExecute :: (MonadLogger m, MonadResourceBase m) => Mode -> SqlQuery () -> SqlPersist m () -- | Execute an esqueleto DELETE query inside -- persistent's SqlPersist monad. Note that currently -- there are no type checks for statements that should not appear on a -- DELETE query. -- -- Example of usage: -- -- 
--   delete $
--   from $ appointment ->
--   where_ (appointment ^. AppointmentDate <. val now)
--
delete :: (MonadLogger m, MonadResourceBase m) => SqlQuery () -> SqlPersist m () -- | Execute an esqueleto UPDATE query inside -- persistent's SqlPersist monad. Note that currently -- there are no type checks for statements that should not appear on a -- UPDATE query. -- -- Example of usage: -- -- 
--   update $ p -> do
--   set p [ PersonAge =. just (val thisYear) -. p ^. PersonBorn ]
--   where_ $ isNull (p ^. PersonAge)
--
update :: (MonadLogger m, MonadResourceBase m, PersistEntity val, PersistEntityBackend val ~ SqlPersist) => (SqlExpr (Entity val) -> SqlQuery ()) -> SqlPersist m () -- | Pretty prints a SqlQuery into a SQL query. toRawSql :: SqlSelect a r => Mode -> Escape -> SqlQuery a -> (Builder, [PersistValue]) data Mode SELECT :: Mode SELECT_DISTINCT :: Mode DELETE :: Mode UPDATE :: Mode instance (SqlSelect a ra, SqlSelect b rb, SqlSelect c rc, SqlSelect d rd, SqlSelect e re, SqlSelect f rf, SqlSelect g rg, SqlSelect h rh) => SqlSelect (a, b, c, d, e, f, g, h) (ra, rb, rc, rd, re, rf, rg, rh) instance (SqlSelect a ra, SqlSelect b rb, SqlSelect c rc, SqlSelect d rd, SqlSelect e re, SqlSelect f rf, SqlSelect g rg) => SqlSelect (a, b, c, d, e, f, g) (ra, rb, rc, rd, re, rf, rg) instance (SqlSelect a ra, SqlSelect b rb, SqlSelect c rc, SqlSelect d rd, SqlSelect e re, SqlSelect f rf) => SqlSelect (a, b, c, d, e, f) (ra, rb, rc, rd, re, rf) instance (SqlSelect a ra, SqlSelect b rb, SqlSelect c rc, SqlSelect d rd, SqlSelect e re) => SqlSelect (a, b, c, d, e) (ra, rb, rc, rd, re) instance (SqlSelect a ra, SqlSelect b rb, SqlSelect c rc, SqlSelect d rd) => SqlSelect (a, b, c, d) (ra, rb, rc, rd) instance (SqlSelect a ra, SqlSelect b rb, SqlSelect c rc) => SqlSelect (a, b, c) (ra, rb, rc) instance (SqlSelect a ra, SqlSelect b rb) => SqlSelect (a, b) (ra, rb) instance PersistField a => SqlSelect (SqlExpr (Value a)) (Value a) instance PersistEntity a => SqlSelect (SqlExpr (Maybe (Entity a))) (Maybe (Entity a)) instance PersistEntity a => SqlSelect (SqlExpr (Entity a)) (Entity a) instance SqlSelect () () instance Esqueleto SqlQuery SqlExpr SqlPersist instance Monoid WhereClause instance Monoid SideData instance Applicative SqlQuery instance Monad SqlQuery instance Functor SqlQuery -- | The esqueleto EDSL (embedded domain specific language). This -- module replaces Database.Persist, so instead of importing -- that module you should just import this one: -- -- 
--   import Database.Esqueleto
--   import qualified Database.Persist.Query as OldQuery
--
module Database.Esqueleto -- | Finally tagless representation of esqueleto's EDSL. class (Functor query, Applicative query, Monad query) => Esqueleto query expr backend | query -> expr backend, expr -> query backend where_ :: Esqueleto query expr backend => expr (Value Bool) -> query () on :: Esqueleto query expr backend => expr (Value Bool) -> query () orderBy :: Esqueleto query expr backend => [expr OrderBy] -> query () asc :: (Esqueleto query expr backend, PersistField a) => expr (Value a) -> expr OrderBy desc :: (Esqueleto query expr backend, PersistField a) => expr (Value a) -> expr OrderBy sub_select :: (Esqueleto query expr backend, PersistField a) => query (expr (Value a)) -> expr (Value a) sub_selectDistinct :: (Esqueleto query expr backend, PersistField a) => query (expr (Value a)) -> expr (Value a) (^.) :: (Esqueleto query expr backend, PersistEntity val, PersistField typ) => expr (Entity val) -> EntityField val typ -> expr (Value typ) (?.) :: (Esqueleto query expr backend, PersistEntity val, PersistField typ) => expr (Maybe (Entity val)) -> EntityField val typ -> expr (Value (Maybe typ)) val :: (Esqueleto query expr backend, PersistField typ) => typ -> expr (Value typ) isNothing :: (Esqueleto query expr backend, PersistField typ) => expr (Value (Maybe typ)) -> expr (Value Bool) just :: Esqueleto query expr backend => expr (Value typ) -> expr (Value (Maybe typ)) nothing :: Esqueleto query expr backend => expr (Value (Maybe typ)) countRows :: (Esqueleto query expr backend, Num a) => expr (Value a) not_ :: Esqueleto query expr backend => expr (Value Bool) -> expr (Value Bool) (==.) :: (Esqueleto query expr backend, PersistField typ) => expr (Value typ) -> expr (Value typ) -> expr (Value Bool) (>=.) :: (Esqueleto query expr backend, PersistField typ) => expr (Value typ) -> expr (Value typ) -> expr (Value Bool) (>.) :: (Esqueleto query expr backend, PersistField typ) => expr (Value typ) -> expr (Value typ) -> expr (Value Bool) (<=.) :: (Esqueleto query expr backend, PersistField typ) => expr (Value typ) -> expr (Value typ) -> expr (Value Bool) (<.) :: (Esqueleto query expr backend, PersistField typ) => expr (Value typ) -> expr (Value typ) -> expr (Value Bool) (!=.) :: (Esqueleto query expr backend, PersistField typ) => expr (Value typ) -> expr (Value typ) -> expr (Value Bool) (&&.) :: Esqueleto query expr backend => expr (Value Bool) -> expr (Value Bool) -> expr (Value Bool) (||.) :: Esqueleto query expr backend => expr (Value Bool) -> expr (Value Bool) -> expr (Value Bool) (+.) :: (Esqueleto query expr backend, PersistField a) => expr (Value a) -> expr (Value a) -> expr (Value a) (-.) :: (Esqueleto query expr backend, PersistField a) => expr (Value a) -> expr (Value a) -> expr (Value a) (/.) :: (Esqueleto query expr backend, PersistField a) => expr (Value a) -> expr (Value a) -> expr (Value a) (*.) :: (Esqueleto query expr backend, PersistField a) => expr (Value a) -> expr (Value a) -> expr (Value a) set :: (Esqueleto query expr backend, PersistEntity val) => expr (Entity val) -> [expr (Update val)] -> query () (=.) :: (Esqueleto query expr backend, PersistEntity val, PersistField typ) => EntityField val typ -> expr (Value typ) -> expr (Update val) (+=.) :: (Esqueleto query expr backend, PersistEntity val, PersistField a) => EntityField val a -> expr (Value a) -> expr (Update val) (-=.) :: (Esqueleto query expr backend, PersistEntity val, PersistField a) => EntityField val a -> expr (Value a) -> expr (Update val) (*=.) :: (Esqueleto query expr backend, PersistEntity val, PersistField a) => EntityField val a -> expr (Value a) -> expr (Update val) (/=.) :: (Esqueleto query expr backend, PersistEntity val, PersistField a) => EntityField val a -> expr (Value a) -> expr (Update val) -- | FROM clause: bring an entity into scope. -- -- The following types implement from: -- -- -- -- Note that using from for the same entity twice does work and -- corresponds to a self-join. You don't even need to use two different -- calls to from, you may use a tuple. from :: From query expr backend a => (a -> query b) -> query b -- | A single value (as opposed to a whole entity). You may use -- (^.) or (?.) to get a Value -- from an Entity. data Value a Value :: a -> Value a -- | Phantom type used by orderBy, asc and desc. data OrderBy -- | Data type that represents an INNER JOIN (see -- LeftOuterJoin for an example). data InnerJoin a b InnerJoin :: a -> b -> InnerJoin a b -- | Data type that represents a CROSS JOIN (see -- LeftOuterJoin for an example). data CrossJoin a b CrossJoin :: a -> b -> CrossJoin a b -- | Data type that represents a LEFT OUTER JOIN. For example, -- -- 
--   select $
--   from $ (person LeftOuterJoin pet) ->
--     ...
--
-- -- is translated into -- -- 
--   SELECT ...
--   FROM Person LEFT OUTER JOIN Pet
--   ...
--
data LeftOuterJoin a b LeftOuterJoin :: a -> b -> LeftOuterJoin a b -- | Data type that represents a RIGHT OUTER JOIN (see -- LeftOuterJoin for an example). data RightOuterJoin a b RightOuterJoin :: a -> b -> RightOuterJoin a b -- | Data type that represents a FULL OUTER JOIN (see -- LeftOuterJoin for an example). data FullOuterJoin a b FullOuterJoin :: a -> b -> FullOuterJoin a b -- | Exception thrown whenever on is used to create an ON -- clause but no matching JOIN is found. data OnClauseWithoutMatchingJoinException OnClauseWithoutMatchingJoinException :: String -> OnClauseWithoutMatchingJoinException -- | SQL backend for esqueleto using SqlPersist. data SqlQuery a -- | An expression on the SQL backend. data SqlExpr a -- | Execute an esqueleto SELECT query inside -- persistent's SqlPersist monad and return a list of -- rows. select :: (SqlSelect a r, MonadLogger m, MonadResourceBase m) => SqlQuery a -> SqlPersist m [r] -- | Execute an esqueleto SELECT DISTINCT query inside -- persistent's SqlPersist monad and return a list of -- rows. selectDistinct :: (SqlSelect a r, MonadLogger m, MonadResourceBase m) => SqlQuery a -> SqlPersist m [r] -- | Execute an esqueleto SELECT query inside -- persistent's SqlPersist monad and return a -- Source of rows. selectSource :: (SqlSelect a r, MonadLogger m, MonadResourceBase m) => SqlQuery a -> SqlPersist m (Source (ResourceT (SqlPersist m)) r) -- | Execute an esqueleto SELECT DISTINCT query inside -- persistent's SqlPersist monad and return a -- Source of rows. selectDistinctSource :: (SqlSelect a r, MonadLogger m, MonadResourceBase m) => SqlQuery a -> SqlPersist m (Source (ResourceT (SqlPersist m)) r) -- | Execute an esqueleto DELETE query inside -- persistent's SqlPersist monad. Note that currently -- there are no type checks for statements that should not appear on a -- DELETE query. -- -- Example of usage: -- -- 
--   delete $
--   from $ appointment ->
--   where_ (appointment ^. AppointmentDate <. val now)
--
delete :: (MonadLogger m, MonadResourceBase m) => SqlQuery () -> SqlPersist m () -- | Execute an esqueleto UPDATE query inside -- persistent's SqlPersist monad. Note that currently -- there are no type checks for statements that should not appear on a -- UPDATE query. -- -- Example of usage: -- -- 
--   update $ p -> do
--   set p [ PersonAge =. just (val thisYear) -. p ^. PersonBorn ]
--   where_ $ isNull (p ^. PersonAge)
--
update :: (MonadLogger m, MonadResourceBase m, PersistEntity val, PersistEntityBackend val ~ SqlPersist) => (SqlExpr (Entity val) -> SqlQuery ()) -> SqlPersist m () -- | Synonym for delete that does not clash with -- esqueleto's delete. deleteKey :: (PersistStore backend m, PersistEntity val) => Key backend val -> backend m ()