Safe Haskell	Safe-Inferred
Language	Haskell2010

What4.Utils.Versions

Contents

Orphan instances

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

ver :: Text -> Q Exp Source #

data SolverBounds Source #

Constructors

SolverBounds
Fields lower :: Maybe Version upper :: Maybe Version recommended :: Maybe Version

Instances

Instances details

Lift SolverBounds Source #
Instance details Defined in What4.Utils.Versions Methods lift :: Quote m => SolverBounds -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => SolverBounds -> Code m SolverBounds #

emptySolverBounds :: SolverBounds Source #

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 #

Orphan instances

Lift VUnit Source #
Instance details Methods lift :: Quote m => VUnit -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => VUnit -> Code m VUnit #
Lift Version Source #
Instance details Methods lift :: Quote m => Version -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Version -> Code m Version #