idris-1.3.4: Functional Programming Language with Dependent Types
LicenseBSD3
MaintainerThe Idris Community.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Idris.REPL

Description

 
Synopsis

Documentation

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

Run the IdeMode

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

Run the REPL server

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

Run a command on the server on localhost

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

replSettings :: Maybe FilePath -> Settings Idris Source #

repl Source #

Arguments

:: IState

The initial state

-> [FilePath]

The loaded modules

-> FilePath

The file to edit (with :e)

-> InputT Idris () 

Run the REPL