Skip to content

Commit

Permalink
cleaning up
Browse files Browse the repository at this point in the history
  • Loading branch information
noinia committed Jan 2, 2024
1 parent 02d2553 commit 823cbb3
Show file tree
Hide file tree
Showing 2 changed files with 9 additions and 6 deletions.
13 changes: 8 additions & 5 deletions hgeometry/src/HGeometry/SegmentTree/R2.hs
Original file line number Diff line number Diff line change
Expand Up @@ -11,11 +11,11 @@
--
--------------------------------------------------------------------------------
module HGeometry.SegmentTree.R2
( SegmentTree2
( -- SegmentTree2


, buildAssoc
, queryAssoc
-- , buildAssoc
-- , queryAssoc
) where


Expand Down Expand Up @@ -47,7 +47,7 @@ import HGeometry.Properties
import Data.Type.Ord

--------------------------------------------------------------------------------

{-
newtype OnY s r segment = OnY segment deriving (Show)
data OnYR s r segment = Fixed !r
Expand All @@ -60,13 +60,14 @@ type instance Dimension (OnY s r segment) = 1
-- instance Reifies s r => Point_ (OnY s r segment) 1 r where
instance HasVector (OnY s r segment) (OnY s r segment) where
vector = iso Vector1 (\(Vector1 v) -> v)
vector = undefined -- iso Vector1 (\(Vector1 v) -> v)
instance HasCoordinates (OnY s r segment) (OnY s r segment)
instance Affine_ (OnY s r segment) 1 (OnYR s r segment) where
instance Point_ (OnY s r segment) 1 (OnYR s r segment) where
fromVector = error "OnY.fromVector not implemented"
-- instance Reifies s r => Point_ (OnY s r segment) 1 r where
Expand Down Expand Up @@ -205,3 +206,5 @@ buildSementTree' :: ( Foldable1 g, Functor g
, Point_ point 2 r, Ord r
) => g segment -> Base.SegmentTree Report (XInterval r segment)
buildSementTree' = Base.buildSegmentTree . fmap coerce
-}
2 changes: 1 addition & 1 deletion todo.org
Original file line number Diff line number Diff line change
Expand Up @@ -48,7 +48,7 @@ consistent results
** DONE kernel
** DONE hgeometry

* TODO ccwPredecessorOf’ and ‘ccwSuccessorOf’ convex polygon
* DONE ccwPredecessorOf’ and ‘ccwSuccessorOf’ convex polygon
* TODO additional quickcheck tests

** TODO all vertices of a simple polygon lie on the boundary of the polygon (pointInPoly)
Expand Down

0 comments on commit 823cbb3

Please sign in to comment.