Distribution.Solver.Types.SolverId

Documentation

data SolverId

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

• solverSrcId :: PackageId
• solverInstId :: UnitId

PlannedId

Fields

• solverSrcId :: PackageId

Instances

Package SolverId

Defined in Distribution.Solver.Types.SolverId

Methods

packageId :: SolverId -> PackageIdentifier

Structured SolverId

Defined in Distribution.Solver.Types.SolverId

Methods

structure :: Proxy SolverId -> Structure

structureHash' :: Tagged SolverId MD5

Generic SolverId

Defined in Distribution.Solver.Types.SolverId

Associated Types

type Rep SolverId :: Type -> Type

Methods

from :: SolverId -> Rep SolverId x

to :: Rep SolverId x -> SolverId

Show SolverId

Defined in Distribution.Solver.Types.SolverId

Methods

showsPrec :: Int -> SolverId -> ShowS

show :: SolverId -> String

showList :: [SolverId] -> ShowS

Binary SolverId

Defined in Distribution.Solver.Types.SolverId

Methods

put :: SolverId -> Put

get :: Get SolverId

putList :: [SolverId] -> Put

Eq SolverId

Defined in Distribution.Solver.Types.SolverId

Methods

(==) :: SolverId -> SolverId -> Bool

(/=) :: SolverId -> SolverId -> Bool

Ord SolverId

Defined in Distribution.Solver.Types.SolverId

Methods

compare :: SolverId -> SolverId -> Ordering

(<) :: SolverId -> SolverId -> Bool

(<=) :: SolverId -> SolverId -> Bool

(>) :: SolverId -> SolverId -> Bool

(>=) :: SolverId -> SolverId -> Bool

max :: SolverId -> SolverId -> SolverId

min :: SolverId -> SolverId -> SolverId

type Rep SolverId

Defined in Distribution.Solver.Types.SolverId

type Rep SolverId = D1 ('MetaData "SolverId" "Distribution.Solver.Types.SolverId" "cabal-install-solver-3.14.1.0-IrFzCGg0s8s3eDyTwHSw4w" '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)))