Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Distribution.Client.Types.AllowNewer
Synopsis
- newtype AllowNewer = AllowNewer {}
- newtype AllowOlder = AllowOlder {}
- data RelaxDeps
- mkRelaxDepSome :: [RelaxedDep] -> RelaxDeps
- data RelaxDepMod
- data RelaxDepScope
- = RelaxDepScopeAll
- | RelaxDepScopePackage !PackageName
- | RelaxDepScopePackageId !PackageId
- data RelaxDepSubject
- = RelaxDepSubjectAll
- | RelaxDepSubjectPkg !PackageName
- 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)
Constructors
AllowNewer | |
Fields |
Instances
newtype AllowOlder Source #
RelaxDeps
in the context of lower bounds (i.e. for --allow-older
flag)
Constructors
AllowOlder | |
Fields |
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).
Constructors
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 Methods parsec :: CabalParsing m => m RelaxDeps # | |
Pretty RelaxDeps Source # | |
Defined in Distribution.Client.Types.AllowNewer | |
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.8.1.0-CiByXgAz4HmCCkgLTHZiBJ" '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
Constructors
RelaxDepModNone | Default semantics |
RelaxDepModCaret | Apply relaxation only to |
Instances
Structured RelaxDepMod Source # | |
Defined in Distribution.Client.Types.AllowNewer | |
Generic RelaxDepMod Source # | |
Defined in Distribution.Client.Types.AllowNewer Associated Types type Rep RelaxDepMod :: Type -> Type | |
Read RelaxDepMod Source # | |
Defined in Distribution.Client.Types.AllowNewer Methods readsPrec :: Int -> ReadS RelaxDepMod readList :: ReadS [RelaxDepMod] readPrec :: ReadPrec RelaxDepMod readListPrec :: ReadPrec [RelaxDepMod] | |
Show RelaxDepMod Source # | |
Defined in Distribution.Client.Types.AllowNewer Methods showsPrec :: Int -> RelaxDepMod -> ShowS show :: RelaxDepMod -> String showList :: [RelaxDepMod] -> ShowS | |
Binary RelaxDepMod Source # | |
Defined in Distribution.Client.Types.AllowNewer | |
Eq RelaxDepMod Source # | |
Defined in Distribution.Client.Types.AllowNewer | |
type Rep RelaxDepMod Source # | |
Defined in Distribution.Client.Types.AllowNewer type Rep RelaxDepMod = D1 ('MetaData "RelaxDepMod" "Distribution.Client.Types.AllowNewer" "cabal-install-3.8.1.0-CiByXgAz4HmCCkgLTHZiBJ" 'False) (C1 ('MetaCons "RelaxDepModNone" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RelaxDepModCaret" 'PrefixI 'False) (U1 :: Type -> Type)) |
data RelaxDepScope Source #
Specify the scope of a relaxation, i.e. limit which depending packages are allowed to have their version constraints relaxed.
Constructors
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
Structured RelaxDepScope Source # | |
Defined in Distribution.Client.Types.AllowNewer | |
Generic RelaxDepScope Source # | |
Defined in Distribution.Client.Types.AllowNewer Associated Types type Rep RelaxDepScope :: Type -> Type | |
Read RelaxDepScope Source # | |
Defined in Distribution.Client.Types.AllowNewer Methods readsPrec :: Int -> ReadS RelaxDepScope readList :: ReadS [RelaxDepScope] readPrec :: ReadPrec RelaxDepScope readListPrec :: ReadPrec [RelaxDepScope] | |
Show RelaxDepScope Source # | |
Defined in Distribution.Client.Types.AllowNewer Methods showsPrec :: Int -> RelaxDepScope -> ShowS show :: RelaxDepScope -> String showList :: [RelaxDepScope] -> ShowS | |
Binary RelaxDepScope Source # | |
Defined in Distribution.Client.Types.AllowNewer | |
Eq RelaxDepScope Source # | |
Defined in Distribution.Client.Types.AllowNewer | |
type Rep RelaxDepScope Source # | |
Defined in Distribution.Client.Types.AllowNewer type Rep RelaxDepScope = D1 ('MetaData "RelaxDepScope" "Distribution.Client.Types.AllowNewer" "cabal-install-3.8.1.0-CiByXgAz4HmCCkgLTHZiBJ" 'False) (C1 ('MetaCons "RelaxDepScopeAll" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "RelaxDepScopePackage" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PackageName)) :+: C1 ('MetaCons "RelaxDepScopePackageId" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PackageId)))) |
data RelaxDepSubject Source #
Express whether to relax bounds on all
packages, or a single package
Constructors
RelaxDepSubjectAll | |
RelaxDepSubjectPkg !PackageName |
Instances
data RelaxedDep Source #
Dependencies can be relaxed either for all packages in the install plan, or only for some packages.
Constructors
RelaxedDep !RelaxDepScope !RelaxDepMod !RelaxDepSubject |
Instances
Parsec RelaxedDep Source # | |
Defined in Distribution.Client.Types.AllowNewer Methods parsec :: CabalParsing m => m RelaxedDep # | |
Pretty RelaxedDep Source # | |
Defined in Distribution.Client.Types.AllowNewer | |
Structured RelaxedDep Source # | |
Defined in Distribution.Client.Types.AllowNewer | |
Generic RelaxedDep Source # | |
Defined in Distribution.Client.Types.AllowNewer Associated Types type Rep RelaxedDep :: Type -> Type | |
Read RelaxedDep Source # | |
Defined in Distribution.Client.Types.AllowNewer Methods readsPrec :: Int -> ReadS RelaxedDep readList :: ReadS [RelaxedDep] readPrec :: ReadPrec RelaxedDep readListPrec :: ReadPrec [RelaxedDep] | |
Show RelaxedDep Source # | |
Defined in Distribution.Client.Types.AllowNewer Methods showsPrec :: Int -> RelaxedDep -> ShowS show :: RelaxedDep -> String showList :: [RelaxedDep] -> ShowS | |
Binary RelaxedDep Source # | |
Defined in Distribution.Client.Types.AllowNewer | |
Eq RelaxedDep Source # | |
Defined in Distribution.Client.Types.AllowNewer | |
type Rep RelaxedDep Source # | |
Defined in Distribution.Client.Types.AllowNewer type Rep RelaxedDep = D1 ('MetaData "RelaxedDep" "Distribution.Client.Types.AllowNewer" "cabal-install-3.8.1.0-CiByXgAz4HmCCkgLTHZiBJ" 'False) (C1 ('MetaCons "RelaxedDep" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 RelaxDepScope) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 RelaxDepMod) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 RelaxDepSubject)))) |
isRelaxDeps :: RelaxDeps -> Bool Source #
Return True
if RelaxDeps
specifies a non-empty set of relaxations
Equivalent to isRelaxDeps = (/=
mempty
)