module Core : Preface_specs.Category.COREmodule Operation : Preface_specs.Category.OPERATION with type ('a, 'b) t = ('a, 'b) Core.tmodule Infix : Preface_specs.Category.INFIX with type ('a, 'b) t = ('a, 'b) Operation.ttype ('a, 'b) t = ('a, 'b) Infix.tThe type held by the Category.
val id : ('a, 'a) tThe identity morphism.
An alias of CORE.compose with flipped argument.
module Infix : Preface_specs.Category.INFIX with type ('a, 'b) t = ('a, 'b) tAn alias of CORE.compose (to be iso with Preface_core).
An alias of CORE.compose (to be iso with Preface_core).
An alias of OPERATION.compose_left_to_right (to be iso with Preface_core).
An alias of CORE.compose (to be iso with Haskell's approach). Even <<< looks like <% (it is an alias for the same function), they differ in their priorities. OCaml documentation of operators priorities
An alias of CORE.compose_left_to_right (to be iso with Haskell's approach). Even >>> looks like %> (it is an alias for the same function), they differ in their priorities. OCaml documentation of operators priorities