Hoogle Search
Within LTS Haskell 24.65 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
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.
-
hxt Text.XML.HXT.Arrow.XmlState.TypeDefs No documentation available.
idempotent :: Eq a => (a -> a) -> a -> Boolleancheck Test.LeanCheck.Utils.Operators Deprecated: Use isIdempotent.
identity :: Eq a => (a -> a) -> a -> Boolleancheck Test.LeanCheck.Utils.Operators Deprecated: Use isIdentity.
idempotentSemigroupLaws :: (Semigroup a, Eq a, Arbitrary a, Show a) => Proxy a -> Lawsquickcheck-classes-base Test.QuickCheck.Classes.Base Tests the following properties:
- Idempotent a <> a ≡ a