Safe Haskell | None |
---|---|
Language | Haskell2010 |
- hermitPlugin :: ([CommandLineOption] -> HPM ()) -> Plugin
- query :: (Injection ModGuts g, Walker HermitC g) => TransformH g a -> HPM a
- run :: (Injection ModGuts g, Walker HermitC g) => RewriteH g -> HPM ()
- interactive :: [External] -> [CommandLineOption] -> HPM ()
- display :: HPM ()
- setPretty :: PrettyPrinter -> HPM ()
- setPrettyOptions :: PrettyOptions -> HPM ()
- at :: TransformH CoreTC LocalPathH -> HPM a -> HPM a
- phase :: Int -> HPM () -> HPM ()
- after :: CorePass -> HPM () -> HPM ()
- before :: CorePass -> HPM () -> HPM ()
- until :: CorePass -> HPM () -> HPM ()
- allPhases :: HPM () -> HPM ()
- firstPhase :: HPM () -> HPM ()
- lastPhase :: HPM () -> HPM ()
- getPhaseInfo :: HPM PhaseInfo
- modifyCLS :: (PluginState -> PluginState) -> HPM ()
- defPS :: SAST -> ScopedKernel -> PhaseInfo -> IO PluginState
- data HPM a
- hpmToIO :: PluginState -> HPM a -> IO (Either PException a, PluginState)
The HERMIT Plugin
hermitPlugin :: ([CommandLineOption] -> HPM ()) -> Plugin Source
Running translations
Using the shell
interactive :: [External] -> [CommandLineOption] -> HPM () Source
setPretty :: PrettyPrinter -> HPM () Source
setPrettyOptions :: PrettyOptions -> HPM () Source
Active modifiers
at :: TransformH CoreTC LocalPathH -> HPM a -> HPM a Source
firstPhase :: HPM () -> HPM () Source
Knobs and Dials
modifyCLS :: (PluginState -> PluginState) -> HPM () Source
Types
defPS :: SAST -> ScopedKernel -> PhaseInfo -> IO PluginState Source
hpmToIO :: PluginState -> HPM a -> IO (Either PException a, PluginState) Source