package bastet

  1. Overview
  2. Docs
package bastet
Legend:
Library
Module
Module type
Parameter
Class
Class type
val id : ('a, 'a) Function.Category.t
val (<.) : ('a -> 'b) -> ('c -> 'a) -> 'c -> 'b
type 'a endo =
  1. | Endo of 'a -> 'a

A data structure representing the monoid of endomorphisms under composition (a => a)

module Magma : Interface.MAGMA_ANY with type 'a t = 'a endo
module Semigroup : Interface.SEMIGROUP_ANY with type 'a t = 'a endo
module Monoid : Interface.MONOID_ANY with type 'a t = 'a endo
module Infix : sig ... end