Modulegenvalidity-property-1.0.0.0Haskell2010

Test.Validity.Functions.Equivalence

Synopsis

value equivalentOnGen
value equivalent
value equivalentOnArbitrary
value equivalentOnGens2
value equivalent2
value equivalentOnArbitrary2
value equivalentWhenFirstSucceedsOnGen
value equivalentWhenFirstSucceeds
value equivalentWhenFirstSucceedsOnArbitrary
value equivalentWhenFirstSucceedsOnGens2
value equivalentWhenFirstSucceeds2
value equivalentWhenFirstSucceedsOnArbitrary2
value equivalentWhenSecondSucceedsOnGen
value equivalentWhenSecondSucceeds
value equivalentWhenSecondSucceedsOnArbitrary
value equivalentWhenSecondSucceedsOnGens2
value equivalentWhenSecondSucceeds2
value equivalentWhenSecondSucceedsOnArbitrary2
value equivalentWhenSucceedOnGen
value equivalentWhenSucceed
value equivalentWhenSucceedOnArbitrary
value equivalentWhenSucceedOnGens2
value equivalentWhenSucceed2
value equivalentWhenSucceedOnArbitrary2
value equivalentOnGens3
value equivalent3
value equivalentOnArbitrary3

Packagegenvalidity-property-1.0.0.0
Exports27
LanguageHaskell2010
LicenceMIT
SourceEquivalence.hs

valueequivalentOnGen

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

valueequivalent

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

valueequivalentOnArbitrary

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

Source#

Property

prop> equivalentOnArbitrary ((* 2) . (+ 1)) ((+ 2) . (* 2) :: Int -> Int)

valueequivalentOnGens2

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

valueequivalent2

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

valueequivalentOnArbitrary2

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

Source#

Property

prop> equivalentOnArbitrary2 (+) ((+) :: Int -> Int -> Int)

valueequivalentWhenFirstSucceedsOnGen

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

valueequivalentWhenFirstSucceeds

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

valueequivalentWhenFirstSucceedsOnArbitrary

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

valueequivalentWhenFirstSucceedsOnGens2

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

valueequivalentWhenFirstSucceeds2

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

valueequivalentWhenFirstSucceedsOnArbitrary2

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

valueequivalentWhenSecondSucceedsOnGen

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

valueequivalentWhenSecondSucceeds

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

valueequivalentWhenSecondSucceedsOnArbitrary

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

valueequivalentWhenSecondSucceedsOnGens2

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

valueequivalentWhenSecondSucceeds2

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

valueequivalentWhenSecondSucceedsOnArbitrary2

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

valueequivalentWhenSucceedOnGen

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

valueequivalentWhenSucceed

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

valueequivalentWhenSucceedOnArbitrary

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

valueequivalentWhenSucceedOnGens2

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

valueequivalentWhenSucceed2

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

valueequivalentWhenSucceedOnArbitrary2

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

valueequivalentOnGens3

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

valueequivalent3

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

valueequivalentOnArbitrary3

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