Safe Haskell	Safe-Inferred
Language	Haskell2010

Distribution.Client.Types.AllowNewer

Synopsis

newtype AllowNewer = AllowNewer {
- unAllowNewer :: RelaxDeps
}
newtype AllowOlder = AllowOlder {
- unAllowOlder :: RelaxDeps
}
data RelaxDeps
- = RelaxDepsSome [RelaxedDep]
- | RelaxDepsAll
mkRelaxDepSome :: [RelaxedDep] -> RelaxDeps
data RelaxDepMod
- = RelaxDepModNone
- | RelaxDepModCaret
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 unAllowNewer :: RelaxDeps

Instances

Instances details

Structured AllowNewer Source #
Instance details Defined in Distribution.Client.Types.AllowNewer Methods structure :: Proxy AllowNewer -> Structure structureHash' :: Tagged AllowNewer MD5
Monoid AllowNewer Source #
Instance details Defined in Distribution.Client.Types.AllowNewer Methods mempty :: AllowNewer mappend :: AllowNewer -> AllowNewer -> AllowNewer mconcat :: [AllowNewer] -> AllowNewer
Semigroup AllowNewer Source #
Instance details Defined in Distribution.Client.Types.AllowNewer Methods (<>) :: AllowNewer -> AllowNewer -> AllowNewer sconcat :: NonEmpty AllowNewer -> AllowNewer stimes :: Integral b => b -> AllowNewer -> AllowNewer
Generic AllowNewer Source #
Instance details Defined in Distribution.Client.Types.AllowNewer Associated Types type Rep AllowNewer :: Type -> Type Methods from :: AllowNewer -> Rep AllowNewer x to :: Rep AllowNewer x -> AllowNewer
Read AllowNewer Source #
Instance details Defined in Distribution.Client.Types.AllowNewer Methods readsPrec :: Int -> ReadS AllowNewer readList :: ReadS [AllowNewer] readPrec :: ReadPrec AllowNewer readListPrec :: ReadPrec [AllowNewer]
Show AllowNewer Source #
Instance details Defined in Distribution.Client.Types.AllowNewer Methods showsPrec :: Int -> AllowNewer -> ShowS show :: AllowNewer -> String showList :: [AllowNewer] -> ShowS
Binary AllowNewer Source #
Instance details Defined in Distribution.Client.Types.AllowNewer Methods put :: AllowNewer -> Put get :: Get AllowNewer putList :: [AllowNewer] -> Put
Eq AllowNewer Source #
Instance details Defined in Distribution.Client.Types.AllowNewer Methods (==) :: AllowNewer -> AllowNewer -> Bool (/=) :: AllowNewer -> AllowNewer -> Bool
type Rep AllowNewer Source #
Instance details Defined in Distribution.Client.Types.AllowNewer type Rep AllowNewer = D1 ('MetaData "AllowNewer" "Distribution.Client.Types.AllowNewer" "cabal-install-3.10.2.1-EY5xHO2LnGwBaag5vRk9zW" 'True) (C1 ('MetaCons "AllowNewer" 'PrefixI 'True) (S1 ('MetaSel ('Just "unAllowNewer") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RelaxDeps)))

newtype AllowOlder Source #

RelaxDeps in the context of lower bounds (i.e. for --allow-older flag)

Constructors

AllowOlder
Fields unAllowOlder :: RelaxDeps

Instances

Instances details

Structured AllowOlder Source #
Instance details Defined in Distribution.Client.Types.AllowNewer Methods structure :: Proxy AllowOlder -> Structure structureHash' :: Tagged AllowOlder MD5
Monoid AllowOlder Source #
Instance details Defined in Distribution.Client.Types.AllowNewer Methods mempty :: AllowOlder mappend :: AllowOlder -> AllowOlder -> AllowOlder mconcat :: [AllowOlder] -> AllowOlder
Semigroup AllowOlder Source #
Instance details Defined in Distribution.Client.Types.AllowNewer Methods (<>) :: AllowOlder -> AllowOlder -> AllowOlder sconcat :: NonEmpty AllowOlder -> AllowOlder stimes :: Integral b => b -> AllowOlder -> AllowOlder
Generic AllowOlder Source #
Instance details Defined in Distribution.Client.Types.AllowNewer Associated Types type Rep AllowOlder :: Type -> Type Methods from :: AllowOlder -> Rep AllowOlder x to :: Rep AllowOlder x -> AllowOlder
Read AllowOlder Source #
Instance details Defined in Distribution.Client.Types.AllowNewer Methods readsPrec :: Int -> ReadS AllowOlder readList :: ReadS [AllowOlder] readPrec :: ReadPrec AllowOlder readListPrec :: ReadPrec [AllowOlder]
Show AllowOlder Source #
Instance details Defined in Distribution.Client.Types.AllowNewer Methods showsPrec :: Int -> AllowOlder -> ShowS show :: AllowOlder -> String showList :: [AllowOlder] -> ShowS
Binary AllowOlder Source #
Instance details Defined in Distribution.Client.Types.AllowNewer Methods put :: AllowOlder -> Put get :: Get AllowOlder putList :: [AllowOlder] -> Put
Eq AllowOlder Source #
Instance details Defined in Distribution.Client.Types.AllowNewer Methods (==) :: AllowOlder -> AllowOlder -> Bool (/=) :: AllowOlder -> AllowOlder -> Bool
type Rep AllowOlder Source #
Instance details Defined in Distribution.Client.Types.AllowNewer type Rep AllowOlder = D1 ('MetaData "AllowOlder" "Distribution.Client.Types.AllowNewer" "cabal-install-3.10.2.1-EY5xHO2LnGwBaag5vRk9zW" 'True) (C1 ('MetaCons "AllowOlder" 'PrefixI 'True) (S1 ('MetaSel ('Just "unAllowOlder") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RelaxDeps)))

data RelaxDeps Source #

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.

RelaxDepsSome [] is the default, i.e. honor the bounds in all dependencies, never choose versions newer (resp. older) than allowed.

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 RelaxDeps and/or RelaxedDep)

Instances

Instances details

Parsec RelaxDeps Source #	`>>>` `simpleParsec "all" :: Maybe RelaxDeps`Just RelaxDepsAll `>>>` `simpleParsec "none" :: Maybe RelaxDeps`Just (RelaxDepsSome []) `>>>` *`simpleParsec ", " :: Maybe RelaxDeps`Just RelaxDepsAll `>>>` `simpleParsec ":" :: Maybe RelaxDeps`Just RelaxDepsAll `>>>` `simpleParsec "foo:bar, quu:puu" :: Maybe RelaxDeps`Just (RelaxDepsSome [RelaxedDep (RelaxDepScopePackage (PackageName "foo")) RelaxDepModNone (RelaxDepSubjectPkg (PackageName "bar")),RelaxedDep (RelaxDepScopePackage (PackageName "quu")) RelaxDepModNone (RelaxDepSubjectPkg (PackageName "puu"))]) This is not a glitch, even it looks like: `>>>` `simpleParsec ", all" :: Maybe RelaxDeps`Just RelaxDepsAll `>>>` `simpleParsec "" :: Maybe RelaxDeps`*Nothing
Instance details Defined in Distribution.Client.Types.AllowNewer Methods parsec :: CabalParsing m => m RelaxDeps #
Pretty RelaxDeps Source #
Instance details Defined in Distribution.Client.Types.AllowNewer Methods pretty :: RelaxDeps -> Doc # prettyVersioned :: CabalSpecVersion -> RelaxDeps -> Doc #
Structured RelaxDeps Source #
Instance details Defined in Distribution.Client.Types.AllowNewer Methods structure :: Proxy RelaxDeps -> Structure structureHash' :: Tagged RelaxDeps MD5
Monoid RelaxDeps Source #	`RelaxDepsSome []` is the identity element
Instance details Defined in Distribution.Client.Types.AllowNewer Methods mempty :: RelaxDeps mappend :: RelaxDeps -> RelaxDeps -> RelaxDeps mconcat :: [RelaxDeps] -> RelaxDeps
Semigroup RelaxDeps Source #	`RelaxDepsAll` is the absorbing element
Instance details Defined in Distribution.Client.Types.AllowNewer Methods (<>) :: RelaxDeps -> RelaxDeps -> RelaxDeps sconcat :: NonEmpty RelaxDeps -> RelaxDeps stimes :: Integral b => b -> RelaxDeps -> RelaxDeps
Generic RelaxDeps Source #
Instance details Defined in Distribution.Client.Types.AllowNewer Associated Types type Rep RelaxDeps :: Type -> Type Methods from :: RelaxDeps -> Rep RelaxDeps x to :: Rep RelaxDeps x -> RelaxDeps
Read RelaxDeps Source #
Instance details Defined in Distribution.Client.Types.AllowNewer Methods readsPrec :: Int -> ReadS RelaxDeps readList :: ReadS [RelaxDeps] readPrec :: ReadPrec RelaxDeps readListPrec :: ReadPrec [RelaxDeps]
Show RelaxDeps Source #
Instance details Defined in Distribution.Client.Types.AllowNewer Methods showsPrec :: Int -> RelaxDeps -> ShowS show :: RelaxDeps -> String showList :: [RelaxDeps] -> ShowS
Binary RelaxDeps Source #
Instance details Defined in Distribution.Client.Types.AllowNewer Methods put :: RelaxDeps -> Put get :: Get RelaxDeps putList :: [RelaxDeps] -> Put
Eq RelaxDeps Source #
Instance details Defined in Distribution.Client.Types.AllowNewer Methods (==) :: RelaxDeps -> RelaxDeps -> Bool (/=) :: RelaxDeps -> RelaxDeps -> Bool
type Rep RelaxDeps Source #
Instance details Defined in Distribution.Client.Types.AllowNewer type Rep RelaxDeps = D1 ('MetaData "RelaxDeps" "Distribution.Client.Types.AllowNewer" "cabal-install-3.10.2.1-EY5xHO2LnGwBaag5vRk9zW" '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 `^>=` constraints

Instances

Instances details

Structured RelaxDepMod Source #
Instance details Defined in Distribution.Client.Types.AllowNewer Methods structure :: Proxy RelaxDepMod -> Structure structureHash' :: Tagged RelaxDepMod MD5
Generic RelaxDepMod Source #
Instance details Defined in Distribution.Client.Types.AllowNewer Associated Types type Rep RelaxDepMod :: Type -> Type Methods from :: RelaxDepMod -> Rep RelaxDepMod x to :: Rep RelaxDepMod x -> RelaxDepMod
Read RelaxDepMod Source #
Instance details Defined in Distribution.Client.Types.AllowNewer Methods readsPrec :: Int -> ReadS RelaxDepMod readList :: ReadS [RelaxDepMod] readPrec :: ReadPrec RelaxDepMod readListPrec :: ReadPrec [RelaxDepMod]
Show RelaxDepMod Source #
Instance details Defined in Distribution.Client.Types.AllowNewer Methods showsPrec :: Int -> RelaxDepMod -> ShowS show :: RelaxDepMod -> String showList :: [RelaxDepMod] -> ShowS
Binary RelaxDepMod Source #
Instance details Defined in Distribution.Client.Types.AllowNewer Methods put :: RelaxDepMod -> Put get :: Get RelaxDepMod putList :: [RelaxDepMod] -> Put
Eq RelaxDepMod Source #
Instance details Defined in Distribution.Client.Types.AllowNewer Methods (==) :: RelaxDepMod -> RelaxDepMod -> Bool (/=) :: RelaxDepMod -> RelaxDepMod -> Bool
type Rep RelaxDepMod Source #
Instance details Defined in Distribution.Client.Types.AllowNewer type Rep RelaxDepMod = D1 ('MetaData "RelaxDepMod" "Distribution.Client.Types.AllowNewer" "cabal-install-3.10.2.1-EY5xHO2LnGwBaag5vRk9zW" '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

Instances details

Structured RelaxDepScope Source #
Instance details Defined in Distribution.Client.Types.AllowNewer Methods structure :: Proxy RelaxDepScope -> Structure structureHash' :: Tagged RelaxDepScope MD5
Generic RelaxDepScope Source #
Instance details Defined in Distribution.Client.Types.AllowNewer Associated Types type Rep RelaxDepScope :: Type -> Type Methods from :: RelaxDepScope -> Rep RelaxDepScope x to :: Rep RelaxDepScope x -> RelaxDepScope
Read RelaxDepScope Source #
Instance details Defined in Distribution.Client.Types.AllowNewer Methods readsPrec :: Int -> ReadS RelaxDepScope readList :: ReadS [RelaxDepScope] readPrec :: ReadPrec RelaxDepScope readListPrec :: ReadPrec [RelaxDepScope]
Show RelaxDepScope Source #
Instance details Defined in Distribution.Client.Types.AllowNewer Methods showsPrec :: Int -> RelaxDepScope -> ShowS show :: RelaxDepScope -> String showList :: [RelaxDepScope] -> ShowS
Binary RelaxDepScope Source #
Instance details Defined in Distribution.Client.Types.AllowNewer Methods put :: RelaxDepScope -> Put get :: Get RelaxDepScope putList :: [RelaxDepScope] -> Put
Eq RelaxDepScope Source #
Instance details Defined in Distribution.Client.Types.AllowNewer Methods (==) :: RelaxDepScope -> RelaxDepScope -> Bool (/=) :: RelaxDepScope -> RelaxDepScope -> Bool
type Rep RelaxDepScope Source #
Instance details Defined in Distribution.Client.Types.AllowNewer type Rep RelaxDepScope = D1 ('MetaData "RelaxDepScope" "Distribution.Client.Types.AllowNewer" "cabal-install-3.10.2.1-EY5xHO2LnGwBaag5vRk9zW" '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

Instances details

Parsec RelaxDepSubject Source #
Instance details Defined in Distribution.Client.Types.AllowNewer Methods parsec :: CabalParsing m => m RelaxDepSubject #
Pretty RelaxDepSubject Source #
Instance details Defined in Distribution.Client.Types.AllowNewer Methods pretty :: RelaxDepSubject -> Doc # prettyVersioned :: CabalSpecVersion -> RelaxDepSubject -> Doc #
Structured RelaxDepSubject Source #
Instance details Defined in Distribution.Client.Types.AllowNewer Methods structure :: Proxy RelaxDepSubject -> Structure structureHash' :: Tagged RelaxDepSubject MD5
Generic RelaxDepSubject Source #
Instance details Defined in Distribution.Client.Types.AllowNewer Associated Types type Rep RelaxDepSubject :: Type -> Type Methods from :: RelaxDepSubject -> Rep RelaxDepSubject x to :: Rep RelaxDepSubject x -> RelaxDepSubject
Read RelaxDepSubject Source #
Instance details Defined in Distribution.Client.Types.AllowNewer Methods readsPrec :: Int -> ReadS RelaxDepSubject readList :: ReadS [RelaxDepSubject] readPrec :: ReadPrec RelaxDepSubject readListPrec :: ReadPrec [RelaxDepSubject]
Show RelaxDepSubject Source #
Instance details Defined in Distribution.Client.Types.AllowNewer Methods showsPrec :: Int -> RelaxDepSubject -> ShowS show :: RelaxDepSubject -> String showList :: [RelaxDepSubject] -> ShowS
Binary RelaxDepSubject Source #
Instance details Defined in Distribution.Client.Types.AllowNewer Methods put :: RelaxDepSubject -> Put get :: Get RelaxDepSubject putList :: [RelaxDepSubject] -> Put
Eq RelaxDepSubject Source #
Instance details Defined in Distribution.Client.Types.AllowNewer Methods (==) :: RelaxDepSubject -> RelaxDepSubject -> Bool (/=) :: RelaxDepSubject -> RelaxDepSubject -> Bool
Ord RelaxDepSubject Source #
Instance details Defined in Distribution.Client.Types.AllowNewer Methods compare :: RelaxDepSubject -> RelaxDepSubject -> Ordering (<) :: RelaxDepSubject -> RelaxDepSubject -> Bool (<=) :: RelaxDepSubject -> RelaxDepSubject -> Bool (>) :: RelaxDepSubject -> RelaxDepSubject -> Bool (>=) :: RelaxDepSubject -> RelaxDepSubject -> Bool max :: RelaxDepSubject -> RelaxDepSubject -> RelaxDepSubject min :: RelaxDepSubject -> RelaxDepSubject -> RelaxDepSubject
type Rep RelaxDepSubject Source #
Instance details Defined in Distribution.Client.Types.AllowNewer type Rep RelaxDepSubject = D1 ('MetaData "RelaxDepSubject" "Distribution.Client.Types.AllowNewer" "cabal-install-3.10.2.1-EY5xHO2LnGwBaag5vRk9zW" 'False) (C1 ('MetaCons "RelaxDepSubjectAll" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RelaxDepSubjectPkg" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PackageName)))

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

Instances details

Parsec RelaxedDep Source #
Instance details Defined in Distribution.Client.Types.AllowNewer Methods parsec :: CabalParsing m => m RelaxedDep #
Pretty RelaxedDep Source #
Instance details Defined in Distribution.Client.Types.AllowNewer Methods pretty :: RelaxedDep -> Doc # prettyVersioned :: CabalSpecVersion -> RelaxedDep -> Doc #
Structured RelaxedDep Source #
Instance details Defined in Distribution.Client.Types.AllowNewer Methods structure :: Proxy RelaxedDep -> Structure structureHash' :: Tagged RelaxedDep MD5
Generic RelaxedDep Source #
Instance details Defined in Distribution.Client.Types.AllowNewer Associated Types type Rep RelaxedDep :: Type -> Type Methods from :: RelaxedDep -> Rep RelaxedDep x to :: Rep RelaxedDep x -> RelaxedDep
Read RelaxedDep Source #
Instance details Defined in Distribution.Client.Types.AllowNewer Methods readsPrec :: Int -> ReadS RelaxedDep readList :: ReadS [RelaxedDep] readPrec :: ReadPrec RelaxedDep readListPrec :: ReadPrec [RelaxedDep]
Show RelaxedDep Source #
Instance details Defined in Distribution.Client.Types.AllowNewer Methods showsPrec :: Int -> RelaxedDep -> ShowS show :: RelaxedDep -> String showList :: [RelaxedDep] -> ShowS
Binary RelaxedDep Source #
Instance details Defined in Distribution.Client.Types.AllowNewer Methods put :: RelaxedDep -> Put get :: Get RelaxedDep putList :: [RelaxedDep] -> Put
Eq RelaxedDep Source #
Instance details Defined in Distribution.Client.Types.AllowNewer Methods (==) :: RelaxedDep -> RelaxedDep -> Bool (/=) :: RelaxedDep -> RelaxedDep -> Bool
type Rep RelaxedDep Source #
Instance details Defined in Distribution.Client.Types.AllowNewer type Rep RelaxedDep = D1 ('MetaData "RelaxedDep" "Distribution.Client.Types.AllowNewer" "cabal-install-3.10.2.1-EY5xHO2LnGwBaag5vRk9zW" '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)