Preql.Effect.Internal

We use IO in the representation of Transaction, but we don't want to allow arbitrary IO, only SQL queries. So keep it private.

Documentation

newtype Transaction a

A Transaction can only contain SQL queries (and pure functions).

Constructors

Transaction (ExceptT QueryError (ReaderT Connection IO) a)

Instances

Monad Transaction

Defined in Preql.Effect.Internal

Methods

(>>=) :: Transaction a -> (a -> Transaction b) -> Transaction b

(>>) :: Transaction a -> Transaction b -> Transaction b

return :: a -> Transaction a

Functor Transaction

Defined in Preql.Effect.Internal

Methods

fmap :: (a -> b) -> Transaction a -> Transaction b

(<$) :: a -> Transaction b -> Transaction a

Applicative Transaction

Defined in Preql.Effect.Internal

Methods

pure :: a -> Transaction a

(<*>) :: Transaction (a -> b) -> Transaction a -> Transaction b

liftA2 :: (a -> b -> c) -> Transaction a -> Transaction b -> Transaction c

(*>) :: Transaction a -> Transaction b -> Transaction b

(<*) :: Transaction a -> Transaction b -> Transaction a

SqlQuery Transaction

Defined in Preql.Effect

Methods

query :: (ToSql p, FromSql r, KnownNat (Width r)) => (Query (Width r), p) -> Transaction (Vector r)

query_ :: ToSql p => (Query 0, p) -> Transaction ()