:: a typeCtrl KGHC 9.14.1 · lts/ghc-9.14.x · 3e2d568 · 2026-10-11
Modulecabal-install-solver-3.16.0.0Haskell2010
A package path consists of a namespace and a package path inside that namespace.
Eq PackagePathDefined in cabal-install-solver-3.16.0.0 · Distribution.Solver.Types.PackagePathOrd PackagePathDefined in cabal-install-solver-3.16.0.0 · Distribution.Solver.Types.PackagePathShow PackagePathDefined in cabal-install-solver-3.16.0.0 · Distribution.Solver.Types.PackagePathTop-level namespace
Package choices in different namespaces are considered completely independent by the solver.
DefaultNamespaceThe default namespace
Independent PackageNameA namespace for a specific build target
Qualifier of a package within a namespace (see PackagePath)
QualToplevelTop-level dependency in this namespace
QualBase PackageNameAny dependency on base is considered independent
This makes it possible to have base shims.
QualSetup PackageNameSetup dependency
By rights setup dependencies ought to be nestable; after all, the setup dependencies of a package might themselves have setup dependencies, which are independent from everything else. However, this very quickly leads to infinite search trees in the solver. Therefore we limit ourselves to a single qualifier (within a given namespace).
QualExe PackageName PackageNameIf we depend on an executable from a package (via
build-tools), we should solve for the dependencies of that
package separately (since we're not going to actually try to
link it.) We qualify for EACH package separately; e.g.,
Exe pn1 pn2build-tools dependency on
pn2 from package pn1. (If we tracked only pn1, that
would require a consistent dependency resolution for all
of the depended upon executables from a package; if we
tracked only pn2, that would require us to pick only one
version of an executable over the entire install plan.)
Pretty-prints a qualifier. The result is either empty or ends in a period, so it can be prepended onto a package name.
NOTE: the base qualifier is for a dependency _on_ base; the qualifier is
there to make sure different dependencies on base are all independent.
So we want to print something like "A.base", where the "A." part
is the qualifier and "base" is the actual dependency (which, for the
Base qualifier, will always be base).
A qualified entity. Pairs a package path with the entity.
Q PackagePath aEq a => Eq (Qualified a)Defined in cabal-install-solver-3.16.0.0 · Distribution.Solver.Types.PackagePathOrd a => Ord (Qualified a)Defined in cabal-install-solver-3.16.0.0 · Distribution.Solver.Types.PackagePathShow a => Show (Qualified a)Defined in cabal-install-solver-3.16.0.0 · Distribution.Solver.Types.PackagePathQualified package name.
Pretty-prints a qualified package name.
String representation of a qualified package name.