package clarity

  1. Overview
  2. Docs

Monoids

module type S = sig ... end
module Int : sig ... end
module All : S with type t = bool
module Any : S with type t = bool
module Dual (M : S) : S with type t = M.t
module Endo (T : sig ... end) : S with type t = T.t -> T.t
module Pair (M1 : S) (M2 : S) : S with type t = M1.t * M2.t
module Opt (S : Semigroup.S) : S with type t = S.t option