Preface_specs.Semigroupoid
A Semigroupoid
is Category
without the identity.
To have a predictable behaviour, the instance of Semigroupoid
must obey one law.
f % (g % h) = (f % g) % h
module type WITH_COMPOSE = sig ... end
Minimal interface using id
and compose
.
module type CORE = WITH_COMPOSE
Basis operations.
module type OPERATION = sig ... end
Additional operations.
module type INFIX = sig ... end
Infix operators.
module type API = sig ... end
The complete interface of a Semigroupoid
.