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

Copyright2018 Automattic Inc.
LicenseGPL-3
MaintainerNathan Bloomfield (nbloomf@gmail.com)
Stabilityexperimental
PortabilityPOSIX
Safe HaskellNone
LanguageHaskell2010

Test.Tasty.QuickCheck.Laws.Eq

Contents

Description

 
Synopsis

Documentation

testEqLaws :: (Eq a, Show a, Arbitrary a, Typeable a) => Proxy a -> TestTree Source #

Constructs a TestTree checking that the Eq class laws hold for a.

Eq Laws

testEqLawSymmetric :: (Eq a, Show a, Arbitrary a) => Proxy a -> TestTree Source #

(a == b) == (b == a)

testEqLawTransitive :: (Eq a, Show a, Arbitrary a) => Proxy a -> TestTree Source #

if (a == b) && (b == c) then (a == c)