postgresql-tx-squeal-0.1.0.0: postgresql-tx interfacing for use with squeal-postgresql.

Safe HaskellNone
LanguageHaskell2010

Database.PostgreSQL.Tx.Squeal

Contents

Documentation

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 #

okResult :: K Result row -> SquealM db db () 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 #

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

Orphan instances

Tx (SquealM db0 db1) Source # 
Instance details

Associated Types

type TxEnv (SquealM db0 db1) :: Type #

Methods

tx :: TxEnv (SquealM db0 db1) -> SquealM db0 db1 a -> TxM a #

UnsafeTx io t => UnsafeTx (PQ db0 db1 io) (PQ db0 db1 t) Source # 
Instance details

Methods

unsafeIOTx :: PQ db0 db1 io a -> PQ db0 db1 t a #