Hoogle Search

Within LTS Haskell 24.66 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. pubidLiteral :: XParser s String

   hxt	Text.XML.HXT.Parser.XmlTokenParser

   No documentation available.

2. xsd_ID :: String

   hxt	Text.XML.HXT.XMLSchema.DataTypeLibW3CNames

   No documentation available.

3. xsd_IDREF :: String

   hxt	Text.XML.HXT.XMLSchema.DataTypeLibW3CNames

   No documentation available.

4. xsd_IDREFS :: String

   hxt	Text.XML.HXT.XMLSchema.DataTypeLibW3CNames

   No documentation available.

5. isIdempotent :: Eq a => (a -> a) -> a -> Bool

   leancheck	Test.LeanCheck.Utils.Operators

   Is the given function idempotent? f (f x) == x

   > check $ isIdempotent abs
   +++ OK, passed 200 tests.
   

   > check $ isIdempotent sort
   +++ OK, passed 200 tests.
   

   > check $ isIdempotent negate
   *** Failed! Falsifiable (after 2 tests):
   1
   

6. isIdentity :: Eq a => (a -> a) -> a -> Bool

   leancheck	Test.LeanCheck.Utils.Operators

   Is the given function an identity? f x == x

   > check $ isIdentity (+0)
   +++ OK, passed 200 tests.
   

   > check $ isIdentity (sort :: [()]->[()])
   +++ OK, passed 200 tests.
   

   > check $ isIdentity (not . not)
   +++ OK, passed 2 tests (exhausted).
   

7. isNeverIdentity :: Eq a => (a -> a) -> a -> Bool

   leancheck	Test.LeanCheck.Utils.Operators

   Is the given function never an identity? f x /= x

   > check $ neverIdentity not
   +++ OK, passed 2 tests (exhausted).
   

   > check $ neverIdentity negate
   *** Failed! Falsifiable (after 1 tests):
   0
   

   Note: this is not the same as not being an identity.

8. neverIdentity :: Eq a => (a -> a) -> a -> Bool

   leancheck	Test.LeanCheck.Utils.Operators

   Deprecated: Use isNeverIdentity.

9. commutativeMonoidLaws :: (Monoid a, Eq a, Arbitrary a, Show a) => Proxy a -> Laws

   quickcheck-classes-base	Test.QuickCheck.Classes.Base

   Tests the following properties:

   • Commutative mappend a b ≡ mappend b a
   Note that this does not test associativity or identity. Make sure to use monoidLaws in addition to this set of laws.

10. monoidLaws :: (Monoid a, Eq a, Arbitrary a, Show a) => Proxy a -> Laws

    quickcheck-classes-base	Test.QuickCheck.Classes.Base

    Tests the following properties:

    • Associative mappend a (mappend b c) ≡ mappend (mappend a b) c
    • Left Identity mappend mempty a ≡ a
    • Right Identity mappend a mempty ≡ a
    • Concatenation mconcat as ≡ foldr mappend mempty as

Page 733 of many | Previous | Next