Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Distribution.Solver.Modular.Assignment
Synopsis
- data Assignment = A PAssignment FAssignment SAssignment
- type PAssignment = Map QPN I
- type FAssignment = Map QFN Bool
- type SAssignment = Map QSN Bool
- toCPs :: Assignment -> RevDepMap -> [CP QPN]
Documentation
data Assignment Source #
A (partial) assignment of variables.
Constructors
A PAssignment FAssignment SAssignment |
Instances
Show Assignment Source # | |
Defined in Distribution.Solver.Modular.Assignment Methods showsPrec :: Int -> Assignment -> ShowS # show :: Assignment -> String # showList :: [Assignment] -> ShowS # | |
Eq Assignment Source # | |
Defined in Distribution.Solver.Modular.Assignment |
type PAssignment = Map QPN I Source #
A (partial) package assignment. Qualified package names are associated with instances.
toCPs :: 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.