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

expose more law-defining utilities #32

Open
sellout opened this issue Jul 15, 2020 · 1 comment
Open

expose more law-defining utilities #32

sellout opened this issue Jul 15, 2020 · 1 comment

Comments

@sellout
Copy link

sellout commented Jul 15, 2020

There are a lot of useful functions in this library for defining laws, but they're not exposed at all. I'm thinking mostly of things in Hedgehog.Classes.Common.Laws like congruency, lawWhere, etc.

It seems like there should be at least two exposed modules -- one for checking laws (containing most of what's already exposed) and one for defining laws (containing the stuff I mentioned above, plus the stuff like the equality tests that are already exposed).
@chessai
Copy link
Collaborator

chessai commented Jul 19, 2020

I've thought about this before and I'm in favour. Mind preparing a PR?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@sellout @chessai