Skip to content

HORIZON HASKELL Docs master5ff592b2026-10-19Search names, modules, packages, or :: a typeCtrl K

GHC 10.0.0.20260917 · master · 5ff592b · 2026-10-19

Modulecabal-install-solver-3.18.1.0

Distribution.Solver.Modular.Tree

8 types
8 values

Packagecabal-install-solver-3.18.1.0
Exports16
LicenceBSD-3-Clause

valueactive :: Tree d c -> Bool

valueana :: (a -> TreeF d c a) -> a -> Tree d c

valuecata :: (TreeF d c a -> a) -> Tree d c -> a

valueinn :: TreeF d c (Tree d c) -> Tree d c

valueinnM :: Monad m => TreeF d c (m (Tree d c)) -> m (Tree d c)

valuepara :: (TreeF d c (a, Tree d c) -> a) -> Tree d c -> a

valuetrav :: TreeTrav d c a -> Tree d c -> Tree d a

valuezeroOrOneChoices :: Tree d c -> Bool

datadata ConflictingDep

Constructors

ConflictingDep (DependencyReason QPN) (PkgComponent QPN) CI

Instances2Eq, Show

Eq ConflictingDepDefined in cabal-install-solver-3.18.1.0 · Distribution.Solver.Modular.Tree
Show ConflictingDepDefined in cabal-install-solver-3.18.1.0 · Distribution.Solver.Modular.Tree

typetype EndoTreeTrav d c = TreeTrav d c c

datadata FailReason

Constructors

UnsupportedExtension Extension
UnsupportedLanguage Language
MissingPkgconfigPackage PkgconfigName PkgconfigVersionRange
MissingPkgconfigProgram PkgconfigName PkgconfigVersionRange
NewPackageDoesNotMatchExistingConstraint ConflictingDep
ConflictingConstraints ConflictingDep ConflictingDep
NewPackageIsMissingRequiredComponent ExposedComponent (DependencyReason QPN)
NewPackageHasPrivateRequiredComponent ExposedComponent (DependencyReason QPN)
NewPackageHasUnbuildableRequiredComponent ExposedComponent (DependencyReason QPN)
PackageRequiresMissingComponent QPN ExposedComponent
PackageRequiresPrivateComponent QPN ExposedComponent
PackageRequiresUnbuildableComponent QPN ExposedComponent
CannotReinstall
NotExplicit
Shadowed
Broken UnitId
UnknownPackage
GlobalConstraintVersion VR ConstraintSource
GlobalConstraintInstalled ConstraintSource
GlobalConstraintInstalledSpecificUnitId UnitId ConstraintSource
GlobalConstraintSource ConstraintSource
GlobalConstraintFlag ConstraintSource
ManualFlag
MalformedFlagChoice QFN
MalformedStanzaChoice QSN
EmptyGoalChoice
Backjump
MultipleInstances
DependenciesNotLinked String
CyclicDependencies
UnsupportedSpecVer Ver

Instances2Eq, Show

Eq FailReasonDefined in cabal-install-solver-3.18.1.0 · Distribution.Solver.Modular.Tree
Show FailReasonDefined in cabal-install-solver-3.18.1.0 · Distribution.Solver.Modular.Tree

datadata POption

Constructors

POption I (Maybe PackagePath)

Instances2Eq, Show

Eq POptionDefined in cabal-install-solver-3.18.1.0 · Distribution.Solver.Modular.Tree
Show POptionDefined in cabal-install-solver-3.18.1.0 · Distribution.Solver.Modular.Tree

datadata Tree d c

Constructors

PChoice QPN RevDepMap c (WeightedPSQ [Weight] POption (Tree d c))
FChoice QFN RevDepMap c WeakOrTrivial FlagType Bool (WeightedPSQ [Weight] Bool (Tree d c))
SChoice QSN RevDepMap c WeakOrTrivial (WeightedPSQ [Weight] Bool (Tree d c))
GoalChoice RevDepMap (PSQ (Goal QPN) (Tree d c))
Done RevDepMap d
Fail ConflictSet FailReason

datadata TreeF d c a

Constructors

PChoiceF QPN RevDepMap c (WeightedPSQ [Weight] POption a)
FChoiceF QFN RevDepMap c WeakOrTrivial FlagType Bool (WeightedPSQ [Weight] Bool a)
SChoiceF QSN RevDepMap c WeakOrTrivial (WeightedPSQ [Weight] Bool a)
GoalChoiceF RevDepMap (PSQ (Goal QPN) a)
DoneF RevDepMap d
FailF ConflictSet FailReason

Instances3Functor, Foldable, Traversable

Functor (TreeF d c)Defined in cabal-install-solver-3.18.1.0 · Distribution.Solver.Modular.Tree
Foldable (TreeF d c)Defined in cabal-install-solver-3.18.1.0 · Distribution.Solver.Modular.Tree
Traversable (TreeF d c)Defined in cabal-install-solver-3.18.1.0 · Distribution.Solver.Modular.Tree

typetype TreeTrav d c a = TreeF d c (Tree d a) -> TreeF d a (Tree d a)

typetype Weight = Double