Effectful.HPQTypes

Access to a PostgreSQL database via MonadDB.

Effect

data DB :: Effect where

Provide the ability to access a PostgreSQL database via MonadDB.

Constructors

RunQuery :: IsSQL sql => sql -> DB m Int

GetQueryResult :: FromRow row => DB m (Maybe (QueryResult row))

ClearQueryResult :: DB m ()

GetConnectionStats :: DB m ConnectionStats

RunPreparedQuery :: IsSQL sql => QueryName -> sql -> DB m Int

GetLastQuery :: DB m SomeSQL

GetTransactionSettings :: DB m TransactionSettings

SetTransactionSettings :: TransactionSettings -> DB m ()

WithFrozenLastQuery :: m a -> DB m a

WithNewConnection :: m a -> DB m a

GetNotification :: Int -> DB m (Maybe Notification)

Instances

type DispatchOf DB

Defined in Effectful.HPQTypes

type DispatchOf DB = 'Dynamic

Handlers

runDB

Arguments

:: forall es a. IOE :> es

=> ConnectionSourceM (Eff es)

Connection source.

-> TransactionSettings

Transaction settings.

-> Eff (DB ': es) a

-> Eff es a

Run the DB effect with the given connection source and transaction settings.

Note: this is the effectful version of runDBT.

Re-exports

module Database.PostgreSQL.PQTypes

Orphan instances

DB :> es => MonadDB (Eff es)

Orphan, canonical instance.

Methods

runQuery :: IsSQL sql => sql -> Eff es Int

runPreparedQuery :: IsSQL sql => QueryName -> sql -> Eff es Int

getLastQuery :: Eff es SomeSQL

withFrozenLastQuery :: Eff es a -> Eff es a

getConnectionStats :: Eff es ConnectionStats

getQueryResult :: FromRow row => Eff es (Maybe (QueryResult row))

clearQueryResult :: Eff es ()

getTransactionSettings :: Eff es TransactionSettings

setTransactionSettings :: TransactionSettings -> Eff es ()

getNotification :: Int -> Eff es (Maybe Notification)

withNewConnection :: Eff es a -> Eff es a