Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Distribution.Solver.Types.SolverId
Synopsis
- data SolverId
- = PreExistingId {
- solverSrcId :: PackageId
- solverInstId :: UnitId
- | PlannedId { }
- = PreExistingId {
Documentation
The solver can produce references to existing packages or
packages we plan to install. Unlike ConfiguredId
we don't
yet know the UnitId
for planned packages, because it's
not the solver's job to compute them.
Constructors
PreExistingId | |
Fields
| |
PlannedId | |
Fields |
Instances
Package SolverId # | |
Defined in Distribution.Solver.Types.SolverId Methods | |
Structured SolverId # | |
Defined in Distribution.Solver.Types.SolverId | |
Generic SolverId # | |
Show SolverId # | |
Binary SolverId # | |
Eq SolverId # | |
Ord SolverId # | |
Defined in Distribution.Solver.Types.SolverId | |
type Rep SolverId # | |
Defined in Distribution.Solver.Types.SolverId type Rep SolverId = D1 ('MetaData "SolverId" "Distribution.Solver.Types.SolverId" "cabal-install-solver-3.10.1.0-4I9p4uuKME01q5xZ1JjXoT" 'False) (C1 ('MetaCons "PreExistingId" 'PrefixI 'True) (S1 ('MetaSel ('Just "solverSrcId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PackageId) :*: S1 ('MetaSel ('Just "solverInstId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UnitId)) :+: C1 ('MetaCons "PlannedId" 'PrefixI 'True) (S1 ('MetaSel ('Just "solverSrcId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PackageId))) |