smallcheck-lens-0.3: SmallCheck properties for lens

Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.SmallCheck.Lens.Traversal

Description

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