HERMIT.Shell.Command

The HERMIT Command-line Shell

commandLine :: forall m. (MonadCatch m, MonadException m, CLMonad m) => [CommandLineOption] -> [External] -> m ()

The first argument includes a list of files to load.

interpShell :: (MonadCatch m, CLMonad m) => [Interp m ()]

Interpret a boxed thing as one of the four possible shell command types.

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

Exported for hermit-web

performQuery :: (MonadCatch m, CLMonad m) => QueryFun -> ExprH -> m ()

cl_kernel_env :: CommandLineState -> KernelEnv

getFocusPath :: CLMonad m => m PathH

evalScript :: (MonadCatch m, CLMonad m) => String -> m ()