Class Choice2._A<A,B>
java.lang.Object
com.jnape.palatable.lambda.adt.choice.Choice2<A,B>
com.jnape.palatable.lambda.adt.choice.Choice2._A<A,B>
- All Implemented Interfaces:
CoProduct2<A,
,B, Choice2<A, B>> Applicative<B,
,Choice2<A, ?>> Bifunctor<A,
,B, Choice2<?, ?>> BoundedBifunctor<A,
,B, Object, Object, Choice2<?, ?>> Functor<B,
,Choice2<A, ?>> Monad<B,
,Choice2<A, ?>> MonadRec<B,
,Choice2<A, ?>> Traversable<B,
Choice2<A, ?>>
-
Field Summary
Fields -
Constructor Summary
Constructors -
Method Summary
Methods inherited from class com.jnape.palatable.lambda.adt.choice.Choice2
a, b, biMap, biMapL, biMapR, discardL, discardR, diverge, flatMap, fmap, invert, 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.CoProduct2
embed, projectA, projectB
-
Field Details
-
a
-
-
Constructor Details
-
_A
-
-
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
-