cabal-install-solver
Safe HaskellSafe-Inferred
LanguageHaskell2010

Distribution.Solver.Types.Settings

Synopsis

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

Structured ReorderGoals Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

Methods

structure :: Proxy ReorderGoals -> Structure

structureHash' :: Tagged ReorderGoals MD5

Generic ReorderGoals Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

Associated Types

type Rep ReorderGoals :: Type -> Type #

Show ReorderGoals Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

Binary ReorderGoals Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

Eq ReorderGoals Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

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.14.1.0-inplace" '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

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 :: Type -> Type #

Show IndependentGoals Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

Binary IndependentGoals Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

Eq IndependentGoals Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

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.14.1.0-inplace" '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 :: Type -> Type #

Show PreferOldest Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

Binary PreferOldest Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

Eq PreferOldest Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

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

newtype MinimizeConflictSet Source #

Instances

Instances details
BooleanFlag MinimizeConflictSet Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

Structured MinimizeConflictSet Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

Generic MinimizeConflictSet Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

Associated Types

type Rep MinimizeConflictSet :: Type -> Type #

Show MinimizeConflictSet Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

Binary MinimizeConflictSet Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

Eq MinimizeConflictSet Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

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.14.1.0-inplace" '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

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 :: Type -> Type #

Show AvoidReinstalls Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

Binary AvoidReinstalls Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

Eq AvoidReinstalls Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

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.14.1.0-inplace" '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 :: Type -> Type #

Show ShadowPkgs Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

Binary ShadowPkgs Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

Eq ShadowPkgs Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

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.14.1.0-inplace" '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 :: Type -> Type #

Show StrongFlags Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

Binary StrongFlags Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

Eq StrongFlags Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

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

newtype AllowBootLibInstalls Source #

Instances

Instances details
BooleanFlag AllowBootLibInstalls Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

Structured AllowBootLibInstalls Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

Generic AllowBootLibInstalls Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

Associated Types

type Rep AllowBootLibInstalls :: Type -> Type #

Show AllowBootLibInstalls Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

Binary AllowBootLibInstalls Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

Eq AllowBootLibInstalls Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

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.14.1.0-inplace" '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?

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 :: Type -> Type #

Show OnlyConstrained Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

Binary OnlyConstrained Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

Eq OnlyConstrained Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

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.14.1.0-inplace" '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

Generic EnableBackjumping Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

Associated Types

type Rep EnableBackjumping :: Type -> Type #

Show EnableBackjumping Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

Eq EnableBackjumping Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

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.14.1.0-inplace" '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

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 :: Type -> Type #

Show CountConflicts Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

Binary CountConflicts Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

Eq CountConflicts Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

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

newtype FineGrainedConflicts Source #

Instances

Instances details
BooleanFlag FineGrainedConflicts Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

Structured FineGrainedConflicts Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

Generic FineGrainedConflicts Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

Associated Types

type Rep FineGrainedConflicts :: Type -> Type #

Show FineGrainedConflicts Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

Binary FineGrainedConflicts Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

Eq FineGrainedConflicts Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

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.14.1.0-inplace" '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

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 :: Type -> Type #

Show SolveExecutables Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

Binary SolveExecutables Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

Eq SolveExecutables Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

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