Modulegenvalidity-sydtest-lens-1.0.0.0Haskell2010

Test.Syd.Validity.Lens

Standard test Specs for optics

12 values

Packagegenvalidity-sydtest-lens-1.0.0.0
Exports12
LanguageHaskell2010
LicenceMIT
SourceLens.hs

valuelensSpec

:: (Show b, Eq b, GenValid b, Show s, Eq s, GenValid s)
=> Lens s s b b
-> Spec

Standard test spec for properties lenses for valid values

Example usage:

lensSpec ((_2) :: Lens (Int, Int) (Int, Int) Int Int)

valuelensSpecOnArbitrary

:: (Show b, Eq b, Arbitrary b, Validity b, Show s, Eq s, Arbitrary s, Validity s)
=> Lens s s b b
-> Spec

Standard test spec for properties lenses for arbitrary values

Example usage:

lensSpecOnArbitrary ((_2) :: Lens (Rational, Rational) (Rational, Rational) Rational Rational)

valuelensSpecOnGen

:: (Show b, Eq b, Validity b, Show s, Eq s, Validity s)
=> Lens s s b b
-> Gen b
-> String
-> b -> [b]
-> Gen s
-> String
-> s -> [s]
-> Spec

Standard test spec for properties lenses for values generated by given generators

Example usage:

lensSpecOnGen
     ((_2) :: Lens (Rational, Rational) (Rational, Rational) Rational Rational)
     (abs <$> genValid)
     "positive valid doubles"
     (filter (0.0 >=) . shrinkValid)
     ((,) <$> (negate . abs <$> genValid) <*> (negate . abs <$> genValid))
     "tuples of negative valid doubles"
     (const [])

valuelensLaw1

:: (Show b, Eq b, Show s)
=> Lens s s b b
-> Gen b
-> b -> [b]
-> Gen s
-> s -> [s]
-> Property

A property combinator for the first lens law:

view l (set l v s)  ≡ v

Example usage:

Property

prop> lensLaw1 ((_2) :: Lens (Rational, Rational) (Rational, Rational) Rational Rational) genValid shrinkValid genValid shrinkValid

valuelensLaw2

:: (Show s, Eq s)
=> Lens s s b b
-> Gen s
-> s -> [s]
-> Property

A property combinator for the second lens law:

set l (view l s) s  ≡ s

Example usage:

Property

prop> lensLaw2 ((_2) :: Lens (Rational, Rational) (Rational, Rational) Rational Rational) genValid shrinkValid

valuelensLaw3

:: (Show b, Show s, Eq s)
=> Lens s s a b
-> Gen b
-> b -> [b]
-> Gen s
-> s -> [s]
-> Property

A property combinator for the third lens law:

set l v' (set l v s) ≡ set l v' s

Example usage:

Property

prop> lensLaw3 ((_2) :: Lens (Rational, Rational) (Rational, Rational) Rational Rational) genValid shrinkValid genValid shrinkValid

valuelensGettingProducesValid

:: (Show s, GenValid s, Show b, Validity b)
=> Lens s s b b
-> Property

A property combinator to test whether getting values via a lens on valid values produces valid values.

Example Usage:

Property

prop> lensGettingProducesValid ((_2) :: Lens (Int, Int) (Int, Int) Int Int)

valuelensGettingProducesValidOnArbitrary

:: (Show s, Arbitrary s, Show b, Validity b)
=> Lens s s b b
-> Property

A property combinator to test whether getting values via a lens on arbitrary values produces valid values.

Example Usage:

Property

prop> lensGettingProducesValidOnArbitrary ((_2) :: Lens (Rational, Rational) (Rational, Rational) Rational Rational)

valuelensGettingProducesValidOnGen

:: (Validity b, Show b, Show s)
=> Lens s s b b
-> Gen s
-> s -> [s]
-> Property

A property combinator to test whether getting values generated by given a generator via a lens on values generated by a given generator produces valid values.

isValid (view l s)

Example Usage:

Property

prop> lensGettingProducesValidOnGen ((_2) :: Lens (Rational, Rational) (Rational, Rational) Rational Rational) genValid shrinkValid

valuelensSettingProducesValid

:: (Show s, GenValid s, Show b, GenValid b, Show t, Validity t)
=> Lens s t a b
-> Property

A property combinator to test whether setting valid values via a lens on valid values produces valid values.

Example usage:

Property

prop> lensSettingProducesValid ((_2) :: Lens (Int, Int) (Int, Int) Int Int)

valuelensSettingProducesValidOnArbitrary

:: (Show s, Arbitrary s, Show b, Arbitrary b, Show t, Validity t)
=> Lens s t a b
-> Property

A property combinator to test whether setting arbitrary values via a lens on arbitrary values produces valid values.

Example usage:

Property

prop> lensSettingProducesValidOnArbitrary ((_2) :: Lens (Rational, Rational) (Rational, Rational) Rational Rational)

valuelensSettingProducesValidOnGen

:: (Show s, Show b, Show t, Validity t)
=> Lens s t a b
-> Gen b
-> b -> [b]
-> Gen s
-> s -> [s]
-> Property

A property combinator to test whether setting values generated by given a generator via a lens on values generated by a given generator produces valid values.

isValid (set l b s)

Example usage:

Property

prop> lensSettingProducesValidOnGen ((_2) :: Lens (Rational, Rational) (Rational, Rational) Rational Rational) genValid shrinkValid genValid shrinkValid