A program in M
that can provide a database connection, given the kernel *
A natural transformation for interpreting ConnectionIO
*
An arbitrary value, meaningful to the instance *
A Strategy
for running a program on a connection *
Construct a program to peform arbitrary configuration on the kernel value (changing the timeout on a connection pool, for example).
Construct a program to peform arbitrary configuration on the kernel value (changing the
timeout on a connection pool, for example). This can be the basis for constructing a
configuration language for a specific kernel type A
, whose operations can be added to
compatible Transactor
s via implicit conversion.
Natural transformation that provides a connection and binds through a Kleisli
program
using the given Strategy
, yielding an independent program in M
.
Natural transformation equivalent to exec
that does not use the provided Strategy
and
instead directly binds the Connection
provided by connect
.
Natural transformation equivalent to exec
that does not use the provided Strategy
and
instead directly binds the Connection
provided by connect
. This can be useful in cases
where transactional handling is unsupported or undesired.
Natural transformation equivalent to trans
that does not use the provided Strategy
and
instead directly binds the Connection
provided by connect
.
Natural transformation equivalent to trans
that does not use the provided Strategy
and
instead directly binds the Connection
provided by connect
. This can be useful in cases
where transactional handling is unsupported or undesired.
Natural transformation that provides a connection and binds through a ConnectionIO
program
interpreted via the given interpreter, using the given Strategy
, yielding an independent
program in M
.
Natural transformation that provides a connection and binds through a ConnectionIO
program
interpreted via the given interpreter, using the given Strategy
, yielding an independent
program in M
. This is the most common way to run a doobie program.
Construct a Yolo for REPL experimentation.
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 valueA
. Given a stream or program inConnectionIO
or a program inKleisli
, aTransactor
can discharge the doobie machinery and yield an effectful stream or program inM
.a target effect type; typically
IO
orTask