Spec-Zone.ru › OCaml 5.0

Тип модуля MoreLabels.Hashtbl.HashedType

module type HashedType = sig .. end

Входная сигнатура функтора MoreLabels.Hashtbl.Make.

type t 

Тип ключей хеш-таблицы.

val equal : t -> t -> bool

Предикат равенства, используемый для сравнения ключей.

val hash : t -> int

Функция хеширования для ключей. Она должна быть такой, чтобы если два ключа равны согласно equal, то они имеют идентичные значения хеша, вычисленные функцией hash. Примеры: подходящие (equal, hash) пары для произвольных типов ключей включают:

  • ((=), MoreLabels.Hashtbl.HashedType.hash) для сравнения объектов по структуре (при условии, что объекты не содержат чисел с плавающей точкой)
  • ((fun x y -> compare x y = 0), MoreLabels.Hashtbl.HashedType.hash) для сравнения объектов по структуре и корректной обработки nan
  • ((==), MoreLabels.Hashtbl.HashedType.hash) для сравнения объектов по физическому равенству (например, для изменяемых или циклических объектов).

© 1995-2022 INRIA.
https://v2.ocaml.org/releases/5.0/htmlman/libref/MoreLabels.Hashtbl.HashedType.html

Spec-Zone.ru

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