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

java.lang.Object

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

All Implemented Interfaces:

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

Direct Known Subclasses:

SafeT.Body.Done, SafeT.Body.More, SafeT.Body.Suspended

Enclosing class:

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

private abstract static class SafeT.Body<M extends MonadRec<?,M>, A>
extends Object
implements CoProduct2<Either<MonadRec<SafeT.Body<M,A>, M>, A>, SafeT.Body.Suspended<M,?,A>, SafeT.Body<M,A>>

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
private static final class	SafeT.Body.Done<M extends MonadRec<?,M>, A>
private static final class	SafeT.Body.More<M extends MonadRec<?,M>, A>
private static final class	SafeT.Body.Suspended<M extends MonadRec<?,M>, A, B>

Constructor Summary

Constructors

Modifier	Constructor	Description
private	Body()

Method Summary

Modifier and Type	Method	Description
private static <M extends MonadRec<?,M>, A> SafeT.Body<M,A>	done(A a)
private static <M extends MonadRec<?,M>, A> SafeT.Body<M,A>	more(MonadRec<SafeT.Body<M,A>, M> mb)
abstract Either<MonadRec<SafeT.Body<M,A>, M>, A>	resume()
private static <M extends MonadRec<?,M>, A, B> SafeT.Body<M,B>	suspend(SafeT.Body<M,A> freeA, Fn1<A, SafeT.Body<M,B>> fn)

Methods inherited from class Object

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

Methods inherited from interface CoProduct2

diverge, embed, invert, match, project, projectA, projectB

Constructor Details

Body

private Body()

Method Details

resume

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

done

private static <M extends MonadRec<?,M>, A>
SafeT.Body<M,A> done(A a)

more

private static <M extends MonadRec<?,M>, A>
SafeT.Body<M,A> more(MonadRec<SafeT.Body<M,A>, M> mb)

suspend

private static <M extends MonadRec<?,M>, A, B>
SafeT.Body<M,B> suspend(SafeT.Body<M,A> freeA,
 Fn1<A, SafeT.Body<M,B>> fn)