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.
lookupTypeMap :: TypeMap a -> Type -> Maybe aghc GHC.Core.Map.Type No documentation available.
lookupTypeMapWithScope :: TypeMap a -> CmEnv -> Type -> Maybe aghc GHC.Core.Map.Type No documentation available.
lookupRecBndr :: SimplEnv -> InId -> OutIdghc GHC.Core.Opt.Simplify.Env No documentation available.
lookupRM :: [RoughMatchLookupTc] -> RoughMap a -> [a]ghc GHC.Core.RoughMap Order of result is deterministic.
lookupRM' :: [RoughMatchLookupTc] -> RoughMap a -> (Bag a, [a])ghc GHC.Core.RoughMap N.B. Returns a Bag for matches, which allows us to avoid rebuilding all of the lists we find in rm_empty, which would otherwise be necessary due to ++ if we returned a list. We use a list for unifiers because the tail is computed lazily and we often only care about the first couple of potential unifiers. Constructing a bag forces the tail which performs much too much work. See Note [Matching a RoughMap] See Note [Matches vs Unifiers]
-
ghc GHC.Core.Rules The main rule matching function. Attempts to apply all (active) supplied rules to this instance of an application in a given context, returning the rule applied and the resulting expression if successful.
lookupIdSubst :: HasDebugCallStack => Subst -> Id -> CoreExprghc GHC.Core.Subst Find the substitution for an Id in the Subst The Id should not be a CoVar
lookupIdSubst_maybe :: HasDebugCallStack => Subst -> Id -> Maybe CoreExprghc GHC.Core.Subst No documentation available.
lookupCoVar :: Subst -> Var -> Maybe Coercionghc GHC.Core.TyCo.Subst No documentation available.
lookupTyVar :: Subst -> TyVar -> Maybe Typeghc GHC.Core.TyCo.Subst No documentation available.