HERMIT.Shell.ShellEffect

Documentation

data ShellEffect

Constructors

Abort

Abort GHC

CLSModify (CommandLineState -> IO CommandLineState)

Modify shell state

PluginComp (PluginM ())

Continue

exit the shell, but don't abort/resume

Dump (CommandLineState -> TransformH CoreTC DocH) String String Int

Resume

Instances

Extern ShellEffect

Typeable * ShellEffect

type Box ShellEffect = ShellEffect

performShellEffect :: (MonadCatch m, MonadError CLException m, MonadIO m, MonadState CommandLineState m) => ShellEffect -> m ()

dump :: (MonadCatch m, MonadIO m, MonadState CommandLineState m) => (CommandLineState -> TransformH CoreTC DocH) -> String -> String -> Int -> m ()