Package eu.bandm.tools.util

Class Operators.LiftedMFold<T,S>

java.lang.Object

eu.bandm.tools.util.Operators.LiftedMFold<T,S>

All Implemented Interfaces:

Operators.MCons<Collection<T>,S>, Operators.State<S>

Enclosing class:

Operators

static class Operators.LiftedMFold<T,S>
extends Object
implements Operators.MCons<Collection<T>,S>

Field Summary

Fields

Modifier and Type	Field	Description
protected final Operators.MCons<? super T,S>	body

Constructor Summary

Constructors

Constructor	Description
LiftedMFold(Operators.MCons<? super T,S> body)

Method Summary

Modifier and Type	Method	Description
void	consume(Collection<T> next)
S	getState()
boolean	more()
void	setState(S state)
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Details

body

protected final Operators.MCons<? super T,S> body

Constructor Details

LiftedMFold

public LiftedMFold(Operators.MCons<? super T,S> body)

Method Details

getState

public S getState()

Specified by:

getState in interface Operators.State<T>

setState

public void setState(S state)

Specified by:

setState in interface Operators.State<T>

more

public boolean more()

Specified by:

more in interface Operators.MCons<T,S>

consume

public void consume(Collection<T> next)

Specified by:

consume in interface Operators.MCons<T,S>

toString

public String toString()

Overrides:

toString in class Object