Merge pull request #24 from mbarbin/uid-seeded-hash

Add [Trait.Uid.seeded_hash]

CHANGES.md

@@ -2,6 +2,7 @@
 
 ### Added
 
+- Added `Trait.Uid.seeded_hash` (#23, @mbarbin).
 - Make the library build with `ocaml.4.14` (#22, @jonahbeckford, @mbarbin).
 - Added new checks in CI (build checks on windows and macos) (#21, @mbarbin).
 - Added a tutorial with new examples of handler-based polymorphism (#13, @mbarbin).

src/import.ml

@@ -15,6 +15,7 @@ module Int = struct
   include Int
 
   let hash = (Hashtbl.hash : int -> int)
+  let seeded_hash = (Hashtbl.seeded_hash : int -> int -> int)
 end
 
 module List = struct

src/import.mli

@@ -11,7 +11,9 @@ module Int : sig
 
   (** We re-export hash functions here to make the code compatible with earlier
       ocaml versions. [Stdlib.Int.hash] is available since [ocaml.5.1]. *)
+
   val hash : int -> int
+  val seeded_hash : int -> int -> int
 end
 
 module List : sig

src/provider.ml

@@ -42,6 +42,7 @@ module Trait = struct
     let equal = Int.equal
     let compare = Int.compare
     let hash = Int.hash
+    let seeded_hash = Int.seeded_hash
   end
 
   let uid (t : _ t) = Obj.Extension_constructor.id (extension_constructor t)

src/provider.mli

@@ -70,6 +70,7 @@ module Trait : sig
     val equal : t -> t -> bool
     val compare : t -> t -> int
     val hash : t -> int
+    val seeded_hash : int -> t -> int
   end
 
   (** A uid is particularly useful when you need to quickly look up or sort