Safe Haskell | None |
---|---|
Language | Haskell98 |
- pshow :: IState -> Err -> String
- iWarn :: FC -> Doc OutputAnnotation -> Idris ()
- iRender :: Doc a -> Idris (SimpleDoc a)
- consoleDisplayAnnotated :: Handle -> Doc OutputAnnotation -> Idris ()
- iPrintTermWithType :: Doc OutputAnnotation -> Doc OutputAnnotation -> Idris ()
- iPrintFunTypes :: [(Name, Bool)] -> Name -> [(Name, PTerm)] -> Idris ()
- iRenderOutput :: Doc OutputAnnotation -> Idris ()
- iRenderResult :: Doc OutputAnnotation -> Idris ()
- ideSlaveReturnWithStatus :: String -> Integer -> Handle -> Doc OutputAnnotation -> Idris ()
- ideSlaveReturnAnnotated :: Integer -> Handle -> Doc OutputAnnotation -> Idris ()
- iRenderError :: Doc OutputAnnotation -> Idris ()
- 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 ()
- printUndefinedNames :: [Name] -> Doc OutputAnnotation
Documentation
consoleDisplayAnnotated :: Handle -> Doc OutputAnnotation -> Idris () Source
Write a pretty-printed term to the console with semantic coloring
iPrintTermWithType :: Doc OutputAnnotation -> Doc OutputAnnotation -> Idris () Source
iPrintFunTypes :: [(Name, Bool)] -> Name -> [(Name, PTerm)] -> Idris () Source
Pretty-print a collection of overloadings to REPL or IDESlave - corresponds to :t name
iRenderOutput :: Doc OutputAnnotation -> Idris () Source
iRenderResult :: Doc OutputAnnotation -> Idris () Source
ideSlaveReturnWithStatus :: String -> Integer -> Handle -> Doc OutputAnnotation -> Idris () Source
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
iPrintWithStatus :: String -> String -> Idris () Source
iPrintResult :: String -> Idris () Source
iPrintError :: String -> Idris () Source
ideslavePutSExp :: SExpable a => String -> a -> Idris () Source
iputGoal :: SimpleDoc OutputAnnotation -> Idris () Source
warnTotality :: Idris () Source
Warn about totality problems without failing to compile
printUndefinedNames :: [Name] -> Doc OutputAnnotation Source