hermit-0.6.0.0: Haskell Equational Reasoning Model-to-Implementation Tunnel

Safe HaskellNone
LanguageHaskell2010

HERMIT.Shell.Command

Contents

Synopsis

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.

Exported for hermit-web

evalScript :: (MonadCatch m, CLMonad m) => [Interp m ()] -> String -> m () Source