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