package preface

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Building a Preface_specs.Monoid

Using the minimal definition

Using neutral and combine

Build a Preface_specs.MONOID using Preface_specs.Monoid.WITH_NEUTRAL_AND_COMBINE.

Standard method, using the minimal definition of a monoid to derive its full API.

Over a Semigroup

Build a Preface_specs.MONOID over a Preface_specs.SEMIGROUP.

If you already have a Semigroup, you can enrich it by passing only the neutral function.

From other abstraction

From an Alternative

Specialize an Preface_specs.ALTERNATIVE into a Preface_specs.MONOID.

From a Monad plus

Specialize an Preface_specs.MONAD_PLUS into a Preface_specs.MONOID.

Manual construction

Advanced way to build a Preface_specs.MONOID, constructing and assembling a component-by-component of Preface_specs.MONOID. (In order to provide your own implementation for some features.)

Grouping of all components

Building Core

Deriving Operation

Deriving Infix