Skip to content

New combinators #143

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
merged 1 commit into from
Jan 22, 2022
Merged

New combinators #143

merged 1 commit into from
Jan 22, 2022

Conversation

jamesdbrock
Copy link
Member

@jamesdbrock jamesdbrock commented Jan 21, 2022 •
edited
Loading

New combinators manyTill_, many1Till_, manyTillRec_, many1TillRec_

Also documentation.

Checklist:

  • Added the change to the changelog's "Unreleased" section with a link to this PR and your username
  • Linked any existing issues or proposals that this pull request should close
  • Updated or added relevant documentation in the README and/or documentation directory
  • Added a test for the contribution (if applicable)

@jamesdbrock jamesdbrock force-pushed the jbrock-combinators branch 3 times, most recently from 1877bd1 to 529f62c Compare January 21, 2022 15:37
@jamesdbrock jamesdbrock marked this pull request as ready for review January 21, 2022 15:38
@jamesdbrock jamesdbrock requested a review from robertdp January 21, 2022 15:39
@jamesdbrock
New combinators
7906206 
manyTill_, many1Till_, manyTillRec_, many1TillRec_

Also documentation.
@jamesdbrock jamesdbrock merged commit ea13e18 into main Jan 22, 2022
@jamesdbrock jamesdbrock deleted the jbrock-combinators branch January 22, 2022 05:49
@jamesdbrock jamesdbrock mentioned this pull request Jan 23, 2022
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@thomashoneyman thomashoneyman thomashoneyman approved these changes

@robertdp robertdp Awaiting requested review from robertdp

Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@jamesdbrock @thomashoneyman