Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
Hix.Managed.Cabal.Data.SolverState
Documentation
data SolverState where Source #
Bundled Patterns
pattern SolverState :: EnvConstraints -> SolverFlags -> SolverState |
Instances
Show SolverState Source # | |
Defined in Hix.Managed.Cabal.Data.SolverState Methods showsPrec :: Int -> SolverState -> ShowS # show :: SolverState -> String # showList :: [SolverState] -> ShowS # | |
Eq SolverState Source # | |
Defined in Hix.Managed.Cabal.Data.SolverState | |
HasField "constraints" SolverState EnvConstraints Source # | |
Defined in Hix.Managed.Cabal.Data.SolverState Methods getField :: SolverState -> EnvConstraints # | |
HasField "flags" SolverState SolverFlags Source # | |
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
Generic SolverFlags Source # | |
Defined in Hix.Managed.Cabal.Data.SolverState Associated Types type Rep SolverFlags :: Type -> Type # | |
Show SolverFlags Source # | |
Defined in Hix.Managed.Cabal.Data.SolverState Methods showsPrec :: Int -> SolverFlags -> ShowS # show :: SolverFlags -> String # showList :: [SolverFlags] -> ShowS # | |
Default SolverFlags Source # | |
Defined in Hix.Managed.Cabal.Data.SolverState Methods def :: SolverFlags # | |
Eq SolverFlags Source # | |
Defined in Hix.Managed.Cabal.Data.SolverState | |
HasField "flags" SolverState SolverFlags Source # | |
Defined in Hix.Managed.Cabal.Data.SolverState Methods getField :: SolverState -> SolverFlags # | |
type Rep SolverFlags Source # | |
Defined in Hix.Managed.Cabal.Data.SolverState type Rep SolverFlags = D1 ('MetaData "SolverFlags" "Hix.Managed.Cabal.Data.SolverState" "hix-0.7.1-GF38grEMhDKjpxBMjWXGC" 'False) (C1 ('MetaCons "SolverFlags" 'PrefixI 'True) (S1 ('MetaSel ('Just "allowNewer") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Bool))) |