hix-0.7.2: Haskell/Nix development build tools

Safe Haskell	None
Language	GHC2021

Hix.Managed.Cabal.Data.SolverState

Documentation

data SolverState where Source #

Bundled Patterns

pattern SolverState :: EnvConstraints -> SolverFlags -> SolverState

Instances

Instances details

Show SolverState Source #
Instance details Defined in Hix.Managed.Cabal.Data.SolverState Methods showsPrec :: Int -> SolverState -> ShowS # show :: SolverState -> String # showList :: [SolverState] -> ShowS #
Eq SolverState Source #
Instance details Defined in Hix.Managed.Cabal.Data.SolverState Methods (==) :: SolverState -> SolverState -> Bool # (/=) :: SolverState -> SolverState -> Bool #
HasField "constraints" SolverState EnvConstraints Source #
Instance details Defined in Hix.Managed.Cabal.Data.SolverState Methods getField :: SolverState -> EnvConstraints #
HasField "flags" SolverState SolverFlags Source #
Instance details Defined in Hix.Managed.Cabal.Data.SolverState Methods getField :: SolverState -> SolverFlags #

solverState :: Ranges -> EnvDeps -> EnvConstraints -> SolverFlags -> SolverState Source #

updateSolverState :: (EnvConstraints -> EnvConstraints) -> SolverState -> SolverState Source #

data SolverFlags Source #

Constructors

SolverFlags
Fields allowNewer :: Bool forceRevisions :: Bool

Instances

Instances details

Generic SolverFlags Source #

Instance details

Defined in Hix.Managed.Cabal.Data.SolverState

Associated Types

type Rep SolverFlags

Instance details

Defined in Hix.Managed.Cabal.Data.SolverState

type Rep SolverFlags = D1 ('MetaData "SolverFlags" "Hix.Managed.Cabal.Data.SolverState" "hix-0.7.2-7rwpoWJhaauIDtZl7KwtG7" 'False) (C1 ('MetaCons "SolverFlags" 'PrefixI 'True) (S1 ('MetaSel ('Just "allowNewer") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Bool) :*: S1 ('MetaSel ('Just "forceRevisions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Bool)))

Methods

from :: SolverFlags -> Rep SolverFlags x #

to :: Rep SolverFlags x -> SolverFlags #

Show SolverFlags Source #

Instance details

Defined in Hix.Managed.Cabal.Data.SolverState

Methods

showsPrec :: Int -> SolverFlags -> ShowS #

show :: SolverFlags -> String #

showList :: [SolverFlags] -> ShowS #

Default SolverFlags Source #

Instance details

Defined in Hix.Managed.Cabal.Data.SolverState

Methods

def :: SolverFlags #

Eq SolverFlags Source #

Instance details

Defined in Hix.Managed.Cabal.Data.SolverState

Methods

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

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

HasField "flags" SolverState SolverFlags Source #

Instance details

Defined in Hix.Managed.Cabal.Data.SolverState

Methods

getField :: SolverState -> SolverFlags #

type Rep SolverFlags Source #

Instance details

Defined in Hix.Managed.Cabal.Data.SolverState

type Rep SolverFlags = D1 ('MetaData "SolverFlags" "Hix.Managed.Cabal.Data.SolverState" "hix-0.7.2-7rwpoWJhaauIDtZl7KwtG7" 'False) (C1 ('MetaCons "SolverFlags" 'PrefixI 'True) (S1 ('MetaSel ('Just "allowNewer") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Bool) :*: S1 ('MetaSel ('Just "forceRevisions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Bool)))

compileSolverFlags :: SolverFlags -> DepResolverParams -> DepResolverParams Source #