package alg_structs

  1. Overview
  2. Docs

Make (T) is a module implementing the Endo semigroup for functions over type T.t

Parameters

module T : Triv.S

Signature

include Seed with type t = T.t -> T.t
type t = T.t -> T.t

The principle (and sole) type.

We can think of this set-theoretically as the carrier set of the algebraic structure or category-theoretically as the single object in the category, with each element being a morphism t -> t.

val op : t -> t -> t

op x y is an associative operation over all elements x and y of type t. Category-theoretically, this is the composition of morphisms.

val (*) : t -> t -> t

The infix version of op.

val concat : t NonEmptyList.t -> t

concat xs is the concatenation of all elements of xs into a single value using op.

This is equivalent to List.fold_right op (NonEmptyList.tl xs) (NonEmptyList.hd xs).

OCaml

Innovation. Community. Security.