Database.PostgreSQL.Tx.Query.Internal

Disclaimer

Changes to this module will not be reflected in the library's version updates.

Internals

newtype UnsafePgQueryIO r a

Analogous to TxM but allows for IO. Useful so we can have instances which are required to run postgresql-query functions. See unsafeToPgQueryIO and unsafeFromPgQueryIO for converting to/from TxM.

Constructors

UnsafePgQueryIO (ReaderT r IO a)

Instances

MonadBase IO (UnsafePgQueryIO r)

Defined in Database.PostgreSQL.Tx.Query.Internal

Methods

liftBase :: IO α -> UnsafePgQueryIO r α

MonadBaseControl IO (UnsafePgQueryIO r)

Defined in Database.PostgreSQL.Tx.Query.Internal

Associated Types

type StM (UnsafePgQueryIO r) a

Methods

liftBaseWith :: (RunInBase (UnsafePgQueryIO r) IO -> IO a) -> UnsafePgQueryIO r a

restoreM :: StM (UnsafePgQueryIO r) a -> UnsafePgQueryIO r a

Monad (UnsafePgQueryIO r)

Defined in Database.PostgreSQL.Tx.Query.Internal

Methods

(>>=) :: UnsafePgQueryIO r a -> (a -> UnsafePgQueryIO r b) -> UnsafePgQueryIO r b

(>>) :: UnsafePgQueryIO r a -> UnsafePgQueryIO r b -> UnsafePgQueryIO r b

return :: a -> UnsafePgQueryIO r a

Functor (UnsafePgQueryIO r)

Defined in Database.PostgreSQL.Tx.Query.Internal

Methods

fmap :: (a -> b) -> UnsafePgQueryIO r a -> UnsafePgQueryIO r b

(<$) :: a -> UnsafePgQueryIO r b -> UnsafePgQueryIO r a

Applicative (UnsafePgQueryIO r)

Defined in Database.PostgreSQL.Tx.Query.Internal

Methods

pure :: a -> UnsafePgQueryIO r a

(<*>) :: UnsafePgQueryIO r (a -> b) -> UnsafePgQueryIO r a -> UnsafePgQueryIO r b

liftA2 :: (a -> b -> c) -> UnsafePgQueryIO r a -> UnsafePgQueryIO r b -> UnsafePgQueryIO r c

(*>) :: UnsafePgQueryIO r a -> UnsafePgQueryIO r b -> UnsafePgQueryIO r b

(<*) :: UnsafePgQueryIO r a -> UnsafePgQueryIO r b -> UnsafePgQueryIO r a

MonadIO (UnsafePgQueryIO r)

Defined in Database.PostgreSQL.Tx.Query.Internal

Methods

liftIO :: IO a -> UnsafePgQueryIO r a

MonadThrow (UnsafePgQueryIO r)

Defined in Database.PostgreSQL.Tx.Query.Internal

Methods

throwM :: Exception e => e -> UnsafePgQueryIO r a

PgQueryEnv r => MonadLogger (UnsafePgQueryIO r)

Defined in Database.PostgreSQL.Tx.Query.Internal

Methods

monadLoggerLog :: ToLogStr msg => Loc -> LogSource -> LogLevel -> msg -> UnsafePgQueryIO r ()

PgQueryEnv r => MonadLoggerIO (UnsafePgQueryIO r)

Defined in Database.PostgreSQL.Tx.Query.Internal

Methods

askLoggerIO :: UnsafePgQueryIO r (Loc -> LogSource -> LogLevel -> LogStr -> IO ())

MonadMask (UnsafePgQueryIO r)

Defined in Database.PostgreSQL.Tx.Query.Internal

Methods

mask :: ((forall a. UnsafePgQueryIO r a -> UnsafePgQueryIO r a) -> UnsafePgQueryIO r b) -> UnsafePgQueryIO r b

uninterruptibleMask :: ((forall a. UnsafePgQueryIO r a -> UnsafePgQueryIO r a) -> UnsafePgQueryIO r b) -> UnsafePgQueryIO r b

generalBracket :: UnsafePgQueryIO r a -> (a -> ExitCase b -> UnsafePgQueryIO r c) -> (a -> UnsafePgQueryIO r b) -> UnsafePgQueryIO r (b, c)

MonadCatch (UnsafePgQueryIO r)

Defined in Database.PostgreSQL.Tx.Query.Internal

Methods

catch :: Exception e => UnsafePgQueryIO r a -> (e -> UnsafePgQueryIO r a) -> UnsafePgQueryIO r a

PgQueryEnv r => HasPostgres (UnsafePgQueryIO r)

Defined in Database.PostgreSQL.Tx.Query.Internal

Methods

withPGConnection :: (Connection -> UnsafePgQueryIO r a) -> UnsafePgQueryIO r a

TransactionSafe (UnsafePgQueryIO r)

Defined in Database.PostgreSQL.Tx.Query.Internal

type StM (UnsafePgQueryIO r) a

Defined in Database.PostgreSQL.Tx.Query.Internal

type StM (UnsafePgQueryIO r) a = StM (ReaderT r IO) a

type Logger = Logger

Re-export of Logger.

Since: 0.1.0.0

type PgQueryM a = forall r. PgQueryEnv r => TxM r a

Monad type alias for running postgresql-query via postgresql-tx.

Since: 0.2.0.0

type PgQueryEnv r = TxEnvs '[Connection, Logger] r :: Constraint

Runtime environment needed to run postgresql-query via postgresql-tx.

Since: 0.2.0.0

unsafeToPgQueryIO :: HasCallStack => TxM r a -> UnsafePgQueryIO r a

unsafeFromPgQueryIO :: HasCallStack => UnsafePgQueryIO r a -> TxM r a

unsafeRunPgQueryTransaction :: (PgQueryEnv r, HasCallStack) => (HasCallStack => UnsafePgQueryIO r a -> UnsafePgQueryIO r a) -> r -> TxM r a -> IO a