cabal-install-3.12.1.0: The command-line interface for Cabal and Hackage.

Safe Haskell | None
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 #

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

Constructors

AllowNewer |

Fields

- unAllowNewer :: RelaxDeps

#### Instances

Instances details

Structured AllowNewer # |
Instance details Defined in Distribution.Client.Types.AllowNewer Methods structure :: Proxy AllowNewer -> Structure # structureHash' :: Tagged AllowNewer MD5
Binary AllowNewer # |
Instance details Defined in Distribution.Client.Types.AllowNewer Methods put :: AllowNewer -> Put # get :: Get AllowNewer # putList :: [AllowNewer] -> Put #
Monoid AllowNewer # |
Instance details Defined in Distribution.Client.Types.AllowNewer Methods mempty :: AllowNewer # mappend :: AllowNewer -> AllowNewer -> AllowNewer # mconcat :: [AllowNewer] -> AllowNewer #
Semigroup AllowNewer # |
Instance details Defined in Distribution.Client.Types.AllowNewer Methods (<>) :: AllowNewer -> AllowNewer -> AllowNewer # sconcat :: NonEmpty AllowNewer -> AllowNewer # stimes :: Integral b => b -> AllowNewer -> AllowNewer #
Generic AllowNewer # |

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.12.1.0-G554PkJj2SpDqyarXp9tbt" '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 # |
Instance details Defined in Distribution.Client.Types.AllowNewer Methods readsPrec :: Int -> ReadS AllowNewer # readList :: ReadS [AllowNewer] # readPrec :: ReadPrec AllowNewer # readListPrec :: ReadPrec [AllowNewer] #
Show AllowNewer # |
Instance details Defined in Distribution.Client.Types.AllowNewer Methods showsPrec :: Int -> AllowNewer -> ShowS # show :: AllowNewer -> String # showList :: [AllowNewer] -> ShowS #
Eq AllowNewer # |
Instance details Defined in Distribution.Client.Types.AllowNewer Methods (==) :: AllowNewer -> AllowNewer -> Bool # (/=) :: AllowNewer -> AllowNewer -> Bool #
type Rep AllowNewer # |
Instance details Defined in Distribution.Client.Types.AllowNewer type Rep AllowNewer = D1 ('MetaData "AllowNewer" "Distribution.Client.Types.AllowNewer" "cabal-install-3.12.1.0-G554PkJj2SpDqyarXp9tbt" '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

Instances details

Structured AllowOlder # |
Instance details Defined in Distribution.Client.Types.AllowNewer Methods structure :: Proxy AllowOlder -> Structure # structureHash' :: Tagged AllowOlder MD5
Binary AllowOlder # |
Instance details Defined in Distribution.Client.Types.AllowNewer Methods put :: AllowOlder -> Put # get :: Get AllowOlder # putList :: [AllowOlder] -> Put #
Monoid AllowOlder # |
Instance details Defined in Distribution.Client.Types.AllowNewer Methods mempty :: AllowOlder # mappend :: AllowOlder -> AllowOlder -> AllowOlder # mconcat :: [AllowOlder] -> AllowOlder #
Semigroup AllowOlder # |
Instance details Defined in Distribution.Client.Types.AllowNewer Methods (<>) :: AllowOlder -> AllowOlder -> AllowOlder # sconcat :: NonEmpty AllowOlder -> AllowOlder # stimes :: Integral b => b -> AllowOlder -> AllowOlder #
Generic AllowOlder # |

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.12.1.0-G554PkJj2SpDqyarXp9tbt" '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 # |
Instance details Defined in Distribution.Client.Types.AllowNewer Methods readsPrec :: Int -> ReadS AllowOlder # readList :: ReadS [AllowOlder] # readPrec :: ReadPrec AllowOlder # readListPrec :: ReadPrec [AllowOlder] #
Show AllowOlder # |
Instance details Defined in Distribution.Client.Types.AllowNewer Methods showsPrec :: Int -> AllowOlder -> ShowS # show :: AllowOlder -> String # showList :: [AllowOlder] -> ShowS #
Eq AllowOlder # |
Instance details Defined in Distribution.Client.Types.AllowNewer Methods (==) :: AllowOlder -> AllowOlder -> Bool # (/=) :: AllowOlder -> AllowOlder -> Bool #
type Rep AllowOlder # |
Instance details 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)))

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

Instances details

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

