Class Choice4._A<A,B,C,D>
java.lang.Object
com.jnape.palatable.lambda.adt.choice.Choice4<A,B,C,D>
com.jnape.palatable.lambda.adt.choice.Choice4._A<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, Object, 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, ?>>
-
Field Summary
Fields -
Constructor Summary
Constructors -
Method Summary
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
-
Field Details
-
a
-
-
Constructor Details
-
_A
-
-
Method Details
-
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
- morphismA -> R
bFn
- morphismB -> R
cFn
- morphismC -> R
dFn
- morphismD -> R
- Returns:
- the result of applying the appropriate morphism from whichever type is represented by this coproduct to R
- See Also:
-
equals
-
hashCode
public int hashCode() -
toString
-