src/Face.hs: don't import "Point" type members.

[spline3.git] / src / Face.hs

diff --git a/src/Face.hs b/src/Face.hs
index 3f1c223e10b3d28516c1c052fe4532f96633adf0..de24a43e6c1cd72afb2c88b79507a38c7a48640e 100644 (file)
--- a/src/Face.hs
+++ b/src/Face.hs
@@ -1,23 +1,31 @@
-module Face
+-- | The Face module just contains the definition of the 'Face' data
+--   type and its two typeclass instances.
+--
+module Face (
+  Face(..),
+  center )
 where
 
-import Point
-import ThreeDimensional
+import Point ( Point, scale )
 
-data Face = Face { v0 :: Point,
-                   v1 :: Point,
-                   v2 :: Point,
-                   v3 :: Point }
+data Face = Face { v0 :: !Point,
+                   v1 :: !Point,
+                   v2 :: !Point,
+                   v3 :: !Point }
           deriving (Eq)
 
 instance Show Face where
-    show f = "Face:\n" ++
-             "  v0: " ++ (show (v0 f)) ++ "\n" ++
-             "  v1: " ++ (show (v1 f)) ++ "\n" ++
-             "  v2: " ++ (show (v2 f)) ++ "\n" ++
-             "  v3: " ++ (show (v3 f)) ++ "\n"
+    show (Face v0' v1' v2' v3') =
+      "Face:\n" ++
+        "  v0: " ++ (show v0') ++ "\n" ++
+        "  v1: " ++ (show v1') ++ "\n" ++
+        "  v2: " ++ (show v2') ++ "\n" ++
+        "  v3: " ++ (show v3') ++ "\n"
 
-instance ThreeDimensional Face where
-    center f = ((v0 f) + (v1 f) + (v2 f) + (v3 f)) `scale` (1/4)
-    -- Too lazy to implement this right now.
-    contains_point _ _ = False
+-- | Returns the center of the given face. Since a face is just
+--   square, we can average the four vertices to find its center. This
+--   is useful because the center of a face is always a vertex of a
+--   tetrahedron.
+center :: Face -> Point
+center (Face v0' v1' v2' v3') =
+  (v0' + v1' + v2' + v3') `scale` (1/4)