Modulecabal-install-solver-3.16.0.0Haskell2010

Distribution.Solver.Types.ComponentDeps

Fine-grained package dependencies

Like many others, this module is meant to be "double-imported":

import Distribution.Solver.Types.ComponentDeps (
    Component
  , ComponentDep
  , ComponentDeps
  )
import qualified Distribution.Solver.Types.ComponentDeps as CD

Contents

Fine-grained package dependencies
Constructing ComponentDeps
Deconstructing ComponentDeps

Synopsis

data Component
value componentNameToComponent
type ComponentDep
newtype ComponentDeps
value empty
value fromList
value singleton
value insert
value zip
value filterDeps
value mapDeps
value fromLibraryDeps
value fromSetupDeps
value fromInstalled
value toList
value flatDeps
value nonSetupDeps
value libraryDeps
value setupDeps
value select
value components

Packagecabal-install-solver-3.16.0.0
Exports21
LanguageHaskell2010
LicenceBSD-3-Clause
SourceComponentDeps.hs

Fine-grained package dependencies

datadata Component

Source#

Component of a package.

Constructors

Instances8Eq, Ord, Show, Generic, Binary, Pretty, …

Eq ComponentDefined in cabal-install-solver-3.16.0.0 · Distribution.Solver.Types.ComponentDeps
Ord ComponentDefined in cabal-install-solver-3.16.0.0 · Distribution.Solver.Types.ComponentDeps
Show ComponentDefined in cabal-install-solver-3.16.0.0 · Distribution.Solver.Types.ComponentDeps
Generic ComponentDefined in cabal-install-solver-3.16.0.0 · Distribution.Solver.Types.ComponentDeps
Binary ComponentDefined in cabal-install-solver-3.16.0.0 · Distribution.Solver.Types.ComponentDeps
Pretty ComponentDefined in cabal-install-solver-3.16.0.0 · Distribution.Solver.Types.ComponentDeps
Structured ComponentDefined in cabal-install-solver-3.16.0.0 · Distribution.Solver.Types.ComponentDeps
type Rep Component = D1 ('MetaData "Component" "Distribution.Solver.Types.ComponentDeps" "cabal-install-solver-3.16.0.0-1EUIXvFUry24MkMMJQfegz" 'False) ((C1 ('MetaCons "ComponentLib" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "ComponentSubLib" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UnqualComponentName)) :+: C1 ('MetaCons "ComponentFLib" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UnqualComponentName)))) :+: ((C1 ('MetaCons "ComponentExe" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UnqualComponentName)) :+: C1 ('MetaCons "ComponentTest" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UnqualComponentName))) :+: (C1 ('MetaCons "ComponentBench" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UnqualComponentName)) :+: C1 ('MetaCons "ComponentSetup" 'PrefixI 'False) U1)))Defined in cabal-install-solver-3.16.0.0 · Distribution.Solver.Types.ComponentDeps

valuecomponentNameToComponent :: ComponentName -> Component

typetype ComponentDep a = (Component, a)

Source#

Dependency for a single component.

newtypenewtype ComponentDeps a

Source#

Fine-grained dependencies for a package.

Typically used as ComponentDeps [Dependency], to represent the list of dependencies for each named component within a package.

Instances12Functor, Foldable, Traversable, Eq, Ord, Show, …

Functor ComponentDepsDefined in cabal-install-solver-3.16.0.0 · Distribution.Solver.Types.ComponentDeps
Foldable ComponentDepsDefined in cabal-install-solver-3.16.0.0 · Distribution.Solver.Types.ComponentDeps
Traversable ComponentDepsDefined in cabal-install-solver-3.16.0.0 · Distribution.Solver.Types.ComponentDeps
Eq a => Eq (ComponentDeps a)Defined in cabal-install-solver-3.16.0.0 · Distribution.Solver.Types.ComponentDeps
Ord a => Ord (ComponentDeps a)Defined in cabal-install-solver-3.16.0.0 · Distribution.Solver.Types.ComponentDeps
Show a => Show (ComponentDeps a)Defined in cabal-install-solver-3.16.0.0 · Distribution.Solver.Types.ComponentDeps
Generic (ComponentDeps a)Defined in cabal-install-solver-3.16.0.0 · Distribution.Solver.Types.ComponentDeps
Semigroup a => Semigroup (ComponentDeps a)Defined in cabal-install-solver-3.16.0.0 · Distribution.Solver.Types.ComponentDeps
Semigroup a => Monoid (ComponentDeps a)Defined in cabal-install-solver-3.16.0.0 · Distribution.Solver.Types.ComponentDeps
Binary a => Binary (ComponentDeps a)Defined in cabal-install-solver-3.16.0.0 · Distribution.Solver.Types.ComponentDeps
Structured a => Structured (ComponentDeps a)Defined in cabal-install-solver-3.16.0.0 · Distribution.Solver.Types.ComponentDeps
type Rep (ComponentDeps a) = D1 ('MetaData "ComponentDeps" "Distribution.Solver.Types.ComponentDeps" "cabal-install-solver-3.16.0.0-1EUIXvFUry24MkMMJQfegz" 'True) (C1 ('MetaCons "ComponentDeps" 'PrefixI 'True) (S1 ('MetaSel ('Just "unComponentDeps") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map Component a))))Defined in cabal-install-solver-3.16.0.0 · Distribution.Solver.Types.ComponentDeps

Constructing ComponentDeps

valueempty :: ComponentDeps a

valuefromList :: Monoid a => [ComponentDep a] -> ComponentDeps a

valuesingleton :: Component -> a -> ComponentDeps a

valueinsert :: Monoid a => Component -> a -> ComponentDeps a -> ComponentDeps a

valuezip

:: (Monoid a, Monoid b)
=> ComponentDeps a
-> ComponentDeps b
-> ComponentDeps (a, b)

Source#

Zip two ComponentDeps together by Component, using mempty as the neutral element when a Component is present only in one.

valuefilterDeps :: (Component -> a -> Bool) -> ComponentDeps a -> ComponentDeps a

Source#

Keep only selected components (and their associated deps info).

valuemapDeps :: (Component -> a -> b) -> ComponentDeps a -> ComponentDeps b

Source#

Keep only selected components (and their associated deps info).

valuefromLibraryDeps :: a -> ComponentDeps a

Source#

ComponentDeps containing library dependencies only

valuefromSetupDeps :: a -> ComponentDeps a

Source#

ComponentDeps containing setup dependencies only.

valuefromInstalled :: a -> ComponentDeps a

Source#

ComponentDeps for installed packages.

We assume that installed packages only record their library dependencies.

Deconstructing ComponentDeps

valuetoList :: ComponentDeps a -> [ComponentDep a]

valueflatDeps :: Monoid a => ComponentDeps a -> a

Source#

All dependencies of a package.

This is just a synonym for fold, but perhaps a use of flatDeps is more obvious than a use of fold, and moreover this avoids introducing lots of #ifdefs for 7.10 just for the use of fold.