| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Distribution.Client.Types.AllowNewer
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 #
RelaxDeps in the context of upper bounds (i.e. for --allow-newer flag)
Constructors
| AllowNewer | |
Fields | |
Instances
newtype AllowOlder #
RelaxDeps in the context of lower bounds (i.e. for --allow-older flag)
Constructors
| AllowOlder | |
Fields | |
Instances
| Structured AllowOlder # | |||||
Defined in Distribution.Client.Types.AllowNewer | |||||
| Binary AllowOlder # | |||||
Defined in Distribution.Client.Types.AllowNewer | |||||
| Monoid AllowOlder # | |||||
Defined in Distribution.Client.Types.AllowNewer Methods mempty :: AllowOlder # mappend :: AllowOlder -> AllowOlder -> AllowOlder # mconcat :: [AllowOlder] -> AllowOlder # | |||||
| Semigroup AllowOlder # | |||||
Defined in Distribution.Client.Types.AllowNewer Methods (<>) :: AllowOlder -> AllowOlder -> AllowOlder # sconcat :: NonEmpty AllowOlder -> AllowOlder # stimes :: Integral b => b -> AllowOlder -> AllowOlder # | |||||
| Generic AllowOlder # | |||||
Defined in Distribution.Client.Types.AllowNewer Associated Types
| |||||
| Read AllowOlder # | |||||
Defined in Distribution.Client.Types.AllowNewer Methods readsPrec :: Int -> ReadS AllowOlder # readList :: ReadS [AllowOlder] # readPrec :: ReadPrec AllowOlder # readListPrec :: ReadPrec [AllowOlder] # | |||||
| Show AllowOlder # | |||||
Defined in Distribution.Client.Types.AllowNewer Methods showsPrec :: Int -> AllowOlder -> ShowS # show :: AllowOlder -> String # showList :: [AllowOlder] -> ShowS # | |||||
| Eq AllowOlder # | |||||
Defined in Distribution.Client.Types.AllowNewer | |||||
| type Rep AllowOlder # | |||||
Defined in Distribution.Client.Types.AllowNewer type Rep AllowOlder = D1 ('MetaData "AllowOlder" "Distribution.Client.Types.AllowNewer" "cabal-install-3.12.1.0-G554PkJj2SpDqyarXp9tbt" 'True) (C1 ('MetaCons "AllowOlder" 'PrefixI 'True) (S1 ('MetaSel ('Just "unAllowOlder") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RelaxDeps))) | |||||
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 # |
This is not a glitch, even it looks like:
| ||||
Defined in Distribution.Client.Types.AllowNewer Methods parsec :: CabalParsing m => m RelaxDeps # | |||||
| Pretty RelaxDeps # | |||||
Defined in Distribution.Client.Types.AllowNewer | |||||
| Structured RelaxDeps # | |||||
Defined in Distribution.Client.Types.AllowNewer | |||||
| Binary RelaxDeps # | |||||
| Monoid RelaxDeps # |
| ||||
| Semigroup RelaxDeps # |
| ||||
| Generic RelaxDeps # | |||||
Defined in Distribution.Client.Types.AllowNewer Associated Types
| |||||
| Read RelaxDeps # | |||||
| Show RelaxDeps # | |||||
| Eq RelaxDeps # | |||||
| type Rep RelaxDeps # | |||||
Defined in Distribution.Client.Types.AllowNewer type Rep RelaxDeps = D1 ('MetaData "RelaxDeps" "Distribution.Client.Types.AllowNewer" "cabal-install-3.12.1.0-G554PkJj2SpDqyarXp9tbt" '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 #
A smarter RelaxedDepsSome, *:* is the same as all.
data RelaxDepMod #
Modifier for dependency relaxation
Constructors
| RelaxDepModNone | Default semantics |
| RelaxDepModCaret | Apply relaxation only to |
Instances
| Structured RelaxDepMod # | |||||
Defined in Distribution.Client.Types.AllowNewer | |||||
| Binary RelaxDepMod # | |||||
Defined in Distribution.Client.Types.AllowNewer | |||||
| Generic RelaxDepMod # | |||||
Defined in Distribution.Client.Types.AllowNewer Associated Types
| |||||
| Read RelaxDepMod # | |||||
Defined in Distribution.Client.Types.AllowNewer Methods readsPrec :: Int -> ReadS RelaxDepMod # readList :: ReadS [RelaxDepMod] # readPrec :: ReadPrec RelaxDepMod # readListPrec :: ReadPrec [RelaxDepMod] # | |||||
| Show RelaxDepMod # | |||||
Defined in Distribution.Client.Types.AllowNewer Methods showsPrec :: Int -> RelaxDepMod -> ShowS # show :: RelaxDepMod -> String # showList :: [RelaxDepMod] -> ShowS # | |||||
| Eq RelaxDepMod # | |||||
Defined in Distribution.Client.Types.AllowNewer | |||||
| type Rep RelaxDepMod # | |||||
Defined in Distribution.Client.Types.AllowNewer | |||||
data RelaxDepScope #
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 # | |||||
Defined in Distribution.Client.Types.AllowNewer | |||||
| Binary RelaxDepScope # | |||||
Defined in Distribution.Client.Types.AllowNewer | |||||
| Generic RelaxDepScope # | |||||
Defined in Distribution.Client.Types.AllowNewer Associated Types
| |||||
| Read RelaxDepScope # | |||||
Defined in Distribution.Client.Types.AllowNewer Methods readsPrec :: Int -> ReadS RelaxDepScope # readList :: ReadS [RelaxDepScope] # | |||||
| Show RelaxDepScope # | |||||
Defined in Distribution.Client.Types.AllowNewer Methods showsPrec :: Int -> RelaxDepScope -> ShowS # show :: RelaxDepScope -> String # showList :: [RelaxDepScope] -> ShowS # | |||||
| Eq RelaxDepScope # | |||||
Defined in Distribution.Client.Types.AllowNewer Methods (==) :: RelaxDepScope -> RelaxDepScope -> Bool # (/=) :: RelaxDepScope -> RelaxDepScope -> Bool # | |||||
| type Rep RelaxDepScope # | |||||
Defined in Distribution.Client.Types.AllowNewer type Rep RelaxDepScope = D1 ('MetaData "RelaxDepScope" "Distribution.Client.Types.AllowNewer" "cabal-install-3.12.1.0-G554PkJj2SpDqyarXp9tbt" '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 #
Express whether to relax bounds on all packages, or a single package
Constructors
| RelaxDepSubjectAll | |
| RelaxDepSubjectPkg !PackageName |
Instances
| Parsec RelaxDepSubject # | |||||
Defined in Distribution.Client.Types.AllowNewer Methods parsec :: CabalParsing m => m RelaxDepSubject # | |||||
| Pretty RelaxDepSubject # | |||||
Defined in Distribution.Client.Types.AllowNewer Methods pretty :: RelaxDepSubject -> Doc # prettyVersioned :: CabalSpecVersion -> RelaxDepSubject -> Doc # | |||||
| Structured RelaxDepSubject # | |||||
Defined in Distribution.Client.Types.AllowNewer Methods structure :: Proxy RelaxDepSubject -> Structure # structureHash' :: Tagged RelaxDepSubject MD5 | |||||
| Binary RelaxDepSubject # | |||||
Defined in Distribution.Client.Types.AllowNewer Methods put :: RelaxDepSubject -> Put # get :: Get RelaxDepSubject # putList :: [RelaxDepSubject] -> Put # | |||||
| Generic RelaxDepSubject # | |||||
Defined in Distribution.Client.Types.AllowNewer Associated Types
Methods from :: RelaxDepSubject -> Rep RelaxDepSubject x # to :: Rep RelaxDepSubject x -> RelaxDepSubject # | |||||
| Read RelaxDepSubject # | |||||
Defined in Distribution.Client.Types.AllowNewer Methods readsPrec :: Int -> ReadS RelaxDepSubject # readList :: ReadS [RelaxDepSubject] # | |||||
| Show RelaxDepSubject # | |||||
Defined in Distribution.Client.Types.AllowNewer Methods showsPrec :: Int -> RelaxDepSubject -> ShowS # show :: RelaxDepSubject -> String # showList :: [RelaxDepSubject] -> ShowS # | |||||
| Eq RelaxDepSubject # | |||||
Defined in Distribution.Client.Types.AllowNewer Methods (==) :: RelaxDepSubject -> RelaxDepSubject -> Bool # (/=) :: RelaxDepSubject -> RelaxDepSubject -> Bool # | |||||
| Ord RelaxDepSubject # | |||||
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 # | |||||
Defined in Distribution.Client.Types.AllowNewer type Rep RelaxDepSubject = D1 ('MetaData "RelaxDepSubject" "Distribution.Client.Types.AllowNewer" "cabal-install-3.12.1.0-G554PkJj2SpDqyarXp9tbt" '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 #
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 # | |||||
Defined in Distribution.Client.Types.AllowNewer Methods parsec :: CabalParsing m => m RelaxedDep # | |||||
| Pretty RelaxedDep # | |||||
Defined in Distribution.Client.Types.AllowNewer | |||||
| Structured RelaxedDep # | |||||
Defined in Distribution.Client.Types.AllowNewer | |||||
| Binary RelaxedDep # | |||||
Defined in Distribution.Client.Types.AllowNewer | |||||
| Generic RelaxedDep # | |||||
Defined in Distribution.Client.Types.AllowNewer Associated Types
| |||||
| Read RelaxedDep # | |||||
Defined in Distribution.Client.Types.AllowNewer Methods readsPrec :: Int -> ReadS RelaxedDep # readList :: ReadS [RelaxedDep] # readPrec :: ReadPrec RelaxedDep # readListPrec :: ReadPrec [RelaxedDep] # | |||||
| Show RelaxedDep # | |||||
Defined in Distribution.Client.Types.AllowNewer Methods showsPrec :: Int -> RelaxedDep -> ShowS # show :: RelaxedDep -> String # showList :: [RelaxedDep] -> ShowS # | |||||
| Eq RelaxedDep # | |||||
Defined in Distribution.Client.Types.AllowNewer | |||||
| type Rep RelaxedDep # | |||||
Defined in Distribution.Client.Types.AllowNewer type Rep RelaxedDep = D1 ('MetaData "RelaxedDep" "Distribution.Client.Types.AllowNewer" "cabal-install-3.12.1.0-G554PkJj2SpDqyarXp9tbt" '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)))) | |||||