Algorithms.DFA.KMP

Perform KMP matching

Documentation

unsafeFrom :: NonEmpty (a, Index) -> NonEmpty (Interface a)

given a kmp table produce an interface errors: indexes pointing outside the length, first index not 0

table :: Eq a => NonEmpty a -> NonEmpty Index

A list of lpws. This is the KMP table with indexes row shifted right by one

match

Arguments

:: Eq a

=> NonEmpty a

pattern

-> [a]

pattern

-> Bool

use kmp to check any (isPrefixOf pattern) $ tails stream | use kmp to check any (isPrefixOf pattern) $ tails stream

(==!)

Arguments

:: Eq a

=> [a]

pattern

-> [a]

pattern

-> Bool

error on empty patterns