Identity package:genvalidity-property

module Test.Validity.Operations.Identity
genvalidity-property
identity :: (Show a, Eq a, GenValid a) => (a -> a -> a) -> a -> Property
genvalidity-property Test.Validity.Operations.Identity Test.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-property Test.Validity.Operations.Identity Test.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-property Test.Validity.Operations.Identity Test.Validity.Property
leftIdentity :: (Show a, Eq a, GenValid a) => (b -> a -> a) -> b -> Property
genvalidity-property Test.Validity.Operations.Identity Test.Validity.Property
leftIdentity (flip ((^) :: Int -> Int -> Int)) 1
leftIdentityOnArbitrary :: (Show a, Eq a, Arbitrary a) => (b -> a -> a) -> b -> Property
genvalidity-property Test.Validity.Operations.Identity Test.Validity.Property
leftIdentityOnArbitrary (flip ((^) :: Int -> Int -> Int)) 1
leftIdentityOnElemWithEquality :: (b -> a -> a) -> (a -> a -> Bool) -> b -> a -> Bool
genvalidity-property Test.Validity.Operations.Identity Test.Validity.Property
leftIdentityOnGen :: (Show a, Eq a) => (b -> a -> a) -> b -> Gen a -> (a -> [a]) -> Property
genvalidity-property Test.Validity.Operations.Identity Test.Validity.Property
leftIdentityOnGenWithEquality :: Show a => (b -> a -> a) -> (a -> a -> Bool) -> b -> Gen a -> (a -> [a]) -> Property
genvalidity-property Test.Validity.Operations.Identity Test.Validity.Property
rightIdentity :: (Show a, Eq a, GenValid a) => (a -> b -> a) -> b -> Property
genvalidity-property Test.Validity.Operations.Identity Test.Validity.Property
rightIdentity ((^) :: Int -> Int -> Int) 1
rightIdentityOnArbitrary :: (Show a, Eq a, Arbitrary a) => (a -> b -> a) -> b -> Property
genvalidity-property Test.Validity.Operations.Identity Test.Validity.Property
rightIdentityOnArbitrary ((^) :: Int -> Int -> Int) 1
rightIdentityOnElemWithEquality :: (a -> b -> a) -> (a -> a -> Bool) -> b -> a -> Bool
genvalidity-property Test.Validity.Operations.Identity Test.Validity.Property
rightIdentityOnGen :: (Show a, Eq a) => (a -> b -> a) -> b -> Gen a -> (a -> [a]) -> Property
genvalidity-property Test.Validity.Operations.Identity Test.Validity.Property
rightIdentityOnGenWithEquality :: Show a => (a -> b -> a) -> (a -> a -> Bool) -> b -> Gen a -> (a -> [a]) -> Property
genvalidity-property Test.Validity.Operations.Identity Test.Validity.Property