Hoogle Search
Within LTS Haskell 24.18 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
eqForAllVis :: ForAllTyFlag -> ForAllTyFlag -> Boolghc GHC.Core.TyCo.Compare 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 :: Type -> Type -> Boolghc GHC.Core.TyCo.Compare 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.
eqTypeX :: RnEnv2 -> Type -> Type -> Boolghc GHC.Core.TyCo.Compare Compare types with respect to a (presumably) non-empty RnEnv2.
eqTypes :: [Type] -> [Type] -> Boolghc GHC.Core.TyCo.Compare Type equality on lists of types, looking through type synonyms but not newtypes.
eqVarBndrs :: RnEnv2 -> [Var] -> [Var] -> Maybe RnEnv2ghc GHC.Core.TyCo.Compare No documentation available.
equal :: (Eq a, Eq b, Graph gr) => gr a b -> gr a b -> Boolghc GHC.Data.Graph.Inductive.Graph No documentation available.
equivClasses :: (a -> a -> Ordering) -> [a] -> [NonEmpty a]ghc GHC.Data.List.SetOps No documentation available.
equivalent :: Point s a -> Point s a -> ST s Boolghc GHC.Data.UnionFind Test if two points are in the same equivalence class.
eqPhase :: Phase -> Phase -> Boolghc GHC.Driver.Phases No documentation available.
eqEmptyLocalBinds :: HsLocalBindsLR a b -> Boolghc GHC.Hs.Binds No documentation available.