Package com.jnape.palatable.lambda.monad
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
private abstract static class SafeT.Body<M extends MonadRec<?,M>,A> extends java.lang.Object implements CoProduct2<Either<MonadRec<SafeT.Body<M,A>,M>,A>,SafeT.Body.Suspended<M,?,A>,SafeT.Body<M,A>>
-
-
Constructor Summary
Constructors Modifier Constructor Description private
Body()
-
Method Summary
All Methods Static Methods Instance Methods Abstract Methods Concrete Methods 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)
-
-
-
Method Detail
-
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)
-
-