Skip to content

Add mutable query capture interface #1501

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.

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

Merged
merged 1 commit into from
May 30, 2023

Conversation

pokey
Copy link
Member

@pokey pokey commented May 25, 2023

This solution is simple and fairly clean, but there are a couple things I don't like about it:

I would prefer to have more separation between predicate operators, which just return true or false, and "mutator" operators that can alter the capture itself. I started down that road, but decided it wasn't worth the complexity to create a whole other set of types for mutators

I don't love the idea of mutating your parameters; I prefer treating parameters as immutable and just returning an object indicating what should happen. But that also would have made things a fair amount more complicated, and I don't imagine there will be a lot of these operators, so I don't think we need to come up with an airtight type system here.

Checklist

@pokey pokey force-pushed the pokey/add-mutable-query-capture-interface branch 9 times, most recently from c05227b to 7af7150 Compare May 28, 2023 13:51
@pokey pokey marked this pull request as ready for review May 28, 2023 13:53
@pokey pokey requested a review from AndreasArvidsson May 28, 2023 13:53
@pokey pokey force-pushed the pokey/add-mutable-query-capture-interface branch from 7af7150 to 618cd42 Compare May 28, 2023 14:40
@pokey pokey force-pushed the pokey/add-mutable-query-capture-interface branch from 618cd42 to 8e32594 Compare May 28, 2023 14:44
@pokey pokey added this pull request to the merge queue May 30, 2023
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks May 30, 2023
@pokey pokey added this pull request to the merge queue May 30, 2023
Merged via the queue into main with commit 081687c May 30, 2023
@pokey pokey deleted the pokey/add-mutable-query-capture-interface branch May 30, 2023 13:27
pokey added a commit that referenced this pull request Jun 1, 2023
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.

2 participants