dev-haskell / inspection-testing

GHC plugin to do inspection testing

Official package sites : https://github.com/nomeata/inspection-testing ·

Some carefully crafted libraries make promises to their users beyond functionality and performance. Examples are: Fusion libraries promise intermediate data structures to be eliminated. Generic programming libraries promise that the generic implementation is identical to the hand-written one. Some libraries may promise allocation-free or branch-free code. Conventionally, the modus operandi in all these cases is that the library author manually inspects the (intermediate or final) code produced by the compiler. This is not only tedious, but makes it very likely that some change, either in the library itself or the surrounding eco-system, breaks the library's promised without anyone noticing. This package provides a disciplined way of specifying such properties, and have them checked by the compiler. This way, this checking can be part of the ususal development cycle and regressions caught early. See the documentation in "Test.Inspection" or the project webpage for more examples and more information.

v0.4.2.4 :: 0/0.4.2.4 :: gentoo

Modified
License
MIT
Keywords
~amd64 ~x86
USE flags
doc hscolour profile

General

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)

dev-haskell / cabal : A framework for packaging Haskell software

dev-haskell / hscolour : Colourise Haskell code

dev-haskell / mtl : Monad classes, using functional dependencies

dev-lang / ghc : The Glasgow Haskell Compiler

dev-haskell / mtl : Monad classes, using functional dependencies

dev-lang / ghc : The Glasgow Haskell Compiler

dev-haskell / postgresql-simple : Mid-Level PostgreSQL client library

Repository mirror & CI · gentoo
Merge updates from master
Sergei Trofimovich · gentoo
dev-haskell/inspection-testing: drop redundant ghc depend
Package-Manager: Portage-3.0.4, Repoman-3.0.1 Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sergei Trofimovich · gentoo
dev-haskell/inspection-testing: new package, a depend of esqueleto-3.3
Package-Manager: Portage-3.0.4, Repoman-3.0.1 Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>