{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE ScopedTypeVariables #-}
module Test.Validity.Operations.Associativity
( associativeOnGens
, associativeOnValids
, associative
, associativeOnArbitrary
) where
import Data.GenValidity
import Test.Hspec
import Test.QuickCheck
associativeOnGens ::
(Show a, Eq a)
=> (a -> a -> a)
-> Gen (a, a, a)
-> ((a, a, a) -> [(a, a, a)])
-> Property
associativeOnGens :: (a -> a -> a)
-> Gen (a, a, a) -> ((a, a, a) -> [(a, a, a)]) -> Property
associativeOnGens op :: a -> a -> a
op gen :: Gen (a, a, a)
gen s :: (a, a, a) -> [(a, a, a)]
s =
Gen (a, a, a)
-> ((a, a, a) -> [(a, a, a)])
-> ((a, a, a) -> Expectation)
-> Property
forall a prop.
(Show a, Testable prop) =>
Gen a -> (a -> [a]) -> (a -> prop) -> Property
forAllShrink Gen (a, a, a)
gen (a, a, a) -> [(a, a, a)]
s (((a, a, a) -> Expectation) -> Property)
-> ((a, a, a) -> Expectation) -> Property
forall a b. (a -> b) -> a -> b
$ \(a :: a
a, b :: a
b, c :: a
c) ->
((a
a a -> a -> a
`op` a
b) a -> a -> a
`op` a
c) a -> a -> Expectation
forall a. (HasCallStack, Show a, Eq a) => a -> a -> Expectation
`shouldBe` (a
a a -> a -> a
`op` (a
b a -> a -> a
`op` a
c))
associativeOnValids :: (Show a, Eq a, GenValid a) => (a -> a -> a) -> Property
associativeOnValids :: (a -> a -> a) -> Property
associativeOnValids op :: a -> a -> a
op = (a -> a -> a)
-> Gen (a, a, a) -> ((a, a, a) -> [(a, a, a)]) -> Property
forall a.
(Show a, Eq a) =>
(a -> a -> a)
-> Gen (a, a, a) -> ((a, a, a) -> [(a, a, a)]) -> Property
associativeOnGens a -> a -> a
op Gen (a, a, a)
forall a. GenValid a => Gen a
genValid (a, a, a) -> [(a, a, a)]
forall a. GenValid a => a -> [a]
shrinkValid
associative :: (Show a, Eq a, GenUnchecked a) => (a -> a -> a) -> Property
associative :: (a -> a -> a) -> Property
associative op :: a -> a -> a
op = (a -> a -> a)
-> Gen (a, a, a) -> ((a, a, a) -> [(a, a, a)]) -> Property
forall a.
(Show a, Eq a) =>
(a -> a -> a)
-> Gen (a, a, a) -> ((a, a, a) -> [(a, a, a)]) -> Property
associativeOnGens a -> a -> a
op Gen (a, a, a)
forall a. GenUnchecked a => Gen a
genUnchecked (a, a, a) -> [(a, a, a)]
forall a. GenUnchecked a => a -> [a]
shrinkUnchecked
associativeOnArbitrary ::
(Show a, Eq a, Arbitrary a) => (a -> a -> a) -> Property
associativeOnArbitrary :: (a -> a -> a) -> Property
associativeOnArbitrary op :: a -> a -> a
op = (a -> a -> a)
-> Gen (a, a, a) -> ((a, a, a) -> [(a, a, a)]) -> Property
forall a.
(Show a, Eq a) =>
(a -> a -> a)
-> Gen (a, a, a) -> ((a, a, a) -> [(a, a, a)]) -> Property
associativeOnGens a -> a -> a
op Gen (a, a, a)
forall a. Arbitrary a => Gen a
arbitrary (a, a, a) -> [(a, a, a)]
forall a. Arbitrary a => a -> [a]
shrink