eu.bandm.tools.ops

Class Monoids

java.lang.Object

eu.bandm.tools.ops.Monoids

public abstract class Monoids
extends Object

Method Summary

Modifier and Type	Method and Description
static <M> BiFunction<M,M,M>	combine(Monoid<M> monoid)
static GenMonoid<Object,String>	concat(String separator)
static Monoid<Boolean>	conjunctive()
static <A> Monoid<A>	discrete()
static Monoid<Boolean>	disjunctive()
static <A> GenMonoid<A,List<A>>	free()
static <A,M> GenMonoid<A,M>	generate(M neutral, Function<? super A,? extends M> unit, BiFunction<? super M,? super M,? extends M> combine)
static Monoid<Integer>	intBitwiseAnd()
static Monoid<Integer>	intBitwiseOr()
static Monoid<Integer>	intBitwiseXor()
static Monoid<Integer>	intProduct()
static Monoid<Integer>	intSum()
static <A> GenMonoid<A,Set<? extends A>>	setUnion()
static <A,M> Function<A,M>	unit(GenMonoid<? super A,? extends M> monoid)

Methods inherited from class java.lang.Object

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

Method Detail

generate

public static <A,M> GenMonoid<A,M> generate(M neutral,
                                            Function<? super A,? extends M> unit,
                                            BiFunction<? super M,? super M,? extends M> combine)

unit

public static <A,M> Function<A,M> unit(GenMonoid<? super A,? extends M> monoid)

combine

public static <M> BiFunction<M,M,M> combine(Monoid<M> monoid)

free

public static <A> GenMonoid<A,List<A>> free()

concat

public static GenMonoid<Object,String> concat(String separator)

setUnion

public static <A> GenMonoid<A,Set<? extends A>> setUnion()

intSum

public static Monoid<Integer> intSum()

intProduct

public static Monoid<Integer> intProduct()

intBitwiseOr

public static Monoid<Integer> intBitwiseOr()

intBitwiseAnd

public static Monoid<Integer> intBitwiseAnd()

intBitwiseXor

public static Monoid<Integer> intBitwiseXor()

disjunctive

public static Monoid<Boolean> disjunctive()

conjunctive

public static Monoid<Boolean> conjunctive()

discrete

public static <A> Monoid<A> discrete()