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.
eqModels :: (Model a b, EqProp b) => a -> a -> Propertycheckers Test.QuickCheck.Checkers No documentation available.
equals :: (Contiguous arr, Element arr b, Eq b) => arr b -> arr b -> Boolcontiguous Data.Primitive.Contiguous Test the two arrays for equality.
equalsMut :: Contiguous arr => Mutable arr s a -> Mutable arr s a -> Boolcontiguous Data.Primitive.Contiguous Test the two mutable arrays for pointer equality. Does not check equality of elements.
equals :: (Contiguous arr, Element arr b, Eq b) => arr b -> arr b -> Boolcontiguous Data.Primitive.Contiguous.Class Test the two arrays for equality.
equalsMut :: Contiguous arr => Mutable arr s a -> Mutable arr s a -> Boolcontiguous Data.Primitive.Contiguous.Class Test the two mutable arrays for pointer equality. Does not check equality of elements.
-
domain Domain Derives Eq. Requires to have the StandaloneDeriving compiler extension enabled.
eqThreadId :: ThreadId -> ThreadId -> Booleffectful-core Effectful.Internal.Utils No documentation available.
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
-
ghc-typelits-presburger GHC.TypeLits.Presburger.Compat No documentation available.
eqType :: Type -> Type -> Boolghc-typelits-presburger GHC.TypeLits.Presburger.Compat Type equality on source types. Does not look through newtypes, PredTypes or type families, but it does look through type synonyms. This first checks that the kinds of the types are equal and then checks whether the types are equal, ignoring casts and coercions. (The kind check is a recursive call, but since all kinds have type Type, there is no need to check the types of kinds.) See also Note [Non-trivial definitional equality] in GHC.Core.TyCo.Rep.