HERMIT.Shell.KernelEffect

Documentation

data KernelEffect

KernelEffects are things that affect the state of the Kernel

Constructors

Direction Direction

BeginScope

EndScope

Delete AST

Instances

Extern KernelEffect

Typeable * KernelEffect

type Box KernelEffect = KernelEffect

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

applyRewrite :: (MonadCatch m, CLMonad m) => RewriteH LCoreTC -> ExprH -> m ()

setPath :: (Injection a LCoreTC, MonadCatch m, CLMonad m) => TransformH a LocalPathH -> ExprH -> m ()