Call a subroutine and continue with the given function.
Return from the computation with the given value.
A computation that accepts values of type A
, eventually resulting in a value of type B
.
A computation that accepts values of type A
, eventually resulting in a value of type B
.
Note the similarity to an scalaz.iteratee.Iteratee.
A computation that produces values of type A
, eventually resulting in a value of type B
.
Suspend the computation with the given suspension.
A computation that can be stepped through, suspended, and paused
A sink that waits for a single value and returns it.
A sink that waits for a single value and returns it.
Monadic join for the higher-order monad Free
Suspends a value within a functor in a single step.
Suspends a value within a functor in a single step. Monadic unit for a higher-order monad.
A trampoline step that doesn't do anything.
A trampoline step that doesn't do anything.
Return the given value in the free monad.
A source that produces the given value.
A source that produces the given value.
Alias for point
Collapse a trampoline to a single step.
Collapse a trampoline to a single step.
Suspend the given computation in a single step.
Suspend the given computation in a single step.