Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Access to a PostgreSQL database via MonadDB
.
Synopsis
- data DB :: Effect where
- 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)
- runDB :: forall es a. IOE :> es => ConnectionSourceM (Eff es) -> TransactionSettings -> Eff (DB ': es) a -> Eff es a
- module Database.PostgreSQL.PQTypes
Effect
data DB :: Effect where Source #
Provide the ability to access a PostgreSQL database via MonadDB
.
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 Source # | |
Defined in Effectful.HPQTypes |
Handlers
:: forall es a. IOE :> es | |
=> ConnectionSourceM (Eff es) | Connection source. |
-> TransactionSettings | Transaction settings. |
-> Eff (DB ': es) a | |
-> Eff es a |
Re-exports
module Database.PostgreSQL.PQTypes
Orphan instances
DB :> es => MonadDB (Eff es) Source # | Orphan, canonical instance. |
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 # |