Class | Description |
---|---|
RecursiveResult<A,B> |
Specialized
CoProduct2 representing the possible results of a primitive recursive function. |
Trampoline<A,B> |
Given an
(analogous to "recurse" and "return"
tail position instructions, respectively), produce a that unrolls the original
function by iteratively passing each result that matches the input (A ) back to the original function,
and then terminating on and returning the first output (B ). |