Modulecabal-install-3.18.1.0

Distribution.Client.InstallPlan

8 types
30 values

Packagecabal-install-3.18.1.0
Exports38
LicenceBSD-3-Clause

valuecompleted

:: (IsUnit ipkg, IsUnit srcpkg)
=> GenericInstallPlan ipkg srcpkg
-> Processing
-> UnitId
-> ([GenericReadyPackage srcpkg], Processing)

valueconfigureInstallPlan :: ConfigFlags -> SolverInstallPlan -> InstallPlan

valuedependencyClosure

:: GenericInstallPlan ipkg srcpkg
-> [UnitId]
-> [GenericPlanPackage ipkg srcpkg]

valuedepends :: IsUnit a => a -> [UnitId]

valuedirectDeps

:: GenericInstallPlan ipkg srcpkg
-> UnitId
-> [GenericPlanPackage ipkg srcpkg]

valueexecute

:: (IsUnit ipkg, IsUnit srcpkg, Monad m)
=> JobControl m (UnitId, Either failure result)
-> Bool
-> srcpkg -> failure
-> GenericInstallPlan ipkg srcpkg
-> GenericReadyPackage srcpkg -> m (Either failure result)
-> m (BuildOutcomes failure result)

valueexecutionOrder

:: (IsUnit ipkg, IsUnit srcpkg)
=> GenericInstallPlan ipkg srcpkg
-> [GenericReadyPackage srcpkg]

valuefailed

:: (IsUnit ipkg, IsUnit srcpkg)
=> GenericInstallPlan ipkg srcpkg
-> Processing
-> UnitId
-> ([srcpkg], Processing)

valuefoldPlanPackage

:: ipkg -> a
-> srcpkg -> a
-> GenericPlanPackage ipkg srcpkg
-> a

valuefromSolverInstallPlan

:: (IsUnit ipkg, IsUnit srcpkg)
=> (SolverId -> [GenericPlanPackage ipkg srcpkg]) -> SolverPlanPackage -> [GenericPlanPackage ipkg srcpkg]
-> SolverInstallPlan
-> GenericInstallPlan ipkg srcpkg

valuefromSolverInstallPlanWithProgress

:: (IsUnit ipkg, IsUnit srcpkg)
=> (SolverId -> [GenericPlanPackage ipkg srcpkg]) -> SolverPlanPackage -> LogProgress [GenericPlanPackage ipkg srcpkg]
-> SolverInstallPlan
-> LogProgress (GenericInstallPlan ipkg srcpkg)

valueinstalled

:: (IsUnit ipkg, IsUnit srcpkg)
=> srcpkg -> Bool
-> GenericInstallPlan ipkg srcpkg
-> GenericInstallPlan ipkg srcpkg

valuekeys :: GenericInstallPlan ipkg srcpkg -> [UnitId]

valuekeysSet :: GenericInstallPlan ipkg srcpkg -> Set UnitId

valuelookup

:: (IsUnit ipkg, IsUnit srcpkg)
=> GenericInstallPlan ipkg srcpkg
-> UnitId
-> Maybe (GenericPlanPackage ipkg srcpkg)

valuelookupBuildOutcome

:: HasUnitId pkg
=> pkg
-> BuildOutcomes failure result
-> Maybe (Either failure result)

valuenew

:: (IsUnit ipkg, IsUnit srcpkg)
=> IndependentGoals
-> Graph (GenericPlanPackage ipkg srcpkg)
-> GenericInstallPlan ipkg srcpkg

valueready

:: (IsUnit ipkg, IsUnit srcpkg)
=> GenericInstallPlan ipkg srcpkg
-> ([GenericReadyPackage srcpkg], Processing)

valueremove

:: (IsUnit ipkg, IsUnit srcpkg)
=> GenericPlanPackage ipkg srcpkg -> Bool
-> GenericInstallPlan ipkg srcpkg
-> GenericInstallPlan ipkg srcpkg

valuerevDirectDeps

:: GenericInstallPlan ipkg srcpkg
-> UnitId
-> [GenericPlanPackage ipkg srcpkg]

valuereverseDependencyClosure

:: GenericInstallPlan ipkg srcpkg
-> [UnitId]
-> [GenericPlanPackage ipkg srcpkg]

valuereverseTopologicalOrder

:: GenericInstallPlan ipkg srcpkg
-> [GenericPlanPackage ipkg srcpkg]

valueshowInstallPlan

:: (Package ipkg, Package srcpkg, IsUnit ipkg, IsUnit srcpkg)
=> GenericInstallPlan ipkg srcpkg
-> String

valueshowInstallPlan_gen

:: GenericPlanPackage ipkg srcpkg -> ShowPlanNode
-> GenericInstallPlan ipkg srcpkg
-> String

