feuerbach/smallcheck — Issue #5: inconsistent naming/typing in exists/forall
Author: jwaldmann
Created: 2012-01-16 17:20:17+00:00
State: open

"exists" and "forall" should have idential types?

exists :: (Show a, Serial a, Testable b) => (a -> b) -> Property

forAll :: (Show a, Testable b) => Series a -> (a -> b) -> Property

(I'd prefer to have a version of "forall" without the Series a argument.
Yes, I know I can just test the function, but writing explicit "forall" looks
much better.)