associativity | Test.Tasty.Laws.Monoid |
associativitySum | Test.Tasty.Laws.Monoid |
composition | |
1 (Function) | Test.Tasty.Laws.Applicative |
2 (Function) | Test.Tasty.Laws.Functor |
compositionSum | |
1 (Function) | Test.Tasty.Laws.Applicative |
2 (Function) | Test.Tasty.Laws.Functor |
homomorphism | Test.Tasty.Laws.Applicative |
homomorphismSum | Test.Tasty.Laws.Applicative |
identity | |
1 (Function) | Test.Tasty.Laws.Applicative |
2 (Function) | Test.Tasty.Laws.Functor |
interchange | Test.Tasty.Laws.Applicative |
interchangeSum | Test.Tasty.Laws.Applicative |
leftIdentity | Test.Tasty.Laws.Monoid |
mconcatProp | Test.Tasty.Laws.Monoid |
rightIdentity | Test.Tasty.Laws.Monoid |
test | |
1 (Function) | Test.Tasty.Laws.Monoid |
2 (Function) | Test.Tasty.Laws.Functor |
3 (Function) | Test.Tasty.Laws.Applicative |
4 (Function) | Test.Tasty.Laws.Monad |
testExhaustive | Test.Tasty.Laws.Monoid |
testMConcat | Test.Tasty.Laws.Monoid |
testMono | |
1 (Function) | Test.Tasty.Laws.Functor |
2 (Function) | Test.Tasty.Laws.Applicative |
3 (Function) | Test.Tasty.Laws.Monad |
testMonoExhaustive | |
1 (Function) | Test.Tasty.Laws.Functor |
2 (Function) | Test.Tasty.Laws.Applicative |
3 (Function) | Test.Tasty.Laws.Monad |
testPoly | Test.Tasty.Laws.Functor |
testPolyExhaustive | Test.Tasty.Laws.Functor |