Revision 037762a9 htools/Ganeti/Query/Filter.hs
| b/htools/Ganeti/Query/Filter.hs | ||
|---|---|---|
| 216 | 216 |
requestedNames _ _ = Nothing |
| 217 | 217 |
|
| 218 | 218 |
-- | Builds a simple filter from a list of names. |
| 219 |
makeSimpleFilter :: String -> [String] -> Filter FilterField
|
|
| 219 |
makeSimpleFilter :: String -> [Either String Integer] -> Filter FilterField
|
|
| 220 | 220 |
makeSimpleFilter _ [] = EmptyFilter |
| 221 | 221 |
makeSimpleFilter namefield vals = |
| 222 |
OrFilter $ map (EQFilter namefield . QuotedString) vals |
|
| 222 |
OrFilter $ map (EQFilter namefield . either QuotedString NumericValue) vals |
|
Also available in: Unified diff