lux/control/hash

Types

Hash

A way to produce hash-codes for a type's instances.

A necessity when working with some data-structures, such as dictionaries or sets.

(sig: (Hash a)
  (: (lux/control/eq;Eq a)
     eq)
   (: (-> a lux;Nat)
     hash))