Test.Tasty.SmallCheck.Laws.Monad

Documentation

testMonad :: forall f a. (Applicative f, Monad f, Show a, Show (f a), Show (f (a -> a)), Eq a, Eq (f a), Eq (f (f a)), Serial IO a, Serial IO (a -> a), Serial IO (f a), Serial IO (f (a -> a)), Serial IO (a -> f a), Serial Identity a, Serial Identity (f a)) => Proxy (f a) -> TestTree

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