HERMIT.Plugin

The HERMIT Plugin

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

Running translations

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

run :: (Injection ModGuts g, Walker HermitC g) => RewriteH g -> HPM ()

Using the shell

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

display :: HPM ()

setPretty :: PrettyPrinter -> HPM ()

setPrettyOptions :: PrettyOptions -> HPM ()

Active modifiers

at :: TransformH CoreTC LocalPathH -> HPM a -> HPM a

pass :: Int -> HPM () -> HPM ()

after :: CorePass -> HPM () -> HPM ()

before :: CorePass -> HPM () -> HPM ()

until :: CorePass -> HPM () -> HPM ()

allPasses :: HPM () -> HPM ()

firstPass :: HPM () -> HPM ()

lastPass :: HPM () -> HPM ()

Knobs and Dials

getPassInfo :: HPM PassInfo

modifyCLS :: (PluginState -> PluginState) -> HPM ()

Types

defPS :: AST -> Kernel -> PassInfo -> IO PluginState

data HPM a

Instances

Monad HPM

Functor HPM

Applicative HPM

MonadIO HPM

hpmToIO :: PluginState -> HPM a -> IO (Either PException a, PluginState)