tom-bop
tom-bop
I like it! If we had this, would we still have a need for `(==>)`? Not suggesting removal, but maybe favoring `SuchThat`/`forAllSuchThat`/... in docs?
I think the disadvantage of `(==>)` is that it discards. E.g. if this runs 100 tests: quickCheck $ SuchThat even $ \i -> ... This will only run (i.e. not...
Would this be the recommended way to handle more than one test argument?: quickCheck $ SuchThat (\(i0, i1) -> even i0 && odd i1) $ \(i0, i1) -> i0 /=...
@adinapoli do you have any update on this?
Thanks, I've updated the list
@adinapoli any update on this?