Hoogle Search
Within LTS Haskell 24.37 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
eqTypeX :: RnEnv2 -> Type -> Type -> Boolghc GHC.Tc.Utils.TcType Compare types with respect to a (presumably) non-empty RnEnv2.
eqTypes :: [Type] -> [Type] -> Boolghc GHC.Tc.Utils.TcType Type equality on lists of types, looking through type synonyms but not newtypes.
eqVarBndrs :: RnEnv2 -> [Var] -> [Var] -> Maybe RnEnv2ghc GHC.Tc.Utils.TcType No documentation available.
eqLocated :: Eq a => GenLocated l a -> GenLocated l a -> Boolghc GHC.Types.SrcLoc Tests whether the two located things are equal
eqUnique :: Unique -> Unique -> Boolghc GHC.Types.Unique No documentation available.
equateUSDFM :: Uniquable key => UniqSDFM key ele -> key -> key -> (Maybe ele, UniqSDFM key ele)ghc GHC.Types.Unique.SDFM equateUSDFM env x y makes x and y point to the same entry, thereby merging x's class with y's. If both x and y are in the domain of the map, then y's entry will be chosen as the new entry and x's old entry will be returned. Examples in terms of the model (see UniqSDFM): >>> equateUSDFM [] u1 u2 == (Nothing, [({u1,u2}, Nothing)]) >>> equateUSDFM [({u1,u3}, Just ele1)] u3 u4 == (Nothing, [({u1,u3,u4}, Just ele1)]) >>> equateUSDFM [({u1,u3}, Just ele1)] u4 u3 == (Nothing, [({u1,u3,u4}, Just ele1)]) >>> equateUSDFM [({u1,u3}, Just ele1), ({u2}, Just ele2)] u3 u2 == (Just ele1, [({u2,u1,u3}, Just ele2)])
equalLength :: [a] -> [b] -> Boolghc GHC.Utils.Misc True if length xs == length ys
-
ghc GHC.Utils.Outputable No documentation available.
-
ghc GHC.Utils.Ppr No documentation available.
equalPred :: Type -> Type -> Predth-abstraction Language.Haskell.TH.Datatype Construct an equality constraint. The implementation of Pred varies across versions of Template Haskell.