Modulecabal-install-solver-3.18.1.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

3 types
17 values

Packagecabal-install-solver-3.18.1.0
Exports20
LanguageHaskell2010
LicenceBSD-3-Clause
SourceComponentDeps.hs

Fine-grained package dependencies

4 declarations

datadata Component

Component of a package.

Constructors

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

Eq ComponentDefined in cabal-install-solver-3.18.1.0 · Distribution.Solver.Types.ComponentDeps
Ord ComponentDefined in cabal-install-solver-3.18.1.0 · Distribution.Solver.Types.ComponentDeps
Show ComponentDefined in cabal-install-solver-3.18.1.0 · Distribution.Solver.Types.ComponentDeps
Generic ComponentDefined in cabal-install-solver-3.18.1.0 · Distribution.Solver.Types.ComponentDeps
Binary ComponentDefined in cabal-install-solver-3.18.1.0 · Distribution.Solver.Types.ComponentDeps
Pretty ComponentDefined in cabal-install-solver-3.18.1.0 · Distribution.Solver.Types.ComponentDeps
Structured ComponentDefined in cabal-install-solver-3.18.1.0 · Distribution.Solver.Types.ComponentDeps
type Rep Component = D1 ('MetaData "Component" "Distribution.Solver.Types.ComponentDeps" "cabal-install-solver-3.18.1.0-EA8HGQDsQD9JqgSSc8jwkb" '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.18.1.0 · Distribution.Solver.Types.ComponentDeps

valuecomponentNameToComponent :: ComponentName -> Component

typetype ComponentDep a = (Component, a)

Dependency for a single component.

newtypenewtype ComponentDeps a

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.18.1.0 · Distribution.Solver.Types.ComponentDeps
Foldable ComponentDepsDefined in cabal-install-solver-3.18.1.0 · Distribution.Solver.Types.ComponentDeps
Traversable ComponentDepsDefined in cabal-install-solver-3.18.1.0 · Distribution.Solver.Types.ComponentDeps
Eq a => Eq (ComponentDeps a)Defined in cabal-install-solver-3.18.1.0 · Distribution.Solver.Types.ComponentDeps
Ord a => Ord (ComponentDeps a)Defined in cabal-install-solver-3.18.1.0 · Distribution.Solver.Types.ComponentDeps
Show a => Show (ComponentDeps a)Defined in cabal-install-solver-3.18.1.0 · Distribution.Solver.Types.ComponentDeps
Generic (ComponentDeps a)Defined in cabal-install-solver-3.18.1.0 · Distribution.Solver.Types.ComponentDeps
Semigroup a => Semigroup (ComponentDeps a)Defined in cabal-install-solver-3.18.1.0 · Distribution.Solver.Types.ComponentDeps
Semigroup a => Monoid (ComponentDeps a)Defined in cabal-install-solver-3.18.1.0 · Distribution.Solver.Types.ComponentDeps
Binary a => Binary (ComponentDeps a)Defined in cabal-install-solver-3.18.1.0 · Distribution.Solver.Types.ComponentDeps
Structured a => Structured (ComponentDeps a)Defined in cabal-install-solver-3.18.1.0 · Distribution.Solver.Types.ComponentDeps
type Rep (ComponentDeps a) = D1 ('MetaData "ComponentDeps" "Distribution.Solver.Types.ComponentDeps" "cabal-install-solver-3.18.1.0-EA8HGQDsQD9JqgSSc8jwkb" 'True) (C1 ('MetaCons "ComponentDeps" 'PrefixI 'True) (S1 ('MetaSel ('Just "unComponentDeps") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map Component a))))Defined in cabal-install-solver-3.18.1.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)

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

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

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

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

valuefromLibraryDeps :: a -> ComponentDeps a

ComponentDeps containing library dependencies only

valuefromSetupDeps :: a -> ComponentDeps a

ComponentDeps containing setup dependencies only.

valuefromInstalled :: a -> ComponentDeps a

ComponentDeps for installed packages.

We assume that installed packages only record their library dependencies.

Deconstructing ComponentDeps

valuetoList :: ComponentDeps a -> [ComponentDep a]

valuenonSetupDeps :: Monoid a => ComponentDeps a -> a

All dependencies except the setup dependencies.

Prior to the introduction of setup dependencies in version 1.24 this would have been _all_ dependencies.

valuelibraryDeps :: Monoid a => ComponentDeps a -> a

Library dependencies proper only. (Includes dependencies of internal libraries.)

valuesetupDeps :: Monoid a => ComponentDeps a -> a

Setup dependencies.

valueselect :: Monoid a => (Component -> Bool) -> ComponentDeps a -> a

Select dependencies satisfying a given predicate.

valuecomponents :: ComponentDeps a -> Set Component

List components