Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- throwDB :: (Exception e, MonadDB m, MonadThrow m) => e -> m a
- raw :: RawSQL () -> SQL
- runQuery_ :: (IsSQL sql, MonadDB m) => sql -> m ()
- runQuery01 :: (IsSQL sql, MonadDB m, MonadThrow m) => sql -> m Bool
- runQuery01_ :: (IsSQL sql, MonadDB m, MonadThrow m) => sql -> m ()
- runSQL :: MonadDB m => SQL -> m Int
- runSQL_ :: MonadDB m => SQL -> m ()
- runSQL01 :: (MonadDB m, MonadThrow m) => SQL -> m Bool
- runSQL01_ :: (MonadDB m, MonadThrow m) => SQL -> m ()
- runPreparedQuery_ :: (IsSQL sql, MonadDB m) => QueryName -> sql -> m ()
- runPreparedQuery01 :: (IsSQL sql, MonadDB m, MonadThrow m) => QueryName -> sql -> m Bool
- runPreparedQuery01_ :: (IsSQL sql, MonadDB m, MonadThrow m) => QueryName -> sql -> m ()
- runPreparedSQL :: MonadDB m => QueryName -> SQL -> m Int
- runPreparedSQL_ :: MonadDB m => QueryName -> SQL -> m ()
- runPreparedSQL01 :: (MonadDB m, MonadThrow m) => QueryName -> SQL -> m Bool
- runPreparedSQL01_ :: (MonadDB m, MonadThrow m) => QueryName -> SQL -> m ()
- hpqTypesError :: String -> IO a
Documentation
throwDB :: (Exception e, MonadDB m, MonadThrow m) => e -> m a Source #
When given DBException
, throw it immediately. Otherwise
wrap it in DBException
with the current query context first.
runQuery_ :: (IsSQL sql, MonadDB m) => sql -> m () Source #
Specialization of runQuery
that discards the result.
runQuery01 :: (IsSQL sql, MonadDB m, MonadThrow m) => sql -> m Bool Source #
Specialization of runQuery
that checks whether affected/returned
number of rows is in range [0, 1] and returns appropriate Bool
value.
Otherwise, AffectedRowsMismatch
exception is thrown.
runQuery01_ :: (IsSQL sql, MonadDB m, MonadThrow m) => sql -> m () Source #
Specialization of runQuery01
that discards the result.
runSQL01 :: (MonadDB m, MonadThrow m) => SQL -> m Bool Source #
Specialization of runQuery01
to SQL
type.
runSQL01_ :: (MonadDB m, MonadThrow m) => SQL -> m () Source #
Specialization of runQuery01_
to SQL
type.
runPreparedQuery_ :: (IsSQL sql, MonadDB m) => QueryName -> sql -> m () Source #
Specialization of runPreparedQuery
that discards the result.
runPreparedQuery01 :: (IsSQL sql, MonadDB m, MonadThrow m) => QueryName -> sql -> m Bool Source #
Specialization of runPreparedQuery
that checks whether affected/returned
number of rows is in range [0, 1] and returns appropriate Bool
value.
Otherwise, AffectedRowsMismatch
exception is thrown.
runPreparedQuery01_ :: (IsSQL sql, MonadDB m, MonadThrow m) => QueryName -> sql -> m () Source #
Specialization of runPreparedQuery01
that discards the result.
runPreparedSQL :: MonadDB m => QueryName -> SQL -> m Int Source #
Specialization of runPreparedQuery
to SQL
type.
runPreparedSQL_ :: MonadDB m => QueryName -> SQL -> m () Source #
Specialization of runPreparedQuery_
to SQL
type.
runPreparedSQL01 :: (MonadDB m, MonadThrow m) => QueryName -> SQL -> m Bool Source #
Specialization of runPreparedQuery01
to SQL
type.
runPreparedSQL01_ :: (MonadDB m, MonadThrow m) => QueryName -> SQL -> m () Source #
Specialization of runPreparedQuery01_
to SQL
type.
hpqTypesError :: String -> IO a Source #
Throw 'HPQTypesError exception.