Idris.Output

Documentation

pshow :: IState -> Err -> String

iWarn :: FC -> Doc OutputAnnotation -> Idris ()

iRender :: Doc a -> Idris (SimpleDoc a)

consoleDisplayAnnotated :: Handle -> Doc OutputAnnotation -> Idris ()

Write a pretty-printed term to the console with semantic coloring

iPrintTermWithType :: Doc OutputAnnotation -> Doc OutputAnnotation -> Idris ()

iPrintFunTypes :: [(Name, Bool)] -> Name -> [(Name, PTerm)] -> Idris ()

Pretty-print a collection of overloadings to REPL or IDESlave - corresponds to :t name

iRenderOutput :: Doc OutputAnnotation -> Idris ()

iRenderResult :: Doc OutputAnnotation -> Idris ()

ideSlaveReturnWithStatus :: String -> Integer -> Handle -> Doc OutputAnnotation -> Idris ()

ideSlaveReturnAnnotated :: Integer -> Handle -> Doc OutputAnnotation -> Idris ()

Write pretty-printed output to IDESlave with semantic annotations

iRenderError :: Doc OutputAnnotation -> Idris ()

Show an error with semantic highlighting

iPrintWithStatus :: String -> String -> Idris ()

iPrintResult :: String -> Idris ()

iPrintError :: String -> Idris ()

iputStrLn :: String -> Idris ()

ideslavePutSExp :: SExpable a => String -> a -> Idris ()

iputGoal :: SimpleDoc OutputAnnotation -> Idris ()

warnTotality :: Idris ()

Warn about totality problems without failing to compile

printUndefinedNames :: [Name] -> Doc OutputAnnotation