Safe Haskell | None |
---|---|
Language | Haskell2010 |
This module is intended to be imported qualified
, for example:
import qualified Test.Tasty.Laws.Monad as Monad
- test :: (Applicative m, Monad m, Eq (m ()), Eq (m (m ())), Show (m ()), Show (m (() -> ())), Serial Identity (m ()), Serial IO (m ()), Serial IO (m (() -> ()))) => Series IO (m ()) -> TestTree
- testMono :: forall m a. (Applicative m, Monad m, Eq a, Eq (m a), Eq (m (m a)), Show a, Show (m a), Show (m (a -> a)), Serial Identity a, Serial Identity (m a), Serial IO a, Serial IO (a -> a), Serial IO (m a), Serial IO (m (a -> a)), Serial IO (a -> m a)) => Series IO (m a) -> TestTree
- testMonoExhaustive :: forall m a. (Applicative m, Monad m, Eq a, Eq (m a), Eq (m (m a)), Show a, Show (m a), Show (m (a -> a)), Serial Identity a, Serial Identity (m a), Serial IO a, Serial IO (a -> a), Serial IO (m a), Serial IO (m (a -> a)), Serial IO (a -> m a)) => Series IO (m a) -> TestTree
Documentation
test :: (Applicative m, Monad m, Eq (m ()), Eq (m (m ())), Show (m ()), Show (m (() -> ())), Serial Identity (m ()), Serial IO (m ()), Serial IO (m (() -> ()))) => Series IO (m ()) -> TestTree Source
testMono :: forall m a. (Applicative m, Monad m, Eq a, Eq (m a), Eq (m (m a)), Show a, Show (m a), Show (m (a -> a)), Serial Identity a, Serial Identity (m a), Serial IO a, Serial IO (a -> a), Serial IO (m a), Serial IO (m (a -> a)), Serial IO (a -> m a)) => Series IO (m a) -> TestTree Source
testMonoExhaustive :: forall m a. (Applicative m, Monad m, Eq a, Eq (m a), Eq (m (m a)), Show a, Show (m a), Show (m (a -> a)), Serial Identity a, Serial Identity (m a), Serial IO a, Serial IO (a -> a), Serial IO (m a), Serial IO (m (a -> a)), Serial IO (a -> m a)) => Series IO (m a) -> TestTree Source