Choice4._D

java.lang.Object
- com.jnape.palatable.lambda.adt.choice.Choice4<A,B,C,D>
- - com.jnape.palatable.lambda.adt.choice.Choice4._D<A,B,C,D>

All Implemented Interfaces:

CoProduct4<A,B,C,D,Choice4<A,B,C,D>>, Applicative<D,Choice4<A,B,C,?>>, Bifunctor<C,D,Choice4<A,B,?,?>>, BoundedBifunctor<C,D,java.lang.Object,java.lang.Object,Choice4<A,B,?,?>>, Functor<D,Choice4<A,B,C,?>>, Monad<D,Choice4<A,B,C,?>>, MonadRec<D,Choice4<A,B,C,?>>, Traversable<D,Choice4<A,B,C,?>>

Enclosing class:

Choice4<A,B,C,D>
```
private static final class Choice4._D<A,B,C,D>
extends Choice4<A,B,C,D>
```

Field Summary

Fields
Modifier and Type Field Description

private D d

Constructor Summary

Constructors
Modifier Constructor Description

private _D(D d)

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, Fn1<? super C,? extends R> cFn, Fn1<? super D,? extends R> dFn)`	Type-safe convergence requiring a match against all potential types.
`java.lang.String`	`toString()`

Methods inherited from class com.jnape.palatable.lambda.adt.choice.Choice4
a, b, biMap, biMapL, biMapR, c, converge, d, discardL, discardR, diverge, flatMap, fmap, lazyZip, project, pure, pureChoice, 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.CoProduct4
embed, projectA, projectB, projectC, projectD

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

- Field Detail
  - d
```
private final D d
```
- Constructor Detail
  - _D
```
private _D(D d)
```
- Method Detail
  - match
```
public <R> R match(Fn1<? super A,? extends R> aFn,
                   Fn1<? super B,? extends R> bFn,
                   Fn1<? super C,? extends R> cFn,
                   Fn1<? super D,? extends R> dFn)
```
    Description copied from interface: CoProduct4
    
    Type-safe convergence requiring a match against all potential types.
    
    Type Parameters:
    
    R - result type
    
    Parameters:
    
    aFn - morphism A -> R
    
    bFn - morphism B -> R
    
    cFn - morphism C -> R
    
    dFn - morphism D -> R
    
    Returns:
    
    the result of applying the appropriate morphism from whichever type is represented by this coproduct to R
    
    See Also:
    
    CoProduct2.match(Fn1, Fn1)
  - 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