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-HgZA6JMWriQD4PHXHnbQsu" '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 Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

showsPrec :: Int -> ReorderGoals -> ShowS #

show :: ReorderGoals -> String #

showList :: [ReorderGoals] -> ShowS #

Eq ReorderGoals Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

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

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

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-HgZA6JMWriQD4PHXHnbQsu" '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

Structured IndependentGoals Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

structure :: Proxy IndependentGoals -> Structure

structureHash' :: Tagged IndependentGoals MD5

Binary IndependentGoals Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

put :: IndependentGoals -> Put #

get :: Get IndependentGoals #

putList :: [IndependentGoals] -> Put #

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-HgZA6JMWriQD4PHXHnbQsu" '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 Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

showsPrec :: Int -> IndependentGoals -> ShowS #

show :: IndependentGoals -> String #

showList :: [IndependentGoals] -> ShowS #

Eq IndependentGoals Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

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

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

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-HgZA6JMWriQD4PHXHnbQsu" '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

Structured PreferOldest Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

structure :: Proxy PreferOldest -> Structure

structureHash' :: Tagged PreferOldest MD5

Binary PreferOldest Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

put :: PreferOldest -> Put #

get :: Get PreferOldest #

putList :: [PreferOldest] -> Put #

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-HgZA6JMWriQD4PHXHnbQsu" '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 Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

showsPrec :: Int -> PreferOldest -> ShowS #

show :: PreferOldest -> String #

showList :: [PreferOldest] -> ShowS #

Eq PreferOldest Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

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

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

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-HgZA6JMWriQD4PHXHnbQsu" '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

Structured MinimizeConflictSet Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

structure :: Proxy MinimizeConflictSet -> Structure

structureHash' :: Tagged MinimizeConflictSet MD5

Binary MinimizeConflictSet Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

put :: MinimizeConflictSet -> Put #

get :: Get MinimizeConflictSet #

putList :: [MinimizeConflictSet] -> Put #

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-HgZA6JMWriQD4PHXHnbQsu" '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 Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

showsPrec :: Int -> MinimizeConflictSet -> ShowS #

show :: MinimizeConflictSet -> String #

showList :: [MinimizeConflictSet] -> ShowS #

Eq MinimizeConflictSet Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

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

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

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-HgZA6JMWriQD4PHXHnbQsu" '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

Structured AvoidReinstalls Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

structure :: Proxy AvoidReinstalls -> Structure

structureHash' :: Tagged AvoidReinstalls MD5

Binary AvoidReinstalls Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

put :: AvoidReinstalls -> Put #

get :: Get AvoidReinstalls #

putList :: [AvoidReinstalls] -> Put #

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-HgZA6JMWriQD4PHXHnbQsu" '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 Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

showsPrec :: Int -> AvoidReinstalls -> ShowS #

show :: AvoidReinstalls -> String #

showList :: [AvoidReinstalls] -> ShowS #

Eq AvoidReinstalls Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

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

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

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-HgZA6JMWriQD4PHXHnbQsu" '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

Structured ShadowPkgs Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

structure :: Proxy ShadowPkgs -> Structure

structureHash' :: Tagged ShadowPkgs MD5

Binary ShadowPkgs Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

put :: ShadowPkgs -> Put #

get :: Get ShadowPkgs #

putList :: [ShadowPkgs] -> Put #

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-HgZA6JMWriQD4PHXHnbQsu" '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 Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

showsPrec :: Int -> ShadowPkgs -> ShowS #

show :: ShadowPkgs -> String #

showList :: [ShadowPkgs] -> ShowS #

Eq ShadowPkgs Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

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

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

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-HgZA6JMWriQD4PHXHnbQsu" '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

Structured StrongFlags Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

structure :: Proxy StrongFlags -> Structure

structureHash' :: Tagged StrongFlags MD5

Binary StrongFlags Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

put :: StrongFlags -> Put #

get :: Get StrongFlags #

putList :: [StrongFlags] -> Put #

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-HgZA6JMWriQD4PHXHnbQsu" '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 Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

showsPrec :: Int -> StrongFlags -> ShowS #

