Distribution.Client.Types.AllowNewer

Documentation

newtype AllowNewer

RelaxDeps in the context of upper bounds (i.e. for --allow-newer flag)

Constructors

AllowNewer

Fields

• unAllowNewer :: RelaxDeps

Instances

Eq AllowNewer

Defined in Distribution.Client.Types.AllowNewer

Methods

(==) :: AllowNewer -> AllowNewer -> Bool

(/=) :: AllowNewer -> AllowNewer -> Bool

Read AllowNewer

Defined in Distribution.Client.Types.AllowNewer

Methods

readsPrec :: Int -> ReadS AllowNewer

readList :: ReadS [AllowNewer]

readPrec :: ReadPrec AllowNewer

readListPrec :: ReadPrec [AllowNewer]

Show AllowNewer

Defined in Distribution.Client.Types.AllowNewer

Methods

showsPrec :: Int -> AllowNewer -> ShowS

show :: AllowNewer -> String

showList :: [AllowNewer] -> ShowS

Generic AllowNewer

Defined in Distribution.Client.Types.AllowNewer

Associated Types

type Rep AllowNewer :: Type -> Type

Methods

from :: AllowNewer -> Rep AllowNewer x

to :: Rep AllowNewer x -> AllowNewer

Semigroup AllowNewer

Defined in Distribution.Client.Types.AllowNewer

Methods

(<>) :: AllowNewer -> AllowNewer -> AllowNewer

sconcat :: NonEmpty AllowNewer -> AllowNewer

stimes :: Integral b => b -> AllowNewer -> AllowNewer

Monoid AllowNewer

Defined in Distribution.Client.Types.AllowNewer

Methods

mempty :: AllowNewer

mappend :: AllowNewer -> AllowNewer -> AllowNewer

mconcat :: [AllowNewer] -> AllowNewer

Binary AllowNewer

Defined in Distribution.Client.Types.AllowNewer

Methods

put :: AllowNewer -> Put

get :: Get AllowNewer

putList :: [AllowNewer] -> Put

Structured AllowNewer

Defined in Distribution.Client.Types.AllowNewer

Methods

structure :: Proxy AllowNewer -> Structure

structureHash' :: Tagged AllowNewer MD5

type Rep AllowNewer

Defined in Distribution.Client.Types.AllowNewer

