HERMIT.Shell.KernelEffect

Documentation

data KernelEffect

KernelEffects are things that affect the state of the Kernel

Constructors

Direction Direction

BeginScope

EndScope

Delete SAST

Instances

Extern KernelEffect

Typeable * KernelEffect

type Box KernelEffect = KernelEffect

performKernelEffect :: (MonadCatch m, CLMonad m) => ExprH -> KernelEffect -> m ()

applyRewrite :: (Injection ModGuts g, Walker HermitC g, MonadCatch m, CLMonad m) => RewriteH g -> ExprH -> m ()

setPath :: (Injection ModGuts g, Walker HermitC g, MonadCatch m, CLMonad m) => TransformH g LocalPathH -> ExprH -> m ()

goDirection :: (MonadCatch m, CLMonad m) => Direction -> ExprH -> m ()

beginScope :: (MonadCatch m, CLMonad m) => ExprH -> m ()

endScope :: (MonadCatch m, CLMonad m) => ExprH -> m ()

deleteSAST :: (MonadCatch m, CLMonad m) => SAST -> m ()