idris-0.11: Functional Programming Language with Dependent Types

Safe HaskellNone
LanguageHaskell98

Idris.REPL

Synopsis

Documentation

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

getPkgTest Source

Arguments

:: Opt

the option to extract

-> Maybe String

the package file to test

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

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

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

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

Run a command on the server on localhost

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