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

Distribution.Solver.Types.Settings

Synopsis

Documentation

newtype ReorderGoals #

Constructors

ReorderGoals Bool 

Instances

Instances details
BooleanFlag ReorderGoals # 
Instance details

Defined in Distribution.Solver.Types.Settings

Methods

asBool :: ReorderGoals -> Bool #

Structured ReorderGoals # 
Instance details

Defined in Distribution.Solver.Types.Settings

Binary ReorderGoals # 
Instance details

Defined in Distribution.Solver.Types.Settings

Generic ReorderGoals # 
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-BcLJX5rVQuejx1qrKAH5j" 'True) (C1 ('MetaCons "ReorderGoals" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))
Show ReorderGoals # 
Instance details

Defined in Distribution.Solver.Types.Settings

Eq ReorderGoals # 
Instance details

Defined in Distribution.Solver.Types.Settings

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

newtype IndependentGoals #

Constructors

IndependentGoals Bool 

Instances

Instances details
BooleanFlag IndependentGoals # 
Instance details

Defined in Distribution.Solver.Types.Settings

Structured IndependentGoals # 
Instance details

Defined in Distribution.Solver.Types.Settings

Binary IndependentGoals # 
Instance details

Defined in Distribution.Solver.Types.Settings

Generic IndependentGoals # 
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-BcLJX5rVQuejx1qrKAH5j" 'True) (C1 ('MetaCons "IndependentGoals" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))
Show IndependentGoals # 
Instance details

Defined in Distribution.Solver.Types.Settings

Eq IndependentGoals # 
Instance details

Defined in Distribution.Solver.Types.Settings

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

newtype PreferOldest #

Constructors

PreferOldest Bool 

Instances

Instances details
BooleanFlag PreferOldest # 
Instance details

Defined in Distribution.Solver.Types.Settings

Methods

asBool :: PreferOldest -> Bool #

Structured PreferOldest # 
Instance details

Defined in Distribution.Solver.Types.Settings

Binary PreferOldest # 
Instance details

Defined in Distribution.Solver.Types.Settings

Generic PreferOldest # 
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-BcLJX5rVQuejx1qrKAH5j" 'True) (C1 ('MetaCons "PreferOldest" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))
Show PreferOldest # 
Instance details

Defined in Distribution.Solver.Types.Settings

Eq PreferOldest # 
Instance details

Defined in Distribution.Solver.Types.Settings

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

newtype MinimizeConflictSet #

Instances

Instances details
BooleanFlag MinimizeConflictSet # 
Instance details

Defined in Distribution.Solver.Types.Settings

Structured MinimizeConflictSet # 
Instance details

Defined in Distribution.Solver.Types.Settings

Binary MinimizeConflictSet # 
Instance details

Defined in Distribution.Solver.Types.Settings

Generic MinimizeConflictSet # 
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-BcLJX5rVQuejx1qrKAH5j" 'True) (C1 ('MetaCons "MinimizeConflictSet" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))
Show MinimizeConflictSet # 
Instance details

Defined in Distribution.Solver.Types.Settings

Eq MinimizeConflictSet # 
Instance details

Defined in Distribution.Solver.Types.Settings

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

newtype AvoidReinstalls #

Constructors

AvoidReinstalls Bool 

Instances

Instances details
BooleanFlag AvoidReinstalls # 
Instance details

Defined in Distribution.Solver.Types.Settings

Structured AvoidReinstalls # 
Instance details

Defined in Distribution.Solver.Types.Settings

Binary AvoidReinstalls # 
Instance details

Defined in Distribution.Solver.Types.Settings

Generic AvoidReinstalls # 
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-BcLJX5rVQuejx1qrKAH5j" 'True) (C1 ('MetaCons "AvoidReinstalls" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))
Show AvoidReinstalls # 
Instance details

Defined in Distribution.Solver.Types.Settings

Eq AvoidReinstalls # 
Instance details

Defined in Distribution.Solver.Types.Settings

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

newtype ShadowPkgs #

Constructors

ShadowPkgs Bool 

Instances

Instances details
BooleanFlag ShadowPkgs # 
Instance details

Defined in Distribution.Solver.Types.Settings

Methods

asBool :: ShadowPkgs -> Bool #

Structured ShadowPkgs # 
Instance details

Defined in Distribution.Solver.Types.Settings

Binary ShadowPkgs # 
Instance details

Defined in Distribution.Solver.Types.Settings

Generic ShadowPkgs # 
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-BcLJX5rVQuejx1qrKAH5j" 'True) (C1 ('MetaCons "ShadowPkgs" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))
Show ShadowPkgs # 
Instance details

Defined in Distribution.Solver.Types.Settings

Eq ShadowPkgs # 
Instance details

Defined in Distribution.Solver.Types.Settings

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

newtype StrongFlags #

Constructors

StrongFlags Bool 

Instances

Instances details
BooleanFlag StrongFlags # 
Instance details

