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

[ bsd3, library, program, quickcheck, tasty, testing ] [ Propose Tags ]
Versions [RSS] 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 2019-02-16T01:23:40Z
Distributions NixOS:0.0.3
Reverse Dependencies 1 direct, 0 indirect [details]
Executables tasty-quickcheck-laws-demo
Downloads 1622 total (16 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2019-02-16 [all 1 reports]

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