Modulecabal-install-solver-3.16.0.0Haskell2010

Distribution.Solver.Modular.Assignment

4 types
1 value

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

datadata Assignment

A (partial) assignment of variables.

Constructors

A PAssignment FAssignment SAssignment

Instances2Eq, Show

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

typetype PAssignment = Map QPN I

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]

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.