Identity package:genvalidity-sydtest

module Test.Syd.Validity.Operations.Identity
genvalidity-sydtest
identity :: (Show a, Eq a, GenUnchecked a) => (a -> a -> a) -> a -> Property
genvalidity-sydtest Test.Syd.Validity Test.Syd.Validity.Operations Test.Syd.Validity.Operations.Identity Test.Syd.Validity.Property
identity ((*) :: Int -> Int -> Int) 1

identity ((+) :: Int -> Int -> Int) 0
identityOnArbitrary :: (Show a, Eq a, Arbitrary a) => (a -> a -> a) -> a -> Property
genvalidity-sydtest Test.Syd.Validity Test.Syd.Validity.Operations Test.Syd.Validity.Operations.Identity Test.Syd.Validity.Property
identityOnArbitrary ((*) :: Int -> Int -> Int) 1

identityOnArbitrary ((+) :: Int -> Int -> Int) 0
identityOnGen :: (Show a, Eq a) => (a -> a -> a) -> a -> Gen a -> (a -> [a]) -> Property
genvalidity-sydtest Test.Syd.Validity Test.Syd.Validity.Operations Test.Syd.Validity.Operations.Identity Test.Syd.Validity.Property
identityOnValid :: (Show a, Eq a, GenValid a) => (a -> a -> a) -> a -> Property
genvalidity-sydtest Test.Syd.Validity Test.Syd.Validity.Operations Test.Syd.Validity.Operations.Identity Test.Syd.Validity.Property
identityOnValid ((*) :: Rational -> Rational -> Rational) 1

identityOnValid ((+) :: Rational -> Rational -> Rational) 0
leftIdentity :: (Show a, Eq a, GenUnchecked a) => (b -> a -> a) -> b -> Property
genvalidity-sydtest Test.Syd.Validity Test.Syd.Validity.Operations Test.Syd.Validity.Operations.Identity Test.Syd.Validity.Property
leftIdentity (flip ((^) :: Int -> Int -> Int)) 1
leftIdentityOnArbitrary :: (Show a, Eq a, Arbitrary a) => (b -> a -> a) -> b -> Property
genvalidity-sydtest Test.Syd.Validity Test.Syd.Validity.Operations Test.Syd.Validity.Operations.Identity Test.Syd.Validity.Property
leftIdentityOnArbitrary (flip ((^) :: Int -> Int -> Int)) 1
leftIdentityOnElemWithEquality :: (b -> a -> a) -> (a -> a -> Bool) -> b -> a -> Bool
genvalidity-sydtest Test.Syd.Validity Test.Syd.Validity.Operations Test.Syd.Validity.Operations.Identity Test.Syd.Validity.Property
leftIdentityOnGen :: (Show a, Eq a) => (b -> a -> a) -> b -> Gen a -> (a -> [a]) -> Property
genvalidity-sydtest Test.Syd.Validity Test.Syd.Validity.Operations Test.Syd.Validity.Operations.Identity Test.Syd.Validity.Property
leftIdentityOnGenWithEquality :: Show a => (b -> a -> a) -> (a -> a -> Bool) -> b -> Gen a -> (a -> [a]) -> Property
genvalidity-sydtest Test.Syd.Validity Test.Syd.Validity.Operations Test.Syd.Validity.Operations.Identity Test.Syd.Validity.Property
leftIdentityOnValid :: (Show a, Eq a, GenValid a) => (b -> a -> a) -> b -> Property
genvalidity-sydtest Test.Syd.Validity Test.Syd.Validity.Operations Test.Syd.Validity.Operations.Identity Test.Syd.Validity.Property
leftIdentityOnValid (flip ((^) :: Rational -> Int -> Rational)) 1
rightIdentity :: (Show a, Eq a, GenUnchecked a) => (a -> b -> a) -> b -> Property
genvalidity-sydtest Test.Syd.Validity Test.Syd.Validity.Operations Test.Syd.Validity.Operations.Identity Test.Syd.Validity.Property
rightIdentity ((^) :: Int -> Int -> Int) 1
rightIdentityOnArbitrary :: (Show a, Eq a, Arbitrary a) => (a -> b -> a) -> b -> Property
genvalidity-sydtest Test.Syd.Validity Test.Syd.Validity.Operations Test.Syd.Validity.Operations.Identity Test.Syd.Validity.Property
rightIdentityOnArbitrary ((^) :: Int -> Int -> Int) 1
rightIdentityOnElemWithEquality :: (a -> b -> a) -> (a -> a -> Bool) -> b -> a -> Bool
genvalidity-sydtest Test.Syd.Validity Test.Syd.Validity.Operations Test.Syd.Validity.Operations.Identity Test.Syd.Validity.Property
rightIdentityOnGen :: (Show a, Eq a) => (a -> b -> a) -> b -> Gen a -> (a -> [a]) -> Property
genvalidity-sydtest Test.Syd.Validity Test.Syd.Validity.Operations Test.Syd.Validity.Operations.Identity Test.Syd.Validity.Property
rightIdentityOnGenWithEquality :: Show a => (a -> b -> a) -> (a -> a -> Bool) -> b -> Gen a -> (a -> [a]) -> Property
genvalidity-sydtest Test.Syd.Validity Test.Syd.Validity.Operations Test.Syd.Validity.Operations.Identity Test.Syd.Validity.Property
rightIdentityOnValid :: (Show a, Eq a, GenValid a) => (a -> b -> a) -> b -> Property
genvalidity-sydtest Test.Syd.Validity Test.Syd.Validity.Operations Test.Syd.Validity.Operations.Identity Test.Syd.Validity.Property
rightIdentityOnValid ((^) :: Rational -> Int -> Rational) 1