instance
Lean.PersistentHashSet.instForIn_batteries
{α : Type u_1}
[BEq α]
[Hashable α]
{m : Type u_2 → Type u_3}
:
ForIn m (PersistentHashSet α) α
Equations
@[inline]
def
Lean.PersistentHashSet.any
{α : Type u_1}
[BEq α]
[Hashable α]
(s : PersistentHashSet α)
(f : α → Bool)
:
Returns true
if f
returns true
for any element of the set.
Equations
Instances For
@[inline]
def
Lean.PersistentHashSet.all
{α : Type u_1}
[BEq α]
[Hashable α]
(s : PersistentHashSet α)
(f : α → Bool)
:
Returns true
if f
returns true
for all elements of the set.
Equations
Instances For
instance
Lean.PersistentHashSet.instBEq_batteries
{α : Type u_1}
[BEq α]
[Hashable α]
:
BEq (PersistentHashSet α)
Equations
def
Lean.PersistentHashSet.insertMany
{α : Type u_1}
[BEq α]
[Hashable α]
{ρ : Type u_2}
[ForIn Id ρ α]
(s : PersistentHashSet α)
(as : ρ)
:
Insert all elements from a collection into a PersistentHashSet
.
Equations
Instances For
@[inline]
Obtain a PersistentHashSet
from an array.
Equations
Instances For
@[inline]
Obtain a PersistentHashSet
from a list.
Equations
Instances For
@[inline]
Merge two PersistentHashSet
s.