forAll package:hedgehog

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

hedgehog Hedgehog Hedgehog.Internal.Property

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

forAllWith :: (Monad m, HasCallStack) => (a -> String) -> Gen a -> PropertyT m a

hedgehog Hedgehog Hedgehog.Internal.Property

Generates a random input for the test by running the provided generator. This is a the same as forAll but allows the user to provide a custom rendering function. This is useful for values which don't have a Show instance.

forAllT :: (Monad m, Show a, HasCallStack) => GenT m a -> PropertyT m a

hedgehog Hedgehog.Internal.Property

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

forAllWithT :: (Monad m, HasCallStack) => (a -> String) -> GenT m a -> PropertyT m a

hedgehog Hedgehog.Internal.Property

Generates a random input for the test by running the provided generator. This is a the same as forAllT but allows the user to provide a custom rendering function. This is useful for values which don't have a Show instance.