Uses of Class
com.jnape.palatable.lambda.monad.SafeT.Body

Packages that use SafeT.Body

Package	Description
com.jnape.palatable.lambda.monad

Uses of SafeT.Body in com.jnape.palatable.lambda.monad

Subclasses of SafeT.Body in com.jnape.palatable.lambda.monad

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

Fields in com.jnape.palatable.lambda.monad declared as SafeT.Body

Modifier and Type	Field	Description
private SafeT.Body<M,A>	SafeT.body
private SafeT.Body<M,A>	SafeT.Body.Suspended.source

Fields in com.jnape.palatable.lambda.monad with type parameters of type SafeT.Body

Modifier and Type	Field	Description
private Fn1<A,SafeT.Body<M,B>>	SafeT.Body.Suspended.f
private MonadRec<SafeT.Body<M,A>,M>	SafeT.Body.More.mfa

Methods in com.jnape.palatable.lambda.monad that return SafeT.Body

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

Methods in com.jnape.palatable.lambda.monad that return types with arguments of type SafeT.Body

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>>>	SafeT.Body.Suspended.associateRight(Fn1<Z,SafeT.Body<M,B>> f)
private <Z> Fn1<SafeT.Body.Suspended<M,?,Z>,RecursiveResult<SafeT.Body<M,B>,Either<MonadRec<SafeT.Body<M,B>,M>,B>>>	SafeT.Body.Suspended.associateRight(Fn1<Z,SafeT.Body<M,B>> f)
Either<MonadRec<SafeT.Body<M,A>,M>,A>	SafeT.Body.Done.resume()
Either<MonadRec<SafeT.Body<M,A>,M>,A>	SafeT.Body.More.resume()
abstract Either<MonadRec<SafeT.Body<M,A>,M>,A>	SafeT.Body.resume()
Either<MonadRec<SafeT.Body<M,B>,M>,B>	SafeT.Body.Suspended.resume()

Methods in com.jnape.palatable.lambda.monad with parameters of type SafeT.Body

Modifier and Type	Method	Description
<A> R	SafeT.Body.Suspended.Φ.apply(SafeT.Body<M,A> source, Fn1<A,SafeT.Body<M,B>> fn)
private static <M extends MonadRec<?,M>,A,B> SafeT.Body<M,B>	SafeT.Body.suspend(SafeT.Body<M,A> freeA, Fn1<A,SafeT.Body<M,B>> fn)

Method parameters in com.jnape.palatable.lambda.monad with type arguments of type SafeT.Body

Modifier and Type	Method	Description
<A> R	SafeT.Body.Suspended.Φ.apply(SafeT.Body<M,A> source, Fn1<A,SafeT.Body<M,B>> fn)
private <Z> Fn1<SafeT.Body.Suspended<M,?,Z>,RecursiveResult<SafeT.Body<M,B>,Either<MonadRec<SafeT.Body<M,B>,M>,B>>>	SafeT.Body.Suspended.associateRight(Fn1<Z,SafeT.Body<M,B>> f)
<R> R	SafeT.Body.Done.match(Fn1<? super Either<MonadRec<SafeT.Body<M,A>,M>,A>,? extends R> aFn, Fn1<? super SafeT.Body.Suspended<M,?,A>,? extends R> bFn)
<R> R	SafeT.Body.More.match(Fn1<? super Either<MonadRec<SafeT.Body<M,A>,M>,A>,? extends R> aFn, Fn1<? super SafeT.Body.Suspended<M,?,A>,? extends R> bFn)
<R> R	SafeT.Body.Suspended.match(Fn1<? super Either<MonadRec<SafeT.Body<M,B>,M>,B>,? extends R> aFn, Fn1<? super SafeT.Body.Suspended<M,?,B>,? extends R> bFn)
private static <M extends MonadRec<?,M>,A> SafeT.Body<M,A>	SafeT.Body.more(MonadRec<SafeT.Body<M,A>,M> mb)
private static <M extends MonadRec<?,M>,A,B> SafeT.Body<M,B>	SafeT.Body.suspend(SafeT.Body<M,A> freeA, Fn1<A,SafeT.Body<M,B>> fn)

Constructors in com.jnape.palatable.lambda.monad with parameters of type SafeT.Body

Constructor	Description
SafeT(SafeT.Body<M,A> body, Pure<M> pureM)
Suspended(SafeT.Body<M,A> source, Fn1<A,SafeT.Body<M,B>> f)

Constructor parameters in com.jnape.palatable.lambda.monad with type arguments of type SafeT.Body

Constructor	Description
More(MonadRec<SafeT.Body<M,A>,M> mfa)
Suspended(SafeT.Body<M,A> source, Fn1<A,SafeT.Body<M,B>> f)