Uses of Interface
fj.Semigroup.Definition

Packages that use Semigroup.Definition

Package	Description
fj	Types that set the premise for the existence of Functional Java.

Uses of Semigroup.Definition in fj

Subinterfaces of Semigroup.Definition in fj

Modifier and Type	Interface	Description
static interface	Monoid.AltDefinition<A>	Primitives functions of Monoid: alternative minimal definition and overridable methods.
static interface	Monoid.Definition<A>	Primitives functions of Monoid: minimal definition and overridable methods.
static interface	Ord.AltDefinition<A>	Primitives functions of Ord: alternative minimal definition and overridable methods.
static interface	Ord.Definition<A>	Primitives functions of Ord: minimal definition and overridable methods.
static interface	Semigroup.AltDefinition<A>	Primitives functions of Semigroup: alternative minimal definition and overridable methods.

Fields in fj declared as Semigroup.Definition

Modifier and Type	Field	Description
private Semigroup.Definition<A>	Semigroup.def

Methods in fj that return Semigroup.Definition

Modifier and Type	Method	Description
default Semigroup.Definition<A>	Semigroup.Definition.dual()

Methods in fj with parameters of type Semigroup.Definition

Modifier and Type	Method	Description
static <A> Monoid<A>	Monoid.monoidDef(Semigroup.Definition<A> s, A zero)	Constructs a monoid from the given semigroup definition and zero value, which must follow the monoidal laws.
static <A> Semigroup<A>	Semigroup.semigroupDef(Semigroup.Definition<A> def)	Constructs a semigroup from the given definition.

Constructors in fj with parameters of type Semigroup.Definition

Constructor	Description
Semigroup(Semigroup.Definition<A> def)