Summary
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.
Versions
v0.6.4.0 :: 0/0.6.4.0 :: gentoo
- Modified
- License
- BSD
- Keywords
- amd64 ~arm64 ~ppc64 ~riscv ~x86
- USE flags
- aeson binary-laws doc hscolour profile semigroupoids semirings test unary-laws vector
USE flags
General
- aeson
- Enable the use of the `aeson` package. This may be useful for accelerating builds in sandboxes for expert users.
- binary-laws
- Include infrastructure for testing class laws of binary type constructors. Disabling `unary-laws` while keeping `binary-laws` enabled is an unsupported configuration.
- doc
- Add extra documentation (API, Javadoc, etc). It is recommended to enable per package instead of globally
- hscolour
- Include coloured haskell sources to generated documentation (dev-haskell/hscolour)
- profile
- Add support for software performance analysis (will likely vary from ebuild to ebuild)
- semigroupoids
- Enable the use of the `semigroupoids` package. This may be useful for accelerating builds in sandboxes for expert users.
- semirings
- Enable the use of the `semirings` package. This may be useful for accelerating builds in sandboxes for expert users.
- test
- Enable dependencies and/or preparations necessary to run tests (usually controlled by FEATURES=test but can be toggled independently)
- unary-laws
- Include infrastructure for testing class laws of unary type constructors.
- vector
- Enable the use of the `vector` package. This may be useful for accelerating builds in sandboxes for expert users.
Dependencies
dev-haskell / aeson : Fast JSON parsing and encoding
dev-haskell / base-orphans : Backwards-compatible orphan instances for base
dev-haskell / bifunctors : The Bifunctors package authored by Edward Kmett
dev-haskell / cabal : A framework for packaging Haskell software
dev-haskell / contravariant : Contravariant functors
dev-haskell / fail : Forward-compatible MonadFail class
dev-haskell / hscolour : Colourise Haskell code
dev-haskell / primitive : Primitive memory-related operations
dev-haskell / primitive-addr : Addresses to unmanaged memory
dev-haskell / quickcheck : Automatic testing of Haskell programs
dev-haskell / quickcheck-classes-base : QuickCheck common typeclasses from 'base'
dev-haskell / semigroupoids : Semigroupoids: Category sans id
dev-haskell / semigroups : Anything that associates
dev-haskell / semirings : two monoids as one, in holy haskimony
dev-haskell / tagged : Haskell 98 phantom types to avoid unsafely passing dummy arguments
dev-haskell / tasty : Modern and extensible testing framework
dev-haskell / tasty-quickcheck : QuickCheck support for the Tasty test framework
dev-haskell / vector : Efficient Arrays
Runtime Dependencies
dev-haskell / aeson : Fast JSON parsing and encoding
dev-haskell / base-orphans : Backwards-compatible orphan instances for base
dev-haskell / bifunctors : The Bifunctors package authored by Edward Kmett
dev-haskell / contravariant : Contravariant functors
dev-haskell / fail : Forward-compatible MonadFail class
dev-haskell / primitive : Primitive memory-related operations
dev-haskell / primitive-addr : Addresses to unmanaged memory
dev-haskell / quickcheck : Automatic testing of Haskell programs
dev-haskell / quickcheck-classes-base : QuickCheck common typeclasses from 'base'
dev-haskell / semigroupoids : Semigroupoids: Category sans id
dev-haskell / semigroups : Anything that associates
dev-haskell / semirings : two monoids as one, in holy haskimony
dev-haskell / tagged : Haskell 98 phantom types to avoid unsafely passing dummy arguments
dev-haskell / vector : Efficient Arrays
Depending packages
Bugs
Change logs
- Repository mirror & CI · gentoo
Merge updates from master - hololeap · gentoo
dev-haskell/quickcheck-classes: Stabilize for amd64
Signed-off-by: hololeap <hololeap@users.noreply.github.com> Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - matoro · gentoo
dev-haskell/quickcheck-classes: keyword 0.6.4.0 for ~riscv
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - matoro · gentoo
dev-haskell/quickcheck-classes: keyword 0.6.4.0 for ~arm64
Thanks-to: Marcus Comstedt <marcus@mc.pp.se> Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - matoro · gentoo
dev-haskell/quickcheck-classes: keyword 0.6.4.0 for ~ppc64
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sergei Trofimovich · gentoo
dev-haskell/quickcheck-classes: new package, a depend of arithmoi-0.11
Package-Manager: Portage-3.0.4, Repoman-3.0.1 Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>