Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
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
get with narrow for sum types #494
get with narrow for sum types #494
Changes from all commits
d90d84b
9e12df3
f36d274
c4aaa4c
c74a0fe
1d57b34
be08487
ed65286
0f6415b
cf76863
0e19271
21a20c4
bd8a492
56cf52b
2e93e9f
edba186
062f517
bc60388
c328095
dab1ddc
93e8222
e081d65
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing