Generics.Putlenses.QuickCheck

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

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

QuickCheck procedure to test if a lens is well-behaved, taking as arguments particular domains for get and for put (partial).

putgetPartial :: Eq v => (s -> v -> Bool) -> Lens s v -> s -> v -> Property

QuickCheck procedure to test if a lens satisfies the PutGet law (partial).

getputPartial :: Eq s => (s -> Bool) -> Lens s v -> s -> Property

QuickCheck procedure to test if a lens satisfies the PutGet law (partial).