Moduleghc-9.14.1GHC2021

GHC.Stg.Utils

Synopsis

valuemkStgAltTypeFromStgAlts :: Id -> [GenStgAlt p] -> AltType

valuebindersOf :: BinderP a ~ Id => GenStgBinding a -> [Id]

valuebindersOfX :: GenStgBinding a -> [BinderP a]

valuebindersOfTop :: BinderP a ~ Id => GenStgTopBinding a -> [Id]

valuebindersOfTopBinds :: BinderP a ~ Id => [GenStgTopBinding a] -> [Id]

valuestripStgTicksTop

Strip ticks of a given type from an STG expression.

valuestripStgTicksTopE :: (StgTickish -> Bool) -> GenStgExpr p -> GenStgExpr p

Strip ticks of a given type from an STG expression returning only the expression.

valueidArgs :: [StgArg] -> [Id]

valuemkUnarisedId :: MonadUnique m => FastString -> NvUnaryType -> m Id

valuemkUnarisedIds :: MonadUnique m => FastString -> [NvUnaryType] -> m [Id]

valueallowTopLevelConApp

Do we allow the given top-level (static) ConApp?