HERMIT.Shell.Types
data QueryFun
message
performQuery
ppWholeProgram
data VersionCmd
data CLException
abort
resume
continue
rethrowCLE
rethrowPE
data CLT m a
runCLT
clm2clt
clm
pluginM
data VersionStore
newSAST
data CommandLineState
cl_corelint
setCoreLint
cl_cursor
setCursor
cl_diffonly
setDiffOnly
cl_failhard
setFailHard
cl_kernel
cl_kernel_env
cl_pretty
setPretty
cl_pretty_opts
setPrettyOpts
cl_render
mkCLS
getTermDimensions
data CLSBox
type ScriptName
type LemmaName
type Lemma
tick
cl_putStr
cl_putStrLn
isRunningScript
setRunningScript
putStrToConsole
shellComplete
data CompletionType
completionType
completionQuery
fixWindow
showWindow
showGraph