Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
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 Source
traversePureMaybe :: (Monad m, Show s, Eq s) => LensLike' Maybe s a -> Series m s -> Property m Source
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 Source