Idris.IDEMode.REPL

Definitions

socketToFile : Socket -> IO (Either String File)

Visibility: export

initIDESocketFile : String -> Int -> IO (Either String File)

Visibility: export

replIDE : Ref Ctxt Defs => Ref UST UState => Ref Syn SyntaxInfo => Ref MD Metadata => Ref ROpts REPLOpts => Core ()

Visibility: export