License	BSD3
Maintainer	The Idris Community.
Safe Haskell	None
Language	Haskell2010

Idris.Main

Description

Synopsis

Documentation

idrisMain :: [Opt] -> Idris () Source #

The main function of Idris that when given a set of Options will launch Idris into the desired interaction mode either: REPL; Compiler; Script execution; or IDE Mode.

idris :: [Opt] -> IO (Maybe IState) Source #

Invoke as if from command line. It is an error if there are unresolved totality problems.

runMain :: Idris () -> IO () Source #

How to run Idris programs.

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

Run a command on the server on localhost

loadInputs :: [FilePath] -> Maybe Int -> Idris [FilePath] Source #