HERMIT.Shell.Externals

Documentation

interpShellCommand :: [Interp ShellCommand]

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

shell_externals :: [External]

gc :: CommandLineState -> IO CommandLineState

setWindow :: CommandLineState -> IO CommandLineState

versionCmd :: VersionCmd -> CommandLineState -> IO CommandLineState

showDerivationTree :: CommandLineState -> IO String

showRefactorTrail :: (Eq a, Show a) => [(a, [String], a)] -> [(a, String)] -> a -> a -> [String]

showGraph :: [(SAST, ExprH, SAST)] -> [(String, SAST)] -> SAST -> String

displayScripts :: QueryFun

showScripts :: [(ScriptName, Script)] -> String