Documentation

data DBPool Source #

type DBConn = PGConnection Source #

initDB :: Config -> IO DBPool Source #

finiDB :: DBPool -> IO () Source #

withDB :: DBPool -> (DBConn -> IO a) -> IO a Source #

type MonadDB c m = (MonadIO m, MonadHas DBConn c m) Source #

type DBM a = ReaderT PGConnection IO a Source #

runDBM :: DBPool -> DBM a -> IO a Source #

liftDBM :: MonadDB c m => DBM a -> m a Source #

dbTryJust :: MonadDB c m => (PGError -> Maybe e) -> DBM a -> m (Either e a) Source #

dbRunQuery :: (MonadDB c m, PGQuery q a) => q -> m (Int, [a]) Source #

dbExecute :: (MonadDB c m, PGQuery q ()) => q -> m Int Source #

dbExecuteSimple :: MonadDB c m => PGSimpleQuery () -> m Int Source #

dbExecute1 :: (MonadDB c m, PGQuery q (), Show q) => q -> m Bool Source #

dbExecute1' :: (MonadDB c m, PGQuery q (), Show q) => q -> m () Source #

dbExecute_ :: MonadDB c m => ByteString -> m () Source #

dbQuery :: (MonadDB c m, PGQuery q a) => q -> m [a] Source #

dbQuery1 :: (MonadDB c m, PGQuery q a, Show q) => q -> m (Maybe a) Source #

dbQuery1' :: (MonadDB c m, PGQuery q a, Show q) => q -> m a Source #

dbTransaction :: MonadDB c m => DBM a -> m a Source #

dbTransaction' :: (MonadBaseControl IO m, MonadDB c m) => m a -> m a Source #

runDBConnection :: DBM a -> IO a Source #

useTDB :: DecsQ Source #

runTDB :: DBM a -> Q a Source #

mapQuery2 :: ByteString -> ([PGValue] -> a) -> PGSimpleQuery a Source #

mapPrepQuery :: (ByteString, [PGValue]) -> ([PGValue] -> a) -> PGPreparedQuery a Source #

mapRunPrepQuery :: MonadDB c m => (ByteString, [PGValue], [Bool]) -> ([PGValue] -> a) -> m [a] Source #

mapRunPrepQuery1 :: MonadDB c m => (ByteString, [PGValue], [Bool]) -> ([PGValue] -> a) -> m (Maybe a) Source #

loadPGDatabase :: IO PGDatabase Source #

pgConnect :: PGDatabase -> IO PGConnection #