Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
This module is intended to be imported qualified
, for example:
import qualified Test.SmallCheck.Lens.Traversal as Traversal
Documentation
pure :: forall m f s a. (Monad m, Show s, Applicative f, Eq (f s)) => Proxy f -> Traversal' s a -> Series m s -> Property m Source
composition :: (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
compositionSum :: (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