Hoogle Search

Within LTS Haskell 24.63 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. megaSeqIdInfo :: IdInfo -> ()

   ghc	GHC.Core.Seq

   Evaluate all the fields of the IdInfo that are generally demanded by the compiler

2. 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

3. 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

4. cloneRecIdBndrs :: MonadUnique m => Subst -> [Id] -> m (Subst, [Id])

   ghc	GHC.Core.Subst

   Clone a mutually recursive group of Ids

5. extendIdSubst :: Subst -> Id -> CoreExpr -> Subst

   ghc	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

6. extendIdSubstList :: Subst -> [(Id, CoreExpr)] -> Subst

   ghc	GHC.Core.Subst

   Adds multiple Id substitutions to the Subst: see also extendIdSubst

7. extendIdSubstWithClone :: Subst -> Id -> Id -> Subst

   ghc	GHC.Core.Subst

   No documentation available.

8. lookupIdSubst :: HasDebugCallStack => Subst -> Id -> CoreExpr

   ghc	GHC.Core.Subst

   Find the substitution for an Id in the Subst The Id should not be a CoVar

9. lookupIdSubst_maybe :: HasDebugCallStack => Subst -> Id -> Maybe CoreExpr

   ghc	GHC.Core.Subst

   No documentation available.

10. substIdInfo :: Subst -> Id -> IdInfo -> Maybe IdInfo

    ghc	GHC.Core.Subst

    Substitute into some IdInfo with regard to the supplied new Id. Discards unfoldings, unless they are Stable

Page 495 of many | Previous | Next