Hoogle Search
Within LTS Haskell 24.32 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
eqDeBruijnVar :: DeBruijn Var -> DeBruijn Var -> Boolghc-lib-parser GHC.Core.Map.Type No documentation available.
-
ghc-lib-parser GHC.Core.Predicate No documentation available.
eqForAllVis :: ForAllTyFlag -> ForAllTyFlag -> Boolghc-lib-parser 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 :: HasCallStack => Type -> Type -> Boolghc-lib-parser GHC.Core.TyCo.Compare Type equality comparing both visible and invisible arguments, expanding synonyms and respecting multiplicities.
eqTypeIgnoringMultiplicity :: Type -> Type -> Boolghc-lib-parser GHC.Core.TyCo.Compare No documentation available.
eqTypeX :: HasCallStack => RnEnv2 -> Type -> Type -> Boolghc-lib-parser GHC.Core.TyCo.Compare Compare types with respect to a (presumably) non-empty RnEnv2.
eqTypes :: [Type] -> [Type] -> Boolghc-lib-parser GHC.Core.TyCo.Compare Type equality on lists of types, looking through type synonyms
eqVarBndrs :: HasCallStack => RnEnv2 -> [Var] -> [Var] -> Maybe RnEnv2ghc-lib-parser GHC.Core.TyCo.Compare No documentation available.
equivClasses :: (a -> a -> Ordering) -> [a] -> [NonEmpty a]ghc-lib-parser GHC.Data.List.SetOps No documentation available.
eqPhase :: Phase -> Phase -> Boolghc-lib-parser GHC.Driver.Phases No documentation available.