hix-0.8.0: Haskell/Nix development build tools
Safe HaskellNone
LanguageGHC2021

Hix.Managed.Data.Constraints

Synopsis

Documentation

data MutationConstraints Source #

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

Instances details
Pretty MutationConstraints Source # 
Instance details

Defined in Hix.Managed.Data.Constraints

Methods

pretty :: MutationConstraints -> Doc #

prettyVersioned :: CabalSpecVersion -> MutationConstraints -> Doc #

Monoid MutationConstraints Source # 
Instance details

Defined in Hix.Managed.Data.Constraints

Methods

mempty :: MutationConstraints #

mappend :: MutationConstraints -> MutationConstraints -> MutationConstraints #

mconcat :: [MutationConstraints] -> MutationConstraints #

Semigroup MutationConstraints Source # 
Instance details

Defined in Hix.Managed.Data.Constraints

Methods

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

sconcat :: NonEmpty MutationConstraints -> MutationConstraints #

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

Generic MutationConstraints Source # 
Instance details

Defined in Hix.Managed.Data.Constraints

Associated Types

type Rep MutationConstraints 
Instance details

Defined in Hix.Managed.Data.Constraints

type Rep MutationConstraints = D1 ('MetaData "MutationConstraints" "Hix.Managed.Data.Constraints" "hix-0.8.0-HgAAo9T3AqQBueO4fzYR2Q" '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))))))

Methods

from :: MutationConstraints -> Rep MutationConstraints x #

to :: Rep MutationConstraints x -> MutationConstraints #

Show MutationConstraints Source # 
Instance details

Defined in Hix.Managed.Data.Constraints

Methods

showsPrec :: Int -> MutationConstraints -> ShowS #

show :: MutationConstraints -> String #

showList :: [MutationConstraints] -> ShowS #

Eq MutationConstraints Source # 
Instance details

Defined in Hix.Managed.Data.Constraints

Methods

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

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

NMap EnvConstraints PackageName MutationConstraints LookupMaybe Source # 
Instance details

Defined in Hix.Managed.Data.Constraints

Methods

nGet :: EnvConstraints -> Map PackageName MutationConstraints Source #

type Rep MutationConstraints Source # 
Instance details

Defined in Hix.Managed.Data.Constraints

type Rep MutationConstraints = D1 ('MetaData "MutationConstraints" "Hix.Managed.Data.Constraints" "hix-0.8.0-HgAAo9T3AqQBueO4fzYR2Q" '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 Source #

Constructors

EnvConstraints (Map PackageName MutationConstraints) 

Instances

Instances details
Pretty EnvConstraints Source # 
Instance details

Defined in Hix.Managed.Data.Constraints

Methods

pretty :: EnvConstraints -> Doc #

prettyVersioned :: CabalSpecVersion -> EnvConstraints -> Doc #

Monoid EnvConstraints Source # 
Instance details

Defined in Hix.Managed.Data.Constraints

Methods

mempty :: EnvConstraints #

mappend :: EnvConstraints -> EnvConstraints -> EnvConstraints #

mconcat :: [EnvConstraints] -> EnvConstraints #

Semigroup EnvConstraints Source # 
Instance details

Defined in Hix.Managed.Data.Constraints

Methods

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

sconcat :: NonEmpty EnvConstraints -> EnvConstraints #

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

Generic EnvConstraints Source # 
Instance details

Defined in Hix.Managed.Data.Constraints

Associated Types

type Rep EnvConstraints 
Instance details

Defined in Hix.Managed.Data.Constraints

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

Methods

from :: EnvConstraints -> Rep EnvConstraints x #

to :: Rep EnvConstraints x -> EnvConstraints #

IsList EnvConstraints Source # 
Instance details

Defined in Hix.Managed.Data.Constraints

Associated Types

type Item EnvConstraints 
Instance details

Defined in Hix.Managed.Data.Constraints

type Item EnvConstraints = Item (Map PackageName MutationConstraints)

Methods

fromList :: [Item EnvConstraints] -> EnvConstraints #

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

toList :: EnvConstraints -> [Item EnvConstraints] #

Show EnvConstraints Source # 
Instance details

Defined in Hix.Managed.Data.Constraints

Methods

showsPrec :: Int -> EnvConstraints -> ShowS #

show :: EnvConstraints -> String #

showList :: [EnvConstraints] -> ShowS #

Eq EnvConstraints Source # 
Instance details

Defined in Hix.Managed.Data.Constraints

Methods

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

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

HasField "constraints" SolverState EnvConstraints Source # 
Instance details

Defined in Hix.Managed.Cabal.Data.SolverState

Methods

getField :: SolverState -> EnvConstraints #

NMap EnvConstraints PackageName MutationConstraints LookupMaybe Source # 
Instance details

Defined in Hix.Managed.Data.Constraints

Methods

nGet :: EnvConstraints -> Map PackageName MutationConstraints Source #

type Rep EnvConstraints Source # 
Instance details

Defined in Hix.Managed.Data.Constraints

type Rep EnvConstraints = D1 ('MetaData "EnvConstraints" "Hix.Managed.Data.Constraints" "hix-0.8.0-HgAAo9T3AqQBueO4fzYR2Q" 'True) (C1 ('MetaCons "EnvConstraints" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map PackageName MutationConstraints))))
type Item EnvConstraints Source # 
Instance details

Defined in Hix.Managed.Data.Constraints

type Item EnvConstraints = Item (Map PackageName MutationConstraints)