stdlib/source/lux/control/hash.lux


1
2
3
4
5
6
7
8
9
10
11
12
13

(.module:
  lux
  (// [equivalence #+ Equivalence]))

## [Signatures]
(sig: #export (Hash a)
  {#.doc "A way to produce hash-codes for a type's instances.

          A necessity when working with some data-structures, such as dictionaries or sets."}
  (: (Equivalence a)
     eq)
  (: (-> a Nat)
     hash))