zio.prelude.laws.HashLaws
Attributes
-
Graph
-
-
Supertypes
-
class Object
trait Matchable
class Any
-
Self type
-
Members list
For all values a1 and a2, if a1 is equal to a2 then the hash of a1 is equal to the hash of a2.
For all values a1 and a2, if a1 is equal to a2 then the hash of a1 is equal to the hash of a2.
Attributes
The set of all laws that instances of Hash must satisfy.
The set of all laws that instances of Hash must satisfy.
Attributes