com.aol.cyclops

Interface Monoid<T>

Type Parameters:

T -

All Superinterfaces:

java.util.function.BiFunction<T,T,T>, java.util.function.BinaryOperator<T>, Semigroup<T>

All Known Subinterfaces:

Reducer<T>

public interface Monoid<T>
extends Semigroup<T>

An interoperability trait for Monoids Also inteded for use with Java 8 Streams (reduce method) Practically the method signature to reduce matches the Monoid interface Monoids could regrarded as immutable equivalents to JDK Collectors for Immutable Reduction

Method Summary

Modifier and Type	Method and Description
static <T> Monoid<T>	of(T zero, java.util.function.BiFunction<T,T,T> combiner)
static <T> Monoid<T>	of(T zero, java.util.function.Function<T,java.util.function.Function<T,T>> combiner)
static <T> Monoid<T>	of(T zero, Semigroup<T> group)
default T	reduce(java.util.stream.Stream<T> toReduce)
T	zero() An element that when provided as a parameter to the combiner with another value, results in the other value being returned e.g.

Methods inherited from interface com.aol.cyclops.Semigroup

apply, combiner, reducer

Methods inherited from interface java.util.function.BinaryOperator

maxBy, minBy

Methods inherited from interface java.util.function.BiFunction

andThen

Method Detail

zero

T zero()

An element that when provided as a parameter to the combiner with another value, results in the other value being returned e.g.

  0  + 1  = 1
  
  0 is zero()
  
  1 * 2 = 2
  
   1 is zero()
   
   "" + "hello" = "hello"
   
  "" is zero()
  

Returns:

reduce

default T reduce(java.util.stream.Stream<T> toReduce)

of

static <T> Monoid<T> of(T zero,
                        Semigroup<T> group)

of

static <T> Monoid<T> of(T zero,
                        java.util.function.Function<T,java.util.function.Function<T,T>> combiner)

of

static <T> Monoid<T> of(T zero,
                        java.util.function.BiFunction<T,T,T> combiner)