A driver of K
can be composed with a driver of L
to form a driver of
the coproduct of K
and L
.
A driver of K
can be composed with a driver of L
to form a driver of
the coproduct of K
and L
. The resulting driver can drive a machine
that sends both K
and L
requests.
Drives a machine, responding to each request with apply
, accumulating the
machine's output according to a Monoid
.
Drives a machine, responding to each request with apply
, accumulating the
machine's output according to a left fold interface.
A
Driver[K]
can step through a machine that requests inputs described byK
and have effects described byM
at each step.