tom-bop

Results 6 comments of 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?