Hoogle Search
Within LTS Haskell 24.61 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
lookupRM' :: [RoughMatchLookupTc] -> RoughMap a -> (Bag a, [a])ghc-lib-parser 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-lib-parser 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-lib-parser 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-lib-parser GHC.Core.Subst No documentation available.
lookupCoVar :: Subst -> Var -> Maybe Coercionghc-lib-parser GHC.Core.TyCo.Subst No documentation available.
lookupTyVar :: Subst -> TyVar -> Maybe Typeghc-lib-parser GHC.Core.TyCo.Subst No documentation available.
lookupTyConFieldLabel :: FieldLabelString -> TyCon -> Maybe FieldLabelghc-lib-parser GHC.Core.TyCon Look up a field label belonging to this TyCon
lookupDTyConEnv :: DTyConEnv a -> TyCon -> Maybe aghc-lib-parser GHC.Core.TyCon.Env No documentation available.
lookupTyConEnv :: TyConEnv a -> TyCon -> Maybe aghc-lib-parser GHC.Core.TyCon.Env No documentation available.
lookupTyConEnv_NF :: TyConEnv a -> TyCon -> aghc-lib-parser GHC.Core.TyCon.Env No documentation available.