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 Source #

Constructors

ReorderGoals Bool |

#### Instances

Instances details

BooleanFlag ReorderGoals Source # |
Instance details Defined in Distribution.Solver.Types.Settings Methods asBool :: ReorderGoals -> Bool Source #
Structured ReorderGoals Source # |
Instance details Defined in Distribution.Solver.Types.Settings Methods structure :: Proxy ReorderGoals -> Structure Source # structureHash' :: Tagged ReorderGoals MD5
Binary ReorderGoals Source # |
Instance details Defined in Distribution.Solver.Types.Settings Methods put :: ReorderGoals -> Put Source # get :: Get ReorderGoals Source # putList :: [ReorderGoals] -> Put Source #
Generic ReorderGoals Source # |

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-5dSETZK2idVHohhzkfJS3u" 'True) (C1 ('MetaCons "ReorderGoals" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))

Methods

from :: ReorderGoals -> Rep ReorderGoals x Source #

to :: Rep ReorderGoals x -> ReorderGoals Source #

Show ReorderGoals Source # |
Instance details Defined in Distribution.Solver.Types.Settings Methods showsPrec :: Int -> ReorderGoals -> ShowS Source # show :: ReorderGoals -> String Source # showList :: [ReorderGoals] -> ShowS Source #
Eq ReorderGoals Source # |
Instance details Defined in Distribution.Solver.Types.Settings Methods (==) :: ReorderGoals -> ReorderGoals -> Bool Source # (/=) :: ReorderGoals -> ReorderGoals -> Bool Source #
type Rep ReorderGoals Source # |
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-5dSETZK2idVHohhzkfJS3u" 'True) (C1 ('MetaCons "ReorderGoals" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))

newtype IndependentGoals Source #

Constructors

IndependentGoals Bool |

#### Instances

Instances details

BooleanFlag IndependentGoals Source # |
Instance details Defined in Distribution.Solver.Types.Settings Methods asBool :: IndependentGoals -> Bool Source #
Structured IndependentGoals Source # |
Instance details Defined in Distribution.Solver.Types.Settings Methods structure :: Proxy IndependentGoals -> Structure Source # structureHash' :: Tagged IndependentGoals MD5
Binary IndependentGoals Source # |
Instance details Defined in Distribution.Solver.Types.Settings Methods put :: IndependentGoals -> Put Source # get :: Get IndependentGoals Source # putList :: [IndependentGoals] -> Put Source #
Generic IndependentGoals Source # |

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-5dSETZK2idVHohhzkfJS3u" 'True) (C1 ('MetaCons "IndependentGoals" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))

Methods

from :: IndependentGoals -> Rep IndependentGoals x Source #

to :: Rep IndependentGoals x -> IndependentGoals Source #

Show IndependentGoals Source # |
Instance details Defined in Distribution.Solver.Types.Settings Methods showsPrec :: Int -> IndependentGoals -> ShowS Source # show :: IndependentGoals -> String Source # showList :: [IndependentGoals] -> ShowS Source #
Eq IndependentGoals Source # |
Instance details Defined in Distribution.Solver.Types.Settings Methods (==) :: IndependentGoals -> IndependentGoals -> Bool Source # (/=) :: IndependentGoals -> IndependentGoals -> Bool Source #
type Rep IndependentGoals Source # |
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-5dSETZK2idVHohhzkfJS3u" 'True) (C1 ('MetaCons "IndependentGoals" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))

newtype PreferOldest Source #

Constructors

PreferOldest Bool |

#### Instances

Instances details

BooleanFlag PreferOldest Source # |
Instance details Defined in Distribution.Solver.Types.Settings Methods asBool :: PreferOldest -> Bool Source #
Structured PreferOldest Source # |
Instance details Defined in Distribution.Solver.Types.Settings Methods structure :: Proxy PreferOldest -> Structure Source # structureHash' :: Tagged PreferOldest MD5
Binary PreferOldest Source # |
Instance details Defined in Distribution.Solver.Types.Settings Methods put :: PreferOldest -> Put Source # get :: Get PreferOldest Source # putList :: [PreferOldest] -> Put Source #
Generic PreferOldest Source # |

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-5dSETZK2idVHohhzkfJS3u" 'True) (C1 ('MetaCons "PreferOldest" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))

Methods

from :: PreferOldest -> Rep PreferOldest x Source #

to :: Rep PreferOldest x -> PreferOldest Source #

Show PreferOldest Source # |
Instance details Defined in Distribution.Solver.Types.Settings Methods showsPrec :: Int -> PreferOldest -> ShowS Source # show :: PreferOldest -> String Source # showList :: [PreferOldest] -> ShowS Source #
Eq PreferOldest Source # |
Instance details Defined in Distribution.Solver.Types.Settings Methods (==) :: PreferOldest -> PreferOldest -> Bool Source # (/=) :: PreferOldest -> PreferOldest -> Bool Source #
type Rep PreferOldest Source # |
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-5dSETZK2idVHohhzkfJS3u" 'True) (C1 ('MetaCons "PreferOldest" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))

newtype MinimizeConflictSet Source #

Constructors

MinimizeConflictSet Bool |

#### Instances

Instances details

BooleanFlag MinimizeConflictSet Source # |
Instance details Defined in Distribution.Solver.Types.Settings Methods asBool :: MinimizeConflictSet -> Bool Source #
Structured MinimizeConflictSet Source # |
Instance details Defined in Distribution.Solver.Types.Settings Methods structure :: Proxy MinimizeConflictSet -> Structure Source # structureHash' :: Tagged MinimizeConflictSet MD5
Binary MinimizeConflictSet Source # |
Instance details Defined in Distribution.Solver.Types.Settings Methods put :: MinimizeConflictSet -> Put Source # get :: Get MinimizeConflictSet Source # putList :: [MinimizeConflictSet] -> Put Source #
Generic MinimizeConflictSet Source # |

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-5dSETZK2idVHohhzkfJS3u" 'True) (C1 ('MetaCons "MinimizeConflictSet" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))

Methods

from :: MinimizeConflictSet -> Rep MinimizeConflictSet x Source #

to :: Rep MinimizeConflictSet x -> MinimizeConflictSet Source #

Show MinimizeConflictSet Source # |
Instance details Defined in Distribution.Solver.Types.Settings Methods showsPrec :: Int -> MinimizeConflictSet -> ShowS Source # show :: MinimizeConflictSet -> String Source # showList :: [MinimizeConflictSet] -> ShowS Source #
Eq MinimizeConflictSet Source # |
Instance details Defined in Distribution.Solver.Types.Settings Methods (==) :: MinimizeConflictSet -> MinimizeConflictSet -> Bool Source # (/=) :: MinimizeConflictSet -> MinimizeConflictSet -> Bool Source #
type Rep MinimizeConflictSet Source # |
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-5dSETZK2idVHohhzkfJS3u" 'True) (C1 ('MetaCons "MinimizeConflictSet" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))

newtype AvoidReinstalls Source #

Constructors

AvoidReinstalls Bool |

#### Instances

Instances details

BooleanFlag AvoidReinstalls Source # |
Instance details Defined in Distribution.Solver.Types.Settings Methods asBool :: AvoidReinstalls -> Bool Source #
Structured AvoidReinstalls Source # |
Instance details Defined in Distribution.Solver.Types.Settings Methods structure :: Proxy AvoidReinstalls -> Structure Source # structureHash' :: Tagged AvoidReinstalls MD5
Binary AvoidReinstalls Source # |
Instance details Defined in Distribution.Solver.Types.Settings Methods put :: AvoidReinstalls -> Put Source # get :: Get AvoidReinstalls Source # putList :: [AvoidReinstalls] -> Put Source #
Generic AvoidReinstalls Source # |

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-5dSETZK2idVHohhzkfJS3u" 'True) (C1 ('MetaCons "AvoidReinstalls" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))

Methods

from :: AvoidReinstalls -> Rep AvoidReinstalls x Source #

to :: Rep AvoidReinstalls x -> AvoidReinstalls Source #

Show AvoidReinstalls Source # |
Instance details Defined in Distribution.Solver.Types.Settings Methods showsPrec :: Int -> AvoidReinstalls -> ShowS Source # show :: AvoidReinstalls -> String Source # showList :: [AvoidReinstalls] -> ShowS Source #
Eq AvoidReinstalls Source # |
Instance details Defined in Distribution.Solver.Types.Settings Methods (==) :: AvoidReinstalls -> AvoidReinstalls -> Bool Source # (/=) :: AvoidReinstalls -> AvoidReinstalls -> Bool Source #
type Rep AvoidReinstalls Source # |
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-5dSETZK2idVHohhzkfJS3u" 'True) (C1 ('MetaCons "AvoidReinstalls" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))

newtype ShadowPkgs Source #

Constructors

ShadowPkgs Bool |

#### Instances

Instances details

