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

Safe HaskellSafe-Infered

Control.Monad.Laws.Instances

Description

Tests the Monad ClassLaws for a few example datatypes. Mainly instance declarations and QuickCheck tests + a main to run it.

Documentation