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

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

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.8.0-HgAAo9T3AqQBueO4fzYR2Q" '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.8.0-HgAAo9T3AqQBueO4fzYR2Q" '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 #