BooleanFlag ShadowPkgs Source # |
Instance details Defined in Distribution.Solver.Types.Settings Methods asBool :: ShadowPkgs -> Bool Source #
Structured ShadowPkgs Source # |
Instance details Defined in Distribution.Solver.Types.Settings Methods structure :: Proxy ShadowPkgs -> Structure Source # structureHash' :: Tagged ShadowPkgs MD5
Binary ShadowPkgs Source # |
Instance details Defined in Distribution.Solver.Types.Settings Methods put :: ShadowPkgs -> Put Source # get :: Get ShadowPkgs Source # putList :: [ShadowPkgs] -> Put Source #
Generic ShadowPkgs Source # |

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-5dSETZK2idVHohhzkfJS3u" 'True) (C1 ('MetaCons "ShadowPkgs" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))

Methods

from :: ShadowPkgs -> Rep ShadowPkgs x Source #

to :: Rep ShadowPkgs x -> ShadowPkgs Source #

Show ShadowPkgs Source # |
Instance details Defined in Distribution.Solver.Types.Settings Methods showsPrec :: Int -> ShadowPkgs -> ShowS Source # show :: ShadowPkgs -> String Source # showList :: [ShadowPkgs] -> ShowS Source #
Eq ShadowPkgs Source # |
Instance details Defined in Distribution.Solver.Types.Settings Methods (==) :: ShadowPkgs -> ShadowPkgs -> Bool Source # (/=) :: ShadowPkgs -> ShadowPkgs -> Bool Source #
type Rep ShadowPkgs Source # |
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-5dSETZK2idVHohhzkfJS3u" 'True) (C1 ('MetaCons "ShadowPkgs" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))

newtype StrongFlags Source #

Constructors

StrongFlags Bool |

#### Instances

Instances details

BooleanFlag StrongFlags Source # |
Instance details Defined in Distribution.Solver.Types.Settings Methods asBool :: StrongFlags -> Bool Source #
Structured StrongFlags Source # |
Instance details Defined in Distribution.Solver.Types.Settings Methods structure :: Proxy StrongFlags -> Structure Source # structureHash' :: Tagged StrongFlags MD5
Binary StrongFlags Source # |
Instance details Defined in Distribution.Solver.Types.Settings Methods put :: StrongFlags -> Put Source # get :: Get StrongFlags Source # putList :: [StrongFlags] -> Put Source #
Generic StrongFlags Source # |

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-5dSETZK2idVHohhzkfJS3u" 'True) (C1 ('MetaCons "StrongFlags" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))

Methods

from :: StrongFlags -> Rep StrongFlags x Source #

to :: Rep StrongFlags x -> StrongFlags Source #

Show StrongFlags Source # |
Instance details Defined in Distribution.Solver.Types.Settings Methods showsPrec :: Int -> StrongFlags -> ShowS Source # show :: StrongFlags -> String Source # showList :: [StrongFlags] -> ShowS Source #
Eq StrongFlags Source # |
Instance details Defined in Distribution.Solver.Types.Settings Methods (==) :: StrongFlags -> StrongFlags -> Bool Source # (/=) :: StrongFlags -> StrongFlags -> Bool Source #
type Rep StrongFlags Source # |
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-5dSETZK2idVHohhzkfJS3u" 'True) (C1 ('MetaCons "StrongFlags" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))

newtype AllowBootLibInstalls Source #

Constructors

AllowBootLibInstalls Bool |

#### Instances

Instances details

BooleanFlag AllowBootLibInstalls Source # |
Instance details Defined in Distribution.Solver.Types.Settings Methods asBool :: AllowBootLibInstalls -> Bool Source #
Structured AllowBootLibInstalls Source # |
Instance details Defined in Distribution.Solver.Types.Settings Methods structure :: Proxy AllowBootLibInstalls -> Structure Source # structureHash' :: Tagged AllowBootLibInstalls MD5
Binary AllowBootLibInstalls Source # |
Instance details Defined in Distribution.Solver.Types.Settings Methods put :: AllowBootLibInstalls -> Put Source # get :: Get AllowBootLibInstalls Source # putList :: [AllowBootLibInstalls] -> Put Source #
Generic AllowBootLibInstalls Source # |

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-5dSETZK2idVHohhzkfJS3u" 'True) (C1 ('MetaCons "AllowBootLibInstalls" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))

Methods

from :: AllowBootLibInstalls -> Rep AllowBootLibInstalls x Source #

to :: Rep AllowBootLibInstalls x -> AllowBootLibInstalls Source #

