idris-1.0: Functional Programming Language with Dependent Types

Copyright | License : BSD3
Maintainer | The Idris Community.
Safe Haskell | None
Language | Haskell98

Idris.Output

Contents

- Orphan instances

Description

Synopsis

- pshow :: IState -> Err -> String
- iWarn :: FC -> Doc OutputAnnotation -> Idris ()
- iRender :: Doc a -> Idris (SimpleDoc a)
- hWriteDoc :: Handle -> IState -> SimpleDoc OutputAnnotation -> Idris ()
- consoleDisplayAnnotated :: Handle -> Doc OutputAnnotation -> Idris ()
- iPrintTermWithType :: Doc OutputAnnotation -> Doc OutputAnnotation -> Idris ()
- iPrintFunTypes :: [(Name, Bool)] -> Name -> [(Name, Doc OutputAnnotation)] -> Idris ()
- iRenderOutput :: Doc OutputAnnotation -> Idris ()
- iRenderResult :: Doc OutputAnnotation -> Idris ()
- ideModeReturnWithStatus :: String -> Integer -> Handle -> Doc OutputAnnotation -> Idris ()
- ideModeReturnAnnotated :: Integer -> Handle -> Doc OutputAnnotation -> Idris ()
- iRenderError :: Doc OutputAnnotation -> Idris ()
- iPrintWithStatus :: String -> String -> Idris ()
- iPrintResult :: String -> Idris ()
- iPrintError :: String -> Idris ()
- iputStrLn :: String -> Idris ()
- iputStr :: String -> Idris ()
- idemodePutSExp :: SExpable a => String -> a -> Idris ()
- iputGoal :: SimpleDoc OutputAnnotation -> Idris ()
- warnTotality :: Idris ()
- printUndefinedNames :: [Name] -> Doc OutputAnnotation
- prettyDocumentedIst :: IState -> (Name, PTerm, Maybe (Docstring DocTerm)) -> Doc OutputAnnotation
- sendParserHighlighting :: Idris ()
- sendHighlighting :: [(FC, OutputAnnotation)] -> Idris ()
- writeHighlights :: FilePath -> Idris ()
- clearHighlights :: Idris ()
- renderExternal :: OutputFmt -> Int -> Doc OutputAnnotation -> Idris String

# Documentation

pshow :: IState -> Err -> String #

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

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

hWriteDoc :: Handle -> IState -> SimpleDoc OutputAnnotation -> Idris () #

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, Doc OutputAnnotation)] -> Idris () #

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

iRenderOutput :: Doc OutputAnnotation -> Idris () #

iRenderResult :: Doc OutputAnnotation -> Idris () #

ideModeReturnWithStatus :: String -> Integer -> Handle -> Doc OutputAnnotation -> Idris () #

ideModeReturnAnnotated :: Integer -> Handle -> Doc OutputAnnotation -> Idris () #

Write pretty-printed output to IDEMode 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 () #

iputStr :: String -> Idris () #

idemodePutSExp :: SExpable a => String -> a -> Idris () #

iputGoal :: SimpleDoc OutputAnnotation -> Idris () #

warnTotality :: Idris () #

Warn about totality problems without failing to compile

printUndefinedNames :: [Name] -> Doc OutputAnnotation #

prettyDocumentedIst :: IState -> (Name, PTerm, Maybe (Docstring DocTerm)) -> Doc OutputAnnotation #

sendParserHighlighting :: Idris () #

sendHighlighting :: [(FC, OutputAnnotation)] -> Idris () #

writeHighlights :: FilePath -> Idris () #

Write the highlighting information to a file, for use in external tools or in editors that don't support the IDE protocol

clearHighlights :: Idris () #

renderExternal :: OutputFmt -> Int -> Doc OutputAnnotation -> Idris String #

# Orphan instances

MonadException m => MonadException (ExceptT Err m) # |
Methods controlIO :: (RunIO (ExceptT Err m) -> IO (ExceptT Err m a)) -> ExceptT Err m a #