Skip to content

feature: add streaming interface#456

Merged
rgrinberg merged 1 commit intomasterfrom
push-swqzxlpyntyk
Oct 25, 2024
Merged

feature: add streaming interface#456
rgrinberg merged 1 commit intomasterfrom
push-swqzxlpyntyk

Conversation

@rgrinberg
Copy link
Copy Markdown
Member

@rgrinberg rgrinberg commented Sep 19, 2024

  • Add group capturing
  • Let the user know the earliest position of the first possible match

@rgrinberg rgrinberg linked an issue Sep 20, 2024 that may be closed by this pull request
@rgrinberg rgrinberg force-pushed the push-swqzxlpyntyk branch 3 times, most recently from f96f418 to 5237aa4 Compare October 15, 2024 16:51
@rgrinberg rgrinberg force-pushed the push-swqzxlpyntyk branch 3 times, most recently from 5fd531e to fd64235 Compare October 25, 2024 19:02
This allows us to partially match a string and then resume a match from where
we've ended.
@rgrinberg rgrinberg merged commit f339904 into master Oct 25, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Streaming Re

2 participants