Test.SmallCheck.Lens.Setter

Documentation

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

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

setterComposition :: (Monad m, Eq s, Show s, Show a, Serial Identity a) => ASetter' s a -> Series m s -> Series m (a -> a) -> Series m (a -> a) -> Property m