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

Safe Haskell | None
Language | Haskell2010

Distribution.Solver.Types.ConstraintSource

Synopsis

- data ConstraintSource
  - = ConstraintSourceMainConfig FilePath
  - | ConstraintSourceProjectConfig ProjectConfigPath
  - | ConstraintSourceUserConfig FilePath
  - | ConstraintSourceCommandlineFlag
  - | ConstraintSourceUserTarget
  - | ConstraintSourceNonReinstallablePackage
  - | ConstraintSourceFreeze
  - | ConstraintSourceConfigFlagOrTarget
  - | ConstraintSourceMultiRepl
  - | ConstraintSourceUnknown
  - | ConstraintSetupCabalMinVersion
  - | ConstraintSetupCabalMaxVersion
- showConstraintSource :: ConstraintSource -> String

# Documentation

data ConstraintSource #

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
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 # |
Instance details Defined in Distribution.Solver.Types.ConstraintSource Methods structure :: Proxy ConstraintSource -> Structure # structureHash' :: Tagged ConstraintSource MD5
Binary ConstraintSource # |
Instance details Defined in Distribution.Solver.Types.ConstraintSource Methods put :: ConstraintSource -> Put # get :: Get ConstraintSource # putList :: [ConstraintSource] -> Put #
Generic ConstraintSource # |

Instance details

Defined in Distribution.Solver.Types.ConstraintSource

Associated Types

type Rep ConstraintSource |

Instance details

Defined in Distribution.Solver.Types.ConstraintSource

type Rep ConstraintSource = D1 ('MetaData "ConstraintSource" "Distribution.Solver.Types.ConstraintSource" "cabal-install-solver-3.12.1.0-BcLJX5rVQuejx1qrKAH5j" '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 "ConstraintSourceUnknown" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ConstraintSetupCabalMinVersion" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ConstraintSetupCabalMaxVersion" 'PrefixI 'False) (U1 :: Type -> Type)))))

Methods

from :: ConstraintSource -> Rep ConstraintSource x #

to :: Rep ConstraintSource x -> ConstraintSource #

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

Instance details

Defined in Distribution.Solver.Types.ConstraintSource

type Rep ConstraintSource = D1 ('MetaData "ConstraintSource" "Distribution.Solver.Types.ConstraintSource" "cabal-install-solver-3.12.1.0-BcLJX5rVQuejx1qrKAH5j" '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 "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 #

Description of a `ConstraintSource`.