smallcheck-lens-0.1: SmallCheck lens laws
Test.SmallCheck.Lens.Lens
lensSetView :: (Monad m, Eq s, Show s) => Lens' s a -> Series m s -> Property m Source
lensViewSet :: (Monad m, Eq s, Eq a, Show s, Show a) => Lens' s a -> Series m s -> Series m a -> Property m Source