-
Notifications
You must be signed in to change notification settings - Fork 1
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
More Constructible instances #1
Comments
How much work would the generic types be? |
It seems pretty straightforward to get to a working state, but I have some minor concerns about packaging and the API around The main and straightforward part is to define For the superclass constraints
(2) could just be me overthinking. (1) needs some decision to be made, but if you agree with it you can just create another package. (EDIT: I forgot to mention shrinking, QuickCheck has a generic implementation we can just reuse) |
I think we could entirely offload those instances, right? eg |
The problem is with sums, that you don't know with what probability to go left or right. You can set that probability arbitrarily, but by definition that's going to be arbitrary and inflexible. generic-data would be used to derive
you somehow need to define its
except that with generics you don't have the ability to declare |
Hmm, that seems rather involved. Could you instead |
That can work, but it's actually even more involved.
I was imagining something even simpler, mapping
It seems the main idea is to somehow make a function
|
The text was updated successfully, but these errors were encountered: