Hoogle Search

Within LTS Haskell 24.31 (ghc-9.10.3)

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

  1. class Eq a

    verset Verset

    The Eq class defines equality (==) and inequality (/=). All the basic datatypes exported by the Prelude are instances of Eq, and Eq may be derived for any datatype whose constituents are also instances of Eq. The Haskell Report defines no laws for Eq. However, instances are encouraged to follow these properties:

    • Reflexivity x == x = True
    • Symmetry x == y = y == x
    • Transitivity if x == y && y == z = True, then x == z = True
    • Extensionality if x == y = True and f is a function whose return type is an instance of Eq, then f x == f y = True
    • Negation x /= y = not (x == y)

  2. EQ :: Ordering

    xmonad-contrib XMonad.Config.Prime

    No documentation available.

  3. class Eq a

    xmonad-contrib XMonad.Config.Prime

    The Eq class defines equality (==) and inequality (/=). All the basic datatypes exported by the Prelude are instances of Eq, and Eq may be derived for any datatype whose constituents are also instances of Eq. The Haskell Report defines no laws for Eq. However, instances are encouraged to follow these properties:

    • Reflexivity x == x = True
    • Symmetry x == y = y == x
    • Transitivity if x == y && y == z = True, then x == z = True
    • Extensionality if x == y = True and f is a function whose return type is an instance of Eq, then f x == f y = True
    • Negation x /= y = not (x == y)

  4. eq :: (ByteArrayAccess bs1, ByteArrayAccess bs2) => bs1 -> bs2 -> Bool

    memory Data.ByteArray

    Check if two bytearray are equals This is not constant time, as soon some byte differs the function will returns. use constEq in sensitive context where timing matters.

  5. eq :: (Vector v a, Eq a) => v a -> v a -> Bool

    rio RIO.Vector

    No documentation available.

  6. eq :: XParser s ()

    hxt Text.XML.HXT.Parser.XmlTokenParser

    No documentation available.

  7. eq :: (Eq v, Eq a) => v a -> v a -> Bool

    numeric-prelude Algebra.Vector

    No documentation available.

  8. eq :: forall a (m :: Type -> Type) . (Eq a, Monad m) => a -> Predicate m a

    skeletest Skeletest.Internal.Predicate

    A predicate checking if the input is equal to the given value 

    >>> 1 `shouldSatisfy` P.eq 1

  9. eq :: forall a (m :: Type -> Type) . (Eq a, Monad m) => a -> Predicate m a

    skeletest Skeletest.Predicate

    A predicate checking if the input is equal to the given value 

    >>> 1 `shouldSatisfy` P.eq 1

  10. eq :: Proxy x -> Proxy y -> Proxy (EQT x y)

    tfp Type.Data.Ord

    No documentation available.

Page 14 of many | Previous | Next