-- Zeilfelder, p. 87. This test checks that the directions are
-- rotated properly. The order of the letters has to be just right
-- since I haven't defined a proper Eq instance for Cardinals.
-test_c_tilde_2100_rotation_correct :: Test
+test_c_tilde_2100_rotation_correct :: Assertion
test_c_tilde_2100_rotation_correct =
- TestCase $ assertEqual "auto-rotate equals manual rotate" ((ccwz . ccwz . cwy) expr1) expr2
+ assertEqual "auto-rotate equals manual rotate" ((ccwz . ccwz . cwy) expr1) expr2
where
expr1 =
(3/8)*I +
(1/96)*(FL + BR + FR + BL) +
(1/192)*(FD + LD + RD + BD)
-cardinal_tests :: [Test]
-cardinal_tests = [test_c_tilde_2100_rotation_correct]
-
-- | A list of all directions, sans the interior and composite types.
all_directions :: [Cardinal]
all_directions = [L, R, F, B, D, T, FL, FR, FD, FT,