package stdune

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Endofunctions, i.e., functions of type t -> t, form two monoids.

module Left (A : sig ... end) : S with type t = A.t -> A.t

The left-to-right function composition monoid, where the argument is first passed to the leftmost function:

module Right (A : sig ... end) : S with type t = A.t -> A.t

The right-to-left function composition monoid, where the argument is first passed to the rightmost function: