Distribution.Solver.Types.Settings

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

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
  - = OnlyConstrainedNone
  - | OnlyConstrainedAll
- newtype EnableBackjumping = EnableBackjumping Bool
- newtype CountConflicts = CountConflicts Bool
- newtype FineGrainedConflicts = FineGrainedConflicts Bool
- newtype SolveExecutables = SolveExecutables Bool

# Documentation

newtype ReorderGoals #

Constructors

ReorderGoals Bool |

#### Instances

Instances details

BooleanFlag ReorderGoals # |
Instance details Defined in Distribution.Solver.Types.Settings Methods asBool :: ReorderGoals -> Bool #
Structured ReorderGoals # |
Instance details Defined in Distribution.Solver.Types.Settings Methods structure :: Proxy ReorderGoals -> Structure # structureHash' :: Tagged ReorderGoals MD5
Binary ReorderGoals # |
Instance details Defined in Distribution.Solver.Types.Settings Methods put :: ReorderGoals -> Put # get :: Get ReorderGoals # putList :: [ReorderGoals] -> Put #
Generic ReorderGoals # |
Instance details Defined in Distribution.Solver.Types.Settings Associated Types
type Rep ReorderGoals |
Instance details Defined in Distribution.Solver.Types.Settings type Rep ReorderGoals = D1 ('MetaData "ReorderGoals" "Distribution.Solver.Types.Settings" "cabal-install-solver-3.12.1.0-BcLJX5rVQuejx1qrKAH5j" 'True) (C1 ('MetaCons "ReorderGoals" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))
Methods from :: ReorderGoals -> Rep ReorderGoals x # to :: Rep ReorderGoals x -> ReorderGoals #
Show ReorderGoals # |
Instance details Defined in Distribution.Solver.Types.Settings Methods showsPrec :: Int -> ReorderGoals -> ShowS # show :: ReorderGoals -> String # showList :: [ReorderGoals] -> ShowS #
Eq ReorderGoals # |
Instance details Defined in Distribution.Solver.Types.Settings Methods (==) :: ReorderGoals -> ReorderGoals -> Bool # (/=) :: ReorderGoals -> ReorderGoals -> Bool #
type Rep ReorderGoals # |
Instance details Defined in Distribution.Solver.Types.Settings type Rep ReorderGoals = D1 ('MetaData "ReorderGoals" "Distribution.Solver.Types.Settings" "cabal-install-solver-3.12.1.0-BcLJX5rVQuejx1qrKAH5j" 'True) (C1 ('MetaCons "ReorderGoals" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))

newtype IndependentGoals #

Constructors

IndependentGoals Bool |

#### Instances

Instances details

BooleanFlag IndependentGoals # |
Instance details Defined in Distribution.Solver.Types.Settings Methods asBool :: IndependentGoals -> Bool #
Structured IndependentGoals # |
Instance details Defined in Distribution.Solver.Types.Settings Methods structure :: Proxy IndependentGoals -> Structure # structureHash' :: Tagged IndependentGoals MD5
Binary IndependentGoals # |
Instance details Defined in Distribution.Solver.Types.Settings Methods put :: IndependentGoals -> Put # get :: Get IndependentGoals # putList :: [IndependentGoals] -> Put #
Generic IndependentGoals # |
Instance details Defined in Distribution.Solver.Types.Settings Associated Types
type Rep IndependentGoals |
Instance details 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)))
Methods from :: IndependentGoals -> Rep IndependentGoals x # to :: Rep IndependentGoals x -> IndependentGoals #
Show IndependentGoals # |
Instance details Defined in Distribution.Solver.Types.Settings Methods showsPrec :: Int -> IndependentGoals -> ShowS # show :: IndependentGoals -> String # showList :: [IndependentGoals] -> ShowS #
Eq IndependentGoals # |
Instance details Defined in Distribution.Solver.Types.Settings Methods (==) :: IndependentGoals -> IndependentGoals -> Bool # (/=) :: IndependentGoals -> IndependentGoals -> Bool #
type Rep IndependentGoals # |
Instance details 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

Instances details

BooleanFlag PreferOldest # |
Instance details Defined in Distribution.Solver.Types.Settings Methods asBool :: PreferOldest -> Bool #
Structured PreferOldest # |
Instance details Defined in Distribution.Solver.Types.Settings Methods structure :: Proxy PreferOldest -> Structure # structureHash' :: Tagged PreferOldest MD5
Binary PreferOldest # |
Instance details Defined in Distribution.Solver.Types.Settings Methods put :: PreferOldest -> Put # get :: Get PreferOldest # putList :: [PreferOldest] -> Put #
Generic PreferOldest # |
Instance details Defined in Distribution.Solver.Types.Settings Associated Types
type Rep PreferOldest |
Instance details 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)))
Methods from :: PreferOldest -> Rep PreferOldest x # to :: Rep PreferOldest x -> PreferOldest #
Show PreferOldest # |
Instance details Defined in Distribution.Solver.Types.Settings Methods showsPrec :: Int -> PreferOldest -> ShowS # show :: PreferOldest -> String # showList :: [PreferOldest] -> ShowS #
Eq PreferOldest # |
Instance details Defined in Distribution.Solver.Types.Settings Methods (==) :: PreferOldest -> PreferOldest -> Bool # (/=) :: PreferOldest -> PreferOldest -> Bool #
type Rep PreferOldest # |
Instance details 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

Instances details

BooleanFlag MinimizeConflictSet # |
Instance details Defined in Distribution.Solver.Types.Settings Methods asBool :: MinimizeConflictSet -> Bool #
Structured MinimizeConflictSet # |
Instance details Defined in Distribution.Solver.Types.Settings Methods structure :: Proxy MinimizeConflictSet -> Structure # structureHash' :: Tagged MinimizeConflictSet MD5
Binary MinimizeConflictSet # |
Instance details Defined in Distribution.Solver.Types.Settings Methods put :: MinimizeConflictSet -> Put # get :: Get MinimizeConflictSet # putList :: [MinimizeConflictSet] -> Put #
Generic MinimizeConflictSet # |
Instance details Defined in Distribution.Solver.Types.Settings Associated Types
type Rep MinimizeConflictSet |
Instance details 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)))
Methods from :: MinimizeConflictSet -> Rep MinimizeConflictSet x # to :: Rep MinimizeConflictSet x -> MinimizeConflictSet #
Show MinimizeConflictSet # |
Instance details Defined in Distribution.Solver.Types.Settings Methods showsPrec :: Int -> MinimizeConflictSet -> ShowS # show :: MinimizeConflictSet -> String # showList :: [MinimizeConflictSet] -> ShowS #
Eq MinimizeConflictSet # |
Instance details Defined in Distribution.Solver.Types.Settings Methods (==) :: MinimizeConflictSet -> MinimizeConflictSet -> Bool # (/=) :: MinimizeConflictSet -> MinimizeConflictSet -> Bool #
type Rep MinimizeConflictSet # |
Instance details 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

Instances details

BooleanFlag AvoidReinstalls # |
Instance details Defined in Distribution.Solver.Types.Settings Methods asBool :: AvoidReinstalls -> Bool #
Structured AvoidReinstalls # |
Instance details Defined in Distribution.Solver.Types.Settings Methods structure :: Proxy AvoidReinstalls -> Structure # structureHash' :: Tagged AvoidReinstalls MD5
Binary AvoidReinstalls # |
Instance details Defined in Distribution.Solver.Types.Settings Methods put :: AvoidReinstalls -> Put # get :: Get AvoidReinstalls # putList :: [AvoidReinstalls] -> Put #
Generic AvoidReinstalls # |
Instance details Defined in Distribution.Solver.Types.Settings Associated Types
type Rep AvoidReinstalls |
Instance details 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)))
Methods from :: AvoidReinstalls -> Rep AvoidReinstalls x # to :: Rep AvoidReinstalls x -> AvoidReinstalls #
Show AvoidReinstalls # |
Instance details Defined in Distribution.Solver.Types.Settings Methods showsPrec :: Int -> AvoidReinstalls -> ShowS # show :: AvoidReinstalls -> String # showList :: [AvoidReinstalls] -> ShowS #
Eq AvoidReinstalls # |
Instance details Defined in Distribution.Solver.Types.Settings Methods (==) :: AvoidReinstalls -> AvoidReinstalls -> Bool # (/=) :: AvoidReinstalls -> AvoidReinstalls -> Bool #
type Rep AvoidReinstalls # |
Instance details 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

Instances details

BooleanFlag ShadowPkgs # |
Instance details Defined in Distribution.Solver.Types.Settings Methods asBool :: ShadowPkgs -> Bool #
Structured ShadowPkgs # |
Instance details Defined in Distribution.Solver.Types.Settings Methods structure :: Proxy ShadowPkgs -> Structure # structureHash' :: Tagged ShadowPkgs MD5
Binary ShadowPkgs # |
Instance details Defined in Distribution.Solver.Types.Settings Methods put :: ShadowPkgs -> Put # get :: Get ShadowPkgs # putList :: [ShadowPkgs] -> Put #
Generic ShadowPkgs # |
Instance details Defined in Distribution.Solver.Types.Settings Associated Types
type Rep ShadowPkgs |
Instance details 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)))
Methods from :: ShadowPkgs -> Rep ShadowPkgs x # to :: Rep ShadowPkgs x -> ShadowPkgs #
Show ShadowPkgs # |
Instance details Defined in Distribution.Solver.Types.Settings Methods showsPrec :: Int -> ShadowPkgs -> ShowS # show :: ShadowPkgs -> String # showList :: [ShadowPkgs] -> ShowS #
Eq ShadowPkgs # |
Instance details Defined in Distribution.Solver.Types.Settings Methods (==) :: ShadowPkgs -> ShadowPkgs -> Bool # (/=) :: ShadowPkgs -> ShadowPkgs -> Bool #
type Rep ShadowPkgs # |
Instance details 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

Instances details

BooleanFlag StrongFlags # |
Instance details Defined in Distribution.Solver.Types.Settings Methods asBool :: StrongFlags -> Bool #
Structured StrongFlags # |
Instance details Defined in Distribution.Solver.Types.Settings Methods structure :: Proxy StrongFlags -> Structure # structureHash' :: Tagged StrongFlags MD5
Binary StrongFlags # |
Instance details Defined in Distribution.Solver.Types.Settings Methods put :: StrongFlags -> Put # get :: Get StrongFlags # putList :: [StrongFlags] -> Put #
Generic StrongFlags # |
Instance details Defined in Distribution.Solver.Types.Settings Associated Types
type Rep StrongFlags |
Instance details 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)))
Methods from :: StrongFlags -> Rep StrongFlags x # to :: Rep StrongFlags x -> StrongFlags #
Show StrongFlags # |
Instance details Defined in Distribution.Solver.Types.Settings Methods showsPrec :: Int -> StrongFlags -> ShowS # show :: StrongFlags -> String # showList :: [StrongFlags] -> ShowS #
Eq StrongFlags # |
Instance details Defined in Distribution.Solver.Types.Settings Methods (==) :: StrongFlags -> StrongFlags -> Bool # (/=) :: StrongFlags -> StrongFlags -> Bool #
type Rep StrongFlags # |
Instance details 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

Instances details

