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.
liftedIdsExpander :: LiftM (DIdSet -> DIdSet)ghc GHC.Stg.Lift.Monad Creates an expander function for the current set of lifted binders. This expander function will replace any InId by their corresponding OutId and, in addition, will expand any lifted binders by the former free variables it abstracts over.
lookupIdSubst :: HasCallStack => Id -> Subst -> Idghc GHC.Stg.Subst Substitutes an occurrence of an identifier for its counterpart recorded in the Subst.
noWarnLookupIdSubst :: HasCallStack => Id -> Subst -> Idghc GHC.Stg.Subst Substitutes an occurrence of an identifier for its counterpart recorded in the Subst. Does not generate a debug warning if the identifier to to substitute wasn't in scope.
mkUnarisedId :: MonadUnique m => FastString -> UnaryType -> m Idghc GHC.Stg.Utils No documentation available.
mkUnarisedIds :: MonadUnique m => FastString -> [UnaryType] -> m [Id]ghc GHC.Stg.Utils No documentation available.
-
ghc GHC.StgToCmm.Closure No documentation available.
-
ghc GHC.StgToCmm.Closure No documentation available.
addIdReps :: [NonVoid Id] -> [NonVoid (PrimRep, Id)]ghc GHC.StgToCmm.Closure Assumes that Ids have one PrimRep, which holds after unarisation. See Note [Post-unarisation invariants] in GHC.Stg.Unarise.
assertNonVoidIds :: [Id] -> [NonVoid Id]ghc GHC.StgToCmm.Closure Used in places where some invariant ensures that all these Ids are non-void; e.g. constructor field binders in case expressions. See Note [Post-unarisation invariants] in GHC.Stg.Unarise.
assertNonVoidStgArgs :: [StgArg] -> [NonVoid StgArg]ghc GHC.StgToCmm.Closure Used in places where some invariant ensures that all these arguments are non-void; e.g. constructor arguments. See Note [Post-unarisation invariants] in GHC.Stg.Unarise.