From ad13f0ce68645a850512906aace8c9c8eefa81ff Mon Sep 17 00:00:00 2001 From: Frank Staals Date: Thu, 15 Aug 2024 21:34:31 +0200 Subject: [PATCH] uncommented the partial instance for now --- hgeometry/geojson/src/HGeometry/GeoJSON.hs | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/hgeometry/geojson/src/HGeometry/GeoJSON.hs b/hgeometry/geojson/src/HGeometry/GeoJSON.hs index 576e6a39d..c87d1383d 100644 --- a/hgeometry/geojson/src/HGeometry/GeoJSON.hs +++ b/hgeometry/geojson/src/HGeometry/GeoJSON.hs @@ -310,9 +310,9 @@ instance HasOuterBoundary GeoPolygon where outerBoundaryEdgeAt (_,j) = reIndexEdge $ firstRing <.> outerBoundaryEdgeAt j <. edge' -instance Polygon_ GeoPolygon GeoPositionWithoutCRS' Double where - area pg = case toNonEmptyOf (_Wrapped.from _Seq1Seq.traverse1._RingAsSimplePolygon') pg of - outer :| inners -> area outer - sum (map area inners) +-- instance Polygon_ GeoPolygon GeoPositionWithoutCRS' Double where +-- area pg = case toNonEmptyOf (_Wrapped.from _Seq1Seq.traverse1._RingAsSimplePolygon') pg of +-- outer :| inners -> area outer - sum (map area inners) -- ccwPredecessorOf (i,j) = withRing i <.> ccwPredecessorOf j <. singular _GeoPositionWithoutCRS -- ccwSuccessorOf (i,j) = withRing i <.> ccwSuccessorOf j <. singular _GeoPositionWithoutCRS