Free monad over a free functor of ConnectionOp; abstractly, a computation that consumes
a net.wimpi.telnetd.net.Connection
and produces a value of type A
.
Syntax for ConnectionIO
.
Sum type of primitive operations over a net.wimpi.telnetd.net.Connection
.
Module of constructors for ConnectionOp
.
Module of constructors for ConnectionOp
. These are rarely useful outside of the implementation;
prefer the smart constructors provided by the connection
module.
Lift a ConnectionIO[A] into an exception-capturing ConnectionIO[Throwable Either A].
Non-strict unit for capturing effects.
Natural transformation from ConnectionOp
to Kleisli
for the given M
, consuming a net.wimpi.telnetd.net.Connection
.
Lift a different type of program that has a default Kleisli interpreter.
Backdoor for arbitrary computations on the underlying Connection.
Natural transformation from ConnectionIO
to M
, given a net.wimpi.telnetd.net.Connection
.
Natural transformation from ConnectionIO
to Kleisli
for the given M
, consuming a net.wimpi.telnetd.net.Connection
.
Algebra and free monad for primitive operations over a
net.wimpi.telnetd.net.Connection
.