Package com.jnape.palatable.lambda.monad
Class SafeT.Body.More<M extends MonadRec<?,M>,A>
- java.lang.Object
-
- com.jnape.palatable.lambda.monad.SafeT.Body<M,A>
-
- com.jnape.palatable.lambda.monad.SafeT.Body.More<M,A>
-
- All Implemented Interfaces:
CoProduct2<Either<MonadRec<SafeT.Body<M,A>,M>,A>,SafeT.Body.Suspended<M,?,A>,SafeT.Body<M,A>>
- Enclosing class:
- SafeT.Body<M extends MonadRec<?,M>,A>
private static final class SafeT.Body.More<M extends MonadRec<?,M>,A> extends SafeT.Body<M,A>
-
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description <R> R
match(Fn1<? super Either<MonadRec<SafeT.Body<M,A>,M>,A>,? extends R> aFn, Fn1<? super SafeT.Body.Suspended<M,?,A>,? extends R> bFn)
Type-safe convergence requiring a match against all potential types.Either<MonadRec<SafeT.Body<M,A>,M>,A>
resume()
-
-
-
Constructor Detail
-
More
private More(MonadRec<SafeT.Body<M,A>,M> mfa)
-
-
Method Detail
-
match
public <R> R match(Fn1<? super Either<MonadRec<SafeT.Body<M,A>,M>,A>,? extends R> aFn, Fn1<? super SafeT.Body.Suspended<M,?,A>,? extends R> bFn)
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
-
-