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.

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

Simplifying property configuration #343

Open
ghost opened this issue Sep 10, 2021 Discussed in #342 · 0 comments · May be fixed by #346
Open

Simplifying property configuration #343

ghost opened this issue Sep 10, 2021 Discussed in #342 · 0 comments · May be fixed by #346
Milestone

Comments

@ghost
Copy link

ghost commented Sep 10, 2021

Discussed in #342

Originally posted by adam-becker September 9, 2021
I've been skimming over the property module, and I think it needs some TLC. We have no fewer than 8 report methods, and I think we can probably do better here. What I was thinking is that we could maybe make combinators that allow configuring a property, something like:

let property = // ...
property
|> Property.withTests 500
|> Property.withRecheck seed size
|> Property.check

This would translate into the LINQ interface like:

var property = // ...
property
    .WithTests(500)
    .WithRecheck(seed, size)
    .Check();

I'm curious to hear thoughts on this. Apologies up front if this was suggested before.

/cc @moodmosaic @TysonMN @dharmaturtle

@dharmaturtle dharmaturtle linked a pull request Sep 11, 2021 that will close this issue
@ghost ghost added this to the 0.11.0 milestone Sep 11, 2021
@ghost ghost modified the milestones: 0.11.0, 0.12.0 Sep 21, 2021
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 a pull request may close this issue.

0 participants