smallcheck-laws-0.1: SmallCheck properties for standard type classes

Safe HaskellNone
LanguageHaskell2010

Test.Tasty.SmallCheck.Laws.Monoid

Synopsis

Documentation

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.