OrderedHashSet

📁 Source: Aesop/Util/OrderedHashSet.lean

Statistics

Metric	Count
Definitions OrderedHashSet, contains, emptyWithCapacity, foldl, foldlM, foldr, foldrM, insert, insertMany, instDecidableMem, instEmptyCollection, instForInOfMonad, instMembership, ofArray, toArray, toHashSet, instInhabitedOrderedHashSet, default	18
Theorems	0
Total	18

Aesop

Definitions

Name	Category	Theorems
OrderedHashSet 📖	CompData	—
instInhabitedOrderedHashSet 📖	CompOp	—

Aesop.OrderedHashSet

Definitions

Name	Category	Theorems
contains 📖	CompOp	—
emptyWithCapacity 📖	CompOp	—
foldl 📖	CompOp	—
foldlM 📖	CompOp	—
foldr 📖	CompOp	—
foldrM 📖	CompOp	—
insert 📖	CompOp	—
insertMany 📖	CompOp	—
instDecidableMem 📖	CompOp	—
instEmptyCollection 📖	CompOp	—
instForInOfMonad 📖	CompOp	—
instMembership 📖	CompOp	—
ofArray 📖	CompOp	—
toArray 📖	CompOp	—
toHashSet 📖	CompOp	—

Aesop.instInhabitedOrderedHashSet

Definitions

Name	Category	Theorems
default 📖	CompOp	—

---

← Back to Index