Idris.IDEMode.SyntaxHighlight

Definitions

printOutput : Ref Ctxt Defs => Ref ROpts REPLOpts => SourceHighlight -> Core ()

  Output some data using current dialog index

Totality: total
Visibility: export

outputSyntaxHighlighting : Ref Ctxt Defs => Ref MD Metadata => Ref Syn SyntaxInfo => Ref ROpts REPLOpts => String -> REPLResult -> Core REPLResult

Totality: total
Visibility: export