| Safe Haskell | None |
|---|
HERMIT.Optimize
Contents
- optimize :: ([CommandLineOption] -> OM ()) -> Plugin
- query :: (Injection ModGuts g, Walker HermitC g) => TranslateH g a -> OM a
- run :: RewriteH CoreTC -> OM ()
- interactive :: [External] -> [CommandLineOption] -> OM ()
- display :: OM ()
- setPretty :: PrettyH CoreTC -> OM ()
- setPrettyOptions :: PrettyOptions -> OM ()
- at :: TranslateH CoreTC LocalPathH -> OM a -> OM a
- phase :: Int -> OM () -> OM ()
- after :: CorePass -> OM () -> OM ()
- before :: CorePass -> OM () -> OM ()
- allPhases :: OM () -> OM ()
- firstPhase :: OM () -> OM ()
- lastPhase :: OM () -> OM ()
- getPhaseInfo :: OM PhaseInfo
- modifyCLS :: (CommandLineState -> CommandLineState) -> OM ()
- data OM a
- omToIO :: CommandLineState -> PhaseInfo -> OM a -> IO (Either CLException a, CommandLineState)
The HERMIT Plugin
optimize :: ([CommandLineOption] -> OM ()) -> PluginSource
Running translations
Using the shell
interactive :: [External] -> [CommandLineOption] -> OM ()Source
setPrettyOptions :: PrettyOptions -> OM ()Source
Active modifiers
at :: TranslateH CoreTC LocalPathH -> OM a -> OM aSource
firstPhase :: OM () -> OM ()Source
Knobs and Dials
modifyCLS :: (CommandLineState -> CommandLineState) -> OM ()Source
Types
omToIO :: CommandLineState -> PhaseInfo -> OM a -> IO (Either CLException a, CommandLineState)Source