| License | BSD3 |
|---|---|
| Maintainer | The Idris Community. |
| Safe Haskell | None |
| Language | Haskell2010 |
Idris.Output
Contents
Description
Synopsis
- clearHighlights :: Idris ()
- emitWarning :: Message w => w -> Idris ()
- formatMessage :: Message w => w -> Idris OutputDoc
- idemodePutSExp :: SExpable a => String -> a -> Idris ()
- iPrintError :: String -> Idris ()
- iPrintFunTypes :: [(Name, Bool)] -> Name -> [(Name, Doc OutputAnnotation)] -> Idris ()
- iPrintResult :: String -> Idris ()
- iPrintTermWithType :: Doc OutputAnnotation -> Doc OutputAnnotation -> Idris ()
- iputGoal :: SimpleDoc OutputAnnotation -> Idris ()
- iputStr :: String -> Idris ()
- iputStrLn :: String -> Idris ()
- iRender :: Doc a -> Idris (SimpleDoc a)
- iRenderError :: Doc OutputAnnotation -> Idris ()
- iRenderOutput :: Doc OutputAnnotation -> Idris ()
- iRenderResult :: Doc OutputAnnotation -> Idris ()
- iWarn :: FC -> OutputDoc -> Idris ()
- prettyDocumentedIst :: IState -> (Name, PTerm, Maybe (Docstring DocTerm)) -> Doc OutputAnnotation
- printUndefinedNames :: [Name] -> Doc OutputAnnotation
- pshow :: IState -> Err -> String
- renderExternal :: OutputFmt -> Int -> Doc OutputAnnotation -> Idris String
- sendHighlighting :: Set (FC', OutputAnnotation) -> Idris ()
- sendParserHighlighting :: Idris ()
- warnTotality :: Idris ()
- writeHighlights :: FilePath -> Idris ()
- type OutputDoc = Doc OutputAnnotation
- class Message a where
Documentation
clearHighlights :: Idris () Source #
emitWarning :: Message w => w -> Idris () Source #
iPrintError :: String -> Idris () Source #
iPrintFunTypes :: [(Name, Bool)] -> Name -> [(Name, Doc OutputAnnotation)] -> Idris () Source #
Pretty-print a collection of overloadings to REPL or IDEMode - corresponds to :t name
iPrintResult :: String -> Idris () Source #
iPrintTermWithType :: Doc OutputAnnotation -> Doc OutputAnnotation -> Idris () Source #
iRenderError :: Doc OutputAnnotation -> Idris () Source #
Show an error with semantic highlighting
iRenderOutput :: Doc OutputAnnotation -> Idris () Source #
iRenderResult :: Doc OutputAnnotation -> Idris () Source #
prettyDocumentedIst :: IState -> (Name, PTerm, Maybe (Docstring DocTerm)) -> Doc OutputAnnotation Source #
printUndefinedNames :: [Name] -> Doc OutputAnnotation Source #
renderExternal :: OutputFmt -> Int -> Doc OutputAnnotation -> Idris String Source #
sendHighlighting :: Set (FC', OutputAnnotation) -> Idris () Source #
sendParserHighlighting :: Idris () Source #
warnTotality :: Idris () Source #
Warn about totality problems without failing to compile
writeHighlights :: FilePath -> Idris () Source #
Write the highlighting information to a file, for use in external tools or in editors that don't support the IDE protocol
type OutputDoc = Doc OutputAnnotation Source #
class Message a where Source #
Minimal complete definition
Methods
messageExtent :: a -> FC Source #
messageText :: a -> OutputDoc Source #
messageSource :: a -> Maybe String Source #
Instances
| Message ParseError Source # | |
Defined in Idris.Parser.Stack Methods messageExtent :: ParseError -> FC Source # messageText :: ParseError -> OutputDoc Source # messageSource :: ParseError -> Maybe String Source # | |