Idris2Doc : Idris.Pretty

Idris.Pretty

(source)
Reexports
import public Idris.Pretty.Annotations
import public Idris.Pretty.Render
import public Libraries.Text.PrettyPrint.Prettyprinter
import public Libraries.Text.PrettyPrint.Prettyprinter.Util
Definitions
syntaxToDecoration : IdrisSyntax -> Maybe Decoration
  Visibility: export
kindAnn : KindedName -> Maybe IdrisSyntax
  Visibility: export
showCategory : (IdrisSyntax -> ann) -> GlobalDef -> Doc ann -> Doc ann
  Visibility: export
data IdrisAnn : Type
  Totality: total
  Visibility: public export
  Constructors:
  
Warning : IdrisAnn
  
Error : IdrisAnn
  
ErrorDesc : IdrisAnn
  
FileCtxt : IdrisAnn
  
Code : IdrisAnn
  
Meta : IdrisAnn
  
Syntax : IdrisSyntax -> IdrisAnn
  
UserDocString : IdrisAnn
annToDecoration : IdrisAnn -> Maybe Decoration
  Visibility: export
syntaxAnn : IdrisSyntax -> AnsiStyle
  Visibility: export
colorAnn : IdrisAnn -> AnsiStyle
  Visibility: export
warning : Doc IdrisAnn -> Doc IdrisAnn
  Visibility: export
error : Doc IdrisAnn -> Doc IdrisAnn
  Visibility: export
errorDesc : Doc IdrisAnn -> Doc IdrisAnn
  Visibility: export
fileCtxt : Doc IdrisAnn -> Doc IdrisAnn
  Visibility: export
meta : Doc IdrisAnn -> Doc IdrisAnn
  Visibility: export
code : Doc IdrisAnn -> Doc IdrisAnn
  Visibility: export
prettyFieldPath : List String -> Doc IdrisSyntax
  Visibility: export
render : Ref ROpts REPLOpts => Doc IdrisAnn -> Core String
  Visibility: export
renderWithDecorations : Ref ROpts REPLOpts => (ann -> Maybe ann') -> Doc ann -> Core (String, List (Span ann'))
  Visibility: export
prettyImport : Import -> Doc IdrisSyntax
  Visibility: export