component, main module

hgeometry/hgeometry.cabal

@@ -340,6 +340,9 @@ library
         HGeometry.PlaneGraph
         HGeometry.PlaneGraph.Class
 
+        HGeometry.PlanarSubdivision
+        HGeometry.PlanarSubdivision.Class
+
         HGeometry.Polygon.Class
 
         HGeometry.Polygon.Simple

hgeometry/src/HGeometry/PlanarSubdivision.hs

@@ -0,0 +1,16 @@
+--------------------------------------------------------------------------------
+-- |
+-- Module      :  HGeometry.PlnarSubdivision
+-- Copyright   :  (C) Frank Staals
+-- License     :  see the LICENSE file
+-- Maintainer  :  Frank Staals
+-- Description :  Planar Subdivisions
+--
+--------------------------------------------------------------------------------
+module HGeometry.PlanarSubdivision.Raw
+  ( module HGeometry.PlanarSubdivision.Class
+  , PlanarSubdivision
+  )
+
+import HGeometry.PlanarSubdivision.Basic
+import HGeometry.PlanarSubdivision.Class

hgeometry/src/HGeometry/PlanarSubdivision/Component.hs

@@ -0,0 +1,26 @@
+--------------------------------------------------------------------------------
+-- |
+-- Module      :  HGeometry.PlnarSubdivision.Component
+-- Copyright   :  (C) Frank Staals
+-- License     :  see the LICENSE file
+-- Maintainer  :  Frank Staals
+-- Description :  Connected Components in a PlanarSubdivision
+--
+--------------------------------------------------------------------------------
+module HGeometry.PlanarSubdivision.Component
+  ( Component
+  ) where
+
+import HGeometry.PlanarSubdivision.Raw
+import HGeometry.PlaneGraph.Type
+import Hiraffe.PlanarGraph (FaceId, VertexId)
+import Hiraffe.PlanarGraph.Dart (Dart)
+
+--------------------------------------------------------------------------------
+
+-- | A connected component.
+--
+-- For every face f, and every hole in this face, the facedata points to a dart
+-- d on the hole s.t. this dart has the face f on its left. i.e.
+-- leftFace d = f
+type Component s = PlaneGraph (Wrap s) (VertexId s) (Dart s) (FaceId s)