RecursiveResult.Terminate

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,java.lang.Object,java.lang.Object,RecursiveResult<?,?>>, Functor<B,RecursiveResult<A,?>>, Monad<B,RecursiveResult<A,?>>, MonadRec<B,RecursiveResult<A,?>>, Traversable<B,RecursiveResult<A,?>>

Enclosing class:

RecursiveResult<A,B>
```
static final class RecursiveResult.Terminate<A,B>
extends 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
Modifier and Type Field Description

(package private) B b

Constructor Summary

Constructors
Modifier Constructor Description

private Terminate(B b)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`boolean`	`equals(java.lang.Object other)`
`int`	`hashCode()`
`<R> R`	`match(Fn1<? super A,? extends R> aFn, Fn1<? super B,? extends R> bFn)`	Type-safe convergence requiring a match against all potential types.
`java.lang.String`	`toString()`

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

Methods inherited from interface com.jnape.palatable.lambda.adt.coproduct.CoProduct2
diverge, embed, project, projectA, projectB

Methods inherited from interface com.jnape.palatable.lambda.functor.Functor
coerce

Methods inherited from interface com.jnape.palatable.lambda.monad.MonadRec
lazyZip

- Field Detail
  - b
```
final B b
```
- Constructor Detail
  - Terminate
```
private Terminate(B b)
```
- Method Detail
  - match
```
public <R> R match(Fn1<? super A,? extends R> aFn,
                   Fn1<? super B,? extends R> bFn)
```
    Description copied from interface: CoProduct2
    
    Type-safe convergence requiring a match against all potential types.
    
    Type Parameters:
    
    R - result type
    
    Parameters:
    
    aFn - morphism A -> R
    
    bFn - morphism B -> R
    
    Returns:
    
    the result of applying the appropriate morphism to this coproduct's unwrapped value
  - equals
```
public boolean equals(java.lang.Object other)
```
    Overrides:
    
    equals in class java.lang.Object
  - hashCode
```
public int hashCode()
```
    Overrides:
    
    hashCode in class java.lang.Object
  - toString
```
public java.lang.String toString()
```
    Overrides:
    
    toString in class java.lang.Object