| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Distribution.Solver.Modular.Flag
Synopsis
- data FInfo = FInfo {}
- type Flag = FlagName
- type FlagInfo = Map Flag FInfo
- data FN qpn = FN qpn Flag
- type QFN = FN QPN
- type QSN = SN QPN
- type Stanza = OptionalStanza
- data SN qpn = SN qpn Stanza
- newtype WeakOrTrivial = WeakOrTrivial {}
- data FlagValue
- mkFlag :: String -> Flag
- showQFN :: QFN -> String
- showQFNBool :: QFN -> Bool -> String
- showFlagValue :: FlagName -> FlagValue -> String
- showQSN :: QSN -> String
- showQSNBool :: QSN -> Bool -> String
- showSBool :: Stanza -> Bool -> String
Documentation
Flag info. Default value, whether the flag is manual, and whether the flag is weak. Manual flags can only be set explicitly. Weak flags are typically deferred by the solver.
Instances
Flag name. Consists of a package instance and the flag identifier itself.
type Stanza = OptionalStanza Source #
Stanza identifier.
Stanza name. Paired with a package name, much like a flag.
newtype WeakOrTrivial Source #
A property of flag and stanza choices that determines whether the choice should be deferred in the solving process.
A choice is called weak if we do want to defer it. This is the case for flags that should be implied by what's currently installed on the system, as opposed to flags that are used to explicitly enable or disable some functionality.
A choice is called trivial if it clearly does not matter. The special case of triviality we actually consider is if there are no new dependencies introduced by the choice.
Constructors
| WeakOrTrivial | |
Fields | |
Instances
| Eq WeakOrTrivial Source # | |
Defined in Distribution.Solver.Modular.Flag Methods (==) :: WeakOrTrivial -> WeakOrTrivial -> Bool # (/=) :: WeakOrTrivial -> WeakOrTrivial -> Bool # | |
| Ord WeakOrTrivial Source # | |
Defined in Distribution.Solver.Modular.Flag Methods compare :: WeakOrTrivial -> WeakOrTrivial -> Ordering # (<) :: WeakOrTrivial -> WeakOrTrivial -> Bool # (<=) :: WeakOrTrivial -> WeakOrTrivial -> Bool # (>) :: WeakOrTrivial -> WeakOrTrivial -> Bool # (>=) :: WeakOrTrivial -> WeakOrTrivial -> Bool # max :: WeakOrTrivial -> WeakOrTrivial -> WeakOrTrivial # min :: WeakOrTrivial -> WeakOrTrivial -> WeakOrTrivial # | |
| Show WeakOrTrivial Source # | |
Defined in Distribution.Solver.Modular.Flag Methods showsPrec :: Int -> WeakOrTrivial -> ShowS # show :: WeakOrTrivial -> String # showList :: [WeakOrTrivial] -> ShowS # | |
Value shown for a flag in a solver log message. The message can refer to only the true choice, only the false choice, or both choices.