Package com.jnape.palatable.lambda.monad

Class SafeT.Body.Suspended<M extends MonadRec<?,M>,A,B>

java.lang.Object

com.jnape.palatable.lambda.monad.SafeT.Body<M,B>

com.jnape.palatable.lambda.monad.SafeT.Body.Suspended<M,A,B>

All Implemented Interfaces:

CoProduct2<Either<MonadRec<SafeT.Body<M,B>,M>,B>,SafeT.Body.Suspended<M,?,B>,SafeT.Body<M,B>>

Enclosing class:

SafeT.Body<M extends MonadRec<?,M>,A>

private static final class SafeT.Body.Suspended<M extends MonadRec<?,M>,A,B>
extends SafeT.Body<M,B>

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
private static interface	SafeT.Body.Suspended.Φ<M extends MonadRec<?,M>,B,R>

Field Summary

Fields

Modifier and Type	Field	Description
private Fn1<A,SafeT.Body<M,B>>	f
private SafeT.Body<M,A>	source

Constructor Summary

Constructors

Modifier	Constructor	Description
private	Suspended(SafeT.Body<M,A> source, Fn1<A,SafeT.Body<M,B>> f)

Method Summary

Modifier and Type	Method	Description
private <Z> Fn1<SafeT.Body.Suspended<M,?,Z>,RecursiveResult<SafeT.Body<M,B>,Either<MonadRec<SafeT.Body<M,B>,M>,B>>>	associateRight(Fn1<Z,SafeT.Body<M,B>> f)
private <R> R	eliminate(SafeT.Body.Suspended.Φ<M,B,R> Φ)
<R> R	match(Fn1<? super Either<MonadRec<SafeT.Body<M,B>,M>,B>,? extends R> aFn, Fn1<? super SafeT.Body.Suspended<M,?,B>,? extends R> bFn)	Type-safe convergence requiring a match against all potential types.
Either<MonadRec<SafeT.Body<M,B>,M>,B>	resume()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface com.jnape.palatable.lambda.adt.coproduct.CoProduct2

diverge, embed, invert, project, projectA, projectB

Field Detail

source

private final SafeT.Body<M extends MonadRec<?,M>,A> source

f

private final Fn1<A,SafeT.Body<M extends MonadRec<?,M>,B>> f

Constructor Detail

Suspended

private Suspended(SafeT.Body<M,A> source,
                  Fn1<A,SafeT.Body<M,B>> f)

Method Detail

resume

public Either<MonadRec<SafeT.Body<M,B>,M>,B> resume()

Specified by:

resume in class SafeT.Body<M extends MonadRec<?,M>,B>

match

public <R> R match(Fn1<? super Either<MonadRec<SafeT.Body<M,B>,M>,B>,? extends R> aFn,
                   Fn1<? super SafeT.Body.Suspended<M,?,B>,? 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 - morphism A -> R

bFn - morphism B -> R

Returns:

the result of applying the appropriate morphism to this coproduct's unwrapped value

associateRight

private <Z> Fn1<SafeT.Body.Suspended<M,?,Z>,RecursiveResult<SafeT.Body<M,B>,Either<MonadRec<SafeT.Body<M,B>,M>,B>>> associateRight(Fn1<Z,SafeT.Body<M,B>> f)

eliminate

private <R> R eliminate(SafeT.Body.Suspended.Φ<M,B,R> Φ)