smallcheck-lens-0.1: SmallCheck lens laws
Test.Tasty.SmallCheck.Lens.Iso
Synopsis
testIso :: (Eq s, Eq a, Show s, Show a, Serial IO a, Serial Identity a, CoSerial IO a, Serial IO s, Serial Identity s, CoSerial IO s) => Iso' s a -> TestTree Source
An Iso' is only legal if the following laws hold:
Iso'
s ^. l . from l ≡ s
s ^. from l . l ≡ s
An Iso' is also a valid Lens' in both normal and reverse form. Check testLens.
Lens'
testLens