show :: StrongFlags -> String #

showList :: [StrongFlags] -> ShowS #

Eq StrongFlags Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

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

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

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-HgZA6JMWriQD4PHXHnbQsu" '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

Structured AllowBootLibInstalls Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

structure :: Proxy AllowBootLibInstalls -> Structure

structureHash' :: Tagged AllowBootLibInstalls MD5

Binary AllowBootLibInstalls Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

put :: AllowBootLibInstalls -> Put #

get :: Get AllowBootLibInstalls #

putList :: [AllowBootLibInstalls] -> Put #

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-HgZA6JMWriQD4PHXHnbQsu" '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 Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

showsPrec :: Int -> AllowBootLibInstalls -> ShowS #

show :: AllowBootLibInstalls -> String #

showList :: [AllowBootLibInstalls] -> ShowS #

Eq AllowBootLibInstalls Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

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

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

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-HgZA6JMWriQD4PHXHnbQsu" '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

Pretty OnlyConstrained Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

pretty :: OnlyConstrained -> Doc

prettyVersioned :: CabalSpecVersion -> OnlyConstrained -> Doc

Structured OnlyConstrained Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

structure :: Proxy OnlyConstrained -> Structure

structureHash' :: Tagged OnlyConstrained MD5

Binary OnlyConstrained Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

put :: OnlyConstrained -> Put #

get :: Get OnlyConstrained #

putList :: [OnlyConstrained] -> Put #

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-HgZA6JMWriQD4PHXHnbQsu" '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 Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

showsPrec :: Int -> OnlyConstrained -> ShowS #

show :: OnlyConstrained -> String #

showList :: [OnlyConstrained] -> ShowS #

Eq OnlyConstrained Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

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

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

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-HgZA6JMWriQD4PHXHnbQsu" '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

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-HgZA6JMWriQD4PHXHnbQsu" '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 Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

showsPrec :: Int -> EnableBackjumping -> ShowS #

show :: EnableBackjumping -> String #

showList :: [EnableBackjumping] -> ShowS #

Eq EnableBackjumping Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

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

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

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-HgZA6JMWriQD4PHXHnbQsu" '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

Structured CountConflicts Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

structure :: Proxy CountConflicts -> Structure

structureHash' :: Tagged CountConflicts MD5

Binary CountConflicts Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

put :: CountConflicts -> Put #

get :: Get CountConflicts #

putList :: [CountConflicts] -> Put #

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-HgZA6JMWriQD4PHXHnbQsu" '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 Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

showsPrec :: Int -> CountConflicts -> ShowS #

show :: CountConflicts -> String #

showList :: [CountConflicts] -> ShowS #

Eq CountConflicts Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

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

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

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-HgZA6JMWriQD4PHXHnbQsu" '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

Structured FineGrainedConflicts Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

structure :: Proxy FineGrainedConflicts -> Structure

structureHash' :: Tagged FineGrainedConflicts MD5

Binary FineGrainedConflicts Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

put :: FineGrainedConflicts -> Put #

get :: Get FineGrainedConflicts #

putList :: [FineGrainedConflicts] -> Put #

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-HgZA6JMWriQD4PHXHnbQsu" '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 Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

showsPrec :: Int -> FineGrainedConflicts -> ShowS #

show :: FineGrainedConflicts -> String #

showList :: [FineGrainedConflicts] -> ShowS #

Eq FineGrainedConflicts Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

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

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

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-HgZA6JMWriQD4PHXHnbQsu" '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

Structured SolveExecutables Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

structure :: Proxy SolveExecutables -> Structure

structureHash' :: Tagged SolveExecutables MD5

Binary SolveExecutables Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

put :: SolveExecutables -> Put #

get :: Get SolveExecutables #

putList :: [SolveExecutables] -> Put #

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-HgZA6JMWriQD4PHXHnbQsu" '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 Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

showsPrec :: Int -> SolveExecutables -> ShowS #

show :: SolveExecutables -> String #

showList :: [SolveExecutables] -> ShowS #

Eq SolveExecutables Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

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

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

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