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

Methods

from :: ReorderGoals -> Rep ReorderGoals x Source #

to :: Rep ReorderGoals x -> ReorderGoals Source #

Show ReorderGoals Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

showsPrec :: Int -> ReorderGoals -> ShowS Source #

show :: ReorderGoals -> String Source #

showList :: [ReorderGoals] -> ShowS Source #

Eq ReorderGoals Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

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

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

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

Structured IndependentGoals Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

structure :: Proxy IndependentGoals -> Structure Source #

structureHash' :: Tagged IndependentGoals MD5

Binary IndependentGoals Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

put :: IndependentGoals -> Put Source #

get :: Get IndependentGoals Source #

putList :: [IndependentGoals] -> Put Source #

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

Methods

from :: IndependentGoals -> Rep IndependentGoals x Source #

to :: Rep IndependentGoals x -> IndependentGoals Source #

Show IndependentGoals Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

showsPrec :: Int -> IndependentGoals -> ShowS Source #

show :: IndependentGoals -> String Source #

showList :: [IndependentGoals] -> ShowS Source #

Eq IndependentGoals Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

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

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

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

Structured PreferOldest Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

structure :: Proxy PreferOldest -> Structure Source #

structureHash' :: Tagged PreferOldest MD5

Binary PreferOldest Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

put :: PreferOldest -> Put Source #

get :: Get PreferOldest Source #

putList :: [PreferOldest] -> Put Source #

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

Methods

from :: PreferOldest -> Rep PreferOldest x Source #

to :: Rep PreferOldest x -> PreferOldest Source #

Show PreferOldest Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

showsPrec :: Int -> PreferOldest -> ShowS Source #

show :: PreferOldest -> String Source #

showList :: [PreferOldest] -> ShowS Source #

Eq PreferOldest Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

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

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

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

Structured MinimizeConflictSet Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

structure :: Proxy MinimizeConflictSet -> Structure Source #

structureHash' :: Tagged MinimizeConflictSet MD5

Binary MinimizeConflictSet Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

put :: MinimizeConflictSet -> Put Source #

get :: Get MinimizeConflictSet Source #

putList :: [MinimizeConflictSet] -> Put Source #

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

Methods

from :: MinimizeConflictSet -> Rep MinimizeConflictSet x Source #

to :: Rep MinimizeConflictSet x -> MinimizeConflictSet Source #

Show MinimizeConflictSet Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

showsPrec :: Int -> MinimizeConflictSet -> ShowS Source #

show :: MinimizeConflictSet -> String Source #

showList :: [MinimizeConflictSet] -> ShowS Source #

Eq MinimizeConflictSet Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

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

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

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

Structured AvoidReinstalls Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

structure :: Proxy AvoidReinstalls -> Structure Source #

structureHash' :: Tagged AvoidReinstalls MD5

Binary AvoidReinstalls Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

put :: AvoidReinstalls -> Put Source #

get :: Get AvoidReinstalls Source #

putList :: [AvoidReinstalls] -> Put Source #

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

Methods

from :: AvoidReinstalls -> Rep AvoidReinstalls x Source #

to :: Rep AvoidReinstalls x -> AvoidReinstalls Source #

Show AvoidReinstalls Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

showsPrec :: Int -> AvoidReinstalls -> ShowS Source #

show :: AvoidReinstalls -> String Source #

showList :: [AvoidReinstalls] -> ShowS Source #

Eq AvoidReinstalls Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

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

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

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

Structured ShadowPkgs Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

structure :: Proxy ShadowPkgs -> Structure Source #

structureHash' :: Tagged ShadowPkgs MD5

Binary ShadowPkgs Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

put :: ShadowPkgs -> Put Source #

get :: Get ShadowPkgs Source #

putList :: [ShadowPkgs] -> Put Source #

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

Methods

from :: ShadowPkgs -> Rep ShadowPkgs x Source #

to :: Rep ShadowPkgs x -> ShadowPkgs Source #

Show ShadowPkgs Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

showsPrec :: Int -> ShadowPkgs -> ShowS Source #

show :: ShadowPkgs -> String Source #

showList :: [ShadowPkgs] -> ShowS Source #

Eq ShadowPkgs Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

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

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

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

Structured StrongFlags Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

structure :: Proxy StrongFlags -> Structure Source #

structureHash' :: Tagged StrongFlags MD5

Binary StrongFlags Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

put :: StrongFlags -> Put Source #

get :: Get StrongFlags Source #

putList :: [StrongFlags] -> Put Source #

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

Methods

