Modulegenvalidity-sydtest-1.0.0.0Haskell2010

Test.Syd.Validity.Functions.Equivalence

27 values

Packagegenvalidity-sydtest-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

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

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