HERMIT.Plugin.Types

Documentation

type PluginM = PluginT IO

newtype PluginT m a

Constructors

PluginT

Fields

unPluginT :: ExceptT PException (ReaderT PluginReader (StateT PluginState m)) a

Instances

MonadTrans PluginT

Monad m => MonadError PException (PluginT m)

Monad m => MonadReader PluginReader (PluginT m)

Monad m => MonadState PluginState (PluginT m)

Monad m => Monad (PluginT m)

Functor m => Functor (PluginT m)

(Monad m, Functor m) => Applicative (PluginT m)

MonadIO m => MonadIO (PluginT m)

Monad m => MonadCatch (PluginT m)

runPluginT :: PluginReader -> PluginState -> PluginT m a -> m (Either PException a, PluginState)

data PluginState

Constructors

PluginState

Fields

ps_cursor :: AST

the current AST

ps_pretty :: PrettyPrinter

which pretty printer to use

ps_render :: Handle -> PrettyOptions -> Either String DocH -> IO ()

the way of outputing to the screen

ps_tick :: TVar (Map String Int)

the list of ticked messages

ps_corelint :: Bool

if true, run Core Lint on module after each rewrite

Instances

Extern PluginState

Typeable * PluginState

Monad m => MonadState PluginState (PluginT m)

type Box PluginState = PSBox

data PluginReader

Constructors

PluginReader

Fields

pr_kernel :: Kernel

pr_pass :: PassInfo

Instances

Typeable * PluginReader

Monad m => MonadReader PluginReader (PluginT m)

Monad m => MonadReader PluginReader (CLT m)

data PException

Constructors

PAbort

PResume AST

PError String

Instances

Monad m => MonadError PException (PluginT m)

newtype PSBox

Constructors

PSBox PluginState

Instances

Typeable * PSBox

tick :: TVar (Map String Int) -> String -> IO Int

mkKernelEnv :: PluginState -> KernelEnv