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

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 ()

Knobs and Dials

getPhaseInfo :: HPM PhaseInfo

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

Types

defPS :: SAST -> ScopedKernel -> PhaseInfo -> IO PluginState

data HPM a

Instances

Monad HPM

Functor HPM

Applicative HPM

MonadIO HPM

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