Safe Haskell | None |
---|
- externals :: [External]
- isVar :: Name -> TranslateH CoreExpr ()
- simplifyR :: RewriteH Core
- letPairR :: Name -> RewriteH CoreExpr
- letTupleR :: Name -> RewriteH CoreExpr
- info :: TranslateH Core String
- exprTypeT :: TranslateH CoreExpr String
- showExprType :: DynFlags -> CoreExpr -> String
- showIdInfo :: DynFlags -> Id -> String
- coreNode :: Core -> String
- coreConstructor :: Core -> String
- testQuery :: RewriteH Core -> TranslateH Core String
- findId :: (MonadUnique m, MonadIO m, MonadThings m, HasDynFlags m) => Context -> String -> m Id
- findIdMG :: (MonadUnique m, MonadIO m, MonadThings m, HasDynFlags m) => ModGuts -> String -> m Id
- fixIntro :: RewriteH CoreDef
- fixSpecialization :: RewriteH CoreExpr
- fixSpecialization' :: RewriteH CoreExpr
- cleanupUnfold :: RewriteH CoreExpr
- unfold :: Name -> RewriteH CoreExpr
- withUnfold :: RewriteH Core -> RewriteH Core
- push :: Name -> RewriteH CoreExpr
- abstract :: Name -> RewriteH CoreExpr
Documentation
isVar :: Name -> TranslateH CoreExpr ()Source
showExprType :: DynFlags -> CoreExpr -> StringSource
showIdInfo :: DynFlags -> Id -> StringSource
coreConstructor :: Core -> StringSource
findId :: (MonadUnique m, MonadIO m, MonadThings m, HasDynFlags m) => Context -> String -> m IdSource
findIdMG :: (MonadUnique m, MonadIO m, MonadThings m, HasDynFlags m) => ModGuts -> String -> m IdSource
cleanupUnfold :: RewriteH CoreExprSource
cleanupUnfold cleans a unfold operation (for example, an inline or rule application) It is used at the level of the top-redex.