| Safe Haskell | None |
|---|
Laborantin.Query
- matchTExpr :: TExpr Bool -> Execution m -> Bool
- matchTExpr' :: TExpr Bool -> ScenarioDescription m -> ParameterSet -> Bool
- simplifyOneBoolLevel :: TExpr Bool -> TExpr Bool
- expandParamSpace :: ParameterSpace -> TExpr Bool -> ParameterSpace
Documentation
matchTExpr' :: TExpr Bool -> ScenarioDescription m -> ParameterSet -> BoolSource
expandParamSpace :: ParameterSpace -> TExpr Bool -> ParameterSpaceSource
Expands a ParameterSpace to all values that could match a TExpr Bool.
Currently only supports countably finite expansions of parameters.
That is TExpr Bool such as (sc.param param > 32) are ignored.
Instead (sc.param param in [foo, bar]) gets expanded to (param, [StringParam foo, StringParam bar])
Supported expensions are And Or Eq / Contains.
The idea is that you can generate a list of Execution to run by first expanding all possible points in the ParameterSpace modified by the TExpr, and then filter these possible points using a same TExpr.