This library 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.

","plain":"This library is a minimal variant of `quickcheck-classes` that only provides\nlaws for typeclasses from `base`. The main purpose of splitting this out is so\nthat `primitive` can depend on `quickcheck-classes-base` in its test suite,\navoiding the circular dependency that arises if `quickcheck-classes` is used\ninstead. . This library provides QuickCheck properties to ensure that\ntypeclass instances adhere to the set of laws that they are supposed to. There\nare other libraries that do similar things, such as `genvalidity-hspec` and\n`checkers`. This library differs from other solutions by not introducing any\nnew typeclasses that the user needs to learn. . /Note:/ on GHC < 8.5, this\nlibrary uses the higher-kinded typeclasses ('Data.Functor.Classes.Show1',\n'Data.Functor.Classes.Eq1', 'Data.Functor.Classes.Ord1', etc.), but on GHC >=\n8.5, it uses `-XQuantifiedConstraints` to express these constraints more\ncleanly.\n\n","locale":"en_US.UTF-8"},"home-page":"https://github.com/andrewthad/quickcheck-classes#readme","derivations":[{"system":"x86_64-linux","target":"","derivation":"/gnu/store/lqqia8j0yv2l2k8y6km3f394rjfghn59-ghc-quickcheck-classes-base-0.6.2.0.drv"},{"system":"riscv64-linux","target":"","derivation":"/gnu/store/5j6xwzrddhjda1izrlqf6nhq72kkdyjb-ghc-quickcheck-classes-base-0.6.2.0.drv"},{"system":"powerpc-linux","target":"","derivation":"/gnu/store/9j2lz9zy4v5p00izrnf1npcg7svimgvd-ghc-quickcheck-classes-base-0.6.2.0.drv"},{"system":"powerpc64le-linux","target":"","derivation":"/gnu/store/ksdjphgbfdyazjd25wx2q4kyirg222sv-ghc-quickcheck-classes-base-0.6.2.0.drv"},{"system":"mips64el-linux","target":"","derivation":"/gnu/store/3k6c5gb21fpxnl3y7r7g6mj9yqyfk7w6-ghc-quickcheck-classes-base-0.6.2.0.drv"},{"system":"i686-linux","target":"","derivation":"/gnu/store/fbgyj9crh8gq4wdp0hkxkkvpknpl0dhf-ghc-quickcheck-classes-base-0.6.2.0.drv"},{"system":"i586-gnu","target":"","derivation":"/gnu/store/ibv5n7lzajr43795nvqfym5s1ypffsii-ghc-quickcheck-classes-base-0.6.2.0.drv"},{"system":"armhf-linux","target":"","derivation":"/gnu/store/4gw43sdynlbmndgxr5rp853cjn44rycf-ghc-quickcheck-classes-base-0.6.2.0.drv"},{"system":"aarch64-linux","target":"","derivation":"/gnu/store/b2jp09p8f6bki3ndir54v3p7g8fjmsx6-ghc-quickcheck-classes-base-0.6.2.0.drv"}]}