Spec-Zone.ru › OCaml 5.0

Модуль Ephemeron.K1.Bucket

module Bucket: sig .. end
type ('k, 'd) t 

Ведро — это изменяемый "список" эфемерных данных.

val make : unit -> ('k, 'd) t

Создать новое ведро.

val add : ('k, 'd) t -> 'k -> 'd -> unit

Добавить эфемерный элемент в ведро.

val remove : ('k, 'd) t -> 'k -> unit

remove b k удаляет из b последний добавленный эфемерный элемент с ключом k, или ничего не делает, если такого элемента нет.

val find : ('k, 'd) t -> 'k -> 'd option

Возвращает данные последнего добавленного эфемерного элемента с заданным ключом, или None если такого элемента нет.

val length : ('k, 'd) t -> int

Возвращает верхнюю границу длины ведра.

val clear : ('k, 'd) t -> unit

Удалить все эфемерные элементы из ведра.

© 1995-2022 INRIA.
https://v2.ocaml.org/releases/4.14/htmlman/libref/Ephemeron.K1.Bucket.html

Spec-Zone.ru

Настройки Оффлайн Что нового Помощь О нас
Spec-Zone .ru
спецификации, руководства, описания, API