Idris.REPL

Documentation

getClient :: Opt -> Maybe String

getPkg :: Opt -> Maybe (Bool, String)

getPkgCheck :: Opt -> Maybe String

getPkgClean :: Opt -> Maybe String

getPkgMkDoc

Arguments

:: Opt

Opt to extract

-> Maybe String

Result

Returns None if given an Opt which is not PkgMkDoc Otherwise returns Just x, where x is the contents of PkgMkDoc

getPkgREPL :: Opt -> Maybe String

getPkgTest

Arguments

:: Opt

the option to extract

-> Maybe String

the package file to test

getPort :: [Opt] -> PortID

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

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

idrisMain :: [Opt] -> Idris ()

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

opt :: (Opt -> Maybe a) -> [Opt] -> [a]

runClient :: PortID -> String -> IO ()

Run a command on the server on localhost

runMain :: Idris () -> IO ()

ver :: [Char]