Building a Preface_specs.Monoid
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.
module Via_combine_and_neutral
(Req : Preface_specs.Monoid.WITH_NEUTRAL_AND_COMBINE) :
Preface_specs.MONOID with type t = Req.tBuild 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.
module Over_semigroup
(S : Preface_specs.SEMIGROUP)
(M : Preface_specs.Monoid.WITH_NEUTRAL with type t = S.t) :
Preface_specs.MONOID with type t = S.tSpecialize an Preface_specs.ALTERNATIVE into a Preface_specs.MONOID.
module From_alternative
(Alternative : Preface_specs.ALTERNATIVE)
(T : Preface_specs.Types.T0) :
Preface_specs.MONOID with type t = T.t Alternative.tSpecialize an Preface_specs.MONAD_PLUS into a Preface_specs.MONOID.
module From_monad_plus
(Monad_plus : Preface_specs.MONAD_PLUS)
(T : Preface_specs.Types.T0) :
Preface_specs.MONOID with type t = T.t Monad_plus.tAdvanced 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.)
module Via
(Core : Preface_specs.Monoid.CORE)
(Operation : Preface_specs.Monoid.OPERATION with type t = Core.t)
(Infix : Preface_specs.Monoid.INFIX with type t = Operation.t) :
Preface_specs.MONOID with type t = Infix.tmodule Core_over_semigroup
(S : Preface_specs.Semigroup.CORE)
(M : Preface_specs.Monoid.WITH_NEUTRAL with type t = S.t) :
Preface_specs.Monoid.CORE with type t = M.tmodule Core
(Req : Preface_specs.Monoid.WITH_NEUTRAL_AND_COMBINE) :
Preface_specs.Monoid.CORE with type t = Req.tmodule Operation
(Core : Preface_specs.Monoid.CORE) :
Preface_specs.Monoid.OPERATION with type t = Core.tmodule Infix
(Core : Preface_specs.Monoid.CORE) :
Preface_specs.Monoid.INFIX with type t = Core.t