Package fj.control
Class Trampoline.Pure<A>
java.lang.Object
fj.control.Trampoline<A>
fj.control.Trampoline.Normal<A>
fj.control.Trampoline.Pure<A>
- Enclosing class:
Trampoline<A>
-
Field Summary
Fields -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescription<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 Details
-
value
-
-
Constructor Details
-
Pure
-
-
Method Details
-
foldNormal
- Specified by:
foldNormal
in classTrampoline.Normal<A>
-
fold
- Specified by:
fold
in classTrampoline<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.
-