Show AllowBootLibInstalls Source # |
Instance details Defined in Distribution.Solver.Types.Settings Methods showsPrec :: Int -> AllowBootLibInstalls -> ShowS Source # show :: AllowBootLibInstalls -> String Source # showList :: [AllowBootLibInstalls] -> ShowS Source #
Eq AllowBootLibInstalls Source # |
Instance details Defined in Distribution.Solver.Types.Settings Methods (==) :: AllowBootLibInstalls -> AllowBootLibInstalls -> Bool Source # (/=) :: AllowBootLibInstalls -> AllowBootLibInstalls -> Bool Source #
type Rep AllowBootLibInstalls Source # |
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-5dSETZK2idVHohhzkfJS3u" 'True) (C1 ('MetaCons "AllowBootLibInstalls" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))

data OnlyConstrained Source #

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 Source # |
Instance details Defined in Distribution.Solver.Types.Settings Methods parsec :: CabalParsing m => m OnlyConstrained Source #
Pretty OnlyConstrained Source # |
Instance details Defined in Distribution.Solver.Types.Settings Methods pretty :: OnlyConstrained -> Doc Source # prettyVersioned :: CabalSpecVersion -> OnlyConstrained -> Doc Source #
Structured OnlyConstrained Source # |
Instance details Defined in Distribution.Solver.Types.Settings Methods structure :: Proxy OnlyConstrained -> Structure Source # structureHash' :: Tagged OnlyConstrained MD5
Binary OnlyConstrained Source # |
Instance details Defined in Distribution.Solver.Types.Settings Methods put :: OnlyConstrained -> Put Source # get :: Get OnlyConstrained Source # putList :: [OnlyConstrained] -> Put Source #
Generic OnlyConstrained Source # |

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-5dSETZK2idVHohhzkfJS3u" 'False) (C1 ('MetaCons "OnlyConstrainedNone" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OnlyConstrainedAll" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: OnlyConstrained -> Rep OnlyConstrained x Source #

to :: Rep OnlyConstrained x -> OnlyConstrained Source #

Show OnlyConstrained Source # |
Instance details Defined in Distribution.Solver.Types.Settings Methods showsPrec :: Int -> OnlyConstrained -> ShowS Source # show :: OnlyConstrained -> String Source # showList :: [OnlyConstrained] -> ShowS Source #
Eq OnlyConstrained Source # |
Instance details Defined in Distribution.Solver.Types.Settings Methods (==) :: OnlyConstrained -> OnlyConstrained -> Bool Source # (/=) :: OnlyConstrained -> OnlyConstrained -> Bool Source #
type Rep OnlyConstrained Source # |
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-5dSETZK2idVHohhzkfJS3u" 'False) (C1 ('MetaCons "OnlyConstrainedNone" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OnlyConstrainedAll" 'PrefixI 'False) (U1 :: Type -> Type))

newtype EnableBackjumping Source #

Constructors

EnableBackjumping Bool |

#### Instances

Instances details

BooleanFlag EnableBackjumping Source # |
Instance details Defined in Distribution.Solver.Types.Settings Methods asBool :: EnableBackjumping -> Bool Source #
Generic EnableBackjumping Source # |

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-5dSETZK2idVHohhzkfJS3u" 'True) (C1 ('MetaCons "EnableBackjumping" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))

Methods

from :: EnableBackjumping -> Rep EnableBackjumping x Source #

to :: Rep EnableBackjumping x -> EnableBackjumping Source #

Show EnableBackjumping Source # |
Instance details Defined in Distribution.Solver.Types.Settings Methods showsPrec :: Int -> EnableBackjumping -> ShowS Source # show :: EnableBackjumping -> String Source # showList :: [EnableBackjumping] -> ShowS Source #
Eq EnableBackjumping Source # |
Instance details Defined in Distribution.Solver.Types.Settings Methods (==) :: EnableBackjumping -> EnableBackjumping -> Bool Source # (/=) :: EnableBackjumping -> EnableBackjumping -> Bool Source #
type Rep EnableBackjumping Source # |
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-5dSETZK2idVHohhzkfJS3u" 'True) (C1 ('MetaCons "EnableBackjumping" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))

newtype CountConflicts Source #

Constructors

CountConflicts Bool |

#### Instances

Instances details

BooleanFlag CountConflicts Source # |
Instance details Defined in Distribution.Solver.Types.Settings Methods asBool :: CountConflicts -> Bool Source #
Structured CountConflicts Source # |
Instance details Defined in Distribution.Solver.Types.Settings Methods structure :: Proxy CountConflicts -> Structure Source # structureHash' :: Tagged CountConflicts MD5
Binary CountConflicts Source # |
Instance details Defined in Distribution.Solver.Types.Settings Methods put :: CountConflicts -> Put Source # get :: Get CountConflicts Source # putList :: [CountConflicts] -> Put Source #
Generic CountConflicts Source # |

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-5dSETZK2idVHohhzkfJS3u" 'True) (C1 ('MetaCons "CountConflicts" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))

