Class RecursiveResult.Terminate<A,B>
java.lang.Object
com.jnape.palatable.lambda.functions.recursion.RecursiveResult<A,B>
com.jnape.palatable.lambda.functions.recursion.RecursiveResult.Terminate<A,B>
- All Implemented Interfaces:
CoProduct2<A,
,B, RecursiveResult<A, B>> Applicative<B,
,RecursiveResult<A, ?>> Bifunctor<A,
,B, RecursiveResult<?, ?>> BoundedBifunctor<A,
,B, Object, Object, RecursiveResult<?, ?>> Functor<B,
,RecursiveResult<A, ?>> Monad<B,
,RecursiveResult<A, ?>> MonadRec<B,
,RecursiveResult<A, ?>> Traversable<B,
RecursiveResult<A, ?>>
- Enclosing class:
RecursiveResult<A,
B>
-
Nested Class Summary
Nested classes/interfaces inherited from class com.jnape.palatable.lambda.functions.recursion.RecursiveResult
RecursiveResult.Recurse<A,
B>, RecursiveResult.Terminate<A, B> -
Field Summary
Fields -
Constructor Summary
Constructors -
Method Summary
Methods inherited from class com.jnape.palatable.lambda.functions.recursion.RecursiveResult
biMap, biMapL, biMapR, discardL, discardR, flatMap, fmap, invert, pure, pureRecursiveResult, recurse, terminate, trampolineM, traverse, zip
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
-
Field Details
-
b
-
-
Constructor Details
-
Terminate
-
-
Method Details
-
match
Description copied from interface:CoProduct2
Type-safe convergence requiring a match against all potential types.- Type Parameters:
R
- result type- Parameters:
aFn
- morphismA -> R
bFn
- morphismB -> R
- Returns:
- the result of applying the appropriate morphism to this coproduct's unwrapped value
-
equals
-
hashCode
public int hashCode() -
toString
-