Hoogle Search
Within LTS Haskell 24.41 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
-
ghc GHC.Core.Predicate No documentation available.
addIdSpecialisations :: Id -> [CoreRule] -> Idghc GHC.Core.Rules No documentation available.
addRulesToId :: RuleBase -> Id -> Idghc GHC.Core.Rules No documentation available.
-
ghc GHC.Core.Seq Evaluate all the fields of the IdInfo that are generally demanded by the compiler
cloneIdBndr :: Subst -> UniqSupply -> Id -> (Subst, Id)ghc GHC.Core.Subst Very similar to substBndr, but it always allocates a new Unique for each variable in its output. It substitutes the IdInfo though. Discards non-Stable unfoldings
cloneIdBndrs :: Subst -> UniqSupply -> [Id] -> (Subst, [Id])ghc GHC.Core.Subst Applies cloneIdBndr to a number of Ids, accumulating a final substitution from left to right Discards non-Stable unfoldings
cloneRecIdBndrs :: MonadUnique m => Subst -> [Id] -> m (Subst, [Id])ghc GHC.Core.Subst Clone a mutually recursive group of Ids
extendIdSubst :: Subst -> Id -> CoreExpr -> Substghc GHC.Core.Subst Add a substitution for an Id to the Subst: you must ensure that the in-scope set is such that TyCoSubst Note [The substitution invariant] holds after extending the substitution like this
extendIdSubstList :: Subst -> [(Id, CoreExpr)] -> Substghc GHC.Core.Subst Adds multiple Id substitutions to the Subst: see also extendIdSubst
extendIdSubstWithClone :: Subst -> Id -> Id -> Substghc GHC.Core.Subst No documentation available.