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.
-
ghc-lib-parser GHC.Tc.Types.Constraint No documentation available.
-
ghc-lib-parser GHC.Tc.Types.Constraint No documentation available.
eqForAllVis :: ForAllTyFlag -> ForAllTyFlag -> Boolghc-lib-parser GHC.Tc.Utils.TcType Do these denote the same level of visibility? Required arguments are visible, others are not. So this function equates Specified and Inferred. Used for printing.
eqType :: HasCallStack => Type -> Type -> Boolghc-lib-parser GHC.Tc.Utils.TcType Type equality comparing both visible and invisible arguments, expanding synonyms and respecting multiplicities.
eqTypeX :: HasCallStack => RnEnv2 -> Type -> Type -> Boolghc-lib-parser GHC.Tc.Utils.TcType Compare types with respect to a (presumably) non-empty RnEnv2.
eqTypes :: [Type] -> [Type] -> Boolghc-lib-parser GHC.Tc.Utils.TcType Type equality on lists of types, looking through type synonyms
eqVarBndrs :: HasCallStack => RnEnv2 -> [Var] -> [Var] -> Maybe RnEnv2ghc-lib-parser GHC.Tc.Utils.TcType No documentation available.
eqLocated :: Eq a => GenLocated l a -> GenLocated l a -> Boolghc-lib-parser GHC.Types.SrcLoc Tests whether the two located things are equal
eqUnique :: Unique -> Unique -> Boolghc-lib-parser GHC.Types.Unique No documentation available.
equateUSDFM :: Uniquable key => UniqSDFM key ele -> key -> key -> (Maybe ele, UniqSDFM key ele)ghc-lib-parser 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)])