Class Choice5._A<A,B,C,D,E>
java.lang.Object
com.jnape.palatable.lambda.adt.choice.Choice5<A,B,C,D,E>
com.jnape.palatable.lambda.adt.choice.Choice5._A<A,B,C,D,E>
- All Implemented Interfaces:
CoProduct5<A,
,B, C, D, E, Choice5<A, B, C, D, E>> Applicative<E,
,Choice5<A, B, C, D, ?>> Bifunctor<D,
,E, Choice5<A, B, C, ?, ?>> BoundedBifunctor<D,
,E, Object, Object, Choice5<A, B, C, ?, ?>> Functor<E,
,Choice5<A, B, C, D, ?>> Monad<E,
,Choice5<A, B, C, D, ?>> MonadRec<E,
,Choice5<A, B, C, D, ?>> Traversable<E,
Choice5<A, B, C, D, ?>>
-
Field Summary
Fields -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionboolean
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, Fn1<? super E, ? extends R> eFn) Type-safe convergence requiring a match against all potential types.toString()
Methods inherited from class com.jnape.palatable.lambda.adt.choice.Choice5
a, b, biMap, biMapL, biMapR, c, converge, d, discardL, discardR, diverge, e, 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, Fn1<? super E, ? extends R> eFn) Description copied from interface:CoProduct5
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
eFn
- morphismE -> 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
-