Safe Haskell | None |
---|---|
Language | Haskell2010 |
This module is intended to be imported qualified
, for example:
import qualified Test.Tasty.Laws.Functor as Functor
- test :: (Functor f, Eq (f ()), Show (f ())) => Series IO (f ()) -> TestTree
- testMono :: forall f a. (Eq (f a), Functor f, Show a, Show (f a), Serial Identity a, Serial IO (a -> a)) => Series IO (f a) -> TestTree
- testMonoExhaustive :: forall f a. (Eq (f a), Functor f, Show a, Show (f a), Serial Identity a, Serial IO (a -> a)) => Series IO (f a) -> TestTree
- testPoly :: forall f a b c. (Functor f, Eq (f a), Show a, Show (f a), Serial Identity a, Eq (f b), Show b, Show (f b), Serial Identity b, Eq (f c), Show c, Show (f c), Serial Identity c, Serial IO (a -> b), Serial IO (b -> c)) => Proxy b -> Proxy c -> Series IO (f a) -> TestTree
- testPolyExhaustive :: forall f a b c. (Functor f, Eq (f a), Show a, Show (f a), Serial Identity a, Eq (f b), Show b, Show (f b), Serial Identity b, Eq (f c), Show c, Show (f c), Serial Identity c, Serial IO (a -> b), Serial IO (b -> c)) => Proxy b -> Proxy c -> Series IO (f a) -> TestTree
- module Test.SmallCheck.Laws.Functor
Documentation
testMono :: forall f a. (Eq (f a), Functor f, Show a, Show (f a), Serial Identity a, Serial IO (a -> a)) => Series IO (f a) -> TestTree Source
testMonoExhaustive :: forall f a. (Eq (f a), Functor f, Show a, Show (f a), Serial Identity a, Serial IO (a -> a)) => Series IO (f a) -> TestTree Source
testPoly :: forall f a b c. (Functor f, Eq (f a), Show a, Show (f a), Serial Identity a, Eq (f b), Show b, Show (f b), Serial Identity b, Eq (f c), Show c, Show (f c), Serial Identity c, Serial IO (a -> b), Serial IO (b -> c)) => Proxy b -> Proxy c -> Series IO (f a) -> TestTree Source
testPolyExhaustive :: forall f a b c. (Functor f, Eq (f a), Show a, Show (f a), Serial Identity a, Eq (f b), Show b, Show (f b), Serial Identity b, Eq (f c), Show c, Show (f c), Serial Identity c, Serial IO (a -> b), Serial IO (b -> c)) => Proxy b -> Proxy c -> Series IO (f a) -> TestTree Source
module Test.SmallCheck.Laws.Functor