Hix.Managed.Data.Constraints

Documentation

data MutationConstraints

Left-biased semigroup op.

TODO it might be sensible to split the non-mutation deps out of this type so it can be keyed by MutableDep.

Constructors

MutationConstraints

Fields

• mutation :: VersionBounds

  This used to be an abstraction, but there was no use case for it. Now it is hardcoded to use inclusive bounds for both, so a potential new mutation handler cannot customize that. All handlers only evolve one of the bounds, while this now allows both to be changed.

• oldest :: Maybe Bool

  Prefer the oldest possible version.

• installed :: Maybe Bool

  Prefer the installed version.

• force :: Maybe VersionRange

  Concrete bounds overrides from user config.

• prefer :: Maybe VersionRange

  Prefer a concrete version range.

Instances

Pretty MutationConstraints

Defined in Hix.Managed.Data.Constraints

Methods

pretty :: MutationConstraints -> Doc

prettyVersioned :: CabalSpecVersion -> MutationConstraints -> Doc

Monoid MutationConstraints

Defined in Hix.Managed.Data.Constraints

Methods

mempty :: MutationConstraints

mappend :: MutationConstraints -> MutationConstraints -> MutationConstraints

mconcat :: [MutationConstraints] -> MutationConstraints

Semigroup MutationConstraints

Defined in Hix.Managed.Data.Constraints

Methods

(<>) :: MutationConstraints -> MutationConstraints -> MutationConstraints

sconcat :: NonEmpty MutationConstraints -> MutationConstraints

stimes :: Integral b => b -> MutationConstraints -> MutationConstraints

Generic MutationConstraints

Defined in Hix.Managed.Data.Constraints

Associated Types

type Rep MutationConstraints :: Type -> Type

Methods

from :: MutationConstraints -> Rep MutationConstraints x

to :: Rep MutationConstraints x -> MutationConstraints

Show MutationConstraints

Defined in Hix.Managed.Data.Constraints

Methods

showsPrec :: Int -> MutationConstraints -> ShowS

show :: MutationConstraints -> String

showList :: [MutationConstraints] -> ShowS

Eq MutationConstraints

Defined in Hix.Managed.Data.Constraints

Methods

(==) :: MutationConstraints -> MutationConstraints -> Bool

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

NMap EnvConstraints PackageName MutationConstraints LookupMaybe

Defined in Hix.Managed.Data.Constraints

Methods

nGet :: EnvConstraints -> Map PackageName MutationConstraints

type Rep MutationConstraints

Defined in Hix.Managed.Data.Constraints

type Rep MutationConstraints = D1 ('MetaData "MutationConstraints" "Hix.Managed.Data.Constraints" "hix-0.7.0-1RsI1H0rYs1Kacz9sjlUfZ" 'False) (C1 ('MetaCons "MutationConstraints" 'PrefixI 'True) ((S1 ('MetaSel ('Just "mutation") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 VersionBounds) :*: S1 ('MetaSel ('Just "oldest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Bool))) :*: (S1 ('MetaSel ('Just "installed") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Bool)) :*: (S1 ('MetaSel ('Just "force") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe VersionRange)) :*: S1 ('MetaSel ('Just "prefer") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe VersionRange))))))

newtype EnvConstraints

Constructors

EnvConstraints (Map PackageName MutationConstraints)

Instances

Pretty EnvConstraints

Defined in Hix.Managed.Data.Constraints

Methods

pretty :: EnvConstraints -> Doc

prettyVersioned :: CabalSpecVersion -> EnvConstraints -> Doc

Monoid EnvConstraints

Defined in Hix.Managed.Data.Constraints

Methods

mempty :: EnvConstraints

mappend :: EnvConstraints -> EnvConstraints -> EnvConstraints

mconcat :: [EnvConstraints] -> EnvConstraints

Semigroup EnvConstraints

Defined in Hix.Managed.Data.Constraints

Methods

(<>) :: EnvConstraints -> EnvConstraints -> EnvConstraints

sconcat :: NonEmpty EnvConstraints -> EnvConstraints

stimes :: Integral b => b -> EnvConstraints -> EnvConstraints

Generic EnvConstraints

Defined in Hix.Managed.Data.Constraints

Associated Types

type Rep EnvConstraints :: Type -> Type

Methods

from :: EnvConstraints -> Rep EnvConstraints x

to :: Rep EnvConstraints x -> EnvConstraints

IsList EnvConstraints

Defined in Hix.Managed.Data.Constraints

Associated Types

type Item EnvConstraints

Methods

fromList :: [Item EnvConstraints] -> EnvConstraints

fromListN :: Int -> [Item EnvConstraints] -> EnvConstraints

toList :: EnvConstraints -> [Item EnvConstraints]

Show EnvConstraints

Defined in Hix.Managed.Data.Constraints

Methods

showsPrec :: Int -> EnvConstraints -> ShowS

show :: EnvConstraints -> String

showList :: [EnvConstraints] -> ShowS

Eq EnvConstraints

Defined in Hix.Managed.Data.Constraints

Methods

(==) :: EnvConstraints -> EnvConstraints -> Bool

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

HasField "constraints" SolverState EnvConstraints

Defined in Hix.Managed.Cabal.Data.SolverState

Methods

getField :: SolverState -> EnvConstraints

NMap EnvConstraints PackageName MutationConstraints LookupMaybe

Defined in Hix.Managed.Data.Constraints

Methods

nGet :: EnvConstraints -> Map PackageName MutationConstraints

type Rep EnvConstraints

Defined in Hix.Managed.Data.Constraints

type Rep EnvConstraints = D1 ('MetaData "EnvConstraints" "Hix.Managed.Data.Constraints" "hix-0.7.0-1RsI1H0rYs1Kacz9sjlUfZ" 'True) (C1 ('MetaCons "EnvConstraints" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map PackageName MutationConstraints))))

type Item EnvConstraints

Defined in Hix.Managed.Data.Constraints

type Item EnvConstraints = Item (Map PackageName MutationConstraints)