Revision 5006418e htest/Test/Ganeti/Query/Language.hs

b/htest/Test/Ganeti/Query/Language.hs
53 53 
genFilter' :: Int -> Gen (Filter FilterField)
54 54 
genFilter' 0 =
55 55 
  oneof [ pure EmptyFilter
56 
        , TrueFilter     <$> getName
57 
        , EQFilter       <$> getName <*> value
58 
        , LTFilter       <$> getName <*> value
59 
        , GTFilter       <$> getName <*> value
60 
        , LEFilter       <$> getName <*> value
61 
        , GEFilter       <$> getName <*> value
62 
        , RegexpFilter   <$> getName <*> arbitrary
63 
        , ContainsFilter <$> getName <*> value
56 
        , TrueFilter     <$> genName
57 
        , EQFilter       <$> genName <*> value
58 
        , LTFilter       <$> genName <*> value
59 
        , GTFilter       <$> genName <*> value
60 
        , LEFilter       <$> genName <*> value
61 
        , GEFilter       <$> genName <*> value
62 
        , RegexpFilter   <$> genName <*> arbitrary
63 
        , ContainsFilter <$> genName <*> value
64 64 
        ]
65 
    where value = oneof [ QuotedString <$> getName
65 
    where value = oneof [ QuotedString <$> genName
66 66 
                        , NumericValue <$> arbitrary
67 67 
                        ]
68 68 
genFilter' n =
......
81 81 
$(genArbitrary ''ItemType)
82 82 

  		





  83
  83
  
    
instance Arbitrary FilterRegex where


  		





  84
  
  
    
  arbitrary = getName >>= mkRegex -- a name should be a good regex


  		





  
  84
  
    
  arbitrary = genName >>= mkRegex -- a name should be a good regex


  		





  85
  85
  
    

  		





  86
  86
  
    
$(genArbitrary ''ResultStatus)


  		





  87
  87
  
    

  		












Also available in:
  Unified diff