package colibri2

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

These environment are not saved automatically

include Colibri2_stdlib.Keys.Key
type 'a t
val pp : 'a t Containers.Format.printer
val compare : 'a t -> 'b t -> int
val equal : 'a t -> 'b t -> bool
val hash : 'a t -> int
val tag : 'a t -> int
val name : 'a t -> string
type iter = {
  1. iter : 'a. 'a t -> unit;
}
val iter : iter -> unit
type 'b fold = {
  1. fold : 'a. 'a t -> 'b -> 'b;
}
val fold : 'b fold -> 'b -> 'b
module Eq : sig ... end
val create : (module Colibri2_stdlib.Keys.NamedType with type t = 'a) -> 'a t
module MkVector (D : sig ... end) : Colibri2_stdlib.Hashtbl_hetero.S1 with type 'a key = 'a t and type ('a, 'b) data = ('a, 'b) D.t
module Vector : Colibri2_stdlib.Hashtbl_hetero.R1 with type 'a key = 'a t
module VectorH : Colibri2_stdlib.Hashtbl_hetero.T1 with type 'a key = 'a t
module MkMap (D : sig ... end) : Colibri2_stdlib.Map_hetero.S with type 'a key = 'a t and type ('a, 'b) data = ('a, 'b) D.t
module M : Colibri2_stdlib.Map_hetero.R with type 'a key = 'a t
module Make_Registry (S : sig ... end) : Colibri2_stdlib.Keys.Registry with type 'a key := 'a t and type 'a data = 'a S.data
val register : init:(Colibri2_stdlib.Context.creator -> 'a) -> pp:'a Containers.Format.printer -> 'a t -> unit

Only a pretty printer and an initialization function is needed for registration

val print : 'a t -> 'a Containers.Format.printer

Get a pretty printer for a particular environment

val check_is_registered : 'a t -> unit

Check if all the keys created have been registered

val init : Colibri2_stdlib.Context.creator -> 'a t -> 'a

Create the initial value

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct