idris-1.3.1: Functional Programming Language with Dependent Types

LicenseBSD3
MaintainerThe Idris Community.
Safe HaskellNone
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

repl Source #

Arguments

:: IState

The initial state

-> [FilePath]

The loaded modules

-> FilePath

The file to edit (with :e)

-> InputT Idris () 

Run the REPL