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.0.tar.gz

sha256=b0e23c1b1049e48cbbaa596d49927c66e6026506031bd7f5b485af6e9475b4e3

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

Module `Univ_map.Make1`Source

Parameters

module Key : Key

module Data : sig ... end

Signature

Sourcetype 's t

The 's parameter is shared across all values stored in the map.

Sourceval sexp_of_t : ('s -> Sexplib0.Sexp.t) -> 's t -> Sexplib0.Sexp.t

Sourcemodule Key = Key

Sourcetype ('s, 'a) data = ('s, 'a) Data.t

Sourceval invariant : _ t -> Base.unit

Sourceval empty : _ t

Sourceval singleton : 'a Key.t -> ('s, 'a) data -> 's t

Sourceval is_empty : _ t -> Base.bool

Sourceval set : 's t -> key:'a Key.t -> data:('s, 'a) data -> 's t

Sourceval mem : _ t -> _ Key.t -> Base.bool

Sourceval mem_by_id : _ t -> Base.Type_equal.Id.Uid.t -> Base.bool

Sourceval find : 's t -> 'a Key.t -> ('s, 'a) data Base.option

Sourceval find_exn : 's t -> 'a Key.t -> ('s, 'a) data

Source

val add : 
  's t ->
  key:'a Key.t ->
  data:('s, 'a) data ->
  [ `Ok of 's t | `Duplicate ]

Sourceval add_exn : 's t -> key:'a Key.t -> data:('s, 'a) data -> 's t

Source

val change : 
  's t ->
  'a Key.t ->
  f:(('s, 'a) data Base.option -> ('s, 'a) data Base.option) ->
  's t

Sourceval change_exn : 's t -> 'a Key.t -> f:(('s, 'a) data -> ('s, 'a) data) -> 's t

Source

val update : 
  's t ->
  'a Key.t ->
  f:(('s, 'a) data Base.option -> ('s, 'a) data) ->
  's t

Sourceval remove : 's t -> 'a Key.t -> 's t

Sourceval remove_by_id : 's t -> Base.Type_equal.Id.Uid.t -> 's t

Sourcemodule Packed : sig ... end

Sourceval key_id_set : 's t -> Base.Set.M(Base.Type_equal.Id.Uid).t

Sourceval to_alist : 's t -> 's Packed.t Base.list

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

Source

val find_packed_by_id : 
  's t ->
  Base.Type_equal.Id.Uid.t ->
  's Packed.t Base.option

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

Source

val type_equal : 
  ('s t, 's Packed.t Base.Map.M(Base.Type_equal.Id.Uid).t) Base.Type_equal.t

On This Page

Parameters
Signature

package core

Install

Dune Dependency

Authors

Maintainers

Sources

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

Module Univ_map.Make1Source

Parameters

Signature

Module `Univ_map.Make1`Source