HORIZON HASKELLDocslts/ghc-9.10.xc74966e2026-09-27Search names, modules, packages, or :: a typeCtrl K

GHC 9.10.3 · lts/ghc-9.10.x · c74966e · 2026-09-27

Modulecabal-install-solver-3.12.1.0Haskell2010

Distribution.Solver.Types.PackageConstraint

Per-package constraints. Package constraints must be respected by the solver. Multiple constraints for each package can be given, though obviously it is possible to construct conflicting constraints (eg impossible version range or inconsistent flag assignment).

  • 3 types
  • 7 values
datadata ConstraintScope
#

Determines to what packages and in what contexts a constraint applies.

Constructors

  • ScopeTarget PackageName

    A scope that applies when the given package is used as a build target. In other words, the scope applies iff a goal has a top-level qualifier and its namespace matches the given package name. A namespace is considered to match a package name when it is either the default namespace (for --no-independent-goals) or it is an independent namespace with the given package name (for --independent-goals).

  • ScopeQualified Qualifier PackageName

    The package with the specified name and qualifier.

  • ScopeAnySetupQualifier PackageName

    The package with the specified name when it has a setup qualifier.

  • ScopeAnyQualifier PackageName

    The package with the specified name regardless of qualifier.

Instances2Eq, Show
  • Eq ConstraintScopeDefined in cabal-install-solver-3.12.1.0 · Distribution.Solver.Types.PackageConstraint
  • Show ConstraintScopeDefined in cabal-install-solver-3.12.1.0 · Distribution.Solver.Types.PackageConstraint
valuescopeToplevel :: PackageName -> ConstraintScope
#

Constructor for a common use case: the constraint applies to the package with the specified name when that package is a top-level dependency in the default namespace.

datadata PackageProperty
#

A package property is a logical predicate on packages.

Constructors

Instances6Eq, Show, Generic, Binary, Structured, Rep