Join_semilattice (preface.Preface_make.Join

Using the minimal definition

Build a Preface_specs.JOIN_SEMILATTICE using Preface_specs.Join_semilattice.WITH_JOIN. Standard method, using the minimal definition of a semigroup to derive its full API.

module Via_join
  (Req : Preface_specs.Join_semilattice.WITH_JOIN) : 
  Preface_specs.JOIN_SEMILATTICE with type t = Req.t

Manual construction

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

Grouping of all components

module Via
  (Core : Preface_specs.Join_semilattice.CORE)
  (Infix : Preface_specs.Join_semilattice.INFIX with type t = Core.t) : 
  Preface_specs.JOIN_SEMILATTICE with type t = Infix.t

Building Core

module Core
  (Req : Preface_specs.Join_semilattice.WITH_JOIN) : 
  Preface_specs.Join_semilattice.CORE with type t = Req.t

Deriving Infix

module Infix
  (Core : Preface_specs.Join_semilattice.CORE) : 
  Preface_specs.Join_semilattice.INFIX with type t = Core.t