idris-1.0: Functional Programming Language with Dependent Types

LicenseBSD3
MaintainerThe Idris Community.
Safe HaskellNone
LanguageHaskell98

Idris.REPL

Description

 

Synopsis

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

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 () #