Class Choice3._B<A,B,C>
java.lang.Object
com.jnape.palatable.lambda.adt.choice.Choice3<A,B,C>
com.jnape.palatable.lambda.adt.choice.Choice3._B<A,B,C>
- All Implemented Interfaces:
CoProduct3<A,
,B, C, Choice3<A, B, C>> Applicative<C,
,Choice3<A, B, ?>> Bifunctor<B,
,C, Choice3<A, ?, ?>> BoundedBifunctor<B,
,C, Object, Object, Choice3<A, ?, ?>> Functor<C,
,Choice3<A, B, ?>> Monad<C,
,Choice3<A, B, ?>> MonadRec<C,
,Choice3<A, B, ?>> Traversable<C,
Choice3<A, B, ?>>
-
Field Summary
Fields -
Constructor Summary
Constructors -
Method Summary
Methods inherited from class com.jnape.palatable.lambda.adt.choice.Choice3
a, b, biMap, biMapL, biMapR, c, converge, 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.CoProduct3
embed, projectA, projectB, projectC
-
Field Details
-
b
-
-
Constructor Details
-
_B
-
-
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) Description copied from interface:CoProduct3
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
- Returns:
- the result of applying the appropriate morphism to this coproduct's unwrapped value
- See Also:
-
equals
-
hashCode
public int hashCode() -
toString
-