Ties the two worlds together: classic cabal-install vs. the modular solver. Performs the necessary translations before and after.
Modulecabal-install-solver-3.12.1.0Haskell2010
Distribution.Solver.Modular
- 2 types
- 1 value
- Packagecabal-install-solver-3.12.1.0
- Exports3
- LanguageHaskell2010
- LicenceBSD-3-Clause
- SourceModular.hs
Various options for the modular solver.
Constructors
SolverConfigreorderGoals :: ReorderGoalscountConflicts :: CountConflictsfineGrainedConflicts :: FineGrainedConflictsminimizeConflictSet :: MinimizeConflictSetindependentGoals :: IndependentGoalsavoidReinstalls :: AvoidReinstallsshadowPkgs :: ShadowPkgsstrongFlags :: StrongFlagsonlyConstrained :: OnlyConstrainedmaxBackjumps :: Maybe IntenableBackjumping :: EnableBackjumpingsolveExecutables :: SolveExecutablesgoalOrder :: Maybe (Variable QPN -> Variable QPN -> Ordering)solverVerbosity :: VerbositypruneAfterFirstSuccess :: PruneAfterFirstSuccess
Whether to remove all choices after the first successful choice at each level in the search tree.