Idris.REPL

Documentation

idemodeStart :: Bool -> IState -> [FilePath] -> Idris ()

Run the IdeMode

startServer :: PortNumber -> IState -> [FilePath] -> Idris ()

Run the REPL server

runClient :: Maybe PortNumber -> String -> IO ()

Run a command on the server on localhost

process :: FilePath -> Command -> Idris ()

replSettings :: Maybe FilePath -> Settings Idris

repl

Arguments

:: IState

The initial state

-> [FilePath]

The loaded modules

-> FilePath

The file to edit (with :e)

-> InputT Idris ()

Run the REPL

proofs :: IState -> Idris ()