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)
-