Test.ClassLaws

The central part of ClassLaws is defined in the .Core, .Partial and .TestingEquality. Some more helper functions and examples reside in Test.ClassLaws.*. Finally, laws for the Monoid, Monad and MonadState classes live under their definitions in the hierarchy: Data.Monoid.Laws, Control.Monad.Laws, etc.

Documentation

module Test.ClassLaws.Core

module Test.ClassLaws.Partial

module Test.ClassLaws.TestingEquality

module Test.QuickCheck