Instance details Defined in Distribution.Client.Types.AllowNewer Methods parsec :: CabalParsing m => m RelaxDeps #
Pretty RelaxDeps # |
Instance details Defined in Distribution.Client.Types.AllowNewer Methods pretty :: RelaxDeps -> Doc # prettyVersioned :: CabalSpecVersion -> RelaxDeps -> Doc #
Structured RelaxDeps # |
Instance details Defined in Distribution.Client.Types.AllowNewer Methods structure :: Proxy RelaxDeps -> Structure # structureHash' :: Tagged RelaxDeps MD5
Binary RelaxDeps # |
Instance details Defined in Distribution.Client.Types.AllowNewer Methods put :: RelaxDeps -> Put # get :: Get RelaxDeps # putList :: [RelaxDeps] -> Put #
Monoid RelaxDeps # | ``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 # | `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 # |

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

Methods

from :: RelaxDeps -> Rep RelaxDeps x #

to :: Rep RelaxDeps x -> RelaxDeps #

Read RelaxDeps # |
Instance details Defined in Distribution.Client.Types.AllowNewer Methods readsPrec :: Int -> ReadS RelaxDeps # readList :: ReadS [RelaxDeps] # readPrec :: ReadPrec RelaxDeps # readListPrec :: ReadPrec [RelaxDeps] #
Show RelaxDeps # |
Instance details Defined in Distribution.Client.Types.AllowNewer Methods showsPrec :: Int -> RelaxDeps -> ShowS # show :: RelaxDeps -> String # showList :: [RelaxDeps] -> ShowS #
Eq RelaxDeps # |
Instance details Defined in Distribution.Client.Types.AllowNewer Methods (==) :: RelaxDeps -> RelaxDeps -> Bool # (/=) :: RelaxDeps -> RelaxDeps -> Bool #
type Rep RelaxDeps # |

Instance details

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 `^>=` constraints

#### Instances

Instances details