type Rep AllowNewer = D1 ('MetaData "AllowNewer" "Distribution.Client.Types.AllowNewer" "cabal-install-3.8.1.0-7iNu5HGLMqL9QLfLAUJqbd" 'True) (C1 ('MetaCons "AllowNewer" 'PrefixI 'True) (S1 ('MetaSel ('Just "unAllowNewer") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RelaxDeps)))

newtype AllowOlder

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

Constructors

AllowOlder

Fields

• unAllowOlder :: RelaxDeps

Instances

Eq AllowOlder

Defined in Distribution.Client.Types.AllowNewer

Methods

(==) :: AllowOlder -> AllowOlder -> Bool

(/=) :: AllowOlder -> AllowOlder -> Bool

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

Generic AllowOlder

Defined in Distribution.Client.Types.AllowNewer

Associated Types

type Rep AllowOlder :: Type -> Type

Methods

from :: AllowOlder -> Rep AllowOlder x

to :: Rep AllowOlder x -> AllowOlder

Semigroup AllowOlder

Defined in Distribution.Client.Types.AllowNewer

Methods

(<>) :: AllowOlder -> AllowOlder -> AllowOlder

sconcat :: NonEmpty AllowOlder -> AllowOlder

stimes :: Integral b => b -> AllowOlder -> AllowOlder

Monoid AllowOlder

Defined in Distribution.Client.Types.AllowNewer

Methods

mempty :: AllowOlder

mappend :: AllowOlder -> AllowOlder -> AllowOlder

mconcat :: [AllowOlder] -> AllowOlder

Binary AllowOlder

Defined in Distribution.Client.Types.AllowNewer

Methods

put :: AllowOlder -> Put

get :: Get AllowOlder

putList :: [AllowOlder] -> Put

Structured AllowOlder

Defined in Distribution.Client.Types.AllowNewer

Methods

structure :: Proxy AllowOlder -> Structure

structureHash' :: Tagged AllowOlder MD5

type Rep AllowOlder

Defined in Distribution.Client.Types.AllowNewer

type Rep AllowOlder = D1 ('MetaData "AllowOlder" "Distribution.Client.Types.AllowNewer" "cabal-install-3.8.1.0-7iNu5HGLMqL9QLfLAUJqbd" 'True) (C1 ('MetaCons "AllowOlder" 'PrefixI 'True) (S1 ('MetaSel ('Just "unAllowOlder") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RelaxDeps)))

data 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.

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

Eq RelaxDeps

Defined in Distribution.Client.Types.AllowNewer

Methods

(==) :: RelaxDeps -> RelaxDeps -> Bool

(/=) :: RelaxDeps -> RelaxDeps -> Bool

Read RelaxDeps

Defined in Distribution.Client.Types.AllowNewer

Methods

readsPrec :: Int -> ReadS RelaxDeps

readList :: ReadS [RelaxDeps]

readPrec :: ReadPrec RelaxDeps

readListPrec :: ReadPrec [RelaxDeps]

Show RelaxDeps

Defined in Distribution.Client.Types.AllowNewer

Methods

showsPrec :: Int -> RelaxDeps -> ShowS

show :: RelaxDeps -> String

showList :: [RelaxDeps] -> ShowS

Generic RelaxDeps

Defined in Distribution.Client.Types.AllowNewer

Associated Types

type Rep RelaxDeps :: Type -> Type

Methods

from :: RelaxDeps -> Rep RelaxDeps x

to :: Rep RelaxDeps x -> RelaxDeps

Semigroup RelaxDeps

RelaxDepsAll is the absorbing element

Defined in Distribution.Client.Types.AllowNewer

Methods

(<>) :: RelaxDeps -> RelaxDeps -> RelaxDeps

sconcat :: NonEmpty RelaxDeps -> RelaxDeps

stimes :: Integral b => b -> RelaxDeps -> RelaxDeps

Monoid RelaxDeps

RelaxDepsSome [] is the identity element

Defined in Distribution.Client.Types.AllowNewer

Methods

mempty :: RelaxDeps

mappend :: RelaxDeps -> RelaxDeps -> RelaxDeps

mconcat :: [RelaxDeps] -> RelaxDeps

Binary RelaxDeps

Defined in Distribution.Client.Types.AllowNewer

Methods

put :: RelaxDeps -> Put

get :: Get RelaxDeps

putList :: [RelaxDeps] -> Put

Structured RelaxDeps

Defined in Distribution.Client.Types.AllowNewer

Methods

structure :: Proxy RelaxDeps -> Structure

structureHash' :: Tagged RelaxDeps MD5

Parsec RelaxDeps

>>> 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

Defined in Distribution.Client.Types.AllowNewer

Methods

parsec :: CabalParsing m => m RelaxDeps

Pretty RelaxDeps

Defined in Distribution.Client.Types.AllowNewer

Methods

pretty :: RelaxDeps -> Doc

prettyVersioned :: CabalSpecVersion -> RelaxDeps -> Doc

type Rep RelaxDeps

Defined in Distribution.Client.Types.AllowNewer

type Rep RelaxDeps = D1 ('MetaData "RelaxDeps" "Distribution.Client.Types.AllowNewer" "cabal-install-3.8.1.0-7iNu5HGLMqL9QLfLAUJqbd" '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 ^>= constraints

Instances

Eq RelaxDepMod

Defined in Distribution.Client.Types.AllowNewer

Methods

(==) :: RelaxDepMod -> RelaxDepMod -> Bool

(/=) :: RelaxDepMod -> RelaxDepMod -> Bool

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

Generic RelaxDepMod

Defined in Distribution.Client.Types.AllowNewer

Associated Types

type Rep RelaxDepMod :: Type -> Type

Methods

from :: RelaxDepMod -> Rep RelaxDepMod x

to :: Rep RelaxDepMod x -> RelaxDepMod

Binary RelaxDepMod

Defined in Distribution.Client.Types.AllowNewer

Methods

put :: RelaxDepMod -> Put

get :: Get RelaxDepMod

putList :: [RelaxDepMod] -> Put

Structured RelaxDepMod

Defined in Distribution.Client.Types.AllowNewer

Methods

structure :: Proxy RelaxDepMod -> Structure

structureHash' :: Tagged RelaxDepMod MD5

type Rep RelaxDepMod

Defined in Distribution.Client.Types.AllowNewer

type Rep RelaxDepMod = D1 ('MetaData "RelaxDepMod" "Distribution.Client.Types.AllowNewer" "cabal-install-3.8.1.0-7iNu5HGLMqL9QLfLAUJqbd" 'False) (C1 ('MetaCons "RelaxDepModNone" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RelaxDepModCaret" 'PrefixI 'False) (U1 :: Type -> Type))

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

Eq RelaxDepScope

Defined in Distribution.Client.Types.AllowNewer

Methods

(==) :: RelaxDepScope -> RelaxDepScope -> Bool

(/=) :: RelaxDepScope -> RelaxDepScope -> Bool

Read RelaxDepScope

Defined in Distribution.Client.Types.AllowNewer

Methods

readsPrec :: Int -> ReadS RelaxDepScope

readList :: ReadS [RelaxDepScope]

readPrec :: ReadPrec RelaxDepScope

readListPrec :: ReadPrec [RelaxDepScope]

Show RelaxDepScope

Defined in Distribution.Client.Types.AllowNewer

Methods

showsPrec :: Int -> RelaxDepScope -> ShowS

show :: RelaxDepScope -> String

showList :: [RelaxDepScope] -> ShowS

Generic RelaxDepScope

Defined in Distribution.Client.Types.AllowNewer

Associated Types

type Rep RelaxDepScope :: Type -> Type

Methods

from :: RelaxDepScope -> Rep RelaxDepScope x

to :: Rep RelaxDepScope x -> RelaxDepScope

Binary RelaxDepScope

Defined in Distribution.Client.Types.AllowNewer

Methods

put :: RelaxDepScope -> Put

get :: Get RelaxDepScope

putList :: [RelaxDepScope] -> Put

Structured RelaxDepScope

Defined in Distribution.Client.Types.AllowNewer

Methods

structure :: Proxy RelaxDepScope -> Structure

structureHash' :: Tagged RelaxDepScope MD5

type Rep RelaxDepScope

Defined in Distribution.Client.Types.AllowNewer

type Rep RelaxDepScope = D1 ('MetaData "RelaxDepScope" "Distribution.Client.Types.AllowNewer" "cabal-install-3.8.1.0-7iNu5HGLMqL9QLfLAUJqbd" '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

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

Read RelaxDepSubject

Defined in Distribution.Client.Types.AllowNewer

Methods

readsPrec :: Int -> ReadS RelaxDepSubject

readList :: ReadS [RelaxDepSubject]

readPrec :: ReadPrec RelaxDepSubject

readListPrec :: ReadPrec [RelaxDepSubject]

Show RelaxDepSubject

Defined in Distribution.Client.Types.AllowNewer

Methods

showsPrec :: Int -> RelaxDepSubject -> ShowS

show :: RelaxDepSubject -> String

showList :: [RelaxDepSubject] -> ShowS

Generic RelaxDepSubject

Defined in Distribution.Client.Types.AllowNewer

Associated Types

type Rep RelaxDepSubject :: Type -> Type

Methods

from :: RelaxDepSubject -> Rep RelaxDepSubject x

to :: Rep RelaxDepSubject x -> RelaxDepSubject

Binary RelaxDepSubject

Defined in Distribution.Client.Types.AllowNewer

Methods

put :: RelaxDepSubject -> Put

get :: Get RelaxDepSubject

putList :: [RelaxDepSubject] -> Put

Structured RelaxDepSubject

Defined in Distribution.Client.Types.AllowNewer

Methods

structure :: Proxy RelaxDepSubject -> Structure

structureHash' :: Tagged RelaxDepSubject MD5

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

type Rep RelaxDepSubject

Defined in Distribution.Client.Types.AllowNewer

type Rep RelaxDepSubject = D1 ('MetaData "RelaxDepSubject" "Distribution.Client.Types.AllowNewer" "cabal-install-3.8.1.0-7iNu5HGLMqL9QLfLAUJqbd" '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

Eq RelaxedDep

Defined in Distribution.Client.Types.AllowNewer

Methods

(==) :: RelaxedDep -> RelaxedDep -> Bool

(/=) :: RelaxedDep -> RelaxedDep -> Bool

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

Generic RelaxedDep

Defined in Distribution.Client.Types.AllowNewer

Associated Types

type Rep RelaxedDep :: Type -> Type

Methods

from :: RelaxedDep -> Rep RelaxedDep x

to :: Rep RelaxedDep x -> RelaxedDep

Binary RelaxedDep

Defined in Distribution.Client.Types.AllowNewer

Methods

put :: RelaxedDep -> Put

get :: Get RelaxedDep

putList :: [RelaxedDep] -> Put

Structured RelaxedDep

Defined in Distribution.Client.Types.AllowNewer

Methods

structure :: Proxy RelaxedDep -> Structure

structureHash' :: Tagged RelaxedDep MD5

Parsec RelaxedDep

Defined in Distribution.Client.Types.AllowNewer

Methods

parsec :: CabalParsing m => m RelaxedDep

Pretty RelaxedDep

Defined in Distribution.Client.Types.AllowNewer

Methods

pretty :: RelaxedDep -> Doc

prettyVersioned :: CabalSpecVersion -> RelaxedDep -> Doc

type Rep RelaxedDep

Defined in Distribution.Client.Types.AllowNewer

type Rep RelaxedDep = D1 ('MetaData "RelaxedDep" "Distribution.Client.Types.AllowNewer" "cabal-install-3.8.1.0-7iNu5HGLMqL9QLfLAUJqbd" '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

Return True if RelaxDeps specifies a non-empty set of relaxations

Equivalent to isRelaxDeps = (/= mempty)