test-check

2017-02-11T14:30:25.000185Z

hey all, new to property based testing so forgive me if this is a pretty simplistic question. what’s the idiomatic way to apply filtering functions to keys and values of generated maps? seems I could use fmap as a filtering function or such-that w a predicate, but I wanted to know if there are ramifications to using one over another

alexmiller 2017-02-11T16:25:03.000186Z

I think such-that is the preferred tool, assuming most of your generated values pass the filter

alexmiller 2017-02-11T16:25:46.000187Z

As such-that will give up after a fixed number of attempts