Language.HERMIT.Primitive.New

Documentation

externals :: [External]

isVar :: Name -> TranslateH CoreExpr ()

simplifyR :: RewriteH Core

collectLets :: CoreExpr -> ([(Var, CoreExpr)], CoreExpr)

letTupleR :: Name -> RewriteH CoreExpr

Combine nested non-recursive lets into case of a tuple.

testQuery :: RewriteH Core -> TranslateH Core String

cleanupUnfold :: RewriteH CoreExpr

cleanupUnfold cleans a unfold operation (for example, an inline or rule application) It is used at the level of the top-redex.

unfold :: Name -> RewriteH CoreExpr

withUnfold :: RewriteH Core -> RewriteH Core

push :: Name -> RewriteH CoreExpr

Push a function through a Case or Let expression. Unsafe if the function is not strict.