Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- newtype AllowNewer = AllowNewer {}
- newtype AllowOlder = AllowOlder {}
- data RelaxDeps
- mkRelaxDepSome :: [RelaxedDep] -> RelaxDeps
- data RelaxDepMod
- data RelaxDepScope
- data RelaxDepSubject
- data RelaxedDep = RelaxedDep !RelaxDepScope !RelaxDepMod !RelaxDepSubject
- isRelaxDeps :: RelaxDeps -> Bool
Documentation
newtype AllowNewer Source #
RelaxDeps
in the context of upper bounds (i.e. for --allow-newer
flag)
Instances
newtype AllowOlder Source #
RelaxDeps
in the context of lower bounds (i.e. for --allow-older
flag)
Instances
Generic data type for policy when relaxing bounds in dependencies.
Don't use this directly: use AllowOlder
or AllowNewer
depending
on whether or not you are relaxing an lower or upper bound
(respectively).
RelaxDepsSome [RelaxedDep] | Ignore upper (resp. lower) bounds in some (or no) dependencies on the given packages.
|
RelaxDepsAll | Ignore upper (resp. lower) bounds in dependencies on all packages. Note: This is should be semantically equivalent to RelaxDepsSome [RelaxedDep RelaxDepScopeAll RelaxDepModNone RelaxDepSubjectAll] (TODO: consider normalising |
Instances
Parsec RelaxDeps Source # |
This is not a glitch, even it looks like:
|
Defined in Distribution.Client.Types.AllowNewer parsec :: CabalParsing m => m RelaxDeps # | |
Pretty RelaxDeps Source # | |
Defined in Distribution.Client.Types.AllowNewer prettyVersioned :: CabalSpecVersion -> RelaxDeps -> Doc # | |
Structured RelaxDeps Source # | |
Defined in Distribution.Client.Types.AllowNewer | |
Monoid RelaxDeps Source # |
|
Semigroup RelaxDeps Source # |
|
Generic RelaxDeps Source # | |
Read RelaxDeps Source # | |
Show RelaxDeps Source # | |
Binary RelaxDeps Source # | |
Eq RelaxDeps Source # | |
type Rep RelaxDeps Source # | |
Defined in Distribution.Client.Types.AllowNewer type Rep RelaxDeps = D1 ('MetaData "RelaxDeps" "Distribution.Client.Types.AllowNewer" "cabal-install-3.10.2.0-IMfebDWOh21KOLH8kGuCe9" 'False) (C1 ('MetaCons "RelaxDepsSome" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [RelaxedDep])) :+: C1 ('MetaCons "RelaxDepsAll" 'PrefixI 'False) (U1 :: Type -> Type)) |
mkRelaxDepSome :: [RelaxedDep] -> RelaxDeps Source #
A smarter RelaxedDepsSome
, *:*
is the same as all
.
data RelaxDepMod Source #
Modifier for dependency relaxation
RelaxDepModNone | Default semantics |
RelaxDepModCaret | Apply relaxation only to |
Instances
data RelaxDepScope Source #
Specify the scope of a relaxation, i.e. limit which depending packages are allowed to have their version constraints relaxed.
RelaxDepScopeAll | Apply relaxation in any package |
RelaxDepScopePackage !PackageName | Apply relaxation to in all versions of a package |
RelaxDepScopePackageId !PackageId | Apply relaxation to a specific version of a package only |
Instances
data RelaxDepSubject Source #
Express whether to relax bounds on all
packages, or a single package
Instances
data RelaxedDep Source #
Dependencies can be relaxed either for all packages in the install plan, or only for some packages.