cabal-install-solver
Safe HaskellSafe-Inferred
LanguageHaskell2010

Distribution.Solver.Types.ConstraintSource

Synopsis

Documentation

data ConstraintSource Source #

Source of a PackageConstraint.

Constructors

ConstraintSourceMainConfig FilePath

Main config file, which is ~.cabalconfig by default.

ConstraintSourceProjectConfig ProjectConfigPath

Local cabal.project file

ConstraintSourceUserConfig FilePath

User config file, which is ./cabal.config by default.

ConstraintSourceCommandlineFlag

Flag specified on the command line.

ConstraintSourceUserTarget

Target specified by the user, e.g., cabal install package-0.1.0.0 implies package==0.1.0.0.

ConstraintSourceNonReinstallablePackage

Internal requirement to use installed versions of packages like ghc-prim.

ConstraintSourceFreeze

Internal constraint used by cabal freeze.

ConstraintSourceConfigFlagOrTarget

Constraint specified by a config file, a command line flag, or a user target, when a more specific source is not known.

ConstraintSourceMultiRepl

Constraint introduced by --enable-multi-repl, which requires features from Cabal >= 3.11

ConstraintSourceProfiledDynamic

Constraint introduced by --enable-profiling-shared, which requires features from Cabal >= 3.13

ConstraintSourceUnknown

The source of the constraint is not specified.

ConstraintSetupCabalMinVersion

An internal constraint due to compatibility issues with the Setup.hs command line interface requires a minimum lower bound on Cabal

ConstraintSetupCabalMaxVersion

An internal constraint due to compatibility issues with the Setup.hs command line interface requires a maximum upper bound on Cabal

Instances

Instances details
Structured ConstraintSource Source # 
Instance details

Defined in Distribution.Solver.Types.ConstraintSource

Methods

structure :: Proxy ConstraintSource -> Structure

structureHash' :: Tagged ConstraintSource MD5

Generic ConstraintSource Source # 
Instance details

Defined in Distribution.Solver.Types.ConstraintSource

Associated Types

type Rep ConstraintSource :: Type -> Type #

Methods

from :: ConstraintSource -> Rep ConstraintSource x #

to :: Rep ConstraintSource x -> ConstraintSource #

Show ConstraintSource Source # 
Instance details

Defined in Distribution.Solver.Types.ConstraintSource

Methods

showsPrec :: Int -> ConstraintSource -> ShowS #

show :: ConstraintSource -> String #

showList :: [ConstraintSource] -> ShowS #

Binary ConstraintSource Source # 
Instance details

Defined in Distribution.Solver.Types.ConstraintSource

Methods

put :: ConstraintSource -> Put #

get :: Get ConstraintSource #

putList :: [ConstraintSource] -> Put #

Eq ConstraintSource Source # 
Instance details

Defined in Distribution.Solver.Types.ConstraintSource

Methods

(==) :: ConstraintSource -> ConstraintSource -> Bool #

(/=) :: ConstraintSource -> ConstraintSource -> Bool #

type Rep ConstraintSource Source # 
Instance details

Defined in Distribution.Solver.Types.ConstraintSource

type Rep ConstraintSource = D1 ('MetaData "ConstraintSource" "Distribution.Solver.Types.ConstraintSource" "cabal-install-solver-3.14.1.0-inplace" 'False) (((C1 ('MetaCons "ConstraintSourceMainConfig" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FilePath)) :+: (C1 ('MetaCons "ConstraintSourceProjectConfig" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ProjectConfigPath)) :+: C1 ('MetaCons "ConstraintSourceUserConfig" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FilePath)))) :+: (C1 ('MetaCons "ConstraintSourceCommandlineFlag" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ConstraintSourceUserTarget" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ConstraintSourceNonReinstallablePackage" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "ConstraintSourceFreeze" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ConstraintSourceConfigFlagOrTarget" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ConstraintSourceMultiRepl" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "ConstraintSourceProfiledDynamic" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ConstraintSourceUnknown" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ConstraintSetupCabalMinVersion" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ConstraintSetupCabalMaxVersion" 'PrefixI 'False) (U1 :: Type -> Type)))))

showConstraintSource :: ConstraintSource -> String Source #

Description of a ConstraintSource.