HERMIT.Shell.Command

The HERMIT Command-line Shell

commandLine :: MonadIO m => [CommandLineOption] -> Behavior -> [External] -> CLM m ()

The first argument includes a list of files to load.

unicodeConsole :: Handle -> PrettyOptions -> Either String DocH -> IO ()

diffDocH :: (MonadCatch m, MonadIO m) => PrettyOptions -> DocH -> DocH -> m String

diffR :: Injection a CoreTC => PrettyOptions -> String -> RewriteH a -> RewriteH a

Exported for hermit-web

performKernelEffect :: MonadIO m => KernelEffect -> ExprH -> CLM m ()

performQuery :: MonadIO m => QueryFun -> CLM m ()

performShellEffect :: MonadIO m => ShellEffect -> CLM m ()

performMetaCommand :: MonadIO m => MetaCommand -> CLM m ()

cl_kernel_env :: CommandLineState -> HermitMEnv

getFocusPath :: MonadIO m => CLM m PathH

shellComplete :: MVar CommandLineState -> String -> String -> IO [Completion]

evalScript :: MonadIO m => String -> CLM m ()