Safe Haskell	None
Language	Haskell2010

Distribution.Solver.Types.PackageConstraint

Description

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).

Documentation

data ConstraintScope Source #

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.

Instances

Instances details

Eq ConstraintScope Source #
Instance details Defined in Distribution.Solver.Types.PackageConstraint Methods (==) :: ConstraintScope -> ConstraintScope -> Bool # (/=) :: ConstraintScope -> ConstraintScope -> Bool #
Show ConstraintScope Source #
Instance details Defined in Distribution.Solver.Types.PackageConstraint Methods showsPrec :: Int -> ConstraintScope -> ShowS # show :: ConstraintScope -> String # showList :: [ConstraintScope] -> ShowS #

scopeToplevel :: PackageName -> ConstraintScope Source #

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.

scopeToPackageName :: ConstraintScope -> PackageName Source #

Returns the package name associated with a constraint scope.

constraintScopeMatches :: ConstraintScope -> QPN -> Bool Source #

data PackageProperty Source #

A package property is a logical predicate on packages.

Constructors

PackagePropertyVersion VersionRange
PackagePropertyInstalled
PackagePropertySource
PackagePropertyFlags FlagAssignment
PackagePropertyStanzas [OptionalStanza]

Instances

Instances details

Eq PackageProperty Source #
Instance details Defined in Distribution.Solver.Types.PackageConstraint Methods (==) :: PackageProperty -> PackageProperty -> Bool # (/=) :: PackageProperty -> PackageProperty -> Bool #
Show PackageProperty Source #
Instance details Defined in Distribution.Solver.Types.PackageConstraint Methods showsPrec :: Int -> PackageProperty -> ShowS # show :: PackageProperty -> String # showList :: [PackageProperty] -> ShowS #
Generic PackageProperty Source #
Instance details Defined in Distribution.Solver.Types.PackageConstraint Associated Types type Rep PackageProperty :: Type -> Type # Methods from :: PackageProperty -> Rep PackageProperty x # to :: Rep PackageProperty x -> PackageProperty #
Binary PackageProperty Source #
Instance details Defined in Distribution.Solver.Types.PackageConstraint Methods put :: PackageProperty -> Put # get :: Get PackageProperty # putList :: [PackageProperty] -> Put #
Structured PackageProperty Source #
Instance details Defined in Distribution.Solver.Types.PackageConstraint Methods structure :: Proxy PackageProperty -> Structure # structureHash' :: Tagged PackageProperty MD5
type Rep PackageProperty Source #
Instance details Defined in Distribution.Solver.Types.PackageConstraint type Rep PackageProperty = D1 ('MetaData "PackageProperty" "Distribution.Solver.Types.PackageConstraint" "cabal-install-solver-3.8.1.0-DQHDRT4McfjEkCZkJP5jZc" 'False) ((C1 ('MetaCons "PackagePropertyVersion" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 VersionRange)) :+: C1 ('MetaCons "PackagePropertyInstalled" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "PackagePropertySource" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "PackagePropertyFlags" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FlagAssignment)) :+: C1 ('MetaCons "PackagePropertyStanzas" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [OptionalStanza])))))

dispPackageProperty :: PackageProperty -> Doc Source #

Pretty-prints a package property.

data PackageConstraint Source #

A package constraint consists of a scope plus a property that must hold for all packages within that scope.

Constructors

PackageConstraint ConstraintScope PackageProperty

Instances

Instances details

Eq PackageConstraint Source #
Instance details Defined in Distribution.Solver.Types.PackageConstraint Methods (==) :: PackageConstraint -> PackageConstraint -> Bool # (/=) :: PackageConstraint -> PackageConstraint -> Bool #
Show PackageConstraint Source #
Instance details Defined in Distribution.Solver.Types.PackageConstraint Methods showsPrec :: Int -> PackageConstraint -> ShowS # show :: PackageConstraint -> String # showList :: [PackageConstraint] -> ShowS #

dispPackageConstraint :: PackageConstraint -> Doc Source #

Pretty-prints a package constraint.

showPackageConstraint :: PackageConstraint -> String Source #

Alternative textual representation of a package constraint for debugging purposes (slightly more verbose than that produced by dispPackageConstraint).

packageConstraintToDependency :: PackageConstraint -> Maybe PackageVersionConstraint Source #

Lossily convert a PackageConstraint to a Dependency.