Meta tags:

Headings (most frequently used words):

quickcheck, classes, flags, common, typeclasses, modules, downloads, readme, for, 14, manual, lawscheck, lawscheckmany, specialisedlawscheckmany, maintainer, corner,

Text of the page (most frequently used words):
passed (20), 100 (20), tests (20), the (19), for (18), #quickcheck (14), proxy (13), monoid (13), package (13), int (12), that (10), #classes (9), set (7), this (7), identity (6), map (6), use (6), typeclasses (5), description (5), cabal (4), ghci (4), testing (4), properties (4), common (4), mylaws (4), laws (4), library (4), you (4), can (4), test (4), andrewthad (4), semirings (4), semigroupoids (4), aeson (4), disable (4), flag (4), and (3), hackage (3), convenience (3), function (3), typeclass (3), instances (3), namedtests (3), associative (3), left (3), right (3), import (3), data (3), setint (3), mapint (3), source (3), ordering (3), readme (3), 2018 (3), com (3), andrew (3), enabled (3), may (3), useful (3), accelerating (3), builds (3), sandboxes (3), expert (3), users (3), default (3), using (3), flags (3), specialisedlawscheckmany (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), last (2), log (2), rating (2), downloads (2), details (2), dependencies (2), https (2), github (2), revised (2), maintainer (2), martin (2), chessai (2), info (2), maintainers (2), revisions (2), from (2), browse (2), true (2), manual (2), name (2), are (2), other (2), new (2), user (2), produced, word, jsonlaws, showreadlaws, encoding, equals, value, show, read, allows, one, check, many, same, type, 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, available, success, reported, all, reports, build, status, your, votes, yet, estimated, bayesian, average, 22213, total, 104, days, direct, indirect, reverse, arch, ltshaskell, stackage, distributions, head, git, clone, repo, home, page, category, made, 2019, 13t09, 21z, herbertvalerioriedel, revision, 23t17, 45z, uploaded, thaddeus, gmail, author, copyright, bsd, clause, license, transformers, tagged, semigroups, primitive, containers, bifunctors, base, changelog, change, versions, rss, candidates, edit, information, trustees, corner, note, has, newer, than, included, tarball, unpack, including, get, metadata, tar, more, enable, automatic, islist, quick, jump, index, modules, skip, 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 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 automatic flags name description default 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 default true manual true enabled use f flag to enable a flag or f flag to disable that flag more info downloads quickcheck classes 0 4 14 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 base 4 5 5 bifunctors containers primitive 0 6 1 0 7 quickcheck 2 9 2 12 semigroupoids semigroups semirings 0 2 0 0 tagged transformers 0 3 0 6 details license bsd 3 clause copyright 2018 andrew martin author andrew martin chessai maintainer andrew thaddeus gmail com uploaded by andrewthad at 2018 07 23t17 16 45z revised revision 1 made by herbertvalerioriedel at 2019 01 13t09 05 21z 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 22213 total 104 in the last 30 days rating no votes yet estimated by bayesian average your rating λ λ λ status docs available build log last success reported on 2018 07 23 all 1 reports readme for quickcheck classes 0 4 14 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 specialisedlawscheckmany a convenience function that allows one to check many typeclass instances of the same type for example in ghci specialisedlawscheckmany 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