| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
HERMIT.Shell.Command
- commandLine :: [CommandLineOption] -> Behavior -> [External] -> CLT IO ()
- 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, MonadError CLException m, MonadIO m, MonadState CommandLineState m) => QueryFun -> ExprH -> m ()
- cl_kernel_env :: CommandLineState -> HermitMEnv
- getFocusPath :: PluginM PathH
- shellComplete :: MVar CommandLineState -> String -> String -> IO [Completion]
- evalScript :: (MonadCatch m, MonadError CLException m, MonadIO m, MonadState CommandLineState m) => String -> m ()
The HERMIT Command-line Shell
commandLine :: [CommandLineOption] -> Behavior -> [External] -> CLT IO () Source
The first argument includes a list of files to load.
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, MonadError CLException m, MonadIO m, MonadState CommandLineState m) => QueryFun -> ExprH -> m () Source
shellComplete :: MVar CommandLineState -> String -> String -> IO [Completion] Source
evalScript :: (MonadCatch m, MonadError CLException m, MonadIO m, MonadState CommandLineState m) => String -> m () Source