1 module Tests.FunctionValues
11 instance Arbitrary FunctionValues where
13 front' <- arbitrary :: Gen Double
14 back' <- arbitrary :: Gen Double
15 left' <- arbitrary :: Gen Double
16 right' <- arbitrary :: Gen Double
17 top' <- arbitrary :: Gen Double
18 down' <- arbitrary :: Gen Double
19 front_left' <- arbitrary :: Gen Double
20 front_right' <- arbitrary :: Gen Double
21 front_top' <- arbitrary :: Gen Double
22 front_down' <- arbitrary :: Gen Double
23 back_left' <- arbitrary :: Gen Double
24 back_right' <- arbitrary :: Gen Double
25 back_top' <- arbitrary :: Gen Double
26 back_down' <- arbitrary :: Gen Double
27 left_top' <- arbitrary :: Gen Double
28 left_down' <- arbitrary :: Gen Double
29 right_top' <- arbitrary :: Gen Double
30 right_down' <- arbitrary :: Gen Double
31 front_left_top' <- arbitrary :: Gen Double
32 front_left_down' <- arbitrary :: Gen Double
33 front_right_top' <- arbitrary :: Gen Double
34 front_right_down' <- arbitrary :: Gen Double
35 back_left_top' <- arbitrary :: Gen Double
36 back_left_down' <- arbitrary :: Gen Double
37 back_right_top' <- arbitrary :: Gen Double
38 back_right_down' <- arbitrary :: Gen Double
39 interior' <- arbitrary :: Gen Double
41 return empty_values { front = front',
47 front_left = front_left',
48 front_right = front_right',
49 front_top = front_top',
50 front_down = front_down',
51 back_left = back_left',
52 back_right = back_right',
54 back_down = back_down',
56 left_down = left_down',
57 right_top = right_top',
58 right_down = right_down',
59 front_left_top = front_left_top',
60 front_left_down = front_left_down',
61 front_right_top = front_right_top',
62 front_right_down = front_right_down',
63 back_left_top = back_left_top',
64 back_left_down = back_left_down',
65 back_right_top = back_right_top',
66 back_right_down = back_right_down',
67 interior = interior' }
72 test_directions :: Test
74 TestCase $ assertTrue "all direction functions work" (and equalities)
76 fvs = make_values trilinear 1 1 1
77 equalities = [ interior fvs == 4,
96 front_left_down fvs == 1,
97 front_left_top fvs == 1,
98 front_right_down fvs == 1,
99 front_right_top fvs == 1,
100 back_left_down fvs == 3,
101 back_left_top fvs == 3,
102 back_right_down fvs == 7,
103 back_right_top fvs == 15]
105 function_values_tests :: [Test]
106 function_values_tests = [test_directions]