Data.Text.BoyerMooreCI.Searcher

A set of needles with associated values, and Boyer-Moore automata to efficiently find those needles.

INVARIANT: searcherAutomaton = BoyerMoore.buildAutomaton . searcherNeedles To enforce this invariant, the fields are not exposed from this module. There is a separate constructor function.

The purpose of this wrapper is to have a type that is Hashable and Eq, so we can derive those for the types that embed the searcher, whithout requiring the automaton itself to be Hashable or Eq, which would be both wasteful and tedious. Because the automaton is fully determined by the needles and associated values, it is sufficient to implement Eq and Hashable in terms of the needles only.

We also use Hashed to cache the hash of the needles.

Builds the Searcher for a list of needles without values. This is useful for just checking whether the haystack contains the needles.

Build a Searcher that returns the needle's index in the needle list when it matches.

Builds the Searcher for a list of needles.

Like containsAny, but checks whether all needles match instead. Use buildNeedleIdSearcher to get an appropriate Searcher.

Return whether the haystack contains any of the needles. This function is marked noinline as an inlining boundary. BoyerMoore.runText is marked inline, so this function will be optimized to report only whether there is a match, and not construct a list of matches. We don't want this function be inline, to make sure that the conditions of the caller don't affect how this function is optimized. There is little to gain from additional inlining. The pragma is not an optimization in itself, rather it is a defence against fragile optimizer decisions.