Hoogle Search
Within LTS Haskell 24.26 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
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.
lookupTyConFieldLabel :: FieldLabelString -> TyCon -> Maybe FieldLabelghc GHC.Core.TyCon Look up a field label belonging to this TyCon
lookupDTyConEnv :: DTyConEnv a -> TyCon -> Maybe aghc GHC.Core.TyCon.Env No documentation available.