src/Tests/FunctionValues.hs

   1 module Tests.FunctionValues
   2 where
   3
   4 import Test.QuickCheck
   5
   6 import FunctionValues
   7
   8 instance Arbitrary FunctionValues where
   9     arbitrary = do
  10       front'  <- arbitrary :: Gen Double
  11       back'   <- arbitrary :: Gen Double
  12       left'   <- arbitrary :: Gen Double
  13       right'  <- arbitrary :: Gen Double
  14       top'    <- arbitrary :: Gen Double
  15       down'   <- arbitrary :: Gen Double
  16       front_left' <- arbitrary :: Gen Double
  17       front_right' <- arbitrary :: Gen Double
  18       front_top' <- arbitrary :: Gen Double
  19       front_down' <- arbitrary :: Gen Double
  20       back_left' <- arbitrary :: Gen Double
  21       back_right' <- arbitrary :: Gen Double
  22       back_top' <- arbitrary :: Gen Double
  23       back_down' <- arbitrary :: Gen Double
  24       left_top' <- arbitrary :: Gen Double
  25       left_down' <- arbitrary :: Gen Double
  26       right_top' <- arbitrary :: Gen Double
  27       right_down' <- arbitrary :: Gen Double
  28       front_left_top' <- arbitrary :: Gen Double
  29       front_left_down' <- arbitrary :: Gen Double
  30       front_right_top' <- arbitrary :: Gen Double
  31       front_right_down' <- arbitrary :: Gen Double
  32       back_left_top' <- arbitrary :: Gen Double
  33       back_left_down' <- arbitrary :: Gen Double
  34       back_right_top' <- arbitrary :: Gen Double
  35       back_right_down' <- arbitrary :: Gen Double
  36       interior' <- arbitrary :: Gen Double
  37
  38       return empty_values { front = front',
  39                             back  = back',
  40                             left  = left',
  41                             right = right',
  42                             top   = top',
  43                             down  = down',
  44                             front_left = front_left',
  45                             front_right = front_right',
  46                             front_top = front_top',
  47                             front_down = front_down',
  48                             back_left = back_left',
  49                             back_right = back_right',
  50                             back_top = back_top',
  51                             back_down = back_down',
  52                             left_top = left_top',
  53                             left_down = left_down',
  54                             right_top = right_top',
  55                             right_down = right_down',
  56                             front_left_top = front_left_top',
  57                             front_left_down = front_left_down',
  58                             front_right_top = front_right_top',
  59                             front_right_down = front_right_down',
  60                             back_left_top = back_left_top',
  61                             back_left_down = back_left_down',
  62                             back_right_top = back_right_top',
  63                             back_right_down = back_right_down',
  64                             interior = interior' }