Skip to content

Simplifying property configuration #343

@ghost

Description

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

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions