HERMIT.Shell.ShellEffect

Documentation

data ShellEffect :: * where

Constructors

Abort :: ShellEffect

CLSModify :: (CommandLineState -> IO (Either CLException CommandLineState)) -> ShellEffect

CLSModifyAndShow :: (CommandLineState -> IO (Either CLException CommandLineState)) -> ShellEffect

PluginComp :: PluginM () -> ShellEffect

Continue :: ShellEffect

Resume :: ShellEffect

Instances

Extern ShellEffect

Typeable * ShellEffect

type Box ShellEffect = ShellEffect

performShellEffect :: (MonadCatch m, CLMonad m) => ShellEffect -> m ()

dumpT :: FilePath -> PrettyPrinter -> String -> Int -> TransformH DocH ()

dump :: FilePath -> PrettyPrinter -> String -> Int -> CommandLineState -> IO (Either CLException CommandLineState)