Idris.Output

pshow

iWarn

iRender

hWriteDoc

consoleDisplayAnnotated

iPrintTermWithType

iPrintFunTypes

iRenderOutput

iRenderResult

ideModeReturnWithStatus

ideModeReturnAnnotated

iRenderError

iPrintWithStatus

iPrintResult

iPrintError

iputStrLn

iputStr

idemodePutSExp

iputGoal

warnTotality

printUndefinedNames

prettyDocumentedIst

sendParserHighlighting

sendHighlighting

writeHighlights

clearHighlights

renderExternal