Skip to content

HORIZON HASKELL Docs lts/ghc-9.14.x3e2d5682026-10-11Search names, modules, packages, or :: a typeCtrl K

GHC 9.14.1 · lts/ghc-9.14.x · 3e2d568 · 2026-10-11

Modulegenvalidity-property-1.0.0.0Haskell2010

Test.Validity.Functions.CanFail

17 values

Packagegenvalidity-property-1.0.0.0
Exports17
LanguageHaskell2010
LicenceMIT
SourceCanFail.hs

valuesucceedsOnGen

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

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

The function succeeds if the input is generated by genValid

valuesucceedsOnArbitrary

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

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

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

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

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

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