tasty-laws-0.2: Test common laws
Test.Tasty.Laws.Monoid
Synopsis
testMonoid :: forall a. (Show a, Eq a, Monoid a, Serial IO a) => Proxy a -> TestTree Source
tasty TestTree for Applicative laws. You need to provide the type wrapped in a Proxy and make sure a is an instance of Serial.
tasty
TestTree
Applicative
Proxy
a
Serial