| Copyright | (C) 2013 Hugo Pacheco |
|---|---|
| License | BSD-style (see the file LICENSE) |
| Maintainer | Hugo Pacheco <hpacheco@nii.ac.jp> |
| Stability | provisional |
| Safe Haskell | None |
| Language | Haskell98 |
Generics.Putlenses.QuickCheck
Description
Quickcheck procedures to test the well-behavedness of partial lenses (and therefore putlenses)
Documentation
wb :: (Eq s, Eq v) => Lens s v -> s -> v -> Property Source
QuickCheck procedure to test if a lens is well-behaved (partial).
wbPartial :: (Eq s, Eq v) => (s -> Bool) -> (s -> v -> Bool) -> Lens s v -> s -> v -> Property Source
QuickCheck procedure to test if a lens is well-behaved, taking as arguments particular domains for get and for put (partial).