Init.Data.Hashable

source

@[implicit_reducible]

instance instHashableNat :

Hashable Nat

source

@[implicit_reducible]

instance instHashableProd {α : Type u_1} {β : Type u_2} [Hashable α] [Hashable β] :

Hashable (α × β)

source

@[implicit_reducible]

instance instHashableBool :

Hashable Bool

source

@[implicit_reducible]

instance instHashablePEmpty :

Hashable PEmpty

source

@[implicit_reducible]

instance instHashablePUnit :

Hashable PUnit

source

@[implicit_reducible]

instance instHashableOption {α : Type u_1} [Hashable α] :

Hashable (Option α)

source

@[implicit_reducible]

instance instHashableList {α : Type u_1} [Hashable α] :

Hashable (List α)

source

@[implicit_reducible]

instance instHashableArray {α : Type u_1} [Hashable α] :

Hashable (Array α)

source

@[implicit_reducible]

instance instHashableUInt8 :

Hashable UInt8

source

@[implicit_reducible]

instance instHashableUInt16 :

Hashable UInt16

source

@[implicit_reducible]

instance instHashableUInt32 :

Hashable UInt32

source

@[implicit_reducible]

instance instHashableUInt64 :

Hashable UInt64

source

@[implicit_reducible]

instance instHashableUSize :

Hashable USize

source

@[implicit_reducible]

instance instHashableFin {n : Nat} :

Hashable (Fin n)

source

@[implicit_reducible]

instance instHashableChar :

Hashable Char

source

@[implicit_reducible]

instance instHashableInt :

Hashable Int

source

@[implicit_reducible]

instance instHashable (P : Prop) :

Hashable P

source

@[inline]

def hash64 (u : UInt64) :

UInt64

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

Instances For