Defined in Distribution.Solver.Types.Settings

Methods

asBool :: StrongFlags -> Bool #

Structured StrongFlags # 
Instance details

Defined in Distribution.Solver.Types.Settings

Binary StrongFlags # 
Instance details

Defined in Distribution.Solver.Types.Settings

Generic StrongFlags # 
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-BcLJX5rVQuejx1qrKAH5j" 'True) (C1 ('MetaCons "StrongFlags" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))
Show StrongFlags # 
Instance details

Defined in Distribution.Solver.Types.Settings

Eq StrongFlags # 
Instance details

Defined in Distribution.Solver.Types.Settings

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

newtype AllowBootLibInstalls #

Instances

Instances details
BooleanFlag AllowBootLibInstalls # 
Instance details

Defined in Distribution.Solver.Types.Settings

Structured AllowBootLibInstalls # 
Instance details

Defined in Distribution.Solver.Types.Settings

Binary AllowBootLibInstalls # 
Instance details

Defined in Distribution.Solver.Types.Settings

Generic AllowBootLibInstalls # 
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-BcLJX5rVQuejx1qrKAH5j" 'True) (C1 ('MetaCons "AllowBootLibInstalls" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))
Show AllowBootLibInstalls # 
Instance details

Defined in Distribution.Solver.Types.Settings

Eq AllowBootLibInstalls # 
Instance details

Defined in Distribution.Solver.Types.Settings

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

data OnlyConstrained #

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 # 
Instance details

Defined in Distribution.Solver.Types.Settings

Pretty OnlyConstrained # 
Instance details

Defined in Distribution.Solver.Types.Settings

Structured OnlyConstrained # 
Instance details

Defined in Distribution.Solver.Types.Settings

Binary OnlyConstrained # 
Instance details

Defined in Distribution.Solver.Types.Settings

Generic OnlyConstrained # 
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-BcLJX5rVQuejx1qrKAH5j" 'False) (C1 ('MetaCons "OnlyConstrainedNone" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OnlyConstrainedAll" 'PrefixI 'False) (U1 :: Type -> Type))
Show OnlyConstrained # 
Instance details

Defined in Distribution.Solver.Types.Settings

Eq OnlyConstrained # 
Instance details

Defined in Distribution.Solver.Types.Settings

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

newtype EnableBackjumping #

Constructors

EnableBackjumping Bool 

Instances

Instances details
BooleanFlag EnableBackjumping # 
Instance details

Defined in Distribution.Solver.Types.Settings

Generic EnableBackjumping # 
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-BcLJX5rVQuejx1qrKAH5j" 'True) (C1 ('MetaCons "EnableBackjumping" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))
Show EnableBackjumping # 
Instance details

Defined in Distribution.Solver.Types.Settings

Eq EnableBackjumping # 
Instance details

Defined in Distribution.Solver.Types.Settings

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

newtype CountConflicts #

Constructors

CountConflicts Bool 

Instances

Instances details
BooleanFlag CountConflicts # 
Instance details

Defined in Distribution.Solver.Types.Settings

Structured CountConflicts # 
Instance details

Defined in Distribution.Solver.Types.Settings

Binary CountConflicts # 
Instance details

Defined in Distribution.Solver.Types.Settings

Generic CountConflicts # 
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-BcLJX5rVQuejx1qrKAH5j" 'True) (C1 ('MetaCons "CountConflicts" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))
Show CountConflicts # 
Instance details

Defined in Distribution.Solver.Types.Settings

Eq CountConflicts # 
Instance details

Defined in Distribution.Solver.Types.Settings

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

newtype FineGrainedConflicts #

Instances

Instances details
BooleanFlag FineGrainedConflicts # 
Instance details

Defined in Distribution.Solver.Types.Settings

Structured FineGrainedConflicts # 
Instance details

Defined in Distribution.Solver.Types.Settings

Binary FineGrainedConflicts # 
Instance details

Defined in Distribution.Solver.Types.Settings

Generic FineGrainedConflicts # 
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-BcLJX5rVQuejx1qrKAH5j" 'True) (C1 ('MetaCons "FineGrainedConflicts" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))
Show FineGrainedConflicts # 
Instance details

Defined in Distribution.Solver.Types.Settings

Eq FineGrainedConflicts # 
Instance details

Defined in Distribution.Solver.Types.Settings

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

newtype SolveExecutables #

Constructors

SolveExecutables Bool 

Instances

Instances details
BooleanFlag SolveExecutables # 
Instance details

Defined in Distribution.Solver.Types.Settings

Structured SolveExecutables # 
Instance details

Defined in Distribution.Solver.Types.Settings

Binary SolveExecutables # 
Instance details

Defined in Distribution.Solver.Types.Settings

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

Defined in Distribution.Solver.Types.Settings

Eq SolveExecutables # 
Instance details

Defined in Distribution.Solver.Types.Settings

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