package core

You can search for identifiers within the package.

in-package search v0.2.0

Industrial strength alternative to OCaml's standard library

Install

Dune Dependency

github.com Changelog MIT License Edit opam file Versions (13)

Authors

J

Jane Street Group, LLC

Maintainers

J

Jane Street developers

Sources

v0.17.1.tar.gz

md5=743a141234e04210e295980f7a78a6d9

sha512=61b415f4fb12c78d30649fff1aabe3a475eea926ce6edb7774031f4dc7f37ea51f5d9337ead6ec73cd93da5fd1ed0f2738c210c71ebc8fe9d7f6135a06bd176f

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

Module `Univ_map.Make`Source

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 mem_by_id : t -> Base.Type_equal.Id.Uid.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

Source

val 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 key_id_set : t -> Base.Set.M(Base.Type_equal.Id.Uid).t

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

Sourceval find_packed_by_id : t -> Base.Type_equal.Id.Uid.t -> Packed.t Base.option

Sourceval find_packed_by_id_exn : t -> Base.Type_equal.Id.Uid.t -> Packed.t