plutus-ghc-stub-8.6.5: The GHC API
Safe HaskellSafe-Inferred
LanguageHaskell2010

Plugins

Synopsis

Documentation

data Plugin Source #

Plugin is the compiler plugin data type. Try to avoid constructing one of these directly, and just modify some fields of defaultPlugin instead: this is to try and preserve source-code compatibility when we add fields to this.

Nonetheless, this API is preliminary and highly likely to change in the future.

Constructors

Plugin 

Fields

data LoadedPlugin Source #

A plugin with its arguments. The result of loading the plugin.

Constructors

LoadedPlugin 

Fields

defaultPluginPlugin Source #

Default plugin: does nothing at all! For compatibility reasons you should base all your plugin definitions on this default value.

keepRenamedSource ∷ [CommandLineOption] → TcGblEnvHsGroup GhcRnTcM (TcGblEnv, HsGroup GhcRn) Source #

A renamer plugin which mades the renamed source available in a typechecker plugin.

withPluginsMonad m ⇒ DynFlags → PluginOperation m a → a → m a Source #

Perform an operation by using all of the plugins in turn.

withPlugins_Monad m ⇒ DynFlags → ConstPluginOperation m a → a → m () Source #

Perform a constant operation by using all of the plugins in turn.