forAll is:exact

forAll :: (Show a, Testable prop) => Gen a -> (a -> prop) -> Property

Explicit universal quantification: uses an explicitly given test case generator.

forAll :: (Monad m, Show a, HasCallStack) => Gen a -> PropertyT m a

Generates a random input for the test by running the provided generator.

forAll :: Testable m a => a -> Property m

Set the universal quantification context.

forAll :: forall (m :: Type -> Type) a . Testable m a => a -> Property m

Set the universal quantification context

forAll :: (Show a, IsProperty prop) => Gen a -> (a -> prop) -> Property

Running a generator for a specific type under a property

forAll :: (HasCallStack, Show a) => Gen a -> PropertyM a

forAll :: Stream Bool -> Prop Universal

Universal quantification of boolean streams over time.