idris-1.3.4: Functional Programming Language with Dependent Types
LicenseBSD3
MaintainerThe Idris Community.
Safe HaskellNone
LanguageHaskell2010

Idris.Output

Description

 
Synopsis

Documentation

emitWarning :: Message w => w -> Idris () #

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

iPrintFunTypes :: [(Name, Bool)] -> Name -> [(Name, Doc OutputAnnotation)] -> Idris () #

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

iRenderError :: Doc OutputAnnotation -> Idris () #

Show an error with semantic highlighting

iWarn :: FC -> OutputDoc -> Idris () #

warnTotality :: Idris () #

Warn about totality problems without failing to compile

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

class Message a where #

Instances

Instances details
Message ParseError # 
Instance details

Defined in Idris.Parser.Stack