HERMIT.Plugin.Types

Documentation

type PluginM = PluginT IO

newtype PluginT m a

Constructors

PluginT

Fields

unPluginT :: ErrorT 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 :: SAST

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

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 :: ScopedKernel

ps_phase :: PhaseInfo

Instances

Extern PluginState

Typeable * PluginState

Monad m => MonadState PluginState (PluginT m)

type Box PluginState = PSBox

data PException

Constructors

PAbort

PResume SAST

PError String

Instances

Error PException

Monad m => MonadError PException (PluginT m)

newtype PSBox

Constructors

PSBox PluginState

Instances

Typeable * PSBox

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

mkKernelEnv :: PluginState -> HermitMEnv

iokm' :: (MonadIO m, MonadCatch m) => String -> (a -> m b) -> IO (KureM a) -> m b

iokm :: (MonadIO m, MonadCatch m) => String -> IO (KureM a) -> m a

iokm'' :: (MonadIO m, MonadCatch m) => IO (KureM a) -> m a