Free monad over a free functor of NClobOp; abstractly, a computation that consumes
a java.sql.NClob
and produces a value of type A
.
Syntax for NClobIO
.
Sum type of primitive operations over a java.sql.NClob
.
Capture instance for NClobIO.
Catchable instance for NClobIO.
Monad instance for NClobIO (can't be inferred).
Module of constructors for NClobOp
.
Module of constructors for NClobOp
. These are rarely useful outside of the implementation;
prefer the smart constructors provided by the nclob
module.
Lift a NClobIO[A] into an exception-capturing NClobIO[Throwable \/ A].
Non-strict unit for capturing effects.
Natural transformation from NClobOp
to Kleisli
for the given M
, consuming a java.sql.NClob
.
Backdoor for arbitrary computations on the underlying NClob.
Natural transformation from NClobIO
to M
, given a java.sql.NClob
.
Natural transformation from NClobIO
to Kleisli
for the given M
, consuming a java.sql.NClob
.
Algebra and free monad for primitive operations over a
java.sql.NClob
. This is a low-level API that exposes lifecycle-managed JDBC objects directly and is intended mainly for library developers. End users will prefer a safer, higher-level API such as that provided in thedoobie.hi
package.NClobIO
is a free monad that must be run via an interpreter, most commonly via natural transformation of its underlying algebraNClobOp
to another monad viaFree.runFC
.The library provides a natural transformation to
Kleisli[M, NClob, A]
for any exception-trapping (Catchable
) and effect-capturing (Capture
) monadM
. Such evidence is provided forTask
,IO
, and stdlibFuture
; andtransK[M]
is provided as syntax.