Meta tags:
Headings (most frequently used words):
quickcheck, classes, flags, common, typeclasses, modules, downloads, readme, for, manual, lawscheck, lawscheckmany, lawscheckone, maintainer, corner,
Text of the page (most frequently used words):
the (26), for (22), passed (20), 100 (20), tests (20), #quickcheck (17), #classes (15), that (14), package (14), proxy (13), monoid (13), int (12), laws (12), this (11), flag (8), set (7), use (7), enabled (7), testing (6), typeclasses (6), identity (6), map (6), data (6), library (5), you (5), can (5), andrewthad (5), disable (5), unary (5), cabal (4), ghci (4), properties (4), common (4), mylaws (4), test (4), description (4), vector (4), semirings (4), semigroupoids (4), base (4), aeson (4), may (4), useful (4), accelerating (4), builds (4), sandboxes (4), expert (4), users (4), using (4), and (3), hackage (3), value (3), convenience (3), function (3), typeclass (3), instances (3), type (3), namedtests (3), associative (3), left (3), right (3), import (3), setint (3), mapint (3), source (3), ordering (3), readme (3), user (3), com (3), andrew (3), ghc (3), binary (3), functor (3), lawscheckone (2), tojson (2), fromjson (2), partial (2), isomorphism (2), example (2), lawscheckmany (2), transitive (2), symmetric (2), reflexive (2), concatenation (2), now (2), monoidlaws (2), multiple (2), instance (2), lawscheck (2), provides (2), uploaded (2), status (2), yet (2), rating (2), downloads (2), details (2), dependencies (2), https (2), github (2), revised (2), maintainer (2), martin (2), chessai (2), primitive (2), info (2), maintainers (2), note (2), revisions (2), from (2), browse (2), more (2), include (2), infrastructure (2), class (2), constructors (2), required (2), match (2), was (2), given (2), when (2), building (2), flags (2), uses (2), are (2), other (2), new (2), produced, word, jsonlaws, showreadlaws, encoding, equals, show, read, allows, one, check, many, same, eqlaws, string, checking, types, consider, following, haskell, file, assuming, good, have, confidence, satisfies, arbitrary, sets, should, hold, along, with, three, simple, functions, them, back, docs, build, unknown, reports, your, votes, estimated, bayesian, average, 22211, total, 119, last, days, direct, indirect, reverse, arch, ltshaskell, stackage, distributions, head, git, clone, repo, home, page, category, made, 2024, 24t12, 41z, revision, 2021, 12t11, 35z, thaddeus, gmail, author, 2018, copyright, bsd, clause, license, transformers, tagged, semigroups, addr, prim, fail, containers, changelog, change, log, versions, rss, candidates, edit, information, trustees, corner, has, newer, than, included, tarball, unpack, including, get, metadata, tar, enable, disabling, while, keeping, unsupported, configuration, default, name, manual, islist, quick, jump, index, modules, skip, higher, kinded, etc, but, xquantifiedconstraints, express, these, constraints, cleanly, ord1, eq1, show1, ensure, adhere, they, supposed, there, libraries, similar, things, such, genvalidity, hspec, differs, solutions, not, introducing, any, needs, learn, checkers, report, vulnerability, propose, tags, bsd3, accounts, upload, what, search,
Text of the page (random words):
quickcheck classes quickcheck common typeclasses hackage package search browse what s new upload user accounts quickcheck classes quickcheck common typeclasses bsd3 library testing propose tags report a vulnerability 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 skip to readme modules index quick jump test quickcheck test quickcheck classes test quickcheck classes islist flags manual flags name description default aeson you can disable the use of the aeson package using f aeson this may be useful for accelerating builds in sandboxes for expert users enabled semigroupoids you can disable the use of the semigroupoids package using f semigroupoids this may be useful for accelerating builds in sandboxes for expert users enabled semirings you can disable the use of the semirings package using f semirings this may be useful for accelerating builds in sandboxes for expert users enabled vector you can disable the use of the vector package using f vector this may be useful for accelerating builds in sandboxes for expert users enabled unary laws include infrastructure for testing class laws of unary type constructors it is required that this flag match the value that the unary laws flag was given when building quickcheck classes base enabled binary laws include infrastructure for testing class laws of binary type constructors it is required that this flag match the value that the unary laws flag was given when building quickcheck classes base disabling unary laws while keeping binary laws enabled is an unsupported configuration enabled use f flag to enable a flag or f flag to disable that flag more info downloads quickcheck classes 0 6 5 0 tar gz browse cabal source package package description revised from the package note this package has metadata revisions in the cabal description newer than included in the tarball to unpack the package including the revisions use cabal get maintainer s corner package maintainers andrewthad chessai for package maintainers and hackage trustees edit package information candidates 0 4 13 0 4 14 0 6 0 0 0 6 1 0 versions rss 0 1 0 2 0 3 0 3 1 0 3 2 0 3 3 0 4 0 0 4 1 0 4 2 0 4 3 0 4 4 0 4 5 0 4 6 0 4 7 0 4 8 0 4 9 0 4 10 0 4 11 0 4 11 1 0 4 12 0 4 13 0 4 14 0 4 14 1 0 4 14 2 0 4 14 3 0 5 0 0 0 6 0 0 0 6 1 0 0 6 2 0 0 6 2 1 0 6 2 2 0 6 3 0 0 6 4 0 0 6 5 0 info change log changelog md dependencies aeson 0 9 base 4 5 5 containers 0 4 2 1 fail ghc prim primitive 0 6 4 0 10 primitive addr 0 1 0 2 0 2 quickcheck 2 10 0 quickcheck classes base 0 6 2 0 7 semigroupoids semigroups 0 17 semirings 0 4 2 tagged transformers 0 5 0 0 7 vector 0 12 details license bsd 3 clause copyright 2018 andrew martin author andrew martin chessai maintainer andrew thaddeus gmail com uploaded by andrewthad at 2021 04 12t11 35 35z revised revision 3 made by andrewthad at 2024 04 24t12 43 41z category testing home page https github com andrewthad quickcheck classes readme source repo head git clone https github com andrewthad quickcheck classes distributions arch 0 6 5 0 ltshaskell 0 6 5 0 stackage 0 6 5 0 reverse dependencies 7 direct 0 indirect details downloads 22211 total 119 in the last 30 days rating no votes yet estimated by bayesian average your rating λ λ λ status docs uploaded by user build status unknown no reports yet readme for quickcheck classes 0 6 5 0 back to package description quickcheck classes this library provides sets of properties that should hold for common typeclasses along with three 3 simple functions that you can use to test them lawscheck a convenience function for testing properties in ghci for example at ghci lawscheck monoidlaws proxy proxy ordering monoid associative ok passed 100 tests monoid left identity ok passed 100 tests monoid right identity ok passed 100 tests assuming that the arbitrary instance for ordering is good we now have confidence that the monoid instance for ordering satisfies the monoid laws lawscheckmany a convenience function for checking multiple typeclass instances of multiple types consider the following haskell source file import data proxy proxy import data map map import data set set a proxy for set int setint proxy set int setint proxy a proxy for map int int mapint proxy map int int mapint proxy mylaws proxy a laws mylaws p eqlaws p monoidlaws p namedtests string laws namedtests set int mylaws setint map int int mylaws mapint now in ghci lawscheckmany namedtests testing properties for common typeclasses set int eq transitive ok passed 100 tests eq symmetric ok passed 100 tests eq reflexive ok passed 100 tests monoid associative ok passed 100 tests monoid left identity ok passed 100 tests monoid right identity ok passed 100 tests monoid concatenation ok passed 100 tests map int int eq transitive ok passed 100 tests eq symmetric ok passed 100 tests eq reflexive ok passed 100 tests monoid associative ok passed 100 tests monoid left identity ok passed 100 tests monoid right identity ok passed 100 tests monoid concatenation ok passed 100 tests lawscheckone a convenience function that allows one to check many typeclass instances of the same type for example in ghci lawscheckone proxy proxy word jsonlaws showreadlaws tojson fromjson encoding equals value ok passed 100 tests tojson fromjson partial isomorphism ok passed 100 tests show read partial isomorphism ok passed 100 tests produced by hackage and cabal 3 16 1 0
|
