| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
HERMIT.Shell.ShellEffect
Documentation
data ShellEffect Source
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
performShellEffect :: (MonadCatch m, MonadError CLException m, MonadIO m, MonadState CommandLineState m) => ShellEffect -> m () Source
dump :: (MonadCatch m, MonadIO m, MonadState CommandLineState m) => (CommandLineState -> TransformH CoreTC DocH) -> String -> String -> Int -> m () Source