HERMIT.Plugin.Types

Documentation

type PluginM = PluginT IO

newtype PluginT m a

Constructors

PluginT

Fields

unPluginT :: ExceptT PException (StateT PluginState m) a

Instances

MonadTrans PluginT

Monad m => MonadError PException (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 :: PluginState -> PluginT m a -> m (Either PException a, PluginState)

data PluginState

Constructors

PluginState

Fields

ps_cursor :: AST

the current AST

ps_focus :: AbsolutePath Crumb

current focused path

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

ps_diffonly :: Bool

if true, show diffs rather than pp full code (TODO: move into pretty opts)

ps_failhard :: Bool

if true, abort on *any* failure this should be in a reader

ps_kernel :: Kernel

ps_pass :: PassInfo

Instances

Extern PluginState

Typeable * PluginState

Monad m => MonadState PluginState (PluginT m)

type Box PluginState = PSBox

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