OCaml - как сохранить пару междунар + мой собственный тип в наборе

Question

Я хотел бы иметь в комплекте:

(int * int * (my_own_type)) 

И я хочу элементы wolud сравниваться по формуле (Int * Int) - my_own_set не имеет влияние на порядок. Единственное, что мне нужно - это быстрый поиск элемента.

Как это сделать?

Answer 1

Вам нужно сделать модуль, который делает сравнение вы хотите (адаптировано из https://stackoverflow.com/a/4277832):

module MyTypeOrdered = struct 
    type t = int * int * (my_own_type) 
    let compare (x1, y1, _) (x2, y2, _) = compare (x1, y1) (x2, y2) 
end 

module MyTypeSet = Set.Make(MyTypeOrdered) 

С картами это очень похоже

module IntInt = struct 
    type t = int * int 
    let compare = compare 
end 

module MyTypeMap = Map.Make(IntInt) 

или просто

module MyTypeMap = Map.Make(struct type t = int * int let compare = compare end)