The captured computation so far. The type
(A => B, Exception => B) => C is a function where:
A=>Brepresents the computation defined against the current state held in the ControlContext.
Exception => Brepresents a computation to perform if an exception is thrown from the first parameter's computation.
The current state stored in this context. Allowed to be null if the context is non-trivial.
Maps and flattens this
ControlContext with another
ControlContext generated from the current state.
The new type of the contained state.
The new type of the state after the stored continuation has executed.
The result type of the nested
ControlContext. Because the nested
ControlContext is executed within
ControlContext, this type must
>: B so that the resulting nested computation can be fed through
the current continuation.
A transformation function from the current state to a nested
The resulting comuptation is still the type
Runs the computation against the state stored in this
the computation that modifies the current state of the context.
This method could throw exceptions from the computations.
The captured computation so far.
The current state value.
true if this context only stores a state value and not any deferred computation.
Modifies the currently captured state in this
The new type of state in this context.
A transformation function on the current state of the
The current state stored in this context.