fixes halfplane testscases

noinia · Apr 28, 2024 · d2ce981 · d2ce981
1 parent a9d662f
commit d2ce981
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 6 deletions.
diff --git a/hgeometry/hgeometry.cabal b/hgeometry/hgeometry.cabal
@@ -380,7 +380,7 @@ library
 
         HGeometry.IntervalTree
 
-        HGeometry.HalfPlane.CommonIntersection
+        -- HGeometry.HalfPlane.CommonIntersection
 
         HGeometry.Polygon.Triangulation
         HGeometry.Polygon.Triangulation.TriangulateMonotone

diff --git a/hgeometry/kernel/src/HGeometry/HalfPlane.hs b/hgeometry/kernel/src/HGeometry/HalfPlane.hs
@@ -2,7 +2,7 @@ module HGeometry.HalfPlane
   ( HalfPlane(..)
   ) where
 
-import HGeometry.HalfPlane.Class
+import HGeometry.HalfSpace.Class
 import HGeometry.Line
 import HGeometry.Line.LineEQ
 import HGeometry.Properties
@@ -20,8 +20,8 @@ type HalfPlane r = GHalfPlane (LineEQ r) r
 type instance NumType (HalfPlane r) = r
 
 
-instance HalfPlane_ (GHalfPlane line r) r where
-  type
+-- instance HalfPlane_ (GHalfPlane line r) r where
+--   type
 
 -- type HalfPlane r = HalfSpace 2 r
 

diff --git a/hgeometry/kernel/src/HGeometry/HyperPlane/Class.hs b/hgeometry/kernel/src/HGeometry/HyperPlane/Class.hs
@@ -123,9 +123,9 @@ class ( NumType hyperPlane ~ r
   -- the positive halfspace.
   --
   -- >>> normalVector myVerticalLine
-  -- Vector2 (-1.0) 0.0
+  -- Vector2 1.0 (-0.0)
   -- >>> normalVector myLine
-  -- Vector2 1.0 (-1.0)
+  -- Vector2 (-1.0) 1.0
   normalVector :: (Num r, Eq r, 1 <= d) => hyperPlane -> Vector d r
   default normalVector :: (KnownNat d, Num r, Eq r, 1 <= d)
                        => hyperPlane -> Vector d r