Trampoline.Codense

java.lang.Object
- fj.control.Trampoline<A>
- - fj.control.Trampoline.Codense<A>

Enclosing class:: Trampoline<A>

private static final class Trampoline.Codense<A>
extends Trampoline<A>

Field Summary

Fields
Modifier and Type Field Description

private F<java.lang.Object,Trampoline<A>> cont

private Trampoline.Normal<java.lang.Object> sub

Constructor Summary

Constructors
Modifier Constructor Description

private Codense(Trampoline.Normal<java.lang.Object> t, F<java.lang.Object,Trampoline<A>> k)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`<B> Trampoline<B>`	`bind(F<A,Trampoline<B>> f)`	Binds the given continuation to the result of this trampoline.
`<R> R`	`fold(F<Trampoline.Normal<A>,R> n, F<Trampoline.Codense<A>,R> gs)`
`Either<P1<Trampoline<A>>,A>`	`resume()`	Runs a single step of this computation.

Methods inherited from class fj.control.Trampoline
apply, bind, bind_, liftM2, map, map_, pure, pure, resume_, run, suspend, suspend, suspend_, zipWith

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Field Detail
  - sub
```
private final Trampoline.Normal<java.lang.Object> sub
```
  - cont
```
private final F<java.lang.Object,Trampoline<A>> cont
```
- Constructor Detail
  - Codense
```
private Codense(Trampoline.Normal<java.lang.Object> t,
                F<java.lang.Object,Trampoline<A>> k)
```
- Method Detail
  - fold
```
public <R> R fold(F<Trampoline.Normal<A>,R> n,
                  F<Trampoline.Codense<A>,R> gs)
```
    Specified by:
    
    fold in class Trampoline<A>
  - bind
```
public <B> Trampoline<B> bind(F<A,Trampoline<B>> f)
```
    Description copied from class: Trampoline
    
    Binds the given continuation to the result of this trampoline.
    
    Specified by:
    
    bind in class Trampoline<A>
    
    Parameters:
    
    f - A function that constructs a trampoline from the result of this trampoline.
    
    Returns:
    
    A new trampoline that runs this trampoline, then continues with the given function.
  - resume
```
public Either<P1<Trampoline<A>>,A> resume()
```
    Description copied from class: Trampoline
    
    Runs a single step of this computation.
    
    Specified by:
    
    resume in class Trampoline<A>
    
    Returns:
    
    The next step of this compuation.