Free monad over a free functor of DriverManagerOp; abstractly, a computation that consumes
a java.sql.DriverManager
and produces a value of type A
.
Syntax for DriverManagerIO
.
Sum type of primitive operations over a java.sql.DriverManager
.
Catchable instance for DriverManagerIO.
Module of constructors for DriverManagerOp
.
Module of constructors for DriverManagerOp
. These are rarely useful outside of the implementation;
prefer the smart constructors provided by the drivermanager
module.
Monad instance for DriverManagerIO (can't be inferred).
Lift a DriverManagerIO[A] into an exception-capturing DriverManagerIO[Throwable \/ A].
Non-strict unit for capturing effects.
Lift a different type of program that has a default Kleisli interpreter.
Natural transformation from DriverManagerOp
to the given M
.