cabal-install-3.16.0.0: The command-line interface for Cabal and Hackage.
Safe HaskellNone
LanguageHaskell2010

Distribution.Client.Types.AllowNewer

Synopsis

Documentation

newtype AllowNewer Source #

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

Constructors

AllowNewer 

Fields

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

Defined in Distribution.Client.Types.AllowNewer

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

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.16.0.0-5Or0gjSnsvnBIy2HLcA6Z9" '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

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

Defined in Distribution.Client.Types.AllowNewer

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

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.16.0.0-5Or0gjSnsvnBIy2HLcA6Z9" '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 
Instance details

Defined in Distribution.Client.Types.AllowNewer

type Rep RelaxDeps = D1 ('MetaData "RelaxDeps" "Distribution.Client.Types.AllowNewer" "cabal-install-3.16.0.0-5Or0gjSnsvnBIy2HLcA6Z9" 'False) (C1 ('MetaCons "RelaxDepsSome" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [RelaxedDep])) :+: C1 ('MetaCons "RelaxDepsAll" 'PrefixI 'False) (U1 :: 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.16.0.0-5Or0gjSnsvnBIy2HLcA6Z9" '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 
Instance details

Defined in Distribution.Client.Types.AllowNewer

type Rep RelaxDepMod = D1 ('MetaData "RelaxDepMod" "Distribution.Client.Types.AllowNewer" "cabal-install-3.16.0.0-5Or0gjSnsvnBIy2HLcA6Z9" 'False) (C1 ('MetaCons "RelaxDepModNone" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RelaxDepModCaret" 'PrefixI 'False) (U1 :: 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.16.0.0-5Or0gjSnsvnBIy2HLcA6Z9" '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 
Instance details

Defined in Distribution.Client.Types.AllowNewer

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

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.16.0.0-5Or0gjSnsvnBIy2HLcA6Z9" '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 
Instance details

Defined in Distribution.Client.Types.AllowNewer

type Rep RelaxDepSubject = D1 ('MetaData "RelaxDepSubject" "Distribution.Client.Types.AllowNewer" "cabal-install-3.16.0.0-5Or0gjSnsvnBIy2HLcA6Z9" 'False) (C1 ('MetaCons "RelaxDepSubjectAll" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RelaxDepSubjectPkg" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PackageName)))

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.16.0.0-5Or0gjSnsvnBIy2HLcA6Z9" '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 
Instance details

Defined in Distribution.Client.Types.AllowNewer

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

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.16.0.0-5Or0gjSnsvnBIy2HLcA6Z9" '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)