Hoogle Search

Within LTS Haskell 24.64 (ghc-9.10.3)

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

  1. xsd_ID :: String

    hxt Text.XML.HXT.XMLSchema.DataTypeLibW3CNames

    No documentation available.

  2. xsd_IDREF :: String

    hxt Text.XML.HXT.XMLSchema.DataTypeLibW3CNames

    No documentation available.

  3. xsd_IDREFS :: String

    hxt Text.XML.HXT.XMLSchema.DataTypeLibW3CNames

    No documentation available.

  4. 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

  5. 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).

  6. 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.

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

    leancheck Test.LeanCheck.Utils.Operators

    Deprecated: Use isNeverIdentity.

  8. data Validation e a

    selective Control.Selective

    Selective instance for the standard applicative functor Validation. This is a good example of a non-trivial selective functor which is not a monad.

  9. module Data.Singletons.Decide

    Defines the class SDecide, allowing for decidable equality over singletons.

  10. class SDecide k

    singletons Data.Singletons.Decide

    Members of the SDecide "kind" class support decidable equality. Instances of this class are generated alongside singleton definitions for datatypes that derive an Eq instance.

Page 499 of many | Previous | Next