Skip to content
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

advance, manyIndex combinators #193

Merged
merged 2 commits into from
Apr 27, 2022
Merged

advance, manyIndex combinators #193

merged 2 commits into from
Apr 27, 2022

Conversation

jamesdbrock
Copy link
Member

@jamesdbrock jamesdbrock commented Apr 24, 2022 •
edited
Loading

Add the advance, manyIndex combinators.

Resolves #57 #120

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 takemany branch 2 times, most recently from 60b0eb9 to fe69295 Compare April 25, 2022 15:58
@jamesdbrock jamesdbrock force-pushed the takemany branch 3 times, most recently from 88f480a to d0fcd6f Compare April 26, 2022 02:04
@jamesdbrock jamesdbrock changed the title WIP takeMany advance, manyIndex combinators Apr 26, 2022
@jamesdbrock jamesdbrock marked this pull request as ready for review April 26, 2022 02:06
@jamesdbrock jamesdbrock force-pushed the takemany branch 2 times, most recently from 4d48e96 to 8cd77f5 Compare April 26, 2022 02:28
@jamesdbrock jamesdbrock linked an issue Apr 26, 2022 that may be closed by this pull request
Can we have more typesafety w.r.t. many-like combinators and infinite loops? #120
Closed
@jamesdbrock jamesdbrock merged commit e94bf23 into main Apr 27, 2022
@jamesdbrock jamesdbrock deleted the takemany branch April 27, 2022 23:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Milestone
No milestone
1 participant
@jamesdbrock