reggy
A friendly regular expression dialect for text analytics. Typical regex features are removed/adjusted to make natural language queries easier. Unicode-aware and able to search a stream with several patterns at once.
Should I Use reggy?
If you are working on a text processing problem with streaming datasets or hand-tuned regexes for natural language, you may find the feature set compelling.
| Crate | Match Streams? | Case Insensitivity? | Pattern Flexibility? |
|---|---|---|---|
aho-corasick |
✅ | simple ASCII | string set |
regex |
❌ | Unicode best-effort | full-featured regex |
reggy |
✅ | Unicode best-effort | regex subset |
API Usage
Use the high-level Pattern struct for simple search.
let mut p = new?;
assert_eq!;
Use the Ast struct to transpile to normal regex syntax.
let ast = parse?;
assert_eq!;
Stream a File
In this example, we will count the matches of a set of patterns within a file without loading it into memory. Use the Search struct to search a stream with several patterns at once.
Create a BufReader for the text.
use File;
use ;
let f = open?;
let f = new;
Compile the search object.
let patterns = ;
let mut pattern_counts = ;
let mut search = compile?;
Call Search::iter to create a StreamSearch. Any IO errors or malformed UTF-8 will be return a SearchStreamError.
for result in search.iter
println!;
println!;
// Assent Count: 1467
// Question Count: 1934
Walk a Stream Manually
let mut search = compile?;
Call Search::next to begin searching. It will yield any matches deemed definitely-complete immediately.
let jane_match = new;
assert_eq!;
Call Search::next again to continue with the same search state.
Note that "John Doe" matched across the chunk boundary, and spans are relative to the start of the stream.
let john_match = new;
let money_match_1 = new;
let money_match_2 = new;
assert_eq!;
Call Search::finish to collect any not-definitely-complete matches once the stream is closed.
assert_eq!;
See more in the API docs.
Pattern Language
reggy is case-insensitive by default. Spaces match any amount of whitespace (i.e. \s+). All the reserved characters mentioned below (\, (, ), {, }, ,, ?, |, #, and !) may be escaped with a backslash for a literal match. Patterns are surrounded by implicit unicode word boundaries (i.e. \b). Empty patterns or subpatterns are not permitted.
Examples
Make a character optional with ?
dogs? matches dog and dogs
Create two or more alternatives with |
dog|cat matches dog and cat
Create a sub-pattern with (...)
the qualit(y|ies) required matches the quality required and the qualities required
the only( one)? around matches the only around and the only one around
Create a case-sensitive sub-pattern with (!...)
United States of America|(!USA) matches USA, not usa
Match digits with #
#.## matches 3.14
Match exactly n times with {n}, or between n and m times with {n,m}
(very ){1,4}strange matches very very very strange
Definitely-Complete Matches
reggy follows "leftmost-longest", greedy matching semantics. A pattern may match after one step of a stream, yet may match a longer form depending on the next step. For example, abb? will match s.next("ab"), but a subsequent call to s.next("b") would create a longer match, "abb", which should supercede the match "ab".
Search only yields matches once they are definitely complete and cannot be superceded by future next calls. Each pattern has a maximum byte length L, counting contiguous whitespace as 1 byte.[^1] Once reggy has streamed at most L bytes past the start of a match without superceding it, that match will be yielded.
As a consequence, results of a given Search are the same regardless of how a given haystack stream is chunked. Search::next returns Matches as soon as it practically can while respecting this invariant.
Implementation
The pattern language is parsed with lalrpop (grammar).
The search routines use a regex_automata::dense::DFA. Compared to other regex engines, the dense DFA is memory-intensive and slow to construct, but searches are fast. Unicode word boundaries are handled by the unicode_segmentation crate.
[^1]: This is why unbounded quantifiers are absent from reggy. When a pattern requires * or +, users should choose an upper limit ({0,n}, {1,n}) instead.