BooleanFlag AllowBootLibInstalls # |
Instance details Defined in Distribution.Solver.Types.Settings Methods asBool :: AllowBootLibInstalls -> Bool #
Structured AllowBootLibInstalls # |
Instance details Defined in Distribution.Solver.Types.Settings Methods structure :: Proxy AllowBootLibInstalls -> Structure # structureHash' :: Tagged AllowBootLibInstalls MD5
Binary AllowBootLibInstalls # |
Instance details Defined in Distribution.Solver.Types.Settings Methods put :: AllowBootLibInstalls -> Put # get :: Get AllowBootLibInstalls # putList :: [AllowBootLibInstalls] -> Put #
Generic AllowBootLibInstalls # |
Instance details Defined in Distribution.Solver.Types.Settings Associated Types
type Rep AllowBootLibInstalls |
Instance details 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)))
Methods from :: AllowBootLibInstalls -> Rep AllowBootLibInstalls x # to :: Rep AllowBootLibInstalls x -> AllowBootLibInstalls #
Show AllowBootLibInstalls # |
Instance details Defined in Distribution.Solver.Types.Settings Methods showsPrec :: Int -> AllowBootLibInstalls -> ShowS # show :: AllowBootLibInstalls -> String # showList :: [AllowBootLibInstalls] -> ShowS #
Eq AllowBootLibInstalls # |
Instance details Defined in Distribution.Solver.Types.Settings Methods (==) :: AllowBootLibInstalls -> AllowBootLibInstalls -> Bool # (/=) :: AllowBootLibInstalls -> AllowBootLibInstalls -> Bool #
type Rep AllowBootLibInstalls # |
Instance details 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

Instances details

Parsec OnlyConstrained # |
Instance details Defined in Distribution.Solver.Types.Settings Methods parsec :: CabalParsing m => m OnlyConstrained #
Pretty OnlyConstrained # |
Instance details Defined in Distribution.Solver.Types.Settings Methods pretty :: OnlyConstrained -> Doc # prettyVersioned :: CabalSpecVersion -> OnlyConstrained -> Doc #
Structured OnlyConstrained # |
Instance details Defined in Distribution.Solver.Types.Settings Methods structure :: Proxy OnlyConstrained -> Structure # structureHash' :: Tagged OnlyConstrained MD5
Binary OnlyConstrained # |
Instance details Defined in Distribution.Solver.Types.Settings Methods put :: OnlyConstrained -> Put # get :: Get OnlyConstrained # putList :: [OnlyConstrained] -> Put #
Generic OnlyConstrained # |
Instance details Defined in Distribution.Solver.Types.Settings Associated Types
type Rep OnlyConstrained |
Instance details 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))
Methods from :: OnlyConstrained -> Rep OnlyConstrained x # to :: Rep OnlyConstrained x -> OnlyConstrained #
Show OnlyConstrained # |
Instance details Defined in Distribution.Solver.Types.Settings Methods showsPrec :: Int -> OnlyConstrained -> ShowS # show :: OnlyConstrained -> String # showList :: [OnlyConstrained] -> ShowS #
Eq OnlyConstrained # |
Instance details Defined in Distribution.Solver.Types.Settings Methods (==) :: OnlyConstrained -> OnlyConstrained -> Bool # (/=) :: OnlyConstrained -> OnlyConstrained -> Bool #
type Rep OnlyConstrained # |
Instance details 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

Instances details

BooleanFlag EnableBackjumping # |
Instance details Defined in Distribution.Solver.Types.Settings Methods asBool :: EnableBackjumping -> Bool #
Generic EnableBackjumping # |
Instance details Defined in Distribution.Solver.Types.Settings Associated Types
type Rep EnableBackjumping |
Instance details 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)))
Methods from :: EnableBackjumping -> Rep EnableBackjumping x # to :: Rep EnableBackjumping x -> EnableBackjumping #
Show EnableBackjumping # |
Instance details Defined in Distribution.Solver.Types.Settings Methods showsPrec :: Int -> EnableBackjumping -> ShowS # show :: EnableBackjumping -> String # showList :: [EnableBackjumping] -> ShowS #
Eq EnableBackjumping # |
Instance details Defined in Distribution.Solver.Types.Settings Methods (==) :: EnableBackjumping -> EnableBackjumping -> Bool # (/=) :: EnableBackjumping -> EnableBackjumping -> Bool #
type Rep EnableBackjumping # |
Instance details 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

Instances details

