HERMIT.Plugin

The HERMIT Plugin

hermitPlugin :: ([CommandLineOption] -> PluginM ()) -> Plugin

Stateful reflection of Kernel API

abort :: PluginM a

resume :: PluginM a

query :: (Injection ModGuts g, Walker HermitC g) => CommitMsg -> TransformH g a -> PluginM a

apply :: (Injection ModGuts g, Walker HermitC g) => CommitMsg -> RewriteH g -> PluginM ()

delete :: AST -> PluginM ()

list :: PluginM [(AST, Maybe String, Maybe AST)]

tell :: String -> PluginM ()

Using the shell

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

display :: PluginM ()

setPretty :: PrettyPrinter -> PluginM ()

setPrettyOptions :: PrettyOptions -> PluginM ()

Active modifiers

pass :: Int -> PluginM () -> PluginM ()

after :: CorePass -> PluginM () -> PluginM ()

before :: CorePass -> PluginM () -> PluginM ()

until :: CorePass -> PluginM () -> PluginM ()

allPasses :: PluginM () -> PluginM ()

firstPass :: PluginM () -> PluginM ()

lastPass :: PluginM () -> PluginM ()

Knobs and Dials

getPassInfo :: PluginM PassInfo

getKernel :: PluginM Kernel

defPS :: AST -> IO PluginState