InteractiveEval
data
RunResult
data
Status
data
Resume
data
History
runStmt
data
SingleStep
resume
abandon
abandonAll
getResumeContext
getHistorySpan
getModBreaks
getHistoryModule
back
forward
setContext
getContext
nameSetToGlobalRdrEnv
getNamesInScope
getRdrNamesInScope
moduleIsInterpreted
getInfo
exprType
typeKind
parseName
showModule
isModuleInterpreted
compileExpr
dynCompileExpr
lookupName
data
Term
obtainTermFromId
obtainTermFromVal
reconstructType
skolemiseSubst
skolemiseTy