Matcher
📁 Source: Batteries/Data/List/Matcher.lean
Statistics
| Metric | Count |
|---|---|
DefinitionsMatcher, find?, findAll, loop, ofList, pattern, toMatcher, containsInfix, findAllInfix, findInfix?, instStreamProdNat_batteries | 11 |
| Theorems | 0 |
| Total | 11 |
List
Definitions
| Name | Category | Theorems |
|---|---|---|
Matcher 📖 | CompData | — |
containsInfix 📖 | CompOp | — |
findAllInfix 📖 | CompOp | — |
findInfix? 📖 | CompOp | — |
instStreamProdNat_batteries 📖 | CompOp | — |
List.Matcher
Definitions
| Name | Category | Theorems |
|---|---|---|
find? 📖 | CompOp | — |
findAll 📖 | CompOp | — |
ofList 📖 | CompOp | — |
pattern 📖 | CompOp | — |
toMatcher 📖 | CompOp | — |
List.Matcher.findAll
Definitions
| Name | Category | Theorems |
|---|---|---|
loop 📖 | CompOp | — |
---