| Safe Haskell | None |
|---|---|
| Language | GHC2021 |
GHC.Stg.Utils
Synopsis
- mkStgAltTypeFromStgAlts :: forall (p :: StgPass). Id -> [GenStgAlt p] -> AltType
- bindersOf :: forall (a :: StgPass). BinderP a ~ Id => GenStgBinding a -> [Id]
- bindersOfX :: forall (a :: StgPass). GenStgBinding a -> [BinderP a]
- bindersOfTop :: forall (a :: StgPass). BinderP a ~ Id => GenStgTopBinding a -> [Id]
- bindersOfTopBinds :: forall (a :: StgPass). BinderP a ~ Id => [GenStgTopBinding a] -> [Id]
- stripStgTicksTop :: forall (p :: StgPass). (StgTickish -> Bool) -> GenStgExpr p -> ([StgTickish], GenStgExpr p)
- stripStgTicksTopE :: forall (p :: StgPass). (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 :: forall (a :: StgPass). GenStgBinding a -> [BinderP a] Source #
bindersOfTop :: forall (a :: StgPass). BinderP a ~ Id => GenStgTopBinding a -> [Id] Source #
bindersOfTopBinds :: forall (a :: StgPass). BinderP a ~ Id => [GenStgTopBinding a] -> [Id] Source #
stripStgTicksTop :: forall (p :: StgPass). (StgTickish -> Bool) -> GenStgExpr p -> ([StgTickish], GenStgExpr p) Source #
Strip ticks of a given type from an STG expression.
stripStgTicksTopE :: forall (p :: StgPass). (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 #