valueshowPlanGraph :: [ShowPlanNode] -> String

valueshowPlanPackageTag :: GenericPlanPackage ipkg srcpkg -> String

valuetoGraph

:: GenericInstallPlan ipkg srcpkg
-> Graph (GenericPlanPackage ipkg srcpkg)

valuetoList :: GenericInstallPlan ipkg srcpkg -> [GenericPlanPackage ipkg srcpkg]

valuetoMap

:: GenericInstallPlan ipkg srcpkg
-> Map UnitId (GenericPlanPackage ipkg srcpkg)

typetype BuildOutcomes failure result = Map UnitId (Either failure result)

datadata GenericInstallPlan ipkg srcpkg

Instances2Binary, Structured

(IsNode ipkg, Key ipkg ~ UnitId, IsNode srcpkg, Key srcpkg ~ UnitId, Binary ipkg, Binary srcpkg) => Binary (GenericInstallPlan ipkg srcpkg)Defined in cabal-install-3.18.1.0 · Distribution.Client.InstallPlan
(Structured ipkg, Structured srcpkg) => Structured (GenericInstallPlan ipkg srcpkg)Defined in cabal-install-3.18.1.0 · Distribution.Client.InstallPlan

valueplanIndepGoals :: GenericInstallPlan ipkg srcpkg -> IndependentGoals

datadata GenericPlanPackage ipkg srcpkg

Constructors

PreExisting ipkg
Configured srcpkg
Installed srcpkg

Instances12Eq, Show, Generic, Binary, Structured, IsNode, …

(Eq ipkg, Eq srcpkg) => Eq (GenericPlanPackage ipkg srcpkg)Defined in cabal-install-3.18.1.0 · Distribution.Client.InstallPlan
(Show ipkg, Show srcpkg) => Show (GenericPlanPackage ipkg srcpkg)Defined in cabal-install-3.18.1.0 · Distribution.Client.InstallPlan
Generic (GenericPlanPackage ipkg srcpkg)Defined in cabal-install-3.18.1.0 · Distribution.Client.InstallPlan
(Binary ipkg, Binary srcpkg) => Binary (GenericPlanPackage ipkg srcpkg)Defined in cabal-install-3.18.1.0 · Distribution.Client.InstallPlan
(Structured ipkg, Structured srcpkg) => Structured (GenericPlanPackage ipkg srcpkg)Defined in cabal-install-3.18.1.0 · Distribution.Client.InstallPlan
(IsNode ipkg, IsNode srcpkg, Key ipkg ~ UnitId, Key srcpkg ~ UnitId) => IsNode (GenericPlanPackage ipkg srcpkg)Defined in cabal-install-3.18.1.0 · Distribution.Client.InstallPlan
(HasMungedPackageId ipkg, HasMungedPackageId srcpkg) => HasMungedPackageId (GenericPlanPackage ipkg srcpkg)Defined in cabal-install-3.18.1.0 · Distribution.Client.InstallPlan
(HasUnitId ipkg, HasUnitId srcpkg) => HasUnitId (GenericPlanPackage ipkg srcpkg)Defined in cabal-install-3.18.1.0 · Distribution.Client.InstallPlan
(Package ipkg, Package srcpkg) => Package (GenericPlanPackage ipkg srcpkg)Defined in cabal-install-3.18.1.0 · Distribution.Client.InstallPlan
(HasConfiguredId ipkg, HasConfiguredId srcpkg) => HasConfiguredId (GenericPlanPackage ipkg srcpkg)Defined in cabal-install-3.18.1.0 · Distribution.Client.InstallPlan
type Rep (GenericPlanPackage ipkg srcpkg) = D1 ('MetaData "GenericPlanPackage" "Distribution.Client.InstallPlan" "cabal-install-3.18.1.0-5FXMCFc4TOY4fqIfbvqKPH" 'False) (C1 ('MetaCons "PreExisting" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ipkg)) :+: (C1 ('MetaCons "Configured" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 srcpkg)) :+: C1 ('MetaCons "Installed" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 srcpkg))))Defined in cabal-install-3.18.1.0 · Distribution.Client.InstallPlan
type Key (GenericPlanPackage ipkg srcpkg) = UnitIdDefined in cabal-install-3.18.1.0 · Distribution.Client.InstallPlan

typetype InstallPlan = GenericInstallPlan InstalledPackageInfo (ConfiguredPackage UnresolvedPkgLoc)

typetype IsUnit a = (IsNode a, Key a ~ UnitId)

typetype PlanPackage = GenericPlanPackage InstalledPackageInfo (ConfiguredPackage UnresolvedPkgLoc)

datadata Processing

datadata ShowPlanNode

Constructors

ShowPlanNode
- showPlanHerald :: Doc
- showPlanNeighbours :: [Doc]