instance
Lean.PersistentHashSet.instForInPersistentHashSet
{α : Type u_1}
[BEq α]
[Hashable α]
{m : Type u_2 → Type u_3}
:
ForIn m (Lean.PersistentHashSet α) α
@[inline]
def
Lean.PersistentHashSet.any
{α : Type u_1}
[BEq α]
[Hashable α]
(s : Lean.PersistentHashSet α)
(f : α → Bool)
:
Returns true
if f
returns true
for any element of the set.
Instances For
@[inline]
def
Lean.PersistentHashSet.all
{α : Type u_1}
[BEq α]
[Hashable α]
(s : Lean.PersistentHashSet α)
(f : α → Bool)
:
Returns true
if f
returns true
for all elements of the set.
Instances For
@[inline]
def
Lean.PersistentHashSet.insert'
{α : Type u_1}
[BEq α]
[Hashable α]
(s : Lean.PersistentHashSet α)
(a : α)
:
Similar to insert
, but also returns a Boolean flag indicating whether an
existing entry has been replaced with a => b
.
Instances For
def
Lean.PersistentHashSet.insertMany
{α : Type u_1}
[BEq α]
[Hashable α]
{ρ : Type u_2}
[ForIn Id ρ α]
(s : Lean.PersistentHashSet α)
(as : ρ)
:
Insert all elements from a collection into a PersistentHashSet
.
Instances For
@[inline]
Obtain a PersistentHashSet
from an array.
Instances For
@[inline]
Obtain a PersistentHashSet
from a list.
Instances For
@[inline]
def
Lean.PersistentHashSet.merge
{α : Type u_1}
[BEq α]
[Hashable α]
(s : Lean.PersistentHashSet α)
(t : Lean.PersistentHashSet α)
:
Merge two PersistentHashSet
s.