idris-1.0: Functional Programming Language with Dependent Types

LicenseBSD3
MaintainerThe Idris Community.
Safe HaskellNone
LanguageHaskell98

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