package core

  1. Overview
  2. Docs
Industrial strength alternative to OCaml's standard library

Install

dune-project
 Dependency

Authors

Maintainers

Sources

v0.16.2.tar.gz
md5=bcac85c0ec5795ccabf1dccf0968ecd9
sha512=2e68556773549e0bf302c8733c9fc57df3c0fd73a1b547dc17097f74c5b5482c816ef89853b437e49452da7c124ef32a8a0de0dff64d71145b2ab11befbe5bb2

doc/core.univ_map/Univ_map/Make/index.html

Module Univ_map.MakeSource

Parameters

module Key : Key
module Data : Data

Signature

Sourcetype t
Sourceval sexp_of_t : t -> Sexplib0.Sexp.t
Sourcemodule Key = Key
Sourcetype 'a data = 'a Data.t
include Base.Invariant.S with type t := t
Sourceval invariant : t -> unit
Sourceval empty : t
Sourceval singleton : 'a Key.t -> 'a data -> t
Sourceval is_empty : t -> Base.bool
Sourceval set : t -> key:'a Key.t -> data:'a data -> t
Sourceval mem : t -> 'a Key.t -> Base.bool
Sourceval find : t -> 'a Key.t -> 'a data Base.option
Sourceval find_exn : t -> 'a Key.t -> 'a data
Sourceval add : t -> key:'a Key.t -> data:'a data -> [ `Ok of t | `Duplicate ]
Sourceval add_exn : t -> key:'a Key.t -> data:'a data -> t
Sourceval change : t -> 'a Key.t -> f:('a data Base.option -> 'a data Base.option) -> t
Sourceval change_exn : t -> 'a Key.t -> f:('a data -> 'a data) -> t
Sourceval update : t -> 'a Key.t -> f:('a data Base.option -> 'a data) -> t
Sourceval remove : t -> 'a Key.t -> t
Sourceval remove_by_id : t -> Base.Type_equal.Id.Uid.t -> t
Sourcemodule Packed : sig ... end
Sourceval to_alist : t -> Packed.t Base.list

to_alist t returns all values in t, in increasing order of key type-id name.

Sourceval of_alist_exn : Packed.t Base.list -> t