Hoogle Search
Within LTS Haskell 24.38 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
identity :: (Show a, Eq a, GenValid a) => (a -> a -> a) -> a -> Propertygenvalidity-sydtest Test.Syd.Validity.Operations.Identity identity ((*) :: Int -> Int -> Int) 1
identity ((+) :: Int -> Int -> Int) 0
identityOnArbitrary :: (Show a, Eq a, Arbitrary a) => (a -> a -> a) -> a -> Propertygenvalidity-sydtest Test.Syd.Validity.Operations.Identity identityOnArbitrary ((*) :: Int -> Int -> Int) 1
identityOnArbitrary ((+) :: Int -> Int -> Int) 0
identityOnGen :: (Show a, Eq a) => (a -> a -> a) -> a -> Gen a -> (a -> [a]) -> Propertygenvalidity-sydtest Test.Syd.Validity.Operations.Identity idempotent :: (Show a, Eq a, GenValid a) => (a -> a) -> Propertygenvalidity-sydtest Test.Syd.Validity.Property No documentation available.
idempotentOnArbitrary :: (Show a, Eq a, Arbitrary a) => (a -> a) -> Propertygenvalidity-sydtest Test.Syd.Validity.Property id is idempotent for any type:
idempotentOnArbitrary (id :: Int -> Int)
const, given any input, is idempotent for any type as well:\int -> idempotentOnArbitrary (const int :: Int -> Int)
idempotentOnGen :: (Show a, Eq a) => (a -> a) -> Gen a -> (a -> [a]) -> Propertygenvalidity-sydtest Test.Syd.Validity.Property No documentation available.
identity :: (Show a, Eq a, GenValid a) => (a -> a -> a) -> a -> Propertygenvalidity-sydtest 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 -> Propertygenvalidity-sydtest 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]) -> Propertygenvalidity-sydtest Test.Syd.Validity.Property -
hxt Data.Function.Selector No documentation available.