idris-0.11.2: Functional Programming Language with Dependent Types

Safe HaskellNone
LanguageHaskell98

Idris.REPL

Synopsis

Documentation

getClient :: Opt -> Maybe String Source

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

getPkgCheck :: Opt -> Maybe String Source

getPkgClean :: Opt -> Maybe String Source

getPkgMkDoc Source

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 Source

getPkgTest Source

Arguments

:: Opt

the option to extract

-> Maybe String

the package file to test

getPort :: [Opt] -> PortID Source

getIBCSubDir :: Opt -> Maybe String Source

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

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

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

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

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

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

Run a command on the server on localhost

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

ver :: [Char] Source