Class Choice7._E<A,B,C,D,E,F,G>
- java.lang.Object
-
- com.jnape.palatable.lambda.adt.choice.Choice7<A,B,C,D,E,F,G>
-
- com.jnape.palatable.lambda.adt.choice.Choice7._E<A,B,C,D,E,F,G>
-
- All Implemented Interfaces:
CoProduct7<A,B,C,D,E,F,G,Choice7<A,B,C,D,E,F,G>>
,Applicative<G,Choice7<A,B,C,D,E,F,?>>
,Bifunctor<F,G,Choice7<A,B,C,D,E,?,?>>
,BoundedBifunctor<F,G,java.lang.Object,java.lang.Object,Choice7<A,B,C,D,E,?,?>>
,Functor<G,Choice7<A,B,C,D,E,F,?>>
,Monad<G,Choice7<A,B,C,D,E,F,?>>
,MonadRec<G,Choice7<A,B,C,D,E,F,?>>
,Traversable<G,Choice7<A,B,C,D,E,F,?>>
private static final class Choice7._E<A,B,C,D,E,F,G> extends Choice7<A,B,C,D,E,F,G>
-
-
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, Fn1<? super E,? extends R> eFn, Fn1<? super F,? extends R> fFn, Fn1<? super G,? extends R> gFn)
Type-safe convergence requiring a match against all potential types.java.lang.String
toString()
-
Methods inherited from class com.jnape.palatable.lambda.adt.choice.Choice7
a, b, biMap, biMapL, biMapR, c, converge, d, discardL, discardR, diverge, e, f, flatMap, fmap, g, lazyZip, project, pure, pureChoice, trampolineM, traverse, zip
-
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
-
-
-
-
Field Detail
-
e
private final E e
-
-
Constructor Detail
-
_E
private _E(E e)
-
-
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, Fn1<? super E,? extends R> eFn, Fn1<? super F,? extends R> fFn, Fn1<? super G,? extends R> gFn)
Description copied from interface:CoProduct7
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
fFn
- morphismF -> R
gFn
- morphismG -> 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 classjava.lang.Object
-
hashCode
public int hashCode()
- Overrides:
hashCode
in classjava.lang.Object
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
-