Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
testLens :: (Eq s, Eq a, Show s, Show a, Serial IO a, Serial Identity a, CoSerial IO a, Serial IO s) => Lens' s a -> TestTree Source
A Lens'
is only legal if it is a valid Traversal'
(see
testTraversal
), and if the following laws hold:
view l (set l b a) ≡ b
set l (view l a) a ≡ a
set l c (set l b a) ≡ set l c a