| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Test.Tasty.SmallCheck.Laws.Applicative
Documentation
testApplicative :: forall f a. (Applicative f, Show a, Eq a, Show (f a), Eq (f a), Eq (f (f a)), Show (f (a -> a)), Serial IO a, Serial IO (f a), Serial IO (a -> a), Serial IO (f (a -> a)), Serial Identity a, Serial Identity (f a)) => Proxy (f 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.