cyclops.typeclasses.foldable

Interface Foldable<CRE>

Type Parameters:

CRE - The core type of the foldable (e.g. the HKT witness type, not the generic type : ListType.µ)

All Known Implementing Classes:

General.GeneralFoldable

public interface Foldable<CRE>

Type class for foldables

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
default <T> T	foldLeft(T identity, java.util.function.BinaryOperator<T> semigroup, Higher<CRE,T> ds) Starting from the left combine each value in turn with an accumulator
<T> T	foldRight(Monoid<T> monoid, Higher<CRE,T> ds) Starting from the right combine each value in turn with an accumulator
default <T> T	foldRight(T identity, java.util.function.BinaryOperator<T> semigroup, Higher<CRE,T> ds) Starting from the right combine each value in turn with an accumulator

Method Detail

foldRight

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

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

Parameters:

monoid - Monoid to combine values

ds - DataStructure to foldRight

Returns:

Reduced value

foldRight

default <T> T foldRight(T identity,
                        java.util.function.BinaryOperator<T> semigroup,
                        Higher<CRE,T> ds)

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

Parameters:

identity - Identity value & default

semigroup - Combining function

ds - DataStructure to foldRight

Returns:

reduced value

foldLeft

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

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

Parameters:

monoid - Monoid to combine values

ds - DataStructure to foldLeft

Returns:

Reduced value

foldLeft

default <T> T foldLeft(T identity,
                       java.util.function.BinaryOperator<T> semigroup,
                       Higher<CRE,T> ds)

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

Parameters:

identity - Identity value & default

semigroup - Combining function

ds - DataStructure to foldLeft

Returns:

Reduced value