cabal-install-solver-3.12.1.0: The command-line interface for Cabal and Hackage.

Safe Haskell | None
Language | Haskell2010

Distribution.Solver.Types.ResolverPackage

Synopsis

- data ResolverPackage loc
  - = PreExisting InstSolverPackage
  - | Configured (SolverPackage loc)
- resolverPackageLibDeps :: ResolverPackage loc -> ComponentDeps [SolverId]
- resolverPackageExeDeps :: ResolverPackage loc -> ComponentDeps [SolverId]

# Documentation

data ResolverPackage loc #

The dependency resolver picks either pre-existing installed packages or it picks source packages along with package configuration.

This is like the `PlanPackage` but with fewer cases.

Constructors

PreExisting InstSolverPackage |
Configured (SolverPackage loc) |

#### Instances

Instances details

IsNode (ResolverPackage loc) # |

Instance details

Defined in Distribution.Solver.Types.ResolverPackage

Associated Types

type Key (ResolverPackage loc) |
Instance details Defined in Distribution.Solver.Types.ResolverPackage type Key (ResolverPackage loc) = SolverId

Methods

nodeKey :: ResolverPackage loc -> Key (ResolverPackage loc) #

nodeNeighbors :: ResolverPackage loc -> [Key (ResolverPackage loc)] #

Package (ResolverPackage loc) # |
Instance details Defined in Distribution.Solver.Types.ResolverPackage Methods packageId :: ResolverPackage loc -> PackageIdentifier #
Structured loc => Structured (ResolverPackage loc) # |
Instance details Defined in Distribution.Solver.Types.ResolverPackage Methods structure :: Proxy (ResolverPackage loc) -> Structure # structureHash' :: Tagged (ResolverPackage loc) MD5
Binary loc => Binary (ResolverPackage loc) # |
Instance details Defined in Distribution.Solver.Types.ResolverPackage Methods put :: ResolverPackage loc -> Put # get :: Get (ResolverPackage loc) # putList :: [ResolverPackage loc] -> Put #
Generic (ResolverPackage loc) # |

Instance details

Defined in Distribution.Solver.Types.ResolverPackage

Associated Types

type Rep (ResolverPackage loc) |

Instance details

Defined in Distribution.Solver.Types.ResolverPackage

type Rep (ResolverPackage loc) = D1 ('MetaData "ResolverPackage" "Distribution.Solver.Types.ResolverPackage" "cabal-install-solver-3.12.1.0-BcLJX5rVQuejx1qrKAH5j" 'False) (C1 ('MetaCons "PreExisting" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 InstSolverPackage)) :+: C1 ('MetaCons "Configured" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SolverPackage loc))))

Methods

from :: ResolverPackage loc -> Rep (ResolverPackage loc) x #

to :: Rep (ResolverPackage loc) x -> ResolverPackage loc #

Show loc => Show (ResolverPackage loc) # |
Instance details Defined in Distribution.Solver.Types.ResolverPackage Methods showsPrec :: Int -> ResolverPackage loc -> ShowS # show :: ResolverPackage loc -> String # showList :: [ResolverPackage loc] -> ShowS #
Eq loc => Eq (ResolverPackage loc) # |
Instance details Defined in Distribution.Solver.Types.ResolverPackage Methods (==) :: ResolverPackage loc -> ResolverPackage loc -> Bool # (/=) :: ResolverPackage loc -> ResolverPackage loc -> Bool #
type Key (ResolverPackage loc) # |
Instance details Defined in Distribution.Solver.Types.ResolverPackage type Key (ResolverPackage loc) = SolverId
type Rep (ResolverPackage loc) # |

Instance details

Defined in Distribution.Solver.Types.ResolverPackage

type Rep (ResolverPackage loc) = D1 ('MetaData "ResolverPackage" "Distribution.Solver.Types.ResolverPackage" "cabal-install-solver-3.12.1.0-BcLJX5rVQuejx1qrKAH5j" 'False) (C1 ('MetaCons "PreExisting" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 InstSolverPackage)) :+: C1 ('MetaCons "Configured" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SolverPackage loc))))

resolverPackageLibDeps :: ResolverPackage loc -> ComponentDeps [SolverId] #

resolverPackageExeDeps :: ResolverPackage loc -> ComponentDeps [SolverId] #