Documentation

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 #