Module Preface_specs.Semigroupoid

A Semigroupoid is Category without the identity.

Laws

To have a predictable behaviour, the instance of Semigroupoid must obey one law.

  1. f % (g % h) = (f % g) % h

Minimal definition

module type WITH_COMPOSE = sig ... end

Minimal interface using id and compose.

Structure anatomy

module type CORE = WITH_COMPOSE

Basis operations.

module type OPERATION = sig ... end

Additional operations.

module type INFIX = sig ... end

Infix operators.

Complete API

module type API = sig ... end

The complete interface of a Semigroupoid.

Additional references