Language.HERMIT.Primitive.New

Documentation

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 :: CoreExpr -> String

showIdInfo :: Id -> String

coreNode :: Core -> String

coreConstructor :: Core -> String

testQuery :: RewriteH Core -> TranslateH Core String

findId :: (MonadUnique m, MonadIO m, MonadThings m) => Context -> String -> m Id

findIdMG :: (MonadUnique m, MonadIO m, MonadThings m) => ModGuts -> String -> m Id

fixIntro :: RewriteH CoreDef

f = e ==> f = fix ( f -> e)

fixSpecialization :: RewriteH CoreExpr

fixSpecialization' :: RewriteH CoreExpr

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.