idris-1.1.1: Functional Programming Language with Dependent Types

CopyrightLicense : BSD3
MaintainerThe Idris Community.
Safe HaskellNone
LanguageHaskell2010

Idris.Output

Contents

Description

 

Synopsis

Documentation

consoleDisplayAnnotated :: Handle -> Doc OutputAnnotation -> Idris () Source #

Write a pretty-printed term to the console with semantic coloring

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

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

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

Write pretty-printed output to IDEMode with semantic annotations

iRenderError :: Doc OutputAnnotation -> Idris () Source #

Show an error with semantic highlighting

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

Orphan instances