Skip to content

HORIZON HASKELL Docs lts/ghc-10.0.x8fef28d2026-11-02Search packagesCtrl K

Theme: |

GHC 10.0.0.20260917 · lts/ghc-10.0.x · 8fef28d · 2026-11-02

Modulegenvalidity-sydtest-1.0.1.0Haskell2010

Test.Syd.Validity.Functions.Validity

Standard tests involving validity

Synopsis

value producesValidsOnGen
value producesValid
value producesValidsOnArbitrary
value producesValidsOnGens2
value producesValid2
value producesValidsOnArbitrary2
value producesValidsOnGens3
value producesValid3
value producesValidsOnArbitrary3

Packagegenvalidity-sydtest-1.0.1.0
Exports9
LanguageHaskell2010
LicenceMIT
SourceValidity.hs

valueproducesValidsOnGen

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

The function produces valid output when the input is generated as specified by the given generator.

valueproducesValid

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

The function produces valid output when the input is generated by genValid

valueproducesValidsOnArbitrary

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

The function produces valid output when the input is generated by arbitrary

valueproducesValidsOnGens2

:: (Show a, Show b, Show c, Validity c)
=> a -> b -> c
-> Gen (a, b)
-> (a, b) -> [(a, b)]
-> Property

valueproducesValid2

:: (Show a, Show b, Show c, GenValid a, GenValid b, Validity c)
=> a -> b -> c
-> Property

valueproducesValidsOnArbitrary2

:: (Show a, Show b, Show c, Arbitrary a, Arbitrary b, Validity c)
=> a -> b -> c
-> Property

valueproducesValidsOnGens3

:: (Show a, Show b, Show c, Show d, Validity d)
=> a -> b -> c -> d
-> Gen (a, b, c)
-> (a, b, c) -> [(a, b, c)]
-> Property

valueproducesValid3

:: (Show a, Show b, Show c, Show d, GenValid a, GenValid b, GenValid c, Validity d)
=> a -> b -> c -> d
-> Property

valueproducesValidsOnArbitrary3

:: (Show a, Show b, Show c, Show d, Arbitrary a, Arbitrary b, Arbitrary c, Validity d)
=> a -> b -> c -> d
-> Property