| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Test.Tasty.SmallCheck.Lens.Traversal
Documentation
testTraversal :: forall s a. (Eq s, Show s, Show a, Serial IO a, Serial Identity a, CoSerial IO a, Serial IO s) => Traversal' s a -> TestTree Source
A Traversal' is only legal if it is a valid Setter' (see
testSetter), and if the following laws hold:
t pure ≡ pure
fmap (t f) . t g ≡ getCompose . t (Compose . fmap f . g)