Language.HERMIT.Optimize

The HERMIT Plugin

optimize :: ([CommandLineOption] -> OM ()) -> Plugin

Running translations

query :: (Injection ModGuts g, Walker HermitC g) => TranslateH g a -> OM a

run :: RewriteH Core -> OM ()

Using the shell

interactive :: [External] -> [CommandLineOption] -> OM ()

display :: OM ()

setPretty :: (PrettyOptions -> PrettyH CoreTC) -> OM ()

setPrettyOptions :: PrettyOptions -> OM ()

Active modifiers

at :: TranslateH Core PathH -> OM () -> OM ()

phase :: Int -> OM () -> OM ()

after :: CorePass -> OM () -> OM ()

before :: CorePass -> OM () -> OM ()

allPhases :: OM () -> OM ()

firstPhase :: OM () -> OM ()

lastPhase :: OM () -> OM ()