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