Methods

from :: CountConflicts -> Rep CountConflicts x Source #

to :: Rep CountConflicts x -> CountConflicts Source #

Show CountConflicts Source # |
Instance details Defined in Distribution.Solver.Types.Settings Methods showsPrec :: Int -> CountConflicts -> ShowS Source # show :: CountConflicts -> String Source # showList :: [CountConflicts] -> ShowS Source #
Eq CountConflicts Source # |
Instance details Defined in Distribution.Solver.Types.Settings Methods (==) :: CountConflicts -> CountConflicts -> Bool Source # (/=) :: CountConflicts -> CountConflicts -> Bool Source #
type Rep CountConflicts Source # |
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-5dSETZK2idVHohhzkfJS3u" 'True) (C1 ('MetaCons "CountConflicts" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))

newtype FineGrainedConflicts Source #

Constructors

FineGrainedConflicts Bool |

#### Instances

Instances details

BooleanFlag FineGrainedConflicts Source # |
Instance details Defined in Distribution.Solver.Types.Settings Methods asBool :: FineGrainedConflicts -> Bool Source #
Structured FineGrainedConflicts Source # |
Instance details Defined in Distribution.Solver.Types.Settings Methods structure :: Proxy FineGrainedConflicts -> Structure Source # structureHash' :: Tagged FineGrainedConflicts MD5
Binary FineGrainedConflicts Source # |
Instance details Defined in Distribution.Solver.Types.Settings Methods put :: FineGrainedConflicts -> Put Source # get :: Get FineGrainedConflicts Source # putList :: [FineGrainedConflicts] -> Put Source #
Generic FineGrainedConflicts Source # |

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-5dSETZK2idVHohhzkfJS3u" 'True) (C1 ('MetaCons "FineGrainedConflicts" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))

Methods

from :: FineGrainedConflicts -> Rep FineGrainedConflicts x Source #

to :: Rep FineGrainedConflicts x -> FineGrainedConflicts Source #

Show FineGrainedConflicts Source # |
Instance details Defined in Distribution.Solver.Types.Settings Methods showsPrec :: Int -> FineGrainedConflicts -> ShowS Source # show :: FineGrainedConflicts -> String Source # showList :: [FineGrainedConflicts] -> ShowS Source #
Eq FineGrainedConflicts Source # |
Instance details Defined in Distribution.Solver.Types.Settings Methods (==) :: FineGrainedConflicts -> FineGrainedConflicts -> Bool Source # (/=) :: FineGrainedConflicts -> FineGrainedConflicts -> Bool Source #
type Rep FineGrainedConflicts Source # |
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-5dSETZK2idVHohhzkfJS3u" 'True) (C1 ('MetaCons "FineGrainedConflicts" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))

newtype SolveExecutables Source #

Constructors

SolveExecutables Bool |

#### Instances

Instances details

BooleanFlag SolveExecutables Source # |
Instance details Defined in Distribution.Solver.Types.Settings Methods asBool :: SolveExecutables -> Bool Source #
Structured SolveExecutables Source # |
Instance details Defined in Distribution.Solver.Types.Settings Methods structure :: Proxy SolveExecutables -> Structure Source # structureHash' :: Tagged SolveExecutables MD5
Binary SolveExecutables Source # |
Instance details Defined in Distribution.Solver.Types.Settings Methods put :: SolveExecutables -> Put Source # get :: Get SolveExecutables Source # putList :: [SolveExecutables] -> Put Source #
Generic SolveExecutables Source # |

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-5dSETZK2idVHohhzkfJS3u" 'True) (C1 ('MetaCons "SolveExecutables" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))

Methods

from :: SolveExecutables -> Rep SolveExecutables x Source #

to :: Rep SolveExecutables x -> SolveExecutables Source #

Show SolveExecutables Source # |
Instance details Defined in Distribution.Solver.Types.Settings Methods showsPrec :: Int -> SolveExecutables -> ShowS Source # show :: SolveExecutables -> String Source # showList :: [SolveExecutables] -> ShowS Source #
Eq SolveExecutables Source # |
Instance details Defined in Distribution.Solver.Types.Settings Methods (==) :: SolveExecutables -> SolveExecutables -> Bool Source # (/=) :: SolveExecutables -> SolveExecutables -> Bool Source #
type Rep SolveExecutables Source # |
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-5dSETZK2idVHohhzkfJS3u" 'True) (C1 ('MetaCons "SolveExecutables" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))