Documentation

Init.Data.Hashable

instance instHashableProd {α : Type u_1} {β : Type u_2} [Hashable α] [Hashable β] :
Hashable (α × β)
instance instHashableOption {α : Type u_1} [Hashable α] :
instance instHashableList {α : Type u_1} [Hashable α] :
instance instHashableArray {α : Type u_1} [Hashable α] :
instance instHashable (P : Prop) :
@[inline]
def hash64 (u : UInt64) :

An opaque (low-level) hash operation used to implement hashing for pointers.

Instances For