idris-0.9.12: Functional Programming Language with Dependent Types

Safe HaskellNone

Idris.Output

Synopsis

Documentation

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

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

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

Write pretty-printed output to IDESlave with semantic annotations

ihPrintFunTypes :: Handle -> [(Name, Bool)] -> Name -> [(Name, PTerm)] -> Idris ()Source

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

ihRenderError :: Handle -> Doc OutputAnnotation -> Idris ()Source

Show an error with semantic highlighting