UnorderedArraySet
📁 Source: Aesop/Util/UnorderedArraySet.lean
Statistics
| Metric | Count |
|---|---|
DefinitionsUnorderedArraySet, all, allM, any, anyM, contains, empty, erase, filter, filterM, fold, foldM, insert, instAppend, instEmptyCollection, instForInOfMonad, instToFormat, instToMessageData, instToString, isEmpty, merge, ofArray, ofArraySlow, ofDeduplicatedArray, ofHashSet, ofPersistentHashSet, ofSortedArray, partition, singleton, size, toArray, instInhabitedUnorderedArraySet, default | 33 |
| Theorems | 0 |
| Total | 33 |
Aesop
Definitions
| Name | Category | Theorems |
|---|---|---|
UnorderedArraySet 📖 | CompData | — |
instInhabitedUnorderedArraySet 📖 | CompOp | — |
Aesop.UnorderedArraySet
Definitions
| Name | Category | Theorems |
|---|---|---|
all 📖 | CompOp | — |
allM 📖 | CompOp | — |
any 📖 | CompOp | — |
anyM 📖 | CompOp | — |
contains 📖 | CompOp | — |
empty 📖 | CompOp | — |
erase 📖 | CompOp | — |
filter 📖 | CompOp | — |
filterM 📖 | CompOp | — |
fold 📖 | CompOp | — |
foldM 📖 | CompOp | — |
insert 📖 | CompOp | — |
instAppend 📖 | CompOp | — |
instEmptyCollection 📖 | CompOp | — |
instForInOfMonad 📖 | CompOp | — |
instToFormat 📖 | CompOp | — |
instToMessageData 📖 | CompOp | — |
instToString 📖 | CompOp | — |
isEmpty 📖 | CompOp | — |
merge 📖 | CompOp | — |
ofArray 📖 | CompOp | — |
ofArraySlow 📖 | CompOp | — |
ofDeduplicatedArray 📖 | CompOp | — |
ofHashSet 📖 | CompOp | — |
ofPersistentHashSet 📖 | CompOp | — |
ofSortedArray 📖 | CompOp | — |
partition 📖 | CompOp | — |
singleton 📖 | CompOp | — |
size 📖 | CompOp | — |
toArray 📖 | CompOp | — |
Aesop.instInhabitedUnorderedArraySet
Definitions
| Name | Category | Theorems |
|---|---|---|
default 📖 | CompOp | — |
---