Package com.jnape.palatable.lambda.functions.recursion
package com.jnape.palatable.lambda.functions.recursion
-
ClassesClassDescriptionRecursiveResult<A,
B> SpecializedCoProduct2
representing the possible results of a primitive recursive function.Trampoline<A,B> Given an
(analogous to "recurse" and "return" tail position instructions, respectively), produce aFn1
<A,CoProduct2
<A, B, ?>>
that unrolls the original function by iteratively passing each result that matches the input (Fn1
<A, B>A
) back to the original function, and then terminating on and returning the first output (B
).