Data type representing the common setup, error-handling, and cleanup strategy associated with an SQL transaction.
Data type representing the common setup, error-handling, and cleanup strategy associated with
an SQL transaction. A Transactor
uses a Strategy
to wrap programs prior to execution.
a program to prepare the connection for use
a program to run on success
a program to run on failure (catch)
a program to run in all cases (finally)
A thin wrapper around a source of database connections, an interpreter, and a strategy for
running programs, parameterized over a target monad M
and an arbitrary wrapped value A
.
A thin wrapper around a source of database connections, an interpreter, and a strategy for
running programs, parameterized over a target monad M
and an arbitrary wrapped value A
.
Given a stream or program in ConnectionIO
or a program in Kleisli
, a Transactor
can
discharge the doobie machinery and yield an effectful stream or program in M
.
a target effect type; typically IO