Distribution.Solver.Modular

Documentation

modularResolver :: SolverConfig -> DependencyResolver loc

Ties the two worlds together: classic cabal-install vs. the modular solver. Performs the necessary translations before and after.

data SolverConfig

Various options for the modular solver.

Constructors

SolverConfig

Fields

• reorderGoals :: ReorderGoals
• countConflicts :: CountConflicts
• fineGrainedConflicts :: FineGrainedConflicts
• minimizeConflictSet :: MinimizeConflictSet
• independentGoals :: IndependentGoals
• avoidReinstalls :: AvoidReinstalls
• shadowPkgs :: ShadowPkgs
• strongFlags :: StrongFlags
• allowBootLibInstalls :: AllowBootLibInstalls
• onlyConstrained :: OnlyConstrained
• maxBackjumps :: Maybe Int
• enableBackjumping :: EnableBackjumping
• solveExecutables :: SolveExecutables
• goalOrder :: Maybe (Variable QPN -> Variable QPN -> Ordering)
• solverVerbosity :: Verbosity
• pruneAfterFirstSuccess :: PruneAfterFirstSuccess

newtype PruneAfterFirstSuccess

Whether to remove all choices after the first successful choice at each level in the search tree.

Constructors

PruneAfterFirstSuccess Bool