dev-haskell / testing-type-modifiers

Data type modifiers for property based testing

Official package sites : https://hackage.haskell.org/package/testing-type-modifiers ·

Property based testing libraries such as QuickCheck tend to include type modifiers. Most of them are used to quantify over subsets of a type. For example a property on non-empty lists: @ prop_tail_length (NonEmpty xs) = length (tail xs) == length xs - 1 @ This library is intended to supply these modifiers to be used by testing libraries, in an effort to make properties more portable between testing frameworks. For every modifier it also provides an access function that converts to the underlying type, which enables point-free style properties as such: @ prop_tail_length2 = (> 0) . length . nonEmpty @

v0.1.0.1 :: 0/0.1.0.1 :: gentoo

Modified
License
public-domain
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-lang / ghc : The Glasgow Haskell Compiler

dev-lang / ghc : The Glasgow Haskell Compiler

dev-haskell / size-based : Sized functors, for size-based enumerations

dev-haskell / testing-feat : Functional Enumeration of Algebraic Types

Repository mirror & CI · gentoo
Merge updates from master
Sergei Trofimovich · gentoo
dev-haskell/testing-type-modifiers: use https:// HOMEPAGE
Package-Manager: Portage-3.0.5, 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/testing-type-modifiers: new pachage, a depend of testing-feat-1.1
Package-Manager: Portage-3.0.4, Repoman-3.0.1 Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>