Test.SmallCheck.Lens.Lens

This module is intended to be imported qualified, for example:

import qualified Test.SmallCheck.Lens.Lens as Lens

Documentation

setView :: (Monad m, Eq s, Show s) => Lens' s a -> Series m s -> Property m

viewSet :: (Monad m, Eq s, Eq a, Show s, Show a) => Lens' s a -> Series m s -> Series m a -> Property m