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

Safe HaskellNone
LanguageHaskell2010

Test.Tasty.SmallCheck.Laws.Functor

Synopsis

Documentation

testFunctor :: forall f a. (Eq (f a), Eq (f (f a)), Functor f, Show a, Show (f a), Serial IO (f a), Serial IO (a -> a), Serial Identity a, Serial Identity (f a)) => Proxy (f a) -> TestTree Source

tasty TestTree for Functor laws. You need to provide the type wrapped in a Proxy and make sure a is an instance of Serial.