Hoogle Search

Within LTS Haskell 24.6 (ghc-9.10.2)

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

Exact lookup

1. eqMaybeE :: IsSql92ExpressionSyntax expr => expr -> expr -> expr -> expr

   beam-core	Database.Beam.Backend.SQL.SQL92

   Compare the first and second argument for nullable equality, if they are both not null, return the result of the third expression Some backends, like beam-postgres totally ignore the third result, because all equality there is sensible.

2. eqModels :: (Model a b, EqProp b) => a -> a -> Property

   checkers	Test.QuickCheck.Checkers

   No documentation available.

3. equals :: (Contiguous arr, Element arr b, Eq b) => arr b -> arr b -> Bool

   contiguous	Data.Primitive.Contiguous

   Test the two arrays for equality.

4. equalsMut :: Contiguous arr => Mutable arr s a -> Mutable arr s a -> Bool

   contiguous	Data.Primitive.Contiguous

   Test the two mutable arrays for pointer equality. Does not check equality of elements.

5. equals :: (Contiguous arr, Element arr b, Eq b) => arr b -> arr b -> Bool

   contiguous	Data.Primitive.Contiguous.Class

   Test the two arrays for equality.

6. equalsMut :: Contiguous arr => Mutable arr s a -> Mutable arr s a -> Bool

   contiguous	Data.Primitive.Contiguous.Class

   Test the two mutable arrays for pointer equality. Does not check equality of elements.

7. eqDeriver :: Deriver

   domain	Domain

   Derives Eq. Requires to have the StandaloneDeriving compiler extension enabled.

8. eqThreadId :: ThreadId -> ThreadId -> Bool

   effectful-core	Effectful.Internal.Utils

   No documentation available.

9. eqNat :: forall (n :: Nat) (m :: Nat) . (SNatI n, SNatI m) => Maybe (n :~: m)

   fin	Data.Type.Nat

   Decide equality of type-level numbers.

   >>> eqNat :: Maybe (Nat3 :~: Plus Nat1 Nat2)
   Just Refl
   

   >>> eqNat :: Maybe (Nat3 :~: Mult Nat2 Nat2)
   Nothing
   

10. eqTyConName :: Name

    ghc-typelits-presburger	GHC.TypeLits.Presburger.Compat

    No documentation available.

Page 105 of many | Previous | Next