from :: StrongFlags -> Rep StrongFlags x Source #

to :: Rep StrongFlags x -> StrongFlags Source #

Show StrongFlags Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

showsPrec :: Int -> StrongFlags -> ShowS Source #

show :: StrongFlags -> String Source #

showList :: [StrongFlags] -> ShowS Source #

Eq StrongFlags Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

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

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

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

Structured AllowBootLibInstalls Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

structure :: Proxy AllowBootLibInstalls -> Structure Source #

structureHash' :: Tagged AllowBootLibInstalls MD5

Binary AllowBootLibInstalls Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

put :: AllowBootLibInstalls -> Put Source #

get :: Get AllowBootLibInstalls Source #

putList :: [AllowBootLibInstalls] -> Put Source #

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

Methods

from :: AllowBootLibInstalls -> Rep AllowBootLibInstalls x Source #

to :: Rep AllowBootLibInstalls x -> AllowBootLibInstalls Source #

Show AllowBootLibInstalls Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

showsPrec :: Int -> AllowBootLibInstalls -> ShowS Source #

show :: AllowBootLibInstalls -> String Source #

showList :: [AllowBootLibInstalls] -> ShowS Source #

Eq AllowBootLibInstalls Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

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

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

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

Pretty OnlyConstrained Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

pretty :: OnlyConstrained -> Doc Source #

prettyVersioned :: CabalSpecVersion -> OnlyConstrained -> Doc Source #

Structured OnlyConstrained Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

structure :: Proxy OnlyConstrained -> Structure Source #

structureHash' :: Tagged OnlyConstrained MD5

Binary OnlyConstrained Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

put :: OnlyConstrained -> Put Source #

get :: Get OnlyConstrained Source #

putList :: [OnlyConstrained] -> Put Source #

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

Methods

from :: OnlyConstrained -> Rep OnlyConstrained x Source #

to :: Rep OnlyConstrained x -> OnlyConstrained Source #

Show OnlyConstrained Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

showsPrec :: Int -> OnlyConstrained -> ShowS Source #

show :: OnlyConstrained -> String Source #

showList :: [OnlyConstrained] -> ShowS Source #

Eq OnlyConstrained Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

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

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

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

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

Methods

from :: EnableBackjumping -> Rep EnableBackjumping x Source #

to :: Rep EnableBackjumping x -> EnableBackjumping Source #

Show EnableBackjumping Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

showsPrec :: Int -> EnableBackjumping -> ShowS Source #

show :: EnableBackjumping -> String Source #

showList :: [EnableBackjumping] -> ShowS Source #

Eq EnableBackjumping Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

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

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

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

Structured CountConflicts Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

structure :: Proxy CountConflicts -> Structure Source #

structureHash' :: Tagged CountConflicts MD5

Binary CountConflicts Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

put :: CountConflicts -> Put Source #

get :: Get CountConflicts Source #

putList :: [CountConflicts] -> Put Source #

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

Methods

from :: CountConflicts -> Rep CountConflicts x Source #

to :: Rep CountConflicts x -> CountConflicts Source #

Show CountConflicts Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

showsPrec :: Int -> CountConflicts -> ShowS Source #

show :: CountConflicts -> String Source #

showList :: [CountConflicts] -> ShowS Source #

Eq CountConflicts Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

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

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

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

Structured FineGrainedConflicts Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

structure :: Proxy FineGrainedConflicts -> Structure Source #

structureHash' :: Tagged FineGrainedConflicts MD5

Binary FineGrainedConflicts Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

put :: FineGrainedConflicts -> Put Source #

get :: Get FineGrainedConflicts Source #

putList :: [FineGrainedConflicts] -> Put Source #

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

Methods

from :: FineGrainedConflicts -> Rep FineGrainedConflicts x Source #

to :: Rep FineGrainedConflicts x -> FineGrainedConflicts Source #

Show FineGrainedConflicts Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

showsPrec :: Int -> FineGrainedConflicts -> ShowS Source #

show :: FineGrainedConflicts -> String Source #

showList :: [FineGrainedConflicts] -> ShowS Source #

Eq FineGrainedConflicts Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

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

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

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

Structured SolveExecutables Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

structure :: Proxy SolveExecutables -> Structure Source #

structureHash' :: Tagged SolveExecutables MD5

Binary SolveExecutables Source #

Instance details

Defined in Distribution.Solver.Types.Settings

Methods

put :: SolveExecutables -> Put Source #

get :: Get SolveExecutables Source #

putList :: [SolveExecutables] -> Put Source #

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