| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
HERMIT.Shell.Externals
- data ShellCommand
- interpShellCommand :: [Interp ShellCommand]
- shell_externals :: [External]
- gc :: CommandLineState -> IO CommandLineState
- setWindow :: CommandLineState -> IO CommandLineState
- showRenderers :: QueryFun
- versionCmd :: VersionCmd -> CommandLineState -> IO CommandLineState
- showDerivationTree :: CommandLineState -> IO String
- showRefactorTrail :: (Eq a, Show a) => [(a, [String], a)] -> [(a, String)] -> a -> a -> [String]
- displayScripts :: QueryFun
- showScripts :: [(ScriptName, Script)] -> String
- testAllT :: CommandLineState -> TransformH Core String
- testRewrites :: Bool -> [(ExternalName, RewriteH Core)] -> TransformH Core String
Documentation
data ShellCommand Source
There are five types of commands.
Constructors
| KernelEffect KernelEffect | Command that modifies the state of the (scoped) kernel. |
| ScriptEffect ScriptEffect | Command that deals with script files. |
| ShellEffect ShellEffect | Command that modifies the state of the shell. |
| QueryFun QueryFun | Command that queries the AST with a Transform (read only). |
| ProofCommand ProofCommand | Command that deals with proofs. |
interpShellCommand :: [Interp ShellCommand] Source
Interpret a boxed thing as one of the four possible shell command types.
showRefactorTrail :: (Eq a, Show a) => [(a, [String], a)] -> [(a, String)] -> a -> a -> [String] Source
showScripts :: [(ScriptName, Script)] -> String Source
testRewrites :: Bool -> [(ExternalName, RewriteH Core)] -> TransformH Core String Source