# Documentation

Lean.Data.FuzzyMatching

Represents the type of a single character.

Instances For
Equations
• One or more equations did not get rendered due to their size.

Represents the role of a character inside a word.

Instances For
@[inline]
Equations
• One or more equations did not get rendered due to their size.

Match the given pattern with the given word using a fuzzy matching algorithm. The resulting scores are in the interval [0, 1] or none if no match was found.

Equations
• One or more equations did not get rendered due to their size.
def Lean.FuzzyMatching.fuzzyMatchScoreWithThreshold? (pattern : String) (word : String) (threshold : ) :
Equations
def Lean.FuzzyMatching.fuzzyMatch (pattern : String) (word : String) (threshold : ) :

Match the given pattern with the given word using a fuzzy matching algorithm. Return false if no match was found or the found match received a score below the given threshold.

Equations