Idris2Doc : Idris.IDEMode.Commands

Idris.IDEMode.Commands

(source)
Reexports
import public Idris.REPL.Opts
import public Protocol.IDE
import public Protocol.SExp
Definitions
getMsg : SExp -> Maybe (IDECommand, Integer)
  Totality: total
  Visibility: export
send : Ref Ctxt Defs => File -> Reply -> Core ()
  Totality: total
  Visibility: export