| Safe Haskell | None |
|---|---|
| Language | GHC2024 |
GHC.Stg.Utils
Synopsis
- mkStgAltTypeFromStgAlts :: Id -> [GenStgAlt p] -> AltType
- bindersOf :: BinderP a ~ Id => GenStgBinding a -> [Id]
- bindersOfX :: GenStgBinding a -> [BinderP a]
- bindersOfTop :: BinderP a ~ Id => GenStgTopBinding a -> [Id]
- bindersOfTopBinds :: BinderP a ~ Id => [GenStgTopBinding a] -> [Id]
- stripStgTicksTop :: (StgTickish -> Bool) -> GenStgExpr p -> ([StgTickish], GenStgExpr p)
- stripStgTicksTopE :: (StgTickish -> Bool) -> GenStgExpr p -> GenStgExpr p
- idArgs :: [StgArg] -> [Id]
- mkUnarisedId :: MonadUnique m => FastString -> NvUnaryType -> m Id
- mkUnarisedIds :: MonadUnique m => FastString -> [NvUnaryType] -> m [Id]
- allowTopLevelConApp :: Platform -> Bool -> Module -> DataCon -> [StgArg] -> Bool
Documentation
bindersOfX :: GenStgBinding a -> [BinderP a] Source #
bindersOfTop :: BinderP a ~ Id => GenStgTopBinding a -> [Id] Source #
bindersOfTopBinds :: BinderP a ~ Id => [GenStgTopBinding a] -> [Id] Source #
stripStgTicksTop :: (StgTickish -> Bool) -> GenStgExpr p -> ([StgTickish], GenStgExpr p) Source #
Strip ticks of a given type from an STG expression.
stripStgTicksTopE :: (StgTickish -> Bool) -> GenStgExpr p -> GenStgExpr p Source #
Strip ticks of a given type from an STG expression returning only the expression.
mkUnarisedId :: MonadUnique m => FastString -> NvUnaryType -> m Id Source #
mkUnarisedIds :: MonadUnique m => FastString -> [NvUnaryType] -> m [Id] Source #