Safe Haskell | None |
---|---|
Language | Haskell2010 |
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)