Hix.Managed.Lower.Candidates

Documentation

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

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

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

prefix :: Int -> Int -> Text

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

data InitConfig

Constructors

InitBeforeUpper Int Int

InitAll

Instances

Generic InitConfig

Defined in Hix.Managed.Lower.Candidates

Associated Types

type Rep InitConfig

Defined in Hix.Managed.Lower.Candidates

type Rep InitConfig = D1 ('MetaData "InitConfig" "Hix.Managed.Lower.Candidates" "hix-0.7.2-7rwpoWJhaauIDtZl7KwtG7" '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

Defined in Hix.Managed.Lower.Candidates

Methods

showsPrec :: Int -> InitConfig -> ShowS

show :: InitConfig -> String

showList :: [InitConfig] -> ShowS

Eq InitConfig

Defined in Hix.Managed.Lower.Candidates

Methods

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

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

type Rep InitConfig

Defined in Hix.Managed.Lower.Candidates

type Rep InitConfig = D1 ('MetaData "InitConfig" "Hix.Managed.Lower.Candidates" "hix-0.7.2-7rwpoWJhaauIDtZl7KwtG7" '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

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

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

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

data OptimizeConfig

Constructors

OptimizeMajorsBefore Int Int

OptimizeNoBound

Instances

Generic OptimizeConfig

Defined in Hix.Managed.Lower.Candidates

Associated Types

type Rep OptimizeConfig

Defined in Hix.Managed.Lower.Candidates

type Rep OptimizeConfig = D1 ('MetaData "OptimizeConfig" "Hix.Managed.Lower.Candidates" "hix-0.7.2-7rwpoWJhaauIDtZl7KwtG7" '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

Defined in Hix.Managed.Lower.Candidates

Methods

showsPrec :: Int -> OptimizeConfig -> ShowS

show :: OptimizeConfig -> String

showList :: [OptimizeConfig] -> ShowS

Eq OptimizeConfig

Defined in Hix.Managed.Lower.Candidates

Methods

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

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

type Rep OptimizeConfig

Defined in Hix.Managed.Lower.Candidates

type Rep OptimizeConfig = D1 ('MetaData "OptimizeConfig" "Hix.Managed.Lower.Candidates" "hix-0.7.2-7rwpoWJhaauIDtZl7KwtG7" '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

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

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

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

data StabilizeConfig

Constructors

StabilizeFromVersion Version (Maybe Version)

StabilizeNoBound InitConfig

Instances

Generic StabilizeConfig

Defined in Hix.Managed.Lower.Candidates

Associated Types

type Rep StabilizeConfig

Defined in Hix.Managed.Lower.Candidates

type Rep StabilizeConfig = D1 ('MetaData "StabilizeConfig" "Hix.Managed.Lower.Candidates" "hix-0.7.2-7rwpoWJhaauIDtZl7KwtG7" '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

Defined in Hix.Managed.Lower.Candidates

Methods

showsPrec :: Int -> StabilizeConfig -> ShowS

show :: StabilizeConfig -> String

showList :: [StabilizeConfig] -> ShowS

Eq StabilizeConfig

Defined in Hix.Managed.Lower.Candidates

Methods

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

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

type Rep StabilizeConfig

Defined in Hix.Managed.Lower.Candidates

type Rep StabilizeConfig = D1 ('MetaData "StabilizeConfig" "Hix.Managed.Lower.Candidates" "hix-0.7.2-7rwpoWJhaauIDtZl7KwtG7" '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

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

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

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