| 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))) | |