smallcheck-laws-0.3: SmallCheck properties for common laws

Index

associativity 
1 (Function)Test.SmallCheck.Laws.Monoid
2 (Function)Test.SmallCheck.Laws.Monad
associativitySum 
1 (Function)Test.SmallCheck.Laws.Monoid
2 (Function)Test.SmallCheck.Laws.Monad
composition 
1 (Function)Test.SmallCheck.Laws.Functor
2 (Function)Test.SmallCheck.Laws.Applicative
compositionSum 
1 (Function)Test.SmallCheck.Laws.Functor
2 (Function)Test.SmallCheck.Laws.Applicative
homomorphismTest.SmallCheck.Laws.Applicative
homomorphismSumTest.SmallCheck.Laws.Applicative
identity 
1 (Function)Test.SmallCheck.Laws.Functor
2 (Function)Test.SmallCheck.Laws.Applicative
interchangeTest.SmallCheck.Laws.Applicative
interchangeSumTest.SmallCheck.Laws.Applicative
leftIdentityTest.SmallCheck.Laws.Monoid
mconcatPropTest.SmallCheck.Laws.Monoid
rightIdentityTest.SmallCheck.Laws.Monoid