fix the examples

noinia · Dec 22, 2024 · a5c614d · a5c614d
1 parent a5934a9
commit a5c614d
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git a/hgeometry-examples/draw/Main.hs b/hgeometry-examples/draw/Main.hs
@@ -16,7 +16,7 @@ import           Test.QuickCheck
 
 type R = RealNumber 5
 
-renderGraph    :: PlaneGraph QuickCheckWorld (Point 2 R) () () -> IpePage R
+renderGraph    :: CPlaneGraph QuickCheckWorld (Point 2 R) () () -> IpePage R
 renderGraph gr = fromContent $
                  concat [ [ iO $ defIO p   | p <- gr^..vertices ]
                         , [ iO $ defIO seg | seg <- gr^..edgeSegments ]

diff --git a/hgeometry-examples/skia/GeometryStore.hs b/hgeometry-examples/skia/GeometryStore.hs
@@ -39,7 +39,7 @@ data Geom = G_Point      (Point 2 R :+ Attributes (Point 2 R))
 
 data MyWorld
 
-type PlaneGraph' r = PlaneGraph MyWorld (Point 2 r) PolygonEdgeType PolygonFaceData
+type PlaneGraph' r = CPlaneGraph MyWorld (Point 2 r) PolygonEdgeType PolygonFaceData
 
 --------------------------------------------------------------------------------
 

diff --git a/hgeometry-examples/skia/Model.hs b/hgeometry-examples/skia/Model.hs
@@ -78,7 +78,7 @@ currentStatus m1 m2
 -- in planeGraphs
 data MyWorld
 
-type PlaneGraph' r = PlaneGraph MyWorld (Point 2 r) PolygonEdgeType PolygonFaceData
+type PlaneGraph' r = CPlaneGraph MyWorld (Point 2 r) PolygonEdgeType PolygonFaceData
 
 --------------------------------------------------------------------------------
 -- * Data Type representing all our modal data

diff --git a/hgeometry-examples/triangulateWorld/Main.hs b/hgeometry-examples/triangulateWorld/Main.hs
@@ -79,7 +79,7 @@ mainWith (Options inFile outFile) = do
           intersections' :: Set.Set (Point 2 R)
           intersections' = foldMap computeIntersections polies
 
-          subdivs :: [PlaneGraph PX (Point 2 R) _ _]
+          subdivs :: [CPlaneGraph PX (Point 2 R) _ _]
           subdivs = map (\(pg :+ _) -> triangulate pg) polies'
 
           triangles' :: [SimplePolygon (Point 2 R :+ _)]
-Original file line number
+Diff line change
@@ Expand Up / @@ -39,7 +39,7 @@ data Geom = G_Point (Point 2 R :+ Attributes (Point 2 R)) @@
     data MyWorld
-    type PlaneGraph' r = PlaneGraph MyWorld (Point 2 r) PolygonEdgeType PolygonFaceData
+    type PlaneGraph' r = CPlaneGraph MyWorld (Point 2 r) PolygonEdgeType PolygonFaceData
     --------------------------------------------------------------------------------
@@ Expand Down @@