idris-0.9.11.2: Functional Programming Language with Dependent Types

Safe HaskellNone

Pkg.Package

Contents

Synopsis

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 ()Source

Run the package through the idris compiler.

checkPkgSource

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 ()Source

Check a package and start a REPL

cleanPkgSource

Arguments

:: FilePath

Path to ipkg file.

-> IO () 

Clean Package build files

installPkg :: PkgDesc -> IO ()Source

Install package

make :: Maybe String -> IO ()Source

Invoke a Makefile's default target.

clean :: Maybe String -> IO ()Source

Invoke a Makefile's clean target.