You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
34 lines
1.6 KiB
34 lines
1.6 KiB
<?xml version="1.0" encoding="UTF-8"?>
|
|
<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
|
|
<pkgmetadata>
|
|
<maintainer type="project">
|
|
<email>haskell@gentoo.org</email>
|
|
<name>Gentoo Haskell</name>
|
|
</maintainer>
|
|
<use>
|
|
<flag name="unary-laws">Include infrastructure for testing class laws of unary type constructors.</flag>
|
|
<flag name="binary-laws">Include infrastructure for testing class laws of binary type constructors.
|
|
Disabling `unary-laws` while keeping `binary-laws` enabled is an unsupported
|
|
configuration.</flag>
|
|
</use>
|
|
<longdescription>
|
|
This libary is a minimal variant of `quickcheck-classes` that
|
|
only provides laws for typeclasses from `base`. The main purpose
|
|
of splitting this out is so that `primitive` can depend on
|
|
`quickcheck-classes-base` in its test suite, avoiding the circular
|
|
dependency that arises if `quickcheck-classes` is used instead.
|
|
|
|
This library provides QuickCheck properties to ensure
|
|
that typeclass instances adhere to the set of laws that
|
|
they are supposed to. There are other libraries that do
|
|
similar things, such as `genvalidity-hspec` and `checkers`.
|
|
This library differs from other solutions by not introducing
|
|
any new typeclasses that the user needs to learn.
|
|
|
|
/Note:/ on GHC < 8.5, this library uses the higher-kinded typeclasses
|
|
('Data.Functor.Classes.Show1', 'Data.Functor.Classes.Eq1', 'Data.Functor.Classes.Ord1', etc.),
|
|
but on GHC >= 8.5, it uses `-XQuantifiedConstraints` to express these
|
|
constraints more cleanly.
|
|
</longdescription>
|
|
</pkgmetadata>
|