Make it easier to use Hedgehog without Template Haskell

[jacobstanley]

This adds a type Group which is a named collection of properties.

checkConcurrent and checkSequential are now regular functions which can execute the property tests in a Group. The Template Haskell property discovery is now just a single function discover which returns a Group.

Running tests with automatic discovery now looks like this:

tests :: IO Bool
tests =
  checkConcurrent $$(discover)

But now, if you prefer to avoid macros, you can specify the group of properties to run manually instead:

tests :: IO Bool
tests =
  checkConcurrent $ Group "Test.Example" [
      ("prop_reverse", prop_reverse)
    ]

[charleso]

💯 :)

[charleso]

Nice 👍

[moodmosaic]

Nice 👍