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
I think such-that is the preferred tool, assuming most of your generated values pass the filter
As such-that will give up after a fixed number of attempts