Test.SmallCheck.Traversal

Documentation

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