com.mojang.datafixers.kinds

Interface Monoid<T>

Type Parameters:

T - The object type that this monoid instance handles.

public interface Monoid<T>

The monoid type class defines the add(Object, Object) method for combining two objects.

See Also:

The monoid algebraic structure / type class

Method Summary

Modifier and Type	Method and Description
T	add(T first, T second) Combines first and second together.
static <T> Monoid<List<T>>	listMonoid() Creates a monoid instance for List.
T	point() Returns the identity element of this monoid.

Method Detail

point

T point()

Returns the identity element of this monoid.

Returns:

The identity element.

See Also:

add(Object, Object)

add

T add(T first,
      T second)

Combines first and second together.

When the identity element is combined with any other object, the result is the other input parameter.

Parameters:

first - The first input.

second - The second input.

Returns:

The combined result.

listMonoid

static <T> Monoid<List<T>> listMonoid()

Creates a monoid instance for List.

Type Parameters:

T - The element type of the list.

Returns:

The list monoid.