package wu-manber-fuzzy-search

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

package wu-manber-fuzzy-search

wu-manber index
- Library wu-manber-fuzzy-search
  - Wu_Manber
    
    FirstMatch
    
    Make
    
    Matcher
    
    Matcher
    
    matcher
    
    SimpleMismatch
    
    MakeSlowMatcher
    
    matcher
    
    MakeArrayMatcher
    
    matcher
    
    MakeHashTblMatcher
    
    matcher
    
    Patterns
    
    Pattern
    
    Elems
    
    ElemsWithEquality
    
    ElemsIndexable
    
    PatternWithElemEquality
    
    PatternWithFoldRight
    
    PatternWithFoldLeft
    
    PatternWithIndexableElements
    
    StringSearch
    
    Pattern
    
    ArrayMatcher
    
    matcher
    
    FirstMatch
    
    Utils
    
    Int63
    
    Infix
    
    Boxed
    
    Array
    
    WuManber
    
    BitOps
    
    WuManber
    
    RightLeaningWuManber
- Sources
  - wu-manber-fuzzy-search
    
    firstMatch.ml
    
    matcher.ml
    
    patterns.ml
    
    stringSearch.ml
    
    utils.ml
    
    wuManber.ml
    
    wu_Manber.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Matcher.SimpleMismatch`Source

A utility functior used for creating matchers.

Parameters

module P : Patterns.PatternWithFoldRight

Signature

Sourceval push_mismatch : P.elem -> P.elem -> Optint.Int63.t -> Optint.Int63.t

Sourceval mismatch_bv : pattern:P.t -> P.elem -> Optint.Int63.t