hermit-0.1.4.0: Haskell Equational Reasoning Model-to-Implementation Tunnel

Safe HaskellNone

Language.HERMIT.Plugin

Contents

Synopsis

The HERMIT Plugin

type HermitPass = [CommandLineOption] -> ModGuts -> CoreM ModGutsSource

Given a list of CommandLineOptions, produce the ModGuts to ModGuts function required to build a plugin.

hermitPlugin :: HermitPass -> PluginSource

Build a hermit plugin. This mainly handles the per-module options.