type SquealM db0 db1 = PQ db0 db1 TxM Source #

unsafeSquealIOTx :: PQ db0 db1 IO a -> SquealM db0 db1 a Source #

unsafeSquealIOTx1 :: (x1 -> PQ db0 db1 IO a) -> x1 -> SquealM db0 db1 a Source #

unsafeSquealIOTx2 :: (x1 -> x2 -> PQ db0 db1 IO a) -> x1 -> x2 -> SquealM db0 db1 a Source #

unsafeSquealIOTx3 :: (x1 -> x2 -> x3 -> PQ db0 db1 IO a) -> x1 -> x2 -> x3 -> SquealM db0 db1 a Source #

getRow :: Row -> Result y -> SquealM db db y Source #

firstRow :: Result y -> SquealM db db (Maybe y) Source #

getRows :: Result y -> SquealM db db [y] Source #

nextRow :: Row -> Result y -> Row -> SquealM db db (Maybe (Row, y)) Source #

ntuples :: Result y -> SquealM db db Row Source #

nfields :: Result y -> SquealM db db Column Source #

resultStatus :: Result y -> SquealM db db ExecStatus Source #

okResult :: K Result row -> SquealM db db () Source #

resultErrorMessage :: Result y -> SquealM db db (Maybe ByteString) Source #

resultErrorCode :: Result y -> SquealM db db (Maybe ByteString) Source #

executeParams :: Statement db x y -> x -> SquealM db db (Result y) Source #

executeParams_ :: Statement db x () -> x -> SquealM db db () Source #

execute :: Statement db () y -> SquealM db db (Result y) Source #

execute_ :: Statement db () () -> SquealM db db () Source #

executePrepared :: Traversable list => Statement db x y -> list x -> SquealM db db (list (Result y)) Source #

executePrepared_ :: Foldable list => Statement db x () -> list x -> SquealM db db () Source #

manipulateParams :: (GenericParams db params x xs, GenericRow row y ys) => Manipulation '[] db params row -> x -> SquealM db db (Result y) Source #

manipulateParams_ :: GenericParams db params x xs => Manipulation '[] db params '[] -> x -> SquealM db db () Source #

manipulate :: GenericRow row y ys => Manipulation '[] db '[] row -> SquealM db db (Result y) Source #

manipulate_ :: Manipulation '[] db '[] '[] -> SquealM db db () Source #

runQueryParams :: (GenericParams db params x xs, IsRecord y ys, AllZip FromField row ys) => Query '[] '[] db params row -> x -> SquealM db db (Result y) Source #

runQuery :: (IsRecord y ys, AllZip FromField row ys) => Query '[] '[] db '[] row -> SquealM db db (Result y) Source #

traversePrepared :: (GenericParams db params x xs, Traversable list, IsRecord y ys, AllZip FromField row ys) => Manipulation '[] db params row -> list x -> SquealM db db (list (Result y)) Source #

forPrepared :: (GenericParams db params x xs, Traversable list, IsRecord y ys, AllZip FromField row ys) => list x -> Manipulation '[] db params row -> SquealM db db (list (Result y)) Source #

traversePrepared_ :: (GenericParams db params x xs, Foldable list) => Manipulation '[] db params '[] -> list x -> SquealM db db () Source #

forPrepared_ :: (GenericParams db params x xs, Foldable list) => list x -> Manipulation '[] db params '[] -> SquealM db db () Source #

transactionally :: TransactionMode -> Connection -> TxM a -> IO a Source #

transactionally_ :: Connection -> TxM a -> IO a Source #

transactionallyRetry :: TransactionMode -> Connection -> TxM a -> IO a Source #

ephemerally :: TransactionMode -> Connection -> TxM a -> IO a Source #

ephemerally_ :: Connection -> TxM a -> IO a Source #

unsafeRunSquealTransaction :: (PQ db0 db1 IO a -> PQ db0 db1 IO a) -> Connection -> TxM a -> IO a Source #

module Database.PostgreSQL.Tx.Squeal.Internal.Reexport