ClassLaws-0.3.0.2: Stating and checking laws for type class methods

Safe HaskellNone

Data.Monoid.Laws.Instances

Description

Conctrete tests of some instances od the Monoid laws (for Endo, mainly). The laws themselves are one level up in the module hierarchy: defaultMonoidLaw1 etc.

Documentation