Mirrors munit.Assertions assertions, allowing munit users to use familiar
assertions while returning proper hedgehog.Result objects in property tests.
Mirrors munit.Assertions assertions, allowing munit users to use familiar
assertions while returning proper hedgehog.Result objects in property tests.
Signatures don't line up exactly -- munit.Assertions is not F-bound
polymorphic, so there is no way to align the signatures of the same
argumentns with different return types in scala. We can, however, simply
omit the implicit location arguments, because hedgehog.Result doesn't
require munit.Location. Except in cases where Location is passed explicitly
(which should be rare in user code), this should result in fairly easy
adoption by munit and munit-scalacheck users.
Mirrors munit.Assertions assertions, allowing munit users to use familiar assertions while returning proper hedgehog.Result objects in property tests.
Signatures don't line up exactly -- munit.Assertions is not F-bound polymorphic, so there is no way to align the signatures of the same argumentns with different return types in scala. We can, however, simply omit the implicit location arguments, because hedgehog.Result doesn't require munit.Location. Except in cases where Location is passed explicitly (which should be rare in user code), this should result in fairly easy adoption by munit and munit-scalacheck users.