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.10.3.0-YtseAwuHuQ9nHhY8WfMCr" '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 #

Binary ReorderGoals Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

put :: ReorderGoals -> Put #

get :: Get ReorderGoals #

putList :: [ReorderGoals] -> Put #

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.10.3.0-YtseAwuHuQ9nHhY8WfMCr" '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

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.10.3.0-YtseAwuHuQ9nHhY8WfMCr" '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 #

Binary IndependentGoals Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

put :: IndependentGoals -> Put #

get :: Get IndependentGoals #

putList :: [IndependentGoals] -> Put #

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.10.3.0-YtseAwuHuQ9nHhY8WfMCr" '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

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.10.3.0-YtseAwuHuQ9nHhY8WfMCr" '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 #

Binary PreferOldest Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

put :: PreferOldest -> Put #

get :: Get PreferOldest #

putList :: [PreferOldest] -> Put #

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.10.3.0-YtseAwuHuQ9nHhY8WfMCr" '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

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.10.3.0-YtseAwuHuQ9nHhY8WfMCr" '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 #

Binary MinimizeConflictSet Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

put :: MinimizeConflictSet -> Put #

get :: Get MinimizeConflictSet #

putList :: [MinimizeConflictSet] -> Put #

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.10.3.0-YtseAwuHuQ9nHhY8WfMCr" '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

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.10.3.0-YtseAwuHuQ9nHhY8WfMCr" '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 #

Binary AvoidReinstalls Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

put :: AvoidReinstalls -> Put #

get :: Get AvoidReinstalls #

putList :: [AvoidReinstalls] -> Put #

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.10.3.0-YtseAwuHuQ9nHhY8WfMCr" '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

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.10.3.0-YtseAwuHuQ9nHhY8WfMCr" '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 #

Binary ShadowPkgs Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

put :: ShadowPkgs -> Put #

get :: Get ShadowPkgs #

putList :: [ShadowPkgs] -> Put #

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.10.3.0-YtseAwuHuQ9nHhY8WfMCr" '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

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.10.3.0-YtseAwuHuQ9nHhY8WfMCr" '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 #

Binary StrongFlags Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

put :: StrongFlags -> Put #

get :: Get StrongFlags #

putList :: [StrongFlags] -> Put #

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.10.3.0-YtseAwuHuQ9nHhY8WfMCr" '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

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.10.3.0-YtseAwuHuQ9nHhY8WfMCr" '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 #

Binary AllowBootLibInstalls Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

put :: AllowBootLibInstalls -> Put #

get :: Get AllowBootLibInstalls #

putList :: [AllowBootLibInstalls] -> Put #

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.10.3.0-YtseAwuHuQ9nHhY8WfMCr" '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

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.10.3.0-YtseAwuHuQ9nHhY8WfMCr" '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 #

Binary OnlyConstrained Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

put :: OnlyConstrained -> Put #

get :: Get OnlyConstrained #

putList :: [OnlyConstrained] -> Put #

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.10.3.0-YtseAwuHuQ9nHhY8WfMCr" '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.10.3.0-YtseAwuHuQ9nHhY8WfMCr" '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.10.3.0-YtseAwuHuQ9nHhY8WfMCr" '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

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.10.3.0-YtseAwuHuQ9nHhY8WfMCr" '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 #

Binary CountConflicts Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

put :: CountConflicts -> Put #

get :: Get CountConflicts #

putList :: [CountConflicts] -> Put #

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.10.3.0-YtseAwuHuQ9nHhY8WfMCr" '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

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.10.3.0-YtseAwuHuQ9nHhY8WfMCr" '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 #

Binary FineGrainedConflicts Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

put :: FineGrainedConflicts -> Put #

get :: Get FineGrainedConflicts #

putList :: [FineGrainedConflicts] -> Put #

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.10.3.0-YtseAwuHuQ9nHhY8WfMCr" '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

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