package colibri2

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

Package contains no libraries

Parameters

module K : Keys1

Signature

include S1 with type ('a, 'b) data = 'b with type 'a key = 'a K.t

type 'a key = 'a K.t

type ('a, 'b) data = 'b

type 'b t

val create : int -> 'b t

val get : 'b t -> 'a key -> ('a, 'b) data

val get_def : 'b t -> 'a key -> ('a, 'b) data -> ('a, 'b) data

val set : 'b t -> 'a key -> ('a, 'b) data -> unit

val clear : 'b t -> unit

val is_uninitialized : 'b t -> 'a key -> bool

val remove : 'b t -> 'a key -> unit

type 'b iter_initialized = {

iter : 'a. ('a, 'b) data -> unit;

}

type ('b, 'c) fold_initialized = {

fold : 'a. 'c -> ('a, 'b) data -> 'c;

}

type 'b iter_initializedi = {

iteri : 'a. 'a key -> ('a, 'b) data -> unit;

}

val iter_initializedi : 'b iter_initializedi -> 'b t -> unit

type ('b, 'c) fold_initializedi = {

foldi : 'a. 'c -> 'a key -> ('a, 'b) data -> 'c;

}

val fold_initializedi : ('b, 'c) fold_initializedi -> 'c -> 'b t -> 'c

val copy : 'b t -> 'b t

val move : from:'b t -> to_:'b t -> unit

type printk = {

printk : 'a. 'a key Containers.Format.printer;

}

type 'b printd = {

printd : 'a. 'a key -> ('a, 'b) data Containers.Format.printer;

}

val iter_initialized : ('b -> unit) -> 'b t -> unit

val fold_initialized : ('c -> 'b -> 'c) -> 'c -> 'b t -> 'c

val apply_initialized : ('b -> 'b) -> 'b t -> unit

val pp : 
  unit Containers.Format.printer ->
  unit Containers.Format.printer ->
  printk ->
  'b Containers.Format.printer ->
  'b t Containers.Format.printer