{"bugs":[],"categories":[{"categoryid":433,"name":"dev-haskell","summary":"The dev-haskell category contains libraries and utilities relevant to the Haskell programming language."},{"categoryid":450,"name":"dev-lang","summary":"The dev-lang category contains various programming language implementations and related tools."}],"changelog":[{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"7090584d7f460e325f28f123ca098f0446fbb6d1","committime":"2026-06-22T10:46:04","packageid":79228,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"hololeap@protonmail.com","authorname":"hololeap","body":"Signed-off-by: hololeap <hololeap@protonmail.com>\nSigned-off-by: Mark Wright <gienah@gentoo.org>","commitid":"2e4d0d027e496a7c3f113071727dae2e46ee7200","committime":"2026-01-24T05:16:20","packageid":79228,"repoid":1,"summary":"dev-haskell\/testing-type-modifiers: new package, add 0.1.0.1"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"6b8cb7abbe4d67a88b038392eaafecc63aafd8ef","committime":"2022-08-21T21:46:43","packageid":79228,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"jsmolic@gentoo.org","authorname":"Jakov Smolić","body":"Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>","commitid":"fc8f290d971d04889a9a0232622f170baaee7e6b","committime":"2022-08-21T21:25:40","packageid":79228,"repoid":1,"summary":"dev-haskell\/testing-type-modifiers: treeclean"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"e5b42ed6399278663f20eb7dd4af4d5f8b339b82","committime":"2020-09-02T08:05:22","packageid":79228,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"slyfox@gentoo.org","authorname":"Sergei Trofimovich","body":"Package-Manager: Portage-3.0.5, Repoman-3.0.1\nSigned-off-by: Sergei Trofimovich <slyfox@gentoo.org>","commitid":"555fa467776d1c925a5d2655ae9744f2e9386e1b","committime":"2020-09-02T07:30:54","packageid":79228,"repoid":1,"summary":"dev-haskell\/testing-type-modifiers: use https:\/\/ HOMEPAGE"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"cef2fc0ebb21fe84d353d19a14ea5ad8d6bb1063","committime":"2020-08-29T08:35:15","packageid":79228,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"slyfox@gentoo.org","authorname":"Sergei Trofimovich","body":"Package-Manager: Portage-3.0.4, Repoman-3.0.1\nSigned-off-by: Sergei Trofimovich <slyfox@gentoo.org>","commitid":"a915aa6e6461f8995824e2f15c5e16ea7764744f","committime":"2020-08-29T08:16:42","packageid":79228,"repoid":1,"summary":"dev-haskell\/testing-type-modifiers: new pachage, a depend of testing-feat-1.1"}],"dependencies":[{"block":false,"categoryid":433,"description":"Colourise Haskell code","ebuildids":[903131],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"haskell@gentoo.org","name":"hscolour","packageid":45677},{"block":false,"categoryid":433,"description":"A framework for packaging Haskell software","ebuildids":[903131],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"haskell@gentoo.org","name":"cabal","packageid":47777},{"block":false,"categoryid":450,"description":"The Glasgow Haskell Compiler","ebuildids":[903131],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"haskell@gentoo.org","maintainername":"Gentoo Haskell","name":"ghc","packageid":55607}],"depending":[{"block":false,"categoryid":433,"description":"Sized functors, for size-based enumerations","ebuildids":[903100,903100,903100,903100],"firstseen":"2026-06-22T11:57:30.836959","name":"size-based","packageid":79222},{"block":false,"categoryid":433,"description":"Functional Enumeration of Algebraic Types","ebuildids":[903130,903130],"firstseen":"2026-06-22T11:57:30.836959","name":"testing-feat","packageid":79227,"summary":"Feat (Functional Enumeration of Abstract Types) provides enumerations as functions from natural numbers to values (similar to @toEnum@ but for any algebraic data type). This can be used for SmallCheck-style systematic testing, QuickCheck style random testing, and hybrids of the two. The enumerators are defined in a very boilerplate manner and there is a Template Haskell script for deriving the class instance for most types. \"Test.Feat\" contain a subset of the other modules that should be sufficient for most test usage. There are some small and large example in the tar ball."}],"ebuilds":[{"archs":["~amd64","~arm64","~ppc64","~riscv","~x86"],"ebuildid":903131,"firstseen":"2026-06-22T11:57:30.836959","license":"public-domain","moddate":"2026-06-22T10:57:30","packageid":79228,"repoid":1,"slot":"0\/0.1.0.1","uses":["doc","hscolour","profile"],"version":"0.1.0.1"}],"masks":[],"package":{"categoryid":433,"description":"Data type modifiers for property based testing","firstseen":"2026-06-22T11:57:30.836959","name":"testing-type-modifiers","packageid":79228,"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 @"},"rdependencies":[{"block":false,"categoryid":450,"description":"The Glasgow Haskell Compiler","ebuildids":[903131,903131],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"haskell@gentoo.org","maintainername":"Gentoo Haskell","name":"ghc","packageid":55607}],"repos":[{"branch":"master","lastcommit":"6b5d3b950bca5a95dcf0465f3fd90af4e0b56767","name":"gentoo","path":"\/usr\/portage","repoid":1,"upstream":"origin"}],"tracked":false,"urls":["https:\/\/hackage.haskell.org\/package\/testing-type-modifiers"],"uses":[{"description":"Add extra documentation (API, Javadoc, etc). It is recommended to enable per package instead of globally","isdefault":false,"use":"doc"},{"description":"Include coloured haskell sources to generated documentation (dev-haskell\/hscolour)","isdefault":false,"use":"hscolour"},{"description":"Add support for software performance analysis (will likely vary from ebuild to ebuild)","isdefault":false,"use":"profile"}]}