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.

Exact lookup

1. ideclSafe :: ImportDecl pass -> Bool

   ghc	Language.Haskell.Syntax.ImpExp

   True => safe import

2. ideclSource :: ImportDecl pass -> IsBootInterface

   ghc	Language.Haskell.Syntax.ImpExp

   IsBoot = {-# SOURCE #-} import

3. idempotent :: (Show a, Eq a, GenValid a) => (a -> a) -> Property

   genvalidity-hspec	Test.Validity

   No documentation available.

4. idempotentOnArbitrary :: (Show a, Eq a, Arbitrary a) => (a -> a) -> Property

   genvalidity-hspec	Test.Validity

   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)
   

5. idempotentOnGen :: (Show a, Eq a) => (a -> a) -> Gen a -> (a -> [a]) -> Property

   genvalidity-hspec	Test.Validity

   No documentation available.

6. identity :: (Show a, Eq a, GenValid a) => (a -> a -> a) -> a -> Property

   genvalidity-hspec	Test.Validity

   identity ((*) :: Int -> Int -> Int) 1
   

   identity ((+) :: Int -> Int -> Int) 0
   

7. identityOnArbitrary :: (Show a, Eq a, Arbitrary a) => (a -> a -> a) -> a -> Property

   genvalidity-hspec	Test.Validity

   identityOnArbitrary ((*) :: Int -> Int -> Int) 1
   

   identityOnArbitrary ((+) :: Int -> Int -> Int) 0
   

8. identityOnGen :: (Show a, Eq a) => (a -> a -> a) -> a -> Gen a -> (a -> [a]) -> Property

   genvalidity-hspec	Test.Validity

9. idempotentSemigroupLaws :: (Semigroup a, Eq a, Arbitrary a, Show a) => Proxy a -> Laws

   quickcheck-classes	Test.QuickCheck.Classes

   Tests the following properties:

   • Idempotent a <> a ≡ a
   Note that this does not test associativity. Make sure to use semigroupLaws in addition to this set of laws. In literature, this class of semigroup is known as a band.

10. iDATSignature :: ChunkSignature

    JuicyPixels	Codec.Picture.Png.Internal.Type

    Signature for a data chuck (with image parts in it)

Page 275 of many | Previous | Next