EMap
📁 Source: Aesop/EMap.lean
Statistics
| Metric | Count |
|---|---|
DefinitionsEMap, alter, alterM, empty, find?, findWithKey?, foldl, foldlM, idx, insert, insertNew, insertWith, insertWithM, instEmptyCollection, instForInProdExpr, instForMProdExpr, map, mapM, rep, singleton, instInhabitedEMap, default | 22 |
| Theorems | 0 |
| Total | 22 |
Aesop
Definitions
| Name | Category | Theorems |
|---|---|---|
EMap 📖 | CompData | — |
instInhabitedEMap 📖 | CompOp | — |
Aesop.EMap
Definitions
| Name | Category | Theorems |
|---|---|---|
alter 📖 | CompOp | — |
alterM 📖 | CompOp | — |
empty 📖 | CompOp | — |
find? 📖 | CompOp | — |
findWithKey? 📖 | CompOp | — |
foldl 📖 | CompOp | — |
foldlM 📖 | CompOp | — |
idx 📖 | CompOp | — |
insert 📖 | CompOp | — |
insertNew 📖 | CompOp | — |
insertWith 📖 | CompOp | — |
insertWithM 📖 | CompOp | — |
instEmptyCollection 📖 | CompOp | — |
instForInProdExpr 📖 | CompOp | — |
instForMProdExpr 📖 | CompOp | — |
map 📖 | CompOp | — |
mapM 📖 | CompOp | — |
rep 📖 | CompOp | — |
singleton 📖 | CompOp | — |
Aesop.instInhabitedEMap
Definitions
| Name | Category | Theorems |
|---|---|---|
default 📖 | CompOp | — |
---