| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Distribution.Solver.Types.Settings
Synopsis
- newtype ReorderGoals = ReorderGoals Bool
- newtype IndependentGoals = IndependentGoals Bool
- newtype PreferOldest = PreferOldest Bool
- newtype MinimizeConflictSet = MinimizeConflictSet Bool
- newtype AvoidReinstalls = AvoidReinstalls Bool
- newtype ShadowPkgs = ShadowPkgs Bool
- newtype StrongFlags = StrongFlags Bool
- newtype AllowBootLibInstalls = AllowBootLibInstalls Bool
- data OnlyConstrained
- newtype EnableBackjumping = EnableBackjumping Bool
- newtype CountConflicts = CountConflicts Bool
- newtype FineGrainedConflicts = FineGrainedConflicts Bool
- newtype SolveExecutables = SolveExecutables Bool
Documentation
newtype ReorderGoals #
Constructors
| ReorderGoals Bool |
Instances
newtype IndependentGoals #
Constructors
| IndependentGoals Bool |
Instances
| BooleanFlag IndependentGoals # | |||||
Defined in Distribution.Solver.Types.Settings Methods asBool :: IndependentGoals -> Bool # | |||||
| Structured IndependentGoals # | |||||
Defined in Distribution.Solver.Types.Settings Methods structure :: Proxy IndependentGoals -> Structure # structureHash' :: Tagged IndependentGoals MD5 | |||||
| Binary IndependentGoals # | |||||
Defined in Distribution.Solver.Types.Settings Methods put :: IndependentGoals -> Put # get :: Get IndependentGoals # putList :: [IndependentGoals] -> Put # | |||||
| Generic IndependentGoals # | |||||
Defined in Distribution.Solver.Types.Settings Associated Types
Methods from :: IndependentGoals -> Rep IndependentGoals x # to :: Rep IndependentGoals x -> IndependentGoals # | |||||
| Show IndependentGoals # | |||||
Defined in Distribution.Solver.Types.Settings Methods showsPrec :: Int -> IndependentGoals -> ShowS # show :: IndependentGoals -> String # showList :: [IndependentGoals] -> ShowS # | |||||
| Eq IndependentGoals # | |||||
Defined in Distribution.Solver.Types.Settings Methods (==) :: IndependentGoals -> IndependentGoals -> Bool # (/=) :: IndependentGoals -> IndependentGoals -> Bool # | |||||
| type Rep IndependentGoals # | |||||
Defined in Distribution.Solver.Types.Settings type Rep IndependentGoals = D1 ('MetaData "IndependentGoals" "Distribution.Solver.Types.Settings" "cabal-install-solver-3.12.1.0-BcLJX5rVQuejx1qrKAH5j" 'True) (C1 ('MetaCons "IndependentGoals" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool))) | |||||
newtype PreferOldest #
Constructors
| PreferOldest Bool |
Instances
| BooleanFlag PreferOldest # | |||||
Defined in Distribution.Solver.Types.Settings Methods asBool :: PreferOldest -> Bool # | |||||
| Structured PreferOldest # | |||||
Defined in Distribution.Solver.Types.Settings | |||||
| Binary PreferOldest # | |||||
Defined in Distribution.Solver.Types.Settings | |||||
| Generic PreferOldest # | |||||
Defined in Distribution.Solver.Types.Settings Associated Types
| |||||
| Show PreferOldest # | |||||
Defined in Distribution.Solver.Types.Settings Methods showsPrec :: Int -> PreferOldest -> ShowS # show :: PreferOldest -> String # showList :: [PreferOldest] -> ShowS # | |||||
| Eq PreferOldest # | |||||
Defined in Distribution.Solver.Types.Settings | |||||
| type Rep PreferOldest # | |||||
Defined in Distribution.Solver.Types.Settings type Rep PreferOldest = D1 ('MetaData "PreferOldest" "Distribution.Solver.Types.Settings" "cabal-install-solver-3.12.1.0-BcLJX5rVQuejx1qrKAH5j" 'True) (C1 ('MetaCons "PreferOldest" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool))) | |||||
newtype MinimizeConflictSet #
Constructors
| MinimizeConflictSet Bool |
Instances
| BooleanFlag MinimizeConflictSet # | |||||
Defined in Distribution.Solver.Types.Settings Methods asBool :: MinimizeConflictSet -> Bool # | |||||
| Structured MinimizeConflictSet # | |||||
Defined in Distribution.Solver.Types.Settings Methods structure :: Proxy MinimizeConflictSet -> Structure # structureHash' :: Tagged MinimizeConflictSet MD5 | |||||
| Binary MinimizeConflictSet # | |||||
Defined in Distribution.Solver.Types.Settings Methods put :: MinimizeConflictSet -> Put # get :: Get MinimizeConflictSet # putList :: [MinimizeConflictSet] -> Put # | |||||
| Generic MinimizeConflictSet # | |||||
Defined in Distribution.Solver.Types.Settings Associated Types
Methods from :: MinimizeConflictSet -> Rep MinimizeConflictSet x # to :: Rep MinimizeConflictSet x -> MinimizeConflictSet # | |||||
| Show MinimizeConflictSet # | |||||
Defined in Distribution.Solver.Types.Settings Methods showsPrec :: Int -> MinimizeConflictSet -> ShowS # show :: MinimizeConflictSet -> String # showList :: [MinimizeConflictSet] -> ShowS # | |||||
| Eq MinimizeConflictSet # | |||||
Defined in Distribution.Solver.Types.Settings Methods (==) :: MinimizeConflictSet -> MinimizeConflictSet -> Bool # (/=) :: MinimizeConflictSet -> MinimizeConflictSet -> Bool # | |||||
| type Rep MinimizeConflictSet # | |||||
Defined in Distribution.Solver.Types.Settings type Rep MinimizeConflictSet = D1 ('MetaData "MinimizeConflictSet" "Distribution.Solver.Types.Settings" "cabal-install-solver-3.12.1.0-BcLJX5rVQuejx1qrKAH5j" 'True) (C1 ('MetaCons "MinimizeConflictSet" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool))) | |||||
newtype AvoidReinstalls #
Constructors
| AvoidReinstalls Bool |
Instances
| BooleanFlag AvoidReinstalls # | |||||
Defined in Distribution.Solver.Types.Settings Methods asBool :: AvoidReinstalls -> Bool # | |||||
| Structured AvoidReinstalls # | |||||
Defined in Distribution.Solver.Types.Settings Methods structure :: Proxy AvoidReinstalls -> Structure # structureHash' :: Tagged AvoidReinstalls MD5 | |||||
| Binary AvoidReinstalls # | |||||
Defined in Distribution.Solver.Types.Settings Methods put :: AvoidReinstalls -> Put # get :: Get AvoidReinstalls # putList :: [AvoidReinstalls] -> Put # | |||||
| Generic AvoidReinstalls # | |||||
Defined in Distribution.Solver.Types.Settings Associated Types
Methods from :: AvoidReinstalls -> Rep AvoidReinstalls x # to :: Rep AvoidReinstalls x -> AvoidReinstalls # | |||||
| Show AvoidReinstalls # | |||||
Defined in Distribution.Solver.Types.Settings Methods showsPrec :: Int -> AvoidReinstalls -> ShowS # show :: AvoidReinstalls -> String # showList :: [AvoidReinstalls] -> ShowS # | |||||
| Eq AvoidReinstalls # | |||||
Defined in Distribution.Solver.Types.Settings Methods (==) :: AvoidReinstalls -> AvoidReinstalls -> Bool # (/=) :: AvoidReinstalls -> AvoidReinstalls -> Bool # | |||||
| type Rep AvoidReinstalls # | |||||
Defined in Distribution.Solver.Types.Settings type Rep AvoidReinstalls = D1 ('MetaData "AvoidReinstalls" "Distribution.Solver.Types.Settings" "cabal-install-solver-3.12.1.0-BcLJX5rVQuejx1qrKAH5j" 'True) (C1 ('MetaCons "AvoidReinstalls" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool))) | |||||
newtype ShadowPkgs #
Constructors
| ShadowPkgs Bool |
Instances
| BooleanFlag ShadowPkgs # | |||||
Defined in Distribution.Solver.Types.Settings Methods asBool :: ShadowPkgs -> Bool # | |||||
| Structured ShadowPkgs # | |||||
Defined in Distribution.Solver.Types.Settings | |||||
| Binary ShadowPkgs # | |||||
Defined in Distribution.Solver.Types.Settings | |||||
| Generic ShadowPkgs # | |||||
Defined in Distribution.Solver.Types.Settings Associated Types
| |||||
| Show ShadowPkgs # | |||||
Defined in Distribution.Solver.Types.Settings Methods showsPrec :: Int -> ShadowPkgs -> ShowS # show :: ShadowPkgs -> String # showList :: [ShadowPkgs] -> ShowS # | |||||
| Eq ShadowPkgs # | |||||
Defined in Distribution.Solver.Types.Settings | |||||
| type Rep ShadowPkgs # | |||||
Defined in Distribution.Solver.Types.Settings type Rep ShadowPkgs = D1 ('MetaData "ShadowPkgs" "Distribution.Solver.Types.Settings" "cabal-install-solver-3.12.1.0-BcLJX5rVQuejx1qrKAH5j" 'True) (C1 ('MetaCons "ShadowPkgs" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool))) | |||||
newtype StrongFlags #
Constructors
| StrongFlags Bool |
Instances
| BooleanFlag StrongFlags # | |||||
Defined in Distribution.Solver.Types.Settings Methods asBool :: StrongFlags -> Bool # | |||||
| Structured StrongFlags # | |||||
Defined in Distribution.Solver.Types.Settings | |||||
| Binary StrongFlags # | |||||
Defined in Distribution.Solver.Types.Settings | |||||
| Generic StrongFlags # | |||||
Defined in Distribution.Solver.Types.Settings Associated Types
| |||||
| Show StrongFlags # | |||||
Defined in Distribution.Solver.Types.Settings Methods showsPrec :: Int -> StrongFlags -> ShowS # show :: StrongFlags -> String # showList :: [StrongFlags] -> ShowS # | |||||
| Eq StrongFlags # | |||||
Defined in Distribution.Solver.Types.Settings | |||||
| type Rep StrongFlags # | |||||
Defined in Distribution.Solver.Types.Settings type Rep StrongFlags = D1 ('MetaData "StrongFlags" "Distribution.Solver.Types.Settings" "cabal-install-solver-3.12.1.0-BcLJX5rVQuejx1qrKAH5j" 'True) (C1 ('MetaCons "StrongFlags" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool))) | |||||
newtype AllowBootLibInstalls #
Constructors
| AllowBootLibInstalls Bool |
Instances
| BooleanFlag AllowBootLibInstalls # | |||||
Defined in Distribution.Solver.Types.Settings Methods asBool :: AllowBootLibInstalls -> Bool # | |||||
| Structured AllowBootLibInstalls # | |||||
Defined in Distribution.Solver.Types.Settings Methods structure :: Proxy AllowBootLibInstalls -> Structure # structureHash' :: Tagged AllowBootLibInstalls MD5 | |||||
| Binary AllowBootLibInstalls # | |||||
Defined in Distribution.Solver.Types.Settings Methods put :: AllowBootLibInstalls -> Put # get :: Get AllowBootLibInstalls # putList :: [AllowBootLibInstalls] -> Put # | |||||
| Generic AllowBootLibInstalls # | |||||
Defined in Distribution.Solver.Types.Settings Associated Types
Methods from :: AllowBootLibInstalls -> Rep AllowBootLibInstalls x # to :: Rep AllowBootLibInstalls x -> AllowBootLibInstalls # | |||||
| Show AllowBootLibInstalls # | |||||
Defined in Distribution.Solver.Types.Settings Methods showsPrec :: Int -> AllowBootLibInstalls -> ShowS # show :: AllowBootLibInstalls -> String # showList :: [AllowBootLibInstalls] -> ShowS # | |||||
| Eq AllowBootLibInstalls # | |||||
Defined in Distribution.Solver.Types.Settings Methods (==) :: AllowBootLibInstalls -> AllowBootLibInstalls -> Bool # (/=) :: AllowBootLibInstalls -> AllowBootLibInstalls -> Bool # | |||||
| type Rep AllowBootLibInstalls # | |||||
Defined in Distribution.Solver.Types.Settings type Rep AllowBootLibInstalls = D1 ('MetaData "AllowBootLibInstalls" "Distribution.Solver.Types.Settings" "cabal-install-solver-3.12.1.0-BcLJX5rVQuejx1qrKAH5j" 'True) (C1 ('MetaCons "AllowBootLibInstalls" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool))) | |||||
data OnlyConstrained #
Should we consider all packages we know about, or only those that have constraints explicitly placed on them or which are goals?
Constructors
| OnlyConstrainedNone | |
| OnlyConstrainedAll |
Instances
| Parsec OnlyConstrained # | |||||
Defined in Distribution.Solver.Types.Settings Methods parsec :: CabalParsing m => m OnlyConstrained # | |||||
| Pretty OnlyConstrained # | |||||
Defined in Distribution.Solver.Types.Settings Methods pretty :: OnlyConstrained -> Doc # prettyVersioned :: CabalSpecVersion -> OnlyConstrained -> Doc # | |||||
| Structured OnlyConstrained # | |||||
Defined in Distribution.Solver.Types.Settings Methods structure :: Proxy OnlyConstrained -> Structure # structureHash' :: Tagged OnlyConstrained MD5 | |||||
| Binary OnlyConstrained # | |||||
Defined in Distribution.Solver.Types.Settings Methods put :: OnlyConstrained -> Put # get :: Get OnlyConstrained # putList :: [OnlyConstrained] -> Put # | |||||
| Generic OnlyConstrained # | |||||
Defined in Distribution.Solver.Types.Settings Associated Types
Methods from :: OnlyConstrained -> Rep OnlyConstrained x # to :: Rep OnlyConstrained x -> OnlyConstrained # | |||||
| Show OnlyConstrained # | |||||
Defined in Distribution.Solver.Types.Settings Methods showsPrec :: Int -> OnlyConstrained -> ShowS # show :: OnlyConstrained -> String # showList :: [OnlyConstrained] -> ShowS # | |||||
| Eq OnlyConstrained # | |||||
Defined in Distribution.Solver.Types.Settings Methods (==) :: OnlyConstrained -> OnlyConstrained -> Bool # (/=) :: OnlyConstrained -> OnlyConstrained -> Bool # | |||||
| type Rep OnlyConstrained # | |||||
Defined in Distribution.Solver.Types.Settings type Rep OnlyConstrained = D1 ('MetaData "OnlyConstrained" "Distribution.Solver.Types.Settings" "cabal-install-solver-3.12.1.0-BcLJX5rVQuejx1qrKAH5j" 'False) (C1 ('MetaCons "OnlyConstrainedNone" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OnlyConstrainedAll" 'PrefixI 'False) (U1 :: Type -> Type)) | |||||
newtype EnableBackjumping #
Constructors
| EnableBackjumping Bool |
Instances
| BooleanFlag EnableBackjumping # | |||||
Defined in Distribution.Solver.Types.Settings Methods asBool :: EnableBackjumping -> Bool # | |||||
| Generic EnableBackjumping # | |||||
Defined in Distribution.Solver.Types.Settings Associated Types
Methods from :: EnableBackjumping -> Rep EnableBackjumping x # to :: Rep EnableBackjumping x -> EnableBackjumping # | |||||
| Show EnableBackjumping # | |||||
Defined in Distribution.Solver.Types.Settings Methods showsPrec :: Int -> EnableBackjumping -> ShowS # show :: EnableBackjumping -> String # showList :: [EnableBackjumping] -> ShowS # | |||||
| Eq EnableBackjumping # | |||||
Defined in Distribution.Solver.Types.Settings Methods (==) :: EnableBackjumping -> EnableBackjumping -> Bool # (/=) :: EnableBackjumping -> EnableBackjumping -> Bool # | |||||
| type Rep EnableBackjumping # | |||||
Defined in Distribution.Solver.Types.Settings type Rep EnableBackjumping = D1 ('MetaData "EnableBackjumping" "Distribution.Solver.Types.Settings" "cabal-install-solver-3.12.1.0-BcLJX5rVQuejx1qrKAH5j" 'True) (C1 ('MetaCons "EnableBackjumping" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool))) | |||||
newtype CountConflicts #
Constructors
| CountConflicts Bool |
Instances
| BooleanFlag CountConflicts # | |||||
Defined in Distribution.Solver.Types.Settings Methods asBool :: CountConflicts -> Bool # | |||||
| Structured CountConflicts # | |||||
Defined in Distribution.Solver.Types.Settings | |||||
| Binary CountConflicts # | |||||
Defined in Distribution.Solver.Types.Settings Methods put :: CountConflicts -> Put # get :: Get CountConflicts # putList :: [CountConflicts] -> Put # | |||||
| Generic CountConflicts # | |||||
Defined in Distribution.Solver.Types.Settings Associated Types
Methods from :: CountConflicts -> Rep CountConflicts x # to :: Rep CountConflicts x -> CountConflicts # | |||||
| Show CountConflicts # | |||||
Defined in Distribution.Solver.Types.Settings Methods showsPrec :: Int -> CountConflicts -> ShowS # show :: CountConflicts -> String # showList :: [CountConflicts] -> ShowS # | |||||
| Eq CountConflicts # | |||||
Defined in Distribution.Solver.Types.Settings Methods (==) :: CountConflicts -> CountConflicts -> Bool # (/=) :: CountConflicts -> CountConflicts -> Bool # | |||||
| type Rep CountConflicts # | |||||
Defined in Distribution.Solver.Types.Settings type Rep CountConflicts = D1 ('MetaData "CountConflicts" "Distribution.Solver.Types.Settings" "cabal-install-solver-3.12.1.0-BcLJX5rVQuejx1qrKAH5j" 'True) (C1 ('MetaCons "CountConflicts" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool))) | |||||
newtype FineGrainedConflicts #
Constructors
| FineGrainedConflicts Bool |
Instances
| BooleanFlag FineGrainedConflicts # | |||||
Defined in Distribution.Solver.Types.Settings Methods asBool :: FineGrainedConflicts -> Bool # | |||||
| Structured FineGrainedConflicts # | |||||
Defined in Distribution.Solver.Types.Settings Methods structure :: Proxy FineGrainedConflicts -> Structure # structureHash' :: Tagged FineGrainedConflicts MD5 | |||||
| Binary FineGrainedConflicts # | |||||
Defined in Distribution.Solver.Types.Settings Methods put :: FineGrainedConflicts -> Put # get :: Get FineGrainedConflicts # putList :: [FineGrainedConflicts] -> Put # | |||||
| Generic FineGrainedConflicts # | |||||
Defined in Distribution.Solver.Types.Settings Associated Types
Methods from :: FineGrainedConflicts -> Rep FineGrainedConflicts x # to :: Rep FineGrainedConflicts x -> FineGrainedConflicts # | |||||
| Show FineGrainedConflicts # | |||||
Defined in Distribution.Solver.Types.Settings Methods showsPrec :: Int -> FineGrainedConflicts -> ShowS # show :: FineGrainedConflicts -> String # showList :: [FineGrainedConflicts] -> ShowS # | |||||
| Eq FineGrainedConflicts # | |||||
Defined in Distribution.Solver.Types.Settings Methods (==) :: FineGrainedConflicts -> FineGrainedConflicts -> Bool # (/=) :: FineGrainedConflicts -> FineGrainedConflicts -> Bool # | |||||
| type Rep FineGrainedConflicts # | |||||
Defined in Distribution.Solver.Types.Settings type Rep FineGrainedConflicts = D1 ('MetaData "FineGrainedConflicts" "Distribution.Solver.Types.Settings" "cabal-install-solver-3.12.1.0-BcLJX5rVQuejx1qrKAH5j" 'True) (C1 ('MetaCons "FineGrainedConflicts" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool))) | |||||
newtype SolveExecutables #
Constructors
| SolveExecutables Bool |
Instances
| BooleanFlag SolveExecutables # | |||||
Defined in Distribution.Solver.Types.Settings Methods asBool :: SolveExecutables -> Bool # | |||||
| Structured SolveExecutables # | |||||
Defined in Distribution.Solver.Types.Settings Methods structure :: Proxy SolveExecutables -> Structure # structureHash' :: Tagged SolveExecutables MD5 | |||||
| Binary SolveExecutables # | |||||
Defined in Distribution.Solver.Types.Settings Methods put :: SolveExecutables -> Put # get :: Get SolveExecutables # putList :: [SolveExecutables] -> Put # | |||||
| Generic SolveExecutables # | |||||
Defined in Distribution.Solver.Types.Settings Associated Types
Methods from :: SolveExecutables -> Rep SolveExecutables x # to :: Rep SolveExecutables x -> SolveExecutables # | |||||
| Show SolveExecutables # | |||||
Defined in Distribution.Solver.Types.Settings Methods showsPrec :: Int -> SolveExecutables -> ShowS # show :: SolveExecutables -> String # showList :: [SolveExecutables] -> ShowS # | |||||
| Eq SolveExecutables # | |||||
Defined in Distribution.Solver.Types.Settings Methods (==) :: SolveExecutables -> SolveExecutables -> Bool # (/=) :: SolveExecutables -> SolveExecutables -> Bool # | |||||
| type Rep SolveExecutables # | |||||
Defined in Distribution.Solver.Types.Settings type Rep SolveExecutables = D1 ('MetaData "SolveExecutables" "Distribution.Solver.Types.Settings" "cabal-install-solver-3.12.1.0-BcLJX5rVQuejx1qrKAH5j" 'True) (C1 ('MetaCons "SolveExecutables" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool))) | |||||