Spec-Zone.ru › OCaml 5.0

Модуль Ephemeron.K2.Bucket

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Spec-Zone.ru

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