smallcheck-lens-0.1: SmallCheck lens laws
Test.SmallCheck.Lens.Setter
setterId :: (Eq s, Monad m, Show s) => ASetter' s a -> Series m s -> Property m Source
setterSetSet :: (Monad m, Eq s, Show s, Show a) => ASetter' s a -> Series m s -> Series m a -> Series m a -> Property m Source
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 Source