Package com.jnape.palatable.lambda.adt
Class Maybe.Just<A>
- java.lang.Object
-
- com.jnape.palatable.lambda.adt.Maybe<A>
-
- com.jnape.palatable.lambda.adt.Maybe.Just<A>
-
- All Implemented Interfaces:
CoProduct2<Unit,A,Maybe<A>>,Applicative<A,Maybe<?>>,Functor<A,Maybe<?>>,Monad<A,Maybe<?>>,MonadError<Unit,A,Maybe<?>>,MonadRec<A,Maybe<?>>,Traversable<A,Maybe<?>>
private static final class Maybe.Just<A> extends Maybe<A>
-
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description booleanequals(java.lang.Object other)inthashCode()<R> Rmatch(Fn1<? super Unit,? extends R> aFn, Fn1<? super A,? extends R> bFn)Type-safe convergence requiring a match against all potential types.java.lang.StringtoString()-
Methods inherited from class com.jnape.palatable.lambda.adt.Maybe
catchError, discardL, discardR, diverge, filter, flatMap, fmap, fromEither, fromOptional, invert, just, lazyZip, maybe, nothing, orElse, orElseGet, orElseThrow, peek, project, pure, pureMaybe, throwError, toEither, toOptional, 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 Detail
-
a
private final A a
-
-
Constructor Detail
-
Just
private Just(A a)
-
-
Method Detail
-
match
public <R> R match(Fn1<? super Unit,? extends R> aFn, Fn1<? super A,? extends R> bFn)
Description copied from interface:CoProduct2Type-safe convergence requiring a match against all potential types.- Type Parameters:
R- result type- Parameters:
aFn- morphismA -> RbFn- morphismB -> R- Returns:
- the result of applying the appropriate morphism to this coproduct's unwrapped value
-
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
-
-