Test.SmallCheck.Lens

Property creators for every individual Lens law using explicit Series.

Use this module when you need different Series to the ones implicitly in Test.Tasty.SmallCheck.Lens or when you don't want to use tasty as the test runner.

Setter

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

Traversal

traversePure :: forall m f s a. (Monad m, Show s, Applicative f, Eq (f s)) => LensLike' f s a -> Series m s -> Property m

traversePureMaybe :: (Monad m, Show s, Eq s) => LensLike' Maybe s a -> Series m s -> Property m

traverseCompose :: (Monad m, Show s, Show a, Show (f a), Show (g a), Applicative f, Applicative g, Eq (g (f s)), Serial Identity a) => Traversal' s a -> Series m s -> Series m (a -> f a) -> Series m (a -> g a) -> Property m

Lens

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

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

Prism

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

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

Iso

isoHither :: (Eq s, Show s, Eq a, Show a, Serial m a) => AnIso' s a -> Series m s -> Property m

isoYon :: (Eq s, Show s, Eq a, Show a, Serial m a) => AnIso' s a -> Series m a -> Property m