transactor

Linear Supertypes

AnyRef, Any

Ordering

Inherited

Visibility

type Interpreter[M[_]] = FunctionK[ConnectionOp, [γ$0$]Kleisli[M, Connection, γ$0$]]
case class Strategy (before: ConnectionIO[Unit], after: ConnectionIO[Unit], oops: ConnectionIO[Unit], always: ConnectionIO[Unit]) extends Product with Serializable
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.
before
a program to prepare the connection for use
after
a program to run on success
oops
a program to run on failure (catch)
always
a programe to run in all cases (finally)
sealed abstract class Transactor [M[_]] extends AnyRef
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.
M
a target effect type; typically IO

Packages