smallcheck-lens-0.1: SmallCheck lens laws
Test.Tasty.SmallCheck.Lens.Setter
Synopsis
testSetter :: (Eq s, Show s, Show a, Serial IO a, Serial Identity a, CoSerial IO a, Serial IO s) => ASetter' s a -> TestTree Source
A Setter is only legal if the following laws hold:
Setter
set l y (set l x a) ≡ set l y a
over l id ≡ id
over l f . over l g ≡ over l (f . g)