package core

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

Install 

dune-project
 Dependency

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

Authors

  1. J
    Jane Street Group, LLC

Maintainers

  1. J
    Jane Street developers

Sources

v0.17.2.tar.gz
md5=6f07bb82d51d695ac4e76c8ac7f55902
sha512=c3c401fded188f74cf7ce6b1b07e7bc59fe18441eec602d174bfd48db13370fda986dd9f66d4ff9c26254ea2b381e7c51b366df9d2dfbf66fda281b4def3166a

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

Module Univ_map.Make1Source

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 find : 's t -> 'a Key.t -> ('s, 'a) data Base.option
Sourceval find_exn : 's t -> 'a Key.t -> ('s, 'a) data
Sourceval 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
Sourceval 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
Sourceval 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 to_alist : 's t -> 's Packed.t Base.list
Sourceval of_alist_exn : 's Packed.t Base.list -> 's t
Sourceval 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