idris- Functional Programming Language with Dependent Types

Safe HaskellNone




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

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

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

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

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

Write pretty-printed output to IDESlave with semantic annotations

iRenderError :: Doc OutputAnnotation -> Idris () Source

Show an error with semantic highlighting

warnTotality :: Idris () Source

Warn about totality problems without failing to compile