cabal-install-solver-3.8.1.0: The command-line interface for Cabal and Hackage.
Safe HaskellNone
LanguageHaskell2010

Distribution.Solver.Types.Settings

Synopsis

Documentation

newtype ReorderGoals Source #

Constructors

ReorderGoals Bool 

Instances

Instances details
Eq ReorderGoals Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

Show ReorderGoals Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

Generic ReorderGoals Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

Associated Types

type Rep ReorderGoals :: Type -> Type #

Binary ReorderGoals Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

Structured ReorderGoals Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

BooleanFlag ReorderGoals Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

Methods

asBool :: 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.8.1.0-DQHDRT4McfjEkCZkJP5jZc" '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
Eq IndependentGoals Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

Show IndependentGoals Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

Generic IndependentGoals Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

Associated Types

type Rep IndependentGoals :: Type -> Type #

Binary IndependentGoals Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

Structured IndependentGoals Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

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

newtype MinimizeConflictSet Source #

Instances

Instances details
Eq MinimizeConflictSet Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

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

Binary MinimizeConflictSet Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

Structured MinimizeConflictSet Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

BooleanFlag 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.8.1.0-DQHDRT4McfjEkCZkJP5jZc" '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
Eq AvoidReinstalls Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

Show AvoidReinstalls Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

Generic AvoidReinstalls Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

Associated Types

type Rep AvoidReinstalls :: Type -> Type #

Binary AvoidReinstalls Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

Structured AvoidReinstalls Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

BooleanFlag 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.8.1.0-DQHDRT4McfjEkCZkJP5jZc" '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
Eq ShadowPkgs Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

Show ShadowPkgs Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

Generic ShadowPkgs Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

Associated Types

type Rep ShadowPkgs :: Type -> Type #

Binary ShadowPkgs Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

Structured ShadowPkgs Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

BooleanFlag ShadowPkgs Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

Methods

asBool :: 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.8.1.0-DQHDRT4McfjEkCZkJP5jZc" '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
Eq StrongFlags Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

Show StrongFlags Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

Generic StrongFlags Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

Associated Types

type Rep StrongFlags :: Type -> Type #

Binary StrongFlags Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

Structured StrongFlags Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

BooleanFlag StrongFlags Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

Methods

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

newtype AllowBootLibInstalls Source #

Instances

Instances details
Eq AllowBootLibInstalls Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

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

Binary AllowBootLibInstalls Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

Structured AllowBootLibInstalls Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

BooleanFlag 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.8.1.0-DQHDRT4McfjEkCZkJP5jZc" '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
Eq OnlyConstrained Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

Show OnlyConstrained Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

Generic OnlyConstrained Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

Associated Types

type Rep OnlyConstrained :: Type -> Type #

Binary OnlyConstrained Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

Structured OnlyConstrained Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

Parsec OnlyConstrained Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

Pretty 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.8.1.0-DQHDRT4McfjEkCZkJP5jZc" '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
Eq EnableBackjumping Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

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

BooleanFlag 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.8.1.0-DQHDRT4McfjEkCZkJP5jZc" '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
Eq CountConflicts Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

Show CountConflicts Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

Generic CountConflicts Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

Associated Types

type Rep CountConflicts :: Type -> Type #

Binary CountConflicts Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

Structured CountConflicts Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

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

newtype FineGrainedConflicts Source #

Instances

Instances details
Eq FineGrainedConflicts Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

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

Binary FineGrainedConflicts Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

Structured FineGrainedConflicts Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

BooleanFlag 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.8.1.0-DQHDRT4McfjEkCZkJP5jZc" '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
Eq SolveExecutables Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

Show SolveExecutables Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

Generic SolveExecutables Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

Associated Types

type Rep SolveExecutables :: Type -> Type #

Binary SolveExecutables Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

Structured SolveExecutables Source # 
Instance details

Defined in Distribution.Solver.Types.Settings

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