| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Pkg.Package
Contents
- buildPkg :: Bool -> (Bool, FilePath) -> IO ()
- checkPkg :: Bool -> Bool -> FilePath -> IO ()
- replPkg :: FilePath -> Idris ()
- cleanPkg :: FilePath -> IO ()
- documentPkg :: FilePath -> IO ()
- testPkg :: FilePath -> IO ()
- installPkg :: PkgDesc -> IO ()
- 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 ()
- clean :: Maybe String -> IO ()
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
Type check packages only
This differs from build in that executables are not built, if the package contains an executable.
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 () Source
Build a package with a sythesized main function that runs the tests
installPkg :: PkgDesc -> IO () Source
Install package
installIBC :: String -> Name -> IO () Source
installIdx :: String -> IO () Source
installObj :: String -> String -> IO () Source