1. Packages

A package is the unit of distribution for the Cabal. Its purpose, when installed, is to make available either or both of:

• A library, exposing a number of Haskell modules. A library may also contain hidden modules, which are used internally but not available to clients.[1]

• One or more Haskell programs.

However having both a library and executables in a package does not work very well; if the executables depend on the library, they must explicitly list all the modules they directly or indirectly import from that library.

Internally, the package may consist of much more than a bunch of Haskell modules: it may also have C source code and header files, source code meant for preprocessing, documentation, test cases, auxiliary tools etc.

A package is identified by a globally-unique package name, an identifier containing no spaces. Chaos will result if two distinct packages with the same name are installed on the same system, but there is not yet a mechanism for allocating these names. A particular version of the package is distinguished by a version number, consisting of a sequence of one or more integers. These can be combined to form a single text string called the package ID, using a hyphen to separate the version from the name, and dots to separate the version components, e.g. "HUnit-1.1".

Packages are not part of the Haskell language; they simply populate the hierarchical space of module names. It is still the case that all the modules of a program must have distinct module names, regardless of the package they come from, and whether they are exposed or hidden. This also means that although some implementations (i.e. GHC) may allow several versions of a package to be installed at the same time, a program cannot use two packages, P and Q that depend on different versions of the same underlying package R.