Structured RelaxDepMod # |
Instance details Defined in Distribution.Client.Types.AllowNewer Methods structure :: Proxy RelaxDepMod -> Structure # structureHash' :: Tagged RelaxDepMod MD5
Binary RelaxDepMod # |
Instance details Defined in Distribution.Client.Types.AllowNewer Methods put :: RelaxDepMod -> Put # get :: Get RelaxDepMod # putList :: [RelaxDepMod] -> Put #
Generic RelaxDepMod # |

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.12.1.0-G554PkJj2SpDqyarXp9tbt" '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 # |
Instance details Defined in Distribution.Client.Types.AllowNewer Methods readsPrec :: Int -> ReadS RelaxDepMod # readList :: ReadS [RelaxDepMod] # readPrec :: ReadPrec RelaxDepMod # readListPrec :: ReadPrec [RelaxDepMod] #
Show RelaxDepMod # |
Instance details Defined in Distribution.Client.Types.AllowNewer Methods showsPrec :: Int -> RelaxDepMod -> ShowS # show :: RelaxDepMod -> String # showList :: [RelaxDepMod] -> ShowS #
Eq RelaxDepMod # |
Instance details Defined in Distribution.Client.Types.AllowNewer Methods (==) :: RelaxDepMod -> RelaxDepMod -> Bool # (/=) :: RelaxDepMod -> RelaxDepMod -> Bool #
type Rep RelaxDepMod # |
Instance details Defined in Distribution.Client.Types.AllowNewer type Rep RelaxDepMod = D1 ('MetaData "RelaxDepMod" "Distribution.Client.Types.AllowNewer" "cabal-install-3.12.1.0-G554PkJj2SpDqyarXp9tbt" '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

Instances details

Structured RelaxDepScope # |
Instance details Defined in Distribution.Client.Types.AllowNewer Methods structure :: Proxy RelaxDepScope -> Structure # structureHash' :: Tagged RelaxDepScope MD5
Binary RelaxDepScope # |
Instance details Defined in Distribution.Client.Types.AllowNewer Methods put :: RelaxDepScope -> Put # get :: Get RelaxDepScope # putList :: [RelaxDepScope] -> Put #
Generic RelaxDepScope # |

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

Methods

from :: RelaxDepScope -> Rep RelaxDepScope x #

to :: Rep RelaxDepScope x -> RelaxDepScope #

Read RelaxDepScope # |
Instance details Defined in Distribution.Client.Types.AllowNewer Methods readsPrec :: Int -> ReadS RelaxDepScope # readList :: ReadS [RelaxDepScope] # readPrec :: ReadPrec RelaxDepScope # readListPrec :: ReadPrec [RelaxDepScope] #
Show RelaxDepScope # |
Instance details Defined in Distribution.Client.Types.AllowNewer Methods showsPrec :: Int -> RelaxDepScope -> ShowS # show :: RelaxDepScope -> String # showList :: [RelaxDepScope] -> ShowS #
Eq RelaxDepScope # |
Instance details Defined in Distribution.Client.Types.AllowNewer Methods (==) :: RelaxDepScope -> RelaxDepScope -> Bool # (/=) :: RelaxDepScope -> RelaxDepScope -> Bool #
type Rep RelaxDepScope # |

Instance details

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

Instances details

Parsec RelaxDepSubject # |
Instance details Defined in Distribution.Client.Types.AllowNewer Methods parsec :: CabalParsing m => m RelaxDepSubject #
Pretty RelaxDepSubject # |
Instance details Defined in Distribution.Client.Types.AllowNewer Methods pretty :: RelaxDepSubject -> Doc # prettyVersioned :: CabalSpecVersion -> RelaxDepSubject -> Doc #
Structured RelaxDepSubject # |
Instance details Defined in Distribution.Client.Types.AllowNewer Methods structure :: Proxy RelaxDepSubject -> Structure # structureHash' :: Tagged RelaxDepSubject MD5
Binary RelaxDepSubject # |
Instance details Defined in Distribution.Client.Types.AllowNewer Methods put :: RelaxDepSubject -> Put # get :: Get RelaxDepSubject # putList :: [RelaxDepSubject] -> Put #
Generic RelaxDepSubject # |

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

Methods

from :: RelaxDepSubject -> Rep RelaxDepSubject x #

to :: Rep RelaxDepSubject x -> RelaxDepSubject #

Read RelaxDepSubject # |
Instance details Defined in Distribution.Client.Types.AllowNewer Methods readsPrec :: Int -> ReadS RelaxDepSubject # readList :: ReadS [RelaxDepSubject] # readPrec :: ReadPrec RelaxDepSubject # readListPrec :: ReadPrec [RelaxDepSubject] #
Show RelaxDepSubject # |
Instance details Defined in Distribution.Client.Types.AllowNewer Methods showsPrec :: Int -> RelaxDepSubject -> ShowS # show :: RelaxDepSubject -> String # showList :: [RelaxDepSubject] -> ShowS #
Eq RelaxDepSubject # |
Instance details Defined in Distribution.Client.Types.AllowNewer Methods (==) :: RelaxDepSubject -> RelaxDepSubject -> Bool # (/=) :: RelaxDepSubject -> RelaxDepSubject -> Bool #
Ord RelaxDepSubject # |

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

Instance details

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

Instances details

Parsec RelaxedDep # |
Instance details Defined in Distribution.Client.Types.AllowNewer Methods parsec :: CabalParsing m => m RelaxedDep #
Pretty RelaxedDep # |
Instance details Defined in Distribution.Client.Types.AllowNewer Methods pretty :: RelaxedDep -> Doc # prettyVersioned :: CabalSpecVersion -> RelaxedDep -> Doc #
Structured RelaxedDep # |
Instance details Defined in Distribution.Client.Types.AllowNewer Methods structure :: Proxy RelaxedDep -> Structure # structureHash' :: Tagged RelaxedDep MD5
Binary RelaxedDep # |
Instance details Defined in Distribution.Client.Types.AllowNewer Methods put :: RelaxedDep -> Put # get :: Get RelaxedDep # putList :: [RelaxedDep] -> Put #
Generic RelaxedDep # |

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

Methods

from :: RelaxedDep -> Rep RelaxedDep x #

to :: Rep RelaxedDep x -> RelaxedDep #

Read RelaxedDep # |
Instance details Defined in Distribution.Client.Types.AllowNewer Methods readsPrec :: Int -> ReadS RelaxedDep # readList :: ReadS [RelaxedDep] # readPrec :: ReadPrec RelaxedDep # readListPrec :: ReadPrec [RelaxedDep] #
Show RelaxedDep # |
Instance details Defined in Distribution.Client.Types.AllowNewer Methods showsPrec :: Int -> RelaxedDep -> ShowS # show :: RelaxedDep -> String # showList :: [RelaxedDep] -> ShowS #
Eq RelaxedDep # |
Instance details Defined in Distribution.Client.Types.AllowNewer Methods (==) :: RelaxedDep -> RelaxedDep -> Bool # (/=) :: RelaxedDep -> RelaxedDep -> Bool #
type Rep RelaxedDep # |

Instance details

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

isRelaxDeps :: RelaxDeps -> Bool #

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

Equivalent to `isRelaxDeps = (/= `mempty`)`