Pkg.Package

read the package description

check all the library dependencies exist

invoke the makefile if there is one

invoke idris on each module, with idris_opts

install everything into datadir/pname, if install flag is set

buildPkg :: Bool -> (Bool, FilePath) -> IO ()

Run the package through the idris compiler.

checkPkg

Arguments

:: Bool

Show Warnings

-> Bool

quit on failure

-> FilePath

Path to ipkg file.

-> IO ()

Type check packages only

This differs from build in that executables are not built, if the package contains an executable.

replPkg :: FilePath -> Idris ()

Check a package and start a REPL

cleanPkg

Arguments

:: FilePath

Path to ipkg file.

-> IO ()

Clean Package build files

documentPkg

Arguments

:: FilePath

Path to .ipkg file.

-> IO ()

Generate IdrisDoc for package TODO: Handle case where module does not contain a matching namespace E.g. from prelude.ipkg: IO, Prelude.Chars, Builtins

Issue number #1572 on the issue tracker https://github.com/idris-lang/Idris-dev/issues/1572

testPkg :: FilePath -> IO ()

Build a package with a sythesized main function that runs the tests

installPkg :: PkgDesc -> IO ()

Install package

buildMods :: [Opt] -> [Name] -> IO (Maybe IState)

testLib :: Bool -> String -> String -> IO Bool

rmIBC :: Name -> IO ()

rmIdx :: String -> IO ()

rmExe :: String -> IO ()

toIBCFile :: Name -> [Char]

installIBC :: String -> Name -> IO ()

installIdx :: String -> IO ()

installObj :: String -> String -> IO ()

mkDirCmd :: [Char]

inPkgDir :: PkgDesc -> IO a -> IO a

make :: Maybe String -> IO ()

Invoke a Makefile's default target.

clean :: Maybe String -> IO ()

Invoke a Makefile's clean target.