Modulecabal-install-solver-3.18.1.0Haskell2010

Distribution.Solver.Modular.Assignment

Synopsis

data Assignment
type PAssignment
type FAssignment
type SAssignment
value toCPs

Packagecabal-install-solver-3.18.1.0
Exports5
LanguageHaskell2010
LicenceBSD-3-Clause
SourceAssignment.hs

datadata Assignment

Source#

A (partial) assignment of variables.

Constructors

A PAssignment FAssignment SAssignment

Instances2Eq, Show

Eq AssignmentDefined in cabal-install-solver-3.18.1.0 · Distribution.Solver.Modular.Assignment
Show AssignmentDefined in cabal-install-solver-3.18.1.0 · Distribution.Solver.Modular.Assignment

typetype PAssignment = Map QPN I

Source#

A (partial) package assignment. Qualified package names are associated with instances.

typetype FAssignment = Map QFN Bool

typetype SAssignment = Map QSN Bool

valuetoCPs :: Assignment -> RevDepMap -> [CP QPN]

Source#

Delivers an ordered list of fully configured packages.

TODO: This function is (sort of) ok. However, there's an open bug w.r.t. unqualification. There might be several different instances of one package version chosen by the solver, which will lead to clashes.