Documentation Verification Report

Matcher

📁 Source: Batteries/Data/String/Matcher.lean

Statistics

Metric	Count
Definitions `Matcher`, `Matcher`, `find?`, `findAll`, `loop`, `ofString`, `ofSubstring`, `pattern`, `patternSize`, `toMatcher`, `containsSubstr`, `findAllSubstr`, `findSubstr?`, `containsSubstr`, `findAllSubstr`, `findSubstr?`, `containsSubstr`, `findAllSubstr`, `findSubstr?`	19
Theorems	0
Total	19

Array

Definitions

Name	Category	Theorems
`Matcher` 📖	CompData	—

String

Definitions

Name	Category	Theorems
`Matcher` 📖	CompData	—
`containsSubstr` 📖	CompOp	—
`findAllSubstr` 📖	CompOp	—
`findSubstr?` 📖	CompOp	—

String.Matcher

Definitions

Name	Category	Theorems
`find?` 📖	CompOp	—
`findAll` 📖	CompOp	—
`ofString` 📖	CompOp	—
`ofSubstring` 📖	CompOp	—
`pattern` 📖	CompOp	—
`patternSize` 📖	CompOp	—
`toMatcher` 📖	CompOp	—

String.Matcher.findAll

Definitions

Name	Category	Theorems
`loop` 📖	CompOp	—

Substring

Definitions

Name	Category	Theorems
`containsSubstr` 📖	CompOp	—
`findAllSubstr` 📖	CompOp	—
`findSubstr?` 📖	CompOp	—

Substring.Raw

Definitions

Name	Category	Theorems
`containsSubstr` 📖	CompOp	—
`findAllSubstr` 📖	CompOp	—
`findSubstr?` 📖	CompOp	—

---

← Back to Index