| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
HERMIT.Shell.Command
- commandLine :: forall m. (MonadCatch m, MonadException m, CLMonad m) => [Interp m ()] -> [CommandLineOption] -> [External] -> m ()
- interpShellCommand :: (MonadCatch m, MonadException m, CLMonad m) => [Interp m ()]
- unicodeConsole :: Handle -> PrettyOptions -> Either String DocH -> IO ()
- diffDocH :: (MonadCatch m, MonadIO m) => PrettyPrinter -> DocH -> DocH -> m String
- diffR :: Injection a CoreTC => PrettyPrinter -> String -> RewriteH a -> RewriteH a
- performQuery :: (MonadCatch m, CLMonad m) => QueryFun -> ExprH -> m ()
- cl_kernel_env :: CommandLineState -> KernelEnv
- getFocusPath :: PluginM PathH
- shellComplete :: (MonadCatch m, MonadIO m, MonadState CommandLineState m) => String -> String -> m [Completion]
- evalScript :: (MonadCatch m, CLMonad m) => [Interp m ()] -> String -> m ()
The HERMIT Command-line Shell
commandLine :: forall m. (MonadCatch m, MonadException m, CLMonad m) => [Interp m ()] -> [CommandLineOption] -> [External] -> m () Source
The first argument includes a list of files to load.
interpShellCommand :: (MonadCatch m, MonadException m, CLMonad m) => [Interp m ()] Source
Interpret a boxed thing as one of the four possible shell command types.
unicodeConsole :: Handle -> PrettyOptions -> Either String DocH -> IO () Source
diffDocH :: (MonadCatch m, MonadIO m) => PrettyPrinter -> DocH -> DocH -> m String Source
Exported for hermit-web
performQuery :: (MonadCatch m, CLMonad m) => QueryFun -> ExprH -> m () Source
shellComplete :: (MonadCatch m, MonadIO m, MonadState CommandLineState m) => String -> String -> m [Completion] Source
evalScript :: (MonadCatch m, CLMonad m) => [Interp m ()] -> String -> m () Source