Database.Persist.Monad.Class

Defines the MonadSqlQuery type class that a monad can make an instance of in order to interpret how to run a SqlQueryRep sent by a lifted function from Database.Persist.Monad.Shim.

Documentation

class (Monad m, MonadSqlQuery (TransactionM m)) => MonadSqlQuery m where

The type-class for monads that can run persistent database queries.

Associated Types

type TransactionM m :: Type -> Type

Methods

runQueryRep :: Typeable record => SqlQueryRep record a -> m a

Interpret the given SQL query operation.

withTransaction :: TransactionM m a -> m a

Run all queries in the given action using the same database connection.

Instances

MonadSqlQuery m => MonadSqlQuery (MaybeT m)

Defined in Database.Persist.Monad.Class

Associated Types

type TransactionM (MaybeT m) :: Type -> Type

Methods

runQueryRep :: Typeable record => SqlQueryRep record a -> MaybeT m a

withTransaction :: TransactionM (MaybeT m) a -> MaybeT m a

MonadUnliftIO m => MonadSqlQuery (SqlQueryT m)

Defined in Database.Persist.Monad

Associated Types

type TransactionM (SqlQueryT m) :: Type -> Type

Methods

runQueryRep :: Typeable record => SqlQueryRep record a -> SqlQueryT m a

withTransaction :: TransactionM (SqlQueryT m) a -> SqlQueryT m a

(MonadSqlQuery m, MonadUnliftIO m) => MonadSqlQuery (SqlTransaction m)

Defined in Database.Persist.Monad

Associated Types

type TransactionM (SqlTransaction m) :: Type -> Type

Methods

runQueryRep :: Typeable record => SqlQueryRep record a -> SqlTransaction m a

withTransaction :: TransactionM (SqlTransaction m) a -> SqlTransaction m a

MonadIO m => MonadSqlQuery (MockSqlQueryT m)

Defined in Database.Persist.Monad.TestUtils

Associated Types

type TransactionM (MockSqlQueryT m) :: Type -> Type

Methods

runQueryRep :: Typeable record => SqlQueryRep record a -> MockSqlQueryT m a

withTransaction :: TransactionM (MockSqlQueryT m) a -> MockSqlQueryT m a

MonadSqlQuery m => MonadSqlQuery (IdentityT m)

Defined in Database.Persist.Monad.Class

Associated Types

type TransactionM (IdentityT m) :: Type -> Type

Methods

runQueryRep :: Typeable record => SqlQueryRep record a -> IdentityT m a

withTransaction :: TransactionM (IdentityT m) a -> IdentityT m a

(Monoid w, MonadSqlQuery m) => MonadSqlQuery (WriterT w m)

Defined in Database.Persist.Monad.Class

Associated Types

type TransactionM (WriterT w m) :: Type -> Type

Methods

runQueryRep :: Typeable record => SqlQueryRep record a -> WriterT w m a

withTransaction :: TransactionM (WriterT w m) a -> WriterT w m a

(Monoid w, MonadSqlQuery m) => MonadSqlQuery (WriterT w m)

Defined in Database.Persist.Monad.Class

Associated Types

type TransactionM (WriterT w m) :: Type -> Type

Methods

runQueryRep :: Typeable record => SqlQueryRep record a -> WriterT w m a

withTransaction :: TransactionM (WriterT w m) a -> WriterT w m a

MonadSqlQuery m => MonadSqlQuery (StateT s m)

Defined in Database.Persist.Monad.Class

Associated Types

type TransactionM (StateT s m) :: Type -> Type

Methods

runQueryRep :: Typeable record => SqlQueryRep record a -> StateT s m a

withTransaction :: TransactionM (StateT s m) a -> StateT s m a

MonadSqlQuery m => MonadSqlQuery (StateT s m)

Defined in Database.Persist.Monad.Class

Associated Types

type TransactionM (StateT s m) :: Type -> Type

Methods

runQueryRep :: Typeable record => SqlQueryRep record a -> StateT s m a

withTransaction :: TransactionM (StateT s m) a -> StateT s m a

MonadSqlQuery m => MonadSqlQuery (ReaderT r m)

Defined in Database.Persist.Monad.Class

Associated Types

type TransactionM (ReaderT r m) :: Type -> Type

Methods

runQueryRep :: Typeable record => SqlQueryRep record a -> ReaderT r m a

withTransaction :: TransactionM (ReaderT r m) a -> ReaderT r m a

MonadSqlQuery m => MonadSqlQuery (ExceptT e m)

Defined in Database.Persist.Monad.Class

Associated Types

type TransactionM (ExceptT e m) :: Type -> Type

Methods

runQueryRep :: Typeable record => SqlQueryRep record a -> ExceptT e m a

withTransaction :: TransactionM (ExceptT e m) a -> ExceptT e m a

(Monoid w, MonadSqlQuery m) => MonadSqlQuery (RWST r w s m)

Defined in Database.Persist.Monad.Class

Associated Types

type TransactionM (RWST r w s m) :: Type -> Type

Methods

runQueryRep :: Typeable record => SqlQueryRep record a -> RWST r w s m a

withTransaction :: TransactionM (RWST r w s m) a -> RWST r w s m a

(Monoid w, MonadSqlQuery m) => MonadSqlQuery (RWST r w s m)

Defined in Database.Persist.Monad.Class

Associated Types

type TransactionM (RWST r w s m) :: Type -> Type

Methods

runQueryRep :: Typeable record => SqlQueryRep record a -> RWST r w s m a

withTransaction :: TransactionM (RWST r w s m) a -> RWST r w s m a