smallcheck-lens-0.3: SmallCheck properties for lens

Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.SmallCheck.Lens.Setter

Description

This module is intended to be imported qualified, for example:

import qualified Test.SmallCheck.Lens.Setter as Setter

Documentation

identity :: (Eq s, Monad m, Show s) => Setter' s a -> Series m s -> Property m Source

setSet :: (Monad m, Eq s, Show s, Show a) => Setter' s a -> Series m s -> Series m a -> Series m a -> Property m Source

setSetSum :: (Monad m, Eq s, Show s, Show a) => Setter' s a -> Series m s -> Series m a -> Series m a -> Property m Source

composition :: (Monad m, Eq s, Show s, Show a, Serial Identity a) => Setter' s a -> Series m s -> Series m (a -> a) -> Series m (a -> a) -> Property m Source

compositionSum :: (Monad m, Eq s, Show s, Show a, Serial Identity a) => Setter' s a -> Series m s -> Series m (a -> a) -> Series m (a -> a) -> Property m Source