BooleanFlag CountConflicts # |
Instance details Defined in Distribution.Solver.Types.Settings Methods asBool :: CountConflicts -> Bool #
Structured CountConflicts # |
Instance details Defined in Distribution.Solver.Types.Settings Methods structure :: Proxy CountConflicts -> Structure # structureHash' :: Tagged CountConflicts MD5
Binary CountConflicts # |
Instance details Defined in Distribution.Solver.Types.Settings Methods put :: CountConflicts -> Put # get :: Get CountConflicts # putList :: [CountConflicts] -> Put #
Generic CountConflicts # |
Instance details Defined in Distribution.Solver.Types.Settings Associated Types
type Rep CountConflicts |
Instance details 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)))
Methods from :: CountConflicts -> Rep CountConflicts x # to :: Rep CountConflicts x -> CountConflicts #
Show CountConflicts # |
Instance details Defined in Distribution.Solver.Types.Settings Methods showsPrec :: Int -> CountConflicts -> ShowS # show :: CountConflicts -> String # showList :: [CountConflicts] -> ShowS #
Eq CountConflicts # |
Instance details Defined in Distribution.Solver.Types.Settings Methods (==) :: CountConflicts -> CountConflicts -> Bool # (/=) :: CountConflicts -> CountConflicts -> Bool #
type Rep CountConflicts # |
Instance details 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

Instances details

BooleanFlag FineGrainedConflicts # |
Instance details Defined in Distribution.Solver.Types.Settings Methods asBool :: FineGrainedConflicts -> Bool #
Structured FineGrainedConflicts # |
Instance details Defined in Distribution.Solver.Types.Settings Methods structure :: Proxy FineGrainedConflicts -> Structure # structureHash' :: Tagged FineGrainedConflicts MD5
Binary FineGrainedConflicts # |
Instance details Defined in Distribution.Solver.Types.Settings Methods put :: FineGrainedConflicts -> Put # get :: Get FineGrainedConflicts # putList :: [FineGrainedConflicts] -> Put #
Generic FineGrainedConflicts # |
Instance details Defined in Distribution.Solver.Types.Settings Associated Types
type Rep FineGrainedConflicts |
Instance details 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)))
Methods from :: FineGrainedConflicts -> Rep FineGrainedConflicts x # to :: Rep FineGrainedConflicts x -> FineGrainedConflicts #
Show FineGrainedConflicts # |
Instance details Defined in Distribution.Solver.Types.Settings Methods showsPrec :: Int -> FineGrainedConflicts -> ShowS # show :: FineGrainedConflicts -> String # showList :: [FineGrainedConflicts] -> ShowS #
Eq FineGrainedConflicts # |
Instance details Defined in Distribution.Solver.Types.Settings Methods (==) :: FineGrainedConflicts -> FineGrainedConflicts -> Bool # (/=) :: FineGrainedConflicts -> FineGrainedConflicts -> Bool #
type Rep FineGrainedConflicts # |
Instance details 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

Instances details

BooleanFlag SolveExecutables # |
Instance details Defined in Distribution.Solver.Types.Settings Methods asBool :: SolveExecutables -> Bool #
Structured SolveExecutables # |
Instance details Defined in Distribution.Solver.Types.Settings Methods structure :: Proxy SolveExecutables -> Structure # structureHash' :: Tagged SolveExecutables MD5
Binary SolveExecutables # |
Instance details Defined in Distribution.Solver.Types.Settings Methods put :: SolveExecutables -> Put # get :: Get SolveExecutables # putList :: [SolveExecutables] -> Put #
Generic SolveExecutables # |
Instance details Defined in Distribution.Solver.Types.Settings Associated Types
type Rep SolveExecutables |
Instance details 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)))
Methods from :: SolveExecutables -> Rep SolveExecutables x # to :: Rep SolveExecutables x -> SolveExecutables #
Show SolveExecutables # |
Instance details Defined in Distribution.Solver.Types.Settings Methods showsPrec :: Int -> SolveExecutables -> ShowS # show :: SolveExecutables -> String # showList :: [SolveExecutables] -> ShowS #
Eq SolveExecutables # |
Instance details Defined in Distribution.Solver.Types.Settings Methods (==) :: SolveExecutables -> SolveExecutables -> Bool # (/=) :: SolveExecutables -> SolveExecutables -> Bool #
type Rep SolveExecutables # |
Instance details 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)))