License | BSD3 |
---|---|
Maintainer | The Idris Community. |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
Idris.Main
Description
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.
loadInputs :: [FilePath] -> Maybe Int -> Idris [FilePath] Source #