Summary
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 @
Versions
v0.1.0.1 :: 0/0.1.0.1 :: gentoo
- Modified
- License
- public-domain
- Keywords
- ~amd64 ~x86
- USE flags
- doc hscolour profile
USE flags
General
Dependencies
dev-haskell / cabal : A framework for packaging Haskell software
dev-haskell / hscolour : Colourise Haskell code
Runtime Dependencies
Depending packages
dev-haskell / size-based : Sized functors, for size-based enumerations
dev-haskell / testing-feat : Functional Enumeration of Algebraic Types
Change logs
- 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>