Uses of Package
com.jnape.palatable.lambda.functions.recursion
-
Classes in com.jnape.palatable.lambda.functions.recursion used by com.jnape.palatable.lambda.adt Class Description RecursiveResult SpecializedCoProduct2
representing the possible results of a primitive recursive function. -
Classes in com.jnape.palatable.lambda.functions.recursion used by com.jnape.palatable.lambda.adt.choice Class Description RecursiveResult SpecializedCoProduct2
representing the possible results of a primitive recursive function. -
Classes in com.jnape.palatable.lambda.functions.recursion used by com.jnape.palatable.lambda.adt.hlist Class Description RecursiveResult SpecializedCoProduct2
representing the possible results of a primitive recursive function. -
Classes in com.jnape.palatable.lambda.functions.recursion used by com.jnape.palatable.lambda.functions Class Description RecursiveResult SpecializedCoProduct2
representing the possible results of a primitive recursive function. -
Classes in com.jnape.palatable.lambda.functions.recursion used by com.jnape.palatable.lambda.functions.recursion Class Description RecursiveResult SpecializedCoProduct2
representing the possible results of a primitive recursive function.Trampoline 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
). -
Classes in com.jnape.palatable.lambda.functions.recursion used by com.jnape.palatable.lambda.functor.builtin Class Description RecursiveResult SpecializedCoProduct2
representing the possible results of a primitive recursive function. -
Classes in com.jnape.palatable.lambda.functions.recursion used by com.jnape.palatable.lambda.internal.iteration Class Description RecursiveResult SpecializedCoProduct2
representing the possible results of a primitive recursive function. -
Classes in com.jnape.palatable.lambda.functions.recursion used by com.jnape.palatable.lambda.io Class Description RecursiveResult SpecializedCoProduct2
representing the possible results of a primitive recursive function. -
Classes in com.jnape.palatable.lambda.functions.recursion used by com.jnape.palatable.lambda.monad Class Description RecursiveResult SpecializedCoProduct2
representing the possible results of a primitive recursive function. -
Classes in com.jnape.palatable.lambda.functions.recursion used by com.jnape.palatable.lambda.monad.transformer.builtin Class Description RecursiveResult SpecializedCoProduct2
representing the possible results of a primitive recursive function. -
Classes in com.jnape.palatable.lambda.functions.recursion used by com.jnape.palatable.lambda.optics Class Description RecursiveResult SpecializedCoProduct2
representing the possible results of a primitive recursive function. -
Classes in com.jnape.palatable.lambda.functions.recursion used by com.jnape.palatable.lambda.traversable Class Description RecursiveResult SpecializedCoProduct2
representing the possible results of a primitive recursive function.