Safe Haskell | None |
---|
- pshow :: IState -> Err -> String
- ihWarn :: Handle -> FC -> Doc OutputAnnotation -> Idris ()
- iRender :: Doc a -> Idris (SimpleDoc a)
- ihPrintResult :: Handle -> String -> Idris ()
- consoleDisplayAnnotated :: Handle -> Doc OutputAnnotation -> Idris ()
- ideSlaveReturnAnnotated :: Integer -> Handle -> Doc OutputAnnotation -> Idris ()
- ihPrintTermWithType :: Handle -> Doc OutputAnnotation -> Doc OutputAnnotation -> Idris ()
- ihPrintFunTypes :: Handle -> [(Name, Bool)] -> Name -> [(Name, PTerm)] -> Idris ()
- ihRenderResult :: Handle -> Doc OutputAnnotation -> Idris ()
- fancifyAnnots :: IState -> OutputAnnotation -> OutputAnnotation
- ihRenderError :: Handle -> Doc OutputAnnotation -> Idris ()
- ihPrintError :: Handle -> String -> Idris ()
- ihputStrLn :: Handle -> String -> Idris ()
- iputStrLn :: String -> Idris ()
- iPrintError :: String -> Idris ()
- iPrintResult :: String -> Idris ()
- iWarn :: FC -> Doc OutputAnnotation -> Idris ()
- ideslavePutSExp :: SExpable a => String -> a -> Idris ()
- iputGoal :: SimpleDoc OutputAnnotation -> Idris ()
Documentation
ihPrintResult :: Handle -> String -> Idris ()Source
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
ihPrintTermWithType :: Handle -> Doc OutputAnnotation -> Doc OutputAnnotation -> Idris ()Source
ihPrintFunTypes :: Handle -> [(Name, Bool)] -> Name -> [(Name, PTerm)] -> Idris ()Source
Pretty-print a collection of overloadings to REPL or IDESlave - corresponds to :t name
ihRenderResult :: Handle -> Doc OutputAnnotation -> Idris ()Source
ihRenderError :: Handle -> Doc OutputAnnotation -> Idris ()Source
Show an error with semantic highlighting
ihPrintError :: Handle -> String -> Idris ()Source
ihputStrLn :: Handle -> String -> Idris ()Source
iPrintError :: String -> Idris ()Source
iPrintResult :: String -> Idris ()Source
ideslavePutSExp :: SExpable a => String -> a -> Idris ()Source
iputGoal :: SimpleDoc OutputAnnotation -> Idris ()Source