Std.Order.Hash

trait

This declaration names behavior that types can implement.

What it does

A value's number, for a collection that reaches its entries by one.

The law is one direction only: two values that are equal must hash the

same, and two values that hash the same need not be equal. A collection

built on this settles identity with Eq and uses the number only to decide

where to look, so a collision costs a comparison rather than an answer.

This is not a digest. A value hashed here is not hidden, and two runs of a

program are not promised the same number for the same value — a hash map

mixes the result against a value chosen when the process started, so that a

caller who can choose keys cannot choose which of them collide. Anything

that must be secret or repeatable across runs wants Std.Crypto.

Read the signature

• This declaration has no value signature because it introduces a type or trait.