Safe Haskell | None |
---|---|
Language | Haskell2010 |
What4.Utils.Versions
Synopsis
- ver :: Text -> Q Exp
- data SolverBounds = SolverBounds {
- lower :: Maybe Version
- upper :: Maybe Version
- recommended :: Maybe Version
- emptySolverBounds :: SolverBounds
- parseSolverBounds :: FilePath -> IO [(Text, SolverBounds)]
- computeDefaultSolverBounds :: Q Exp
Documentation
data SolverBounds Source #
Constructors
SolverBounds | |
Fields
|
Instances
Lift SolverBounds Source # | |
Defined in What4.Utils.Versions Methods lift :: Quote m => SolverBounds -> m Exp liftTyped :: forall (m :: Type -> Type). Quote m => SolverBounds -> Code m SolverBounds |
parseSolverBounds :: FilePath -> IO [(Text, SolverBounds)] Source #
This method parses configuration files describing the upper and lower bounds of solver versions we expect to work correctly with What4. See the file "solverBounds.config" for examples of how such bounds are specified.
computeDefaultSolverBounds :: Q Exp Source #