Package com.jnape.palatable.lambda.adt
Class These._A<A,B>
- java.lang.Object
-
- com.jnape.palatable.lambda.adt.These<A,B>
-
- com.jnape.palatable.lambda.adt.These._A<A,B>
-
- All Implemented Interfaces:
CoProduct3<A,B,Tuple2<A,B>,These<A,B>>,Applicative<B,These<A,?>>,Bifunctor<A,B,These<?,?>>,BoundedBifunctor<A,B,java.lang.Object,java.lang.Object,These<?,?>>,Functor<B,These<A,?>>,Monad<B,These<A,?>>,MonadRec<B,These<A,?>>,Traversable<B,These<A,?>>
private static final class These._A<A,B> extends These<A,B>
-
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description booleanequals(java.lang.Object other)inthashCode()<R> Rmatch(Fn1<? super A,? extends R> aFn, Fn1<? super B,? extends R> bFn, Fn1<? super Tuple2<A,B>,? extends R> cFn)Type-safe convergence requiring a match against all potential types.java.lang.StringtoString()-
Methods inherited from class com.jnape.palatable.lambda.adt.These
a, b, biMap, biMapL, biMapR, both, discardL, discardR, flatMap, fmap, fromMaybes, lazyZip, pure, pureThese, trampolineM, traverse, zip
-
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
-
-
-
-
Field Detail
-
a
private final A a
-
-
Constructor Detail
-
_A
private _A(A a)
-
-
Method Detail
-
match
public <R> R match(Fn1<? super A,? extends R> aFn, Fn1<? super B,? extends R> bFn, Fn1<? super Tuple2<A,B>,? extends R> cFn)
Description copied from interface:CoProduct3Type-safe convergence requiring a match against all potential types.- Type Parameters:
R- result type- Parameters:
aFn- morphismA -> RbFn- morphismB -> RcFn- morphismC -> R- Returns:
- the result of applying the appropriate morphism to this coproduct's unwrapped value
- See Also:
CoProduct2.match(Fn1, Fn1)
-
equals
public boolean equals(java.lang.Object other)
- Overrides:
equalsin classjava.lang.Object
-
hashCode
public int hashCode()
- Overrides:
hashCodein classjava.lang.Object
-
toString
public java.lang.String toString()
- Overrides:
toStringin classjava.lang.Object
-
-