Package fj.control
Class Trampoline.Suspend<A>
- java.lang.Object
-
- fj.control.Trampoline<A>
-
- fj.control.Trampoline.Normal<A>
-
- fj.control.Trampoline.Suspend<A>
-
- Enclosing class:
- Trampoline<A>
private static final class Trampoline.Suspend<A> extends Trampoline.Normal<A>
-
-
Field Summary
Fields Modifier and Type Field Description private P1<Trampoline<A>>
suspension
-
Constructor Summary
Constructors Modifier Constructor Description private
Suspend(P1<Trampoline<A>> s)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description <R> R
fold(F<Trampoline.Normal<A>,R> n, F<Trampoline.Codense<A>,R> gs)
<R> R
foldNormal(F<A,R> pure, F<P1<Trampoline<A>>,R> k)
Either<P1<Trampoline<A>>,A>
resume()
Runs a single step of this computation.-
Methods inherited from class fj.control.Trampoline.Normal
bind
-
-
-
-
Field Detail
-
suspension
private final P1<Trampoline<A>> suspension
-
-
Constructor Detail
-
Suspend
private Suspend(P1<Trampoline<A>> s)
-
-
Method Detail
-
foldNormal
public <R> R foldNormal(F<A,R> pure, F<P1<Trampoline<A>>,R> k)
- Specified by:
foldNormal
in classTrampoline.Normal<A>
-
fold
public <R> R fold(F<Trampoline.Normal<A>,R> n, F<Trampoline.Codense<A>,R> gs)
- Specified by:
fold
in classTrampoline<A>
-
resume
public Either<P1<Trampoline<A>>,A> resume()
Description copied from class:Trampoline
Runs a single step of this computation.- Specified by:
resume
in classTrampoline<A>
- Returns:
- The next step of this compuation.
-
-