Package com.jnape.palatable.lambda.functions.recursion
package com.jnape.palatable.lambda.functions.recursion
-
ClassesClassDescriptionRecursiveResult<A,
B> SpecializedCoProduct2representing 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).