tasty-quickcheck-laws: Pre-built tasty trees for checking lawful class properties using QuickCheck

[ bsd3, library, program, quickcheck, tasty, testing ] [ Propose Tags ]

Please see the README on GitHub at https://github.com/nbloomf/tasty-quickcheck-laws#readme


[Skip to Readme]
Versions [faq] 0.0.1, 0.0.2, 0.0.3
Change log CHANGELOG.md
Dependencies base (>=4.7 && <5), QuickCheck (>=2.10.1), tasty (>=1.0.1.1), tasty-quickcheck (>=0.9.2), tasty-quickcheck-laws [details]
License BSD-3-Clause
Copyright 2018 Automattic, Inc.
Author Nathan Bloomfield
Maintainer nathan.bloomfield@a8c.com
Category testing, tasty, quickcheck
Home page https://github.com/nbloomf/tasty-quickcheck-laws#readme
Bug tracker https://github.com/nbloomf/tasty-quickcheck-laws/issues
Source repo head: git clone https://github.com/nbloomf/tasty-quickcheck-laws
Uploaded by nbloomf at Sat Feb 16 01:23:40 UTC 2019
Distributions NixOS:0.0.3
Executables tasty-quickcheck-laws-demo
Downloads 332 total (44 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs available [build log]
Last success reported on 2019-02-16 [all 1 reports]

Modules

[Index] [Quick Jump]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees


Readme for tasty-quickcheck-laws-0.0.3

[back to package description]

tasty-quickcheck-laws

Build Status

Pre-built tasty trees for checking your lawful class instances with QuickCheck.

Currently includes laws for the following type classes:

  • Eq
  • Semigroup
  • Monoid
  • Functor
  • Applicative
  • Monad
  • Identity Monad
  • State Monad
  • Reader Monad
  • Writer Monad
  • Error Monad
  • Maybe Monad