|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object listFW.visitor.FoldR<T,P>
public class FoldR<T,P>
Folds a list, starting at the right side.
Field Summary | |
---|---|
private |
_f
|
Constructor Summary | |
---|---|
FoldR(
Constructor for a FoldR algorithm. |
Method Summary | |
---|---|
P |
emptyCase(IMTList<? extends T> h,
P... b)
Empty case. |
P |
nonEmptyCase(INEList<? extends T> h,
P... b)
Non-empty case. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
private_f
Constructor Detail |
---|
public FoldR(f)
f
- a binary ILambda, i.e. one that takes two parameters as varargs.Method Detail |
---|
public P emptyCase(IMTList<? extends T> h, P... b)
emptyCase
in interface IListAlgo<T,P,P>
b
- b[0] is the initial value.
public P nonEmptyCase(INEList<? extends T> h, P... b)
nonEmptyCase
in interface IListAlgo<T,P,P>
b
- b[0] is the initial value.
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |