cyclops.typeclasses.instances

Class General.GeneralFoldable<CRE,T,R>

java.lang.Object

cyclops.typeclasses.instances.General.GeneralFoldable<CRE,T,R>

All Implemented Interfaces:

Foldable<CRE>

Enclosing interface:

General

public static class General.GeneralFoldable<CRE,T,R>
extends java.lang.Object
implements Foldable<CRE>

Constructor Summary

Constructors

Constructor and Description
GeneralFoldable()

Method Summary

Modifier and Type	Method and Description
<T> T	foldLeft(Monoid<T> monoid, Higher<CRE,T> ds) Starting from the left combine each value in turn with an accumulator
<T,R> R	foldMap(Monoid<R> mb, java.util.function.Function<? super T,? extends R> fn, Higher<CRE,T> nestedA)
<T> T	foldRight(Monoid<T> monoid, Higher<CRE,T> ds) Starting from the right combine each value in turn with an accumulator

Methods inherited from class java.lang.Object

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

Methods inherited from interface cyclops.typeclasses.foldable.Foldable

allMatch, anyMatch, foldK, foldLeft, foldr, foldRight, getAt, intercalate, listX, size, stream

Constructor Detail

GeneralFoldable

public GeneralFoldable()

Method Detail

foldRight

public <T> T foldRight(Monoid<T> monoid,
                       Higher<CRE,T> ds)

Description copied from interface: Foldable

Starting from the right combine each value in turn with an accumulator

Specified by:

foldRight in interface Foldable<CRE>

Parameters:

monoid - Monoid to combine values

ds - DataStructure to foldRight

Returns:

Reduced value

foldLeft

public <T> T foldLeft(Monoid<T> monoid,
                      Higher<CRE,T> ds)

Description copied from interface: Foldable

Starting from the left combine each value in turn with an accumulator

Specified by:

foldLeft in interface Foldable<CRE>

Parameters:

monoid - Monoid to combine values

ds - DataStructure to foldLeft

Returns:

Reduced value

foldMap

public <T,R> R foldMap(Monoid<R> mb,
                       java.util.function.Function<? super T,? extends R> fn,
                       Higher<CRE,T> nestedA)

Specified by:

foldMap in interface Foldable<CRE>