Safe Haskell	None
Language	GHC2021

Hix.Managed.Lower.Candidates

Documentation

logNoVersions :: MutableDep -> [Version] -> Maybe a -> M (Maybe a) Source #

specifiedLower :: VersionBounds -> Maybe (Int, Int) Source #

specifiedUpper :: VersionBounds -> Maybe (Int, Int) Source #

prefix :: Int -> Int -> Text Source #

candidates :: (PackageName -> M [Version]) -> QueryDep -> Bool -> ([Version] -> Maybe (NonEmpty Major)) -> M (Maybe (DepMutation Lower)) Source #

data InitConfig Source #

Constructors

InitBeforeUpper Int Int
InitAll

Instances

Instances details

Generic InitConfig Source #

Instance details

Defined in Hix.Managed.Lower.Candidates

Associated Types

type Rep InitConfig

Instance details

Defined in Hix.Managed.Lower.Candidates

type Rep InitConfig = D1 ('MetaData "InitConfig" "Hix.Managed.Lower.Candidates" "hix-0.8.0-HgAAo9T3AqQBueO4fzYR2Q" 'False) (C1 ('MetaCons "InitBeforeUpper" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int)) :+: C1 ('MetaCons "InitAll" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: InitConfig -> Rep InitConfig x #

to :: Rep InitConfig x -> InitConfig #

Show InitConfig Source #

Instance details

Defined in Hix.Managed.Lower.Candidates

Methods

showsPrec :: Int -> InitConfig -> ShowS #

show :: InitConfig -> String #

showList :: [InitConfig] -> ShowS #

Eq InitConfig Source #

Instance details

Defined in Hix.Managed.Lower.Candidates

Methods

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

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

type Rep InitConfig Source #

Instance details

Defined in Hix.Managed.Lower.Candidates

type Rep InitConfig = D1 ('MetaData "InitConfig" "Hix.Managed.Lower.Candidates" "hix-0.8.0-HgAAo9T3AqQBueO4fzYR2Q" 'False) (C1 ('MetaCons "InitBeforeUpper" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int)) :+: C1 ('MetaCons "InitAll" 'PrefixI 'False) (U1 :: Type -> Type))

initConfig :: VersionBounds -> InitConfig Source #

logInitConfig :: MutableDep -> InitConfig -> M () Source #

selectionInit :: InitConfig -> [Version] -> Maybe (NonEmpty Major) Source #

candidatesInit :: (PackageName -> M [Version]) -> Set MutableDep -> QueryDep -> M (Maybe (DepMutation Lower)) Source #

data OptimizeConfig Source #

Constructors

OptimizeMajorsBefore Int Int
OptimizeNoBound

Instances

Instances details

Generic OptimizeConfig Source #

Instance details

Defined in Hix.Managed.Lower.Candidates

Associated Types

type Rep OptimizeConfig

Instance details

Defined in Hix.Managed.Lower.Candidates

type Rep OptimizeConfig = D1 ('MetaData "OptimizeConfig" "Hix.Managed.Lower.Candidates" "hix-0.8.0-HgAAo9T3AqQBueO4fzYR2Q" 'False) (C1 ('MetaCons "OptimizeMajorsBefore" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int)) :+: C1 ('MetaCons "OptimizeNoBound" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: OptimizeConfig -> Rep OptimizeConfig x #

to :: Rep OptimizeConfig x -> OptimizeConfig #

Show OptimizeConfig Source #

Instance details

Defined in Hix.Managed.Lower.Candidates

Methods

showsPrec :: Int -> OptimizeConfig -> ShowS #

show :: OptimizeConfig -> String #

showList :: [OptimizeConfig] -> ShowS #

Eq OptimizeConfig Source #

Instance details

Defined in Hix.Managed.Lower.Candidates

Methods

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

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

type Rep OptimizeConfig Source #

Instance details

Defined in Hix.Managed.Lower.Candidates

type Rep OptimizeConfig = D1 ('MetaData "OptimizeConfig" "Hix.Managed.Lower.Candidates" "hix-0.8.0-HgAAo9T3AqQBueO4fzYR2Q" 'False) (C1 ('MetaCons "OptimizeMajorsBefore" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int)) :+: C1 ('MetaCons "OptimizeNoBound" 'PrefixI 'False) (U1 :: Type -> Type))

optimizeConfig :: Maybe Version -> VersionBounds -> OptimizeConfig Source #

logOptimizeConfig :: MutableDep -> OptimizeConfig -> M () Source #

selectionOptimize :: OptimizeConfig -> [Version] -> Maybe (NonEmpty Major) Source #

candidatesOptimize :: (PackageName -> M [Version]) -> MutableVersions -> QueryDep -> M (Maybe (DepMutation Lower)) Source #

data StabilizeConfig Source #

Constructors

StabilizeFromVersion Version (Maybe Version)
StabilizeNoBound InitConfig

Instances

Instances details

Generic StabilizeConfig Source #

Instance details

Defined in Hix.Managed.Lower.Candidates

Associated Types

type Rep StabilizeConfig

Instance details

Defined in Hix.Managed.Lower.Candidates

type Rep StabilizeConfig = D1 ('MetaData "StabilizeConfig" "Hix.Managed.Lower.Candidates" "hix-0.8.0-HgAAo9T3AqQBueO4fzYR2Q" 'False) (C1 ('MetaCons "StabilizeFromVersion" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Version) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Version))) :+: C1 ('MetaCons "StabilizeNoBound" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 InitConfig)))

Methods

from :: StabilizeConfig -> Rep StabilizeConfig x #

to :: Rep StabilizeConfig x -> StabilizeConfig #

Show StabilizeConfig Source #

Instance details

Defined in Hix.Managed.Lower.Candidates

Methods

showsPrec :: Int -> StabilizeConfig -> ShowS #

show :: StabilizeConfig -> String #

showList :: [StabilizeConfig] -> ShowS #

Eq StabilizeConfig Source #

Instance details

Defined in Hix.Managed.Lower.Candidates

Methods

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

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

type Rep StabilizeConfig Source #

Instance details

Defined in Hix.Managed.Lower.Candidates

type Rep StabilizeConfig = D1 ('MetaData "StabilizeConfig" "Hix.Managed.Lower.Candidates" "hix-0.8.0-HgAAo9T3AqQBueO4fzYR2Q" 'False) (C1 ('MetaCons "StabilizeFromVersion" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Version) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Version))) :+: C1 ('MetaCons "StabilizeNoBound" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 InitConfig)))

stabilizeConfig :: VersionBounds -> Maybe Version -> StabilizeConfig Source #

logStabilizeConfig :: MutableDep -> StabilizeConfig -> M () Source #

selectionStabilize :: StabilizeConfig -> [Version] -> Maybe (NonEmpty Major) Source #

candidatesStabilize :: (PackageName -> M [Version]) -> QueryDep -> Maybe Version -> M (Maybe (DepMutation Lower)) Source #