module Database.Esqueleto.Compat.Suffixed where
import qualified Database.Esqueleto.Experimental as E
import Database.Esqueleto.Internal.Internal
import Database.Esqueleto.Experimental
( SqlExpr
, Entity, SqlQuery, PersistEntity, BackendCompatible, SqlBackend
, PersistEntityBackend
, PersistQueryWrite
, PersistUniqueWrite
)
import Control.Monad.Trans.Reader
import Control.Monad.IO.Class
import Control.Monad.Trans.Resource
import Conduit
updateE
:: ( MonadIO m
, PersistEntity record
, BackendCompatible SqlBackend backend
, BackendCompatible SqlBackend (PersistEntityBackend record)
, PersistQueryWrite backend
, PersistUniqueWrite backend
)
=> (SqlExpr (Entity record) -> SqlQuery ()) -> ReaderT backend m ()
updateE :: forall (m :: Type -> Type) record backend.
(MonadIO m, PersistEntity record,
BackendCompatible SqlBackend backend,
BackendCompatible SqlBackend (PersistEntityBackend record),
PersistQueryWrite backend, PersistUniqueWrite backend) =>
(SqlExpr (Entity record) -> SqlQuery ()) -> ReaderT backend m ()
updateE = forall (m :: Type -> Type) val backend.
(MonadIO m, PersistEntity val,
BackendCompatible SqlBackend (PersistEntityBackend val),
SqlBackendCanWrite backend) =>
(SqlExpr (Entity val) -> SqlQuery ()) -> ReaderT backend m ()
E.update
selectSourceE
:: (SqlSelect a r
, BackendCompatible SqlBackend backend
, E.IsPersistBackend backend
, E.PersistQueryRead backend
, E.PersistUniqueRead backend
, MonadResource m
)
=> SqlQuery a
-> ConduitT () r (ReaderT backend m) ()
selectSourceE :: forall a r backend (m :: Type -> Type).
(SqlSelect a r, BackendCompatible SqlBackend backend,
IsPersistBackend backend, PersistQueryRead backend,
PersistUniqueRead backend, MonadResource m) =>
SqlQuery a -> ConduitT () r (ReaderT backend m) ()
selectSourceE =
forall a r backend (m :: Type -> Type).
(SqlSelect a r, BackendCompatible SqlBackend backend,
IsPersistBackend backend, PersistQueryRead backend,
PersistStoreRead backend, PersistUniqueRead backend,
MonadResource m) =>
SqlQuery a -> ConduitT () r (ReaderT backend m) ()
E.selectSource
exists_ :: SqlQuery () -> SqlExpr (Value Bool)
exists_ :: SqlQuery () -> SqlExpr (Value Bool)
exists_ = SqlQuery () -> SqlExpr (Value Bool)
E.exists
deleteE
:: (MonadIO m
, BackendCompatible SqlBackend backend, PersistQueryWrite backend, PersistUniqueWrite backend
)
=> SqlQuery ()
-> ReaderT backend m ()
deleteE :: forall (m :: Type -> Type) backend.
(MonadIO m, BackendCompatible SqlBackend backend,
PersistQueryWrite backend, PersistUniqueWrite backend) =>
SqlQuery () -> ReaderT backend m ()
deleteE = forall (m :: Type -> Type) backend.
(MonadIO m, SqlBackendCanWrite backend) =>
SqlQuery () -> ReaderT backend m ()
E.delete
count_ :: (Num a) => SqlExpr (Value typ) -> SqlExpr (Value a)
count_ :: forall a typ. Num a => SqlExpr (Value typ) -> SqlExpr (Value a)
count_ = forall a typ. Num a => SqlExpr (Value typ) -> SqlExpr (Value a)
E.count
groupBy_ :: (ToSomeValues a) => a -> SqlQuery ()
groupBy_ :: forall a. ToSomeValues a => a -> SqlQuery ()
groupBy_ = forall a. ToSomeValues a => a -> SqlQuery ()
E.groupBy
isNothing_ :: (E.PersistField a) => SqlExpr (Value (Maybe a)) -> SqlExpr (Value Bool)
isNothing_ :: forall a.
PersistField a =>
SqlExpr (Value (Maybe a)) -> SqlExpr (Value Bool)
isNothing_ = forall a.
PersistField a =>
SqlExpr (Value (Maybe a)) -> SqlExpr (Value Bool)
E.isNothing