Modulegenvalidity-sydtest-1.0.1.0Haskell2010

Test.Syd.Validity.Functions.CanFail

Synopsis

value succeedsOnGen
value succeeds
value succeedsOnArbitrary
value succeedsOnGens2
value succeeds2
value succeedsOnArbitrary2
value failsOnGen
value failsOnGens2
value validIfSucceedsOnGen
value validIfSucceedsOnArbitrary
value validIfSucceeds
value validIfSucceedsOnGens2
value validIfSucceeds2
value validIfSucceedsOnArbitrary2
value validIfSucceedsOnGens3
value validIfSucceeds3
value validIfSucceedsOnArbitrary3

Packagegenvalidity-sydtest-1.0.1.0
Exports17
LanguageHaskell2010
LicenceMIT
SourceCanFail.hs

valuesucceedsOnGen

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

Source#

The function succeeds if the input is generated by the given generator

valuesucceeds

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

Source#

The function succeeds if the input is generated by genValid

valuesucceedsOnArbitrary

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

Source#

The function succeeds if the input is generated by arbitrary

valuesucceedsOnGens2

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

valuesucceeds2

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

valuesucceedsOnArbitrary2

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

valuefailsOnGen

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

Source#

The function fails if the input is generated by the given generator

valuefailsOnGens2

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

valuevalidIfSucceedsOnGen

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

Source#

The function produces output that satisfies isValid if it is given input that is generated by the given generator.

valuevalidIfSucceedsOnArbitrary

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

Source#

The function produces output that satisfies isValid if it is given input that is generated by arbitrary.

valuevalidIfSucceeds

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

Source#

The function produces output that satisfies isValid if it is given input that is generated by genValid.

valuevalidIfSucceedsOnGens2

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

valuevalidIfSucceeds2

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

valuevalidIfSucceedsOnArbitrary2

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

valuevalidIfSucceedsOnGens3

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

valuevalidIfSucceeds3

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

valuevalidIfSucceedsOnArbitrary3

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