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 |
homomorphism | Test.SmallCheck.Laws.Applicative |
homomorphismSum | Test.SmallCheck.Laws.Applicative |
identity | |
1 (Function) | Test.SmallCheck.Laws.Functor |
2 (Function) | Test.SmallCheck.Laws.Applicative |
interchange | Test.SmallCheck.Laws.Applicative |
interchangeSum | Test.SmallCheck.Laws.Applicative |
leftIdentity | Test.SmallCheck.Laws.Monoid |
mconcatProp | Test.SmallCheck.Laws.Monoid |
rightIdentity | Test.SmallCheck.Laws.Monoid |