hgeometry 0.12.0.0 → 0.12.0.1
raw patch · 2 files changed
+165/−2 lines, 2 filesdep ~vectorPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: vector
API changes (from Hackage documentation)
- Algorithms.Geometry.LinearProgramming.Types: _NoSolution :: forall d_a2Eg4 r_a2Eg5. Prism' (LPSolution d_a2Eg4 r_a2Eg5) ()
+ Algorithms.Geometry.LinearProgramming.Types: _NoSolution :: forall d_a2EhK r_a2EhL. Prism' (LPSolution d_a2EhK r_a2EhL) ()
- Algorithms.Geometry.LinearProgramming.Types: _Single :: forall d_a2Eg4 r_a2Eg5. Prism' (LPSolution d_a2Eg4 r_a2Eg5) (Point d_a2Eg4 r_a2Eg5)
+ Algorithms.Geometry.LinearProgramming.Types: _Single :: forall d_a2EhK r_a2EhL. Prism' (LPSolution d_a2EhK r_a2EhL) (Point d_a2EhK r_a2EhL)
- Algorithms.Geometry.LinearProgramming.Types: _UnBounded :: forall d_a2Eg4 r_a2Eg5. Prism' (LPSolution d_a2Eg4 r_a2Eg5) (HalfLine d_a2Eg4 r_a2Eg5)
+ Algorithms.Geometry.LinearProgramming.Types: _UnBounded :: forall d_a2EhK r_a2EhL. Prism' (LPSolution d_a2EhK r_a2EhL) (HalfLine d_a2EhK r_a2EhL)
- Algorithms.Geometry.LinearProgramming.Types: constraints :: forall d_a2Ehg r_a2Ehh. Lens' (LinearProgram d_a2Ehg r_a2Ehh) [HalfSpace d_a2Ehg r_a2Ehh]
+ Algorithms.Geometry.LinearProgramming.Types: constraints :: forall d_a2EiW r_a2EiX. Lens' (LinearProgram d_a2EiW r_a2EiX) [HalfSpace d_a2EiW r_a2EiX]
- Algorithms.Geometry.LinearProgramming.Types: objective :: forall d_a2Ehg r_a2Ehh. Lens' (LinearProgram d_a2Ehg r_a2Ehh) (Vector d_a2Ehg r_a2Ehh)
+ Algorithms.Geometry.LinearProgramming.Types: objective :: forall d_a2EiW r_a2EiX. Lens' (LinearProgram d_a2EiW r_a2EiX) (Vector d_a2EiW r_a2EiX)
- Algorithms.Geometry.SmallestEnclosingBall: definingPoints :: forall p_a2IBQ r_a2IBR p_a2IUw. Lens (DiskResult p_a2IBQ r_a2IBR) (DiskResult p_a2IUw r_a2IBR) (TwoOrThree ((:+) (Point 2 r_a2IBR) p_a2IBQ)) (TwoOrThree ((:+) (Point 2 r_a2IBR) p_a2IUw))
+ Algorithms.Geometry.SmallestEnclosingBall: definingPoints :: forall p_a2IDw r_a2IDx p_a2IWc. Lens (DiskResult p_a2IDw r_a2IDx) (DiskResult p_a2IWc r_a2IDx) (TwoOrThree ((:+) (Point 2 r_a2IDx) p_a2IDw)) (TwoOrThree ((:+) (Point 2 r_a2IDx) p_a2IWc))
- Algorithms.Geometry.SmallestEnclosingBall: enclosingDisk :: forall p_a2IBQ r_a2IBR. Lens' (DiskResult p_a2IBQ r_a2IBR) (Disk () r_a2IBR)
+ Algorithms.Geometry.SmallestEnclosingBall: enclosingDisk :: forall p_a2IDw r_a2IDx. Lens' (DiskResult p_a2IDw r_a2IDx) (Disk () r_a2IDx)
- Algorithms.Geometry.WSPD: nodeData :: forall d_a2zOP r_a2zOQ a_a2zOR a_a2zTy. Lens (NodeData d_a2zOP r_a2zOQ a_a2zOR) (NodeData d_a2zOP r_a2zOQ a_a2zTy) a_a2zOR a_a2zTy
+ Algorithms.Geometry.WSPD: nodeData :: forall d_a2zQv r_a2zQw a_a2zQx a_a2zVe. Lens (NodeData d_a2zQv r_a2zQw a_a2zQx) (NodeData d_a2zQv r_a2zQw a_a2zVe) a_a2zQx a_a2zVe
- Algorithms.Geometry.WellSeparatedPairDecomposition.Types: bBox :: forall d_a2zOP r_a2zOQ a_a2zOR d_a2zTw r_a2zTx. Lens (NodeData d_a2zOP r_a2zOQ a_a2zOR) (NodeData d_a2zTw r_a2zTx a_a2zOR) (Box d_a2zOP () r_a2zOQ) (Box d_a2zTw () r_a2zTx)
+ Algorithms.Geometry.WellSeparatedPairDecomposition.Types: bBox :: forall d_a2zQv r_a2zQw a_a2zQx d_a2zVc r_a2zVd. Lens (NodeData d_a2zQv r_a2zQw a_a2zQx) (NodeData d_a2zVc r_a2zVd a_a2zQx) (Box d_a2zQv () r_a2zQw) (Box d_a2zVc () r_a2zVd)
- Algorithms.Geometry.WellSeparatedPairDecomposition.Types: leftPart :: forall d_a2A5J r_a2A5K p_a2A5L. Lens' (FindAndCompact d_a2A5J r_a2A5K p_a2A5L) (Seq ((:+) (Point d_a2A5J r_a2A5K) p_a2A5L))
+ Algorithms.Geometry.WellSeparatedPairDecomposition.Types: leftPart :: forall d_a2A7p r_a2A7q p_a2A7r. Lens' (FindAndCompact d_a2A7p r_a2A7q p_a2A7r) (Seq ((:+) (Point d_a2A7p r_a2A7q) p_a2A7r))
- Algorithms.Geometry.WellSeparatedPairDecomposition.Types: nodeData :: forall d_a2zOP r_a2zOQ a_a2zOR a_a2zTy. Lens (NodeData d_a2zOP r_a2zOQ a_a2zOR) (NodeData d_a2zOP r_a2zOQ a_a2zTy) a_a2zOR a_a2zTy
+ Algorithms.Geometry.WellSeparatedPairDecomposition.Types: nodeData :: forall d_a2zQv r_a2zQw a_a2zQx a_a2zVe. Lens (NodeData d_a2zQv r_a2zQw a_a2zQx) (NodeData d_a2zQv r_a2zQw a_a2zVe) a_a2zQx a_a2zVe
- Algorithms.Geometry.WellSeparatedPairDecomposition.Types: rightPart :: forall d_a2A5J r_a2A5K p_a2A5L. Lens' (FindAndCompact d_a2A5J r_a2A5K p_a2A5L) (Seq ((:+) (Point d_a2A5J r_a2A5K) p_a2A5L))
+ Algorithms.Geometry.WellSeparatedPairDecomposition.Types: rightPart :: forall d_a2A7p r_a2A7q p_a2A7r. Lens' (FindAndCompact d_a2A7p r_a2A7q p_a2A7r) (Seq ((:+) (Point d_a2A7p r_a2A7q) p_a2A7r))
- Algorithms.Geometry.WellSeparatedPairDecomposition.Types: shortSide :: forall d_a2A5J r_a2A5K p_a2A5L. Lens' (FindAndCompact d_a2A5J r_a2A5K p_a2A5L) ShortSide
+ Algorithms.Geometry.WellSeparatedPairDecomposition.Types: shortSide :: forall d_a2A7p r_a2A7q p_a2A7r. Lens' (FindAndCompact d_a2A7p r_a2A7q p_a2A7r) ShortSide
- Algorithms.Geometry.WellSeparatedPairDecomposition.Types: splitDim :: forall d_a2zOP r_a2zOQ a_a2zOR. Lens' (NodeData d_a2zOP r_a2zOQ a_a2zOR) Int
+ Algorithms.Geometry.WellSeparatedPairDecomposition.Types: splitDim :: forall d_a2zQv r_a2zQw a_a2zQx. Lens' (NodeData d_a2zQv r_a2zQw a_a2zQx) Int
- Data.Geometry.Arrangement: boundedArea :: forall k_a3n3p (s_a3n2V :: k_a3n3p) l_a3n2W v_a3n2X e_a3n2Y f_a3n2Z r_a3n30. Lens' (Arrangement (s_a3n2V :: k_a3n3p) l_a3n2W v_a3n2X e_a3n2Y f_a3n2Z r_a3n30) (Rectangle () r_a3n30)
+ Data.Geometry.Arrangement: boundedArea :: forall k_a3n55 (s_a3n4B :: k_a3n55) l_a3n4C v_a3n4D e_a3n4E f_a3n4F r_a3n4G. Lens' (Arrangement (s_a3n4B :: k_a3n55) l_a3n4C v_a3n4D e_a3n4E f_a3n4F r_a3n4G) (Rectangle () r_a3n4G)
- Data.Geometry.Arrangement: inputLines :: forall k_a3n3p (s_a3n2V :: k_a3n3p) l_a3n2W v_a3n2X e_a3n2Y f_a3n2Z r_a3n30. Lens' (Arrangement (s_a3n2V :: k_a3n3p) l_a3n2W v_a3n2X e_a3n2Y f_a3n2Z r_a3n30) (Vector ((:+) (Line 2 r_a3n30) l_a3n2W))
+ Data.Geometry.Arrangement: inputLines :: forall k_a3n55 (s_a3n4B :: k_a3n55) l_a3n4C v_a3n4D e_a3n4E f_a3n4F r_a3n4G. Lens' (Arrangement (s_a3n4B :: k_a3n55) l_a3n4C v_a3n4D e_a3n4E f_a3n4F r_a3n4G) (Vector ((:+) (Line 2 r_a3n4G) l_a3n4C))
- Data.Geometry.Arrangement: subdivision :: forall k_a3n3p (s_a3n2V :: k_a3n3p) l_a3n2W v_a3n2X e_a3n2Y f_a3n2Z r_a3n30 v_a3naC e_a3naD f_a3naE. Lens (Arrangement (s_a3n2V :: k_a3n3p) l_a3n2W v_a3n2X e_a3n2Y f_a3n2Z r_a3n30) (Arrangement (s_a3n2V :: k_a3n3p) l_a3n2W v_a3naC e_a3naD f_a3naE r_a3n30) (PlanarSubdivision s_a3n2V v_a3n2X e_a3n2Y f_a3n2Z r_a3n30) (PlanarSubdivision s_a3n2V v_a3naC e_a3naD f_a3naE r_a3n30)
+ Data.Geometry.Arrangement: subdivision :: forall k_a3n55 (s_a3n4B :: k_a3n55) l_a3n4C v_a3n4D e_a3n4E f_a3n4F r_a3n4G v_a3nci e_a3ncj f_a3nck. Lens (Arrangement (s_a3n4B :: k_a3n55) l_a3n4C v_a3n4D e_a3n4E f_a3n4F r_a3n4G) (Arrangement (s_a3n4B :: k_a3n55) l_a3n4C v_a3nci e_a3ncj f_a3nck r_a3n4G) (PlanarSubdivision s_a3n4B v_a3n4D e_a3n4E f_a3n4F r_a3n4G) (PlanarSubdivision s_a3n4B v_a3nci e_a3ncj f_a3nck r_a3n4G)
- Data.Geometry.Arrangement: unboundedIntersections :: forall k_a3n3p (s_a3n2V :: k_a3n3p) l_a3n2W v_a3n2X e_a3n2Y f_a3n2Z r_a3n30. Lens' (Arrangement (s_a3n2V :: k_a3n3p) l_a3n2W v_a3n2X e_a3n2Y f_a3n2Z r_a3n30) (ArrangementBoundary s_a3n2V l_a3n2W r_a3n30)
+ Data.Geometry.Arrangement: unboundedIntersections :: forall k_a3n55 (s_a3n4B :: k_a3n55) l_a3n4C v_a3n4D e_a3n4E f_a3n4F r_a3n4G. Lens' (Arrangement (s_a3n4B :: k_a3n55) l_a3n4C v_a3n4D e_a3n4E f_a3n4F r_a3n4G) (ArrangementBoundary s_a3n4B l_a3n4C r_a3n4G)
- Data.Geometry.Arrangement.Internal: boundedArea :: forall k_a3n3p (s_a3n2V :: k_a3n3p) l_a3n2W v_a3n2X e_a3n2Y f_a3n2Z r_a3n30. Lens' (Arrangement (s_a3n2V :: k_a3n3p) l_a3n2W v_a3n2X e_a3n2Y f_a3n2Z r_a3n30) (Rectangle () r_a3n30)
+ Data.Geometry.Arrangement.Internal: boundedArea :: forall k_a3n55 (s_a3n4B :: k_a3n55) l_a3n4C v_a3n4D e_a3n4E f_a3n4F r_a3n4G. Lens' (Arrangement (s_a3n4B :: k_a3n55) l_a3n4C v_a3n4D e_a3n4E f_a3n4F r_a3n4G) (Rectangle () r_a3n4G)
- Data.Geometry.Arrangement.Internal: inputLines :: forall k_a3n3p (s_a3n2V :: k_a3n3p) l_a3n2W v_a3n2X e_a3n2Y f_a3n2Z r_a3n30. Lens' (Arrangement (s_a3n2V :: k_a3n3p) l_a3n2W v_a3n2X e_a3n2Y f_a3n2Z r_a3n30) (Vector ((:+) (Line 2 r_a3n30) l_a3n2W))
+ Data.Geometry.Arrangement.Internal: inputLines :: forall k_a3n55 (s_a3n4B :: k_a3n55) l_a3n4C v_a3n4D e_a3n4E f_a3n4F r_a3n4G. Lens' (Arrangement (s_a3n4B :: k_a3n55) l_a3n4C v_a3n4D e_a3n4E f_a3n4F r_a3n4G) (Vector ((:+) (Line 2 r_a3n4G) l_a3n4C))
- Data.Geometry.Arrangement.Internal: subdivision :: forall k_a3n3p (s_a3n2V :: k_a3n3p) l_a3n2W v_a3n2X e_a3n2Y f_a3n2Z r_a3n30 v_a3naC e_a3naD f_a3naE. Lens (Arrangement (s_a3n2V :: k_a3n3p) l_a3n2W v_a3n2X e_a3n2Y f_a3n2Z r_a3n30) (Arrangement (s_a3n2V :: k_a3n3p) l_a3n2W v_a3naC e_a3naD f_a3naE r_a3n30) (PlanarSubdivision s_a3n2V v_a3n2X e_a3n2Y f_a3n2Z r_a3n30) (PlanarSubdivision s_a3n2V v_a3naC e_a3naD f_a3naE r_a3n30)
+ Data.Geometry.Arrangement.Internal: subdivision :: forall k_a3n55 (s_a3n4B :: k_a3n55) l_a3n4C v_a3n4D e_a3n4E f_a3n4F r_a3n4G v_a3nci e_a3ncj f_a3nck. Lens (Arrangement (s_a3n4B :: k_a3n55) l_a3n4C v_a3n4D e_a3n4E f_a3n4F r_a3n4G) (Arrangement (s_a3n4B :: k_a3n55) l_a3n4C v_a3nci e_a3ncj f_a3nck r_a3n4G) (PlanarSubdivision s_a3n4B v_a3n4D e_a3n4E f_a3n4F r_a3n4G) (PlanarSubdivision s_a3n4B v_a3nci e_a3ncj f_a3nck r_a3n4G)
- Data.Geometry.Arrangement.Internal: unboundedIntersections :: forall k_a3n3p (s_a3n2V :: k_a3n3p) l_a3n2W v_a3n2X e_a3n2Y f_a3n2Z r_a3n30. Lens' (Arrangement (s_a3n2V :: k_a3n3p) l_a3n2W v_a3n2X e_a3n2Y f_a3n2Z r_a3n30) (ArrangementBoundary s_a3n2V l_a3n2W r_a3n30)
+ Data.Geometry.Arrangement.Internal: unboundedIntersections :: forall k_a3n55 (s_a3n4B :: k_a3n55) l_a3n4C v_a3n4D e_a3n4E f_a3n4F r_a3n4G. Lens' (Arrangement (s_a3n4B :: k_a3n55) l_a3n4C v_a3n4D e_a3n4E f_a3n4F r_a3n4G) (ArrangementBoundary s_a3n4B l_a3n4C r_a3n4G)
- Data.Geometry.Ball: center :: forall d_a2auB p_a2auC r_a2auD d_a2axf p_a2axg. Lens (Ball d_a2auB p_a2auC r_a2auD) (Ball d_a2axf p_a2axg r_a2auD) ((:+) (Point d_a2auB r_a2auD) p_a2auC) ((:+) (Point d_a2axf r_a2auD) p_a2axg)
+ Data.Geometry.Ball: center :: forall d_a2awh p_a2awi r_a2awj d_a2ayV p_a2ayW. Lens (Ball d_a2awh p_a2awi r_a2awj) (Ball d_a2ayV p_a2ayW r_a2awj) ((:+) (Point d_a2awh r_a2awj) p_a2awi) ((:+) (Point d_a2ayV r_a2awj) p_a2ayW)
- Data.Geometry.Ball: squaredRadius :: forall d_a2auB p_a2auC r_a2auD. Lens' (Ball d_a2auB p_a2auC r_a2auD) r_a2auD
+ Data.Geometry.Ball: squaredRadius :: forall d_a2awh p_a2awi r_a2awj. Lens' (Ball d_a2awh p_a2awi r_a2awj) r_a2awj
- Data.Geometry.Box.Corners: northEast :: forall a_a1CJS. Lens' (Corners a_a1CJS) a_a1CJS
+ Data.Geometry.Box.Corners: northEast :: forall a_a1CLy. Lens' (Corners a_a1CLy) a_a1CLy
- Data.Geometry.Box.Corners: northWest :: forall a_a1CJS. Lens' (Corners a_a1CJS) a_a1CJS
+ Data.Geometry.Box.Corners: northWest :: forall a_a1CLy. Lens' (Corners a_a1CLy) a_a1CLy
- Data.Geometry.Box.Corners: southEast :: forall a_a1CJS. Lens' (Corners a_a1CJS) a_a1CJS
+ Data.Geometry.Box.Corners: southEast :: forall a_a1CLy. Lens' (Corners a_a1CLy) a_a1CLy
- Data.Geometry.Box.Corners: southWest :: forall a_a1CJS. Lens' (Corners a_a1CJS) a_a1CJS
+ Data.Geometry.Box.Corners: southWest :: forall a_a1CLy. Lens' (Corners a_a1CLy) a_a1CLy
- Data.Geometry.Box.Internal: cwMax :: forall a_a1jRy a_a1k8H. Iso (CWMax a_a1jRy) (CWMax a_a1k8H) a_a1jRy a_a1k8H
+ Data.Geometry.Box.Internal: cwMax :: forall a_a1jTe a_a1kan. Iso (CWMax a_a1jTe) (CWMax a_a1kan) a_a1jTe a_a1kan
- Data.Geometry.Box.Internal: cwMin :: forall a_a1jCx a_a1jRs. Iso (CWMin a_a1jCx) (CWMin a_a1jRs) a_a1jCx a_a1jRs
+ Data.Geometry.Box.Internal: cwMin :: forall a_a1jEd a_a1jT8. Iso (CWMin a_a1jEd) (CWMin a_a1jT8) a_a1jEd a_a1jT8
- Data.Geometry.Box.Internal: maxP :: forall d_a1k8O p_a1k8P r_a1k8Q. Lens' (Box d_a1k8O p_a1k8P r_a1k8Q) ((:+) (CWMax (Point d_a1k8O r_a1k8Q)) p_a1k8P)
+ Data.Geometry.Box.Internal: maxP :: forall d_a1kau p_a1kav r_a1kaw. Lens' (Box d_a1kau p_a1kav r_a1kaw) ((:+) (CWMax (Point d_a1kau r_a1kaw)) p_a1kav)
- Data.Geometry.Box.Internal: minP :: forall d_a1k8O p_a1k8P r_a1k8Q. Lens' (Box d_a1k8O p_a1k8P r_a1k8Q) ((:+) (CWMin (Point d_a1k8O r_a1k8Q)) p_a1k8P)
+ Data.Geometry.Box.Internal: minP :: forall d_a1kau p_a1kav r_a1kaw. Lens' (Box d_a1kau p_a1kav r_a1kaw) ((:+) (CWMin (Point d_a1kau r_a1kaw)) p_a1kav)
- Data.Geometry.Box.Sides: east :: forall a_a1Fa7. Lens' (Sides a_a1Fa7) a_a1Fa7
+ Data.Geometry.Box.Sides: east :: forall a_a1FbN. Lens' (Sides a_a1FbN) a_a1FbN
- Data.Geometry.Box.Sides: north :: forall a_a1Fa7. Lens' (Sides a_a1Fa7) a_a1Fa7
+ Data.Geometry.Box.Sides: north :: forall a_a1FbN. Lens' (Sides a_a1FbN) a_a1FbN
- Data.Geometry.Box.Sides: south :: forall a_a1Fa7. Lens' (Sides a_a1Fa7) a_a1Fa7
+ Data.Geometry.Box.Sides: south :: forall a_a1FbN. Lens' (Sides a_a1FbN) a_a1FbN
- Data.Geometry.Box.Sides: west :: forall a_a1Fa7. Lens' (Sides a_a1Fa7) a_a1Fa7
+ Data.Geometry.Box.Sides: west :: forall a_a1FbN. Lens' (Sides a_a1FbN) a_a1FbN
- Data.Geometry.Ellipse: affineTransformation :: forall r_a2wmL r_a2wPr. Iso (Ellipse r_a2wmL) (Ellipse r_a2wPr) (Transformation 2 r_a2wmL) (Transformation 2 r_a2wPr)
+ Data.Geometry.Ellipse: affineTransformation :: forall r_a2wor r_a2wR7. Iso (Ellipse r_a2wor) (Ellipse r_a2wR7) (Transformation 2 r_a2wor) (Transformation 2 r_a2wR7)
- Data.Geometry.HalfLine: halfLineDirection :: forall d_a22jd r_a22je. Lens' (HalfLine d_a22jd r_a22je) (Vector d_a22jd r_a22je)
+ Data.Geometry.HalfLine: halfLineDirection :: forall d_a22kT r_a22kU. Lens' (HalfLine d_a22kT r_a22kU) (Vector d_a22kT r_a22kU)
- Data.Geometry.HalfLine: startPoint :: forall d_a22jd r_a22je. Lens' (HalfLine d_a22jd r_a22je) (Point d_a22jd r_a22je)
+ Data.Geometry.HalfLine: startPoint :: forall d_a22kT r_a22kU. Lens' (HalfLine d_a22kT r_a22kU) (Point d_a22kT r_a22kU)
- Data.Geometry.HalfSpace: boundingPlane :: forall d_a27iP r_a27iQ d_a27kI r_a27kJ. Iso (HalfSpace d_a27iP r_a27iQ) (HalfSpace d_a27kI r_a27kJ) (HyperPlane d_a27iP r_a27iQ) (HyperPlane d_a27kI r_a27kJ)
+ Data.Geometry.HalfSpace: boundingPlane :: forall d_a27kv r_a27kw d_a27mo r_a27mp. Iso (HalfSpace d_a27kv r_a27kw) (HalfSpace d_a27mo r_a27mp) (HyperPlane d_a27kv r_a27kw) (HyperPlane d_a27mo r_a27mp)
- Data.Geometry.HyperPlane: inPlane :: forall d_a1Yoc r_a1Yod. Lens' (HyperPlane d_a1Yoc r_a1Yod) (Point d_a1Yoc r_a1Yod)
+ Data.Geometry.HyperPlane: inPlane :: forall d_a1YpS r_a1YpT. Lens' (HyperPlane d_a1YpS r_a1YpT) (Point d_a1YpS r_a1YpT)
- Data.Geometry.HyperPlane: normalVec :: forall d_a1Yoc r_a1Yod. Lens' (HyperPlane d_a1Yoc r_a1Yod) (Vector d_a1Yoc r_a1Yod)
+ Data.Geometry.HyperPlane: normalVec :: forall d_a1YpS r_a1YpT. Lens' (HyperPlane d_a1YpS r_a1YpT) (Vector d_a1YpS r_a1YpT)
- Data.Geometry.Interval.Util: unL :: forall r_algX r_alKv. Iso (L r_algX) (L r_alKv) (EndPoint r_algX) (EndPoint r_alKv)
+ Data.Geometry.Interval.Util: unL :: forall r_aliD r_alMb. Iso (L r_aliD) (L r_alMb) (EndPoint r_aliD) (EndPoint r_alMb)
- Data.Geometry.Interval.Util: unR :: forall r_alKB r_alXu. Iso (R r_alKB) (R r_alXu) (EndPoint r_alKB) (EndPoint r_alXu)
+ Data.Geometry.Interval.Util: unR :: forall r_alMh r_alZa. Iso (R r_alMh) (R r_alZa) (EndPoint r_alMh) (EndPoint r_alZa)
- Data.Geometry.IntervalTree: intervalsLeft :: forall i_aoYQ r_aoYR. Lens' (NodeData i_aoYQ r_aoYR) (Map (L r_aoYR) [i_aoYQ])
+ Data.Geometry.IntervalTree: intervalsLeft :: forall i_ap0w r_ap0x. Lens' (NodeData i_ap0w r_ap0x) (Map (L r_ap0x) [i_ap0w])
- Data.Geometry.IntervalTree: intervalsRight :: forall i_aoYQ r_aoYR. Lens' (NodeData i_aoYQ r_aoYR) (Map (R r_aoYR) [i_aoYQ])
+ Data.Geometry.IntervalTree: intervalsRight :: forall i_ap0w r_ap0x. Lens' (NodeData i_ap0w r_ap0x) (Map (R r_ap0x) [i_ap0w])
- Data.Geometry.IntervalTree: splitPoint :: forall i_aoYQ r_aoYR. Lens' (NodeData i_aoYQ r_aoYR) r_aoYR
+ Data.Geometry.IntervalTree: splitPoint :: forall i_ap0w r_ap0x. Lens' (NodeData i_ap0w r_ap0x) r_ap0x
- Data.Geometry.IntervalTree: unIntervalTree :: forall i_ap7S r_ap7T i_apeQ r_apeR. Iso (IntervalTree i_ap7S r_ap7T) (IntervalTree i_apeQ r_apeR) (BinaryTree (NodeData i_ap7S r_ap7T)) (BinaryTree (NodeData i_apeQ r_apeR))
+ Data.Geometry.IntervalTree: unIntervalTree :: forall i_ap9y r_ap9z i_apgw r_apgx. Iso (IntervalTree i_ap9y r_ap9z) (IntervalTree i_apgw r_apgx) (BinaryTree (NodeData i_ap9y r_ap9z)) (BinaryTree (NodeData i_apgw r_apgx))
- Data.Geometry.PlanarSubdivision.Basic: components :: forall k_a3b3y (s_a3b2U :: k_a3b3y) v_a3b2V e_a3b2W f_a3b2X r_a3b2Y r_a3bg3. Lens (PlanarSubdivision (s_a3b2U :: k_a3b3y) v_a3b2V e_a3b2W f_a3b2X r_a3b2Y) (PlanarSubdivision (s_a3b2U :: k_a3b3y) v_a3b2V e_a3b2W f_a3b2X r_a3bg3) (Vector (Component s_a3b2U r_a3b2Y)) (Vector (Component s_a3b2U r_a3bg3))
+ Data.Geometry.PlanarSubdivision.Basic: components :: forall k_a3b5e (s_a3b4A :: k_a3b5e) v_a3b4B e_a3b4C f_a3b4D r_a3b4E r_a3bhJ. Lens (PlanarSubdivision (s_a3b4A :: k_a3b5e) v_a3b4B e_a3b4C f_a3b4D r_a3b4E) (PlanarSubdivision (s_a3b4A :: k_a3b5e) v_a3b4B e_a3b4C f_a3b4D r_a3bhJ) (Vector (Component s_a3b4A r_a3b4E)) (Vector (Component s_a3b4A r_a3bhJ))
- Data.Geometry.PlanarSubdivision.Basic: fData :: forall h_a34Us f_a34Ut f_a35Gs. Lens (FaceData h_a34Us f_a34Ut) (FaceData h_a34Us f_a35Gs) f_a34Ut f_a35Gs
+ Data.Geometry.PlanarSubdivision.Basic: fData :: forall h_a34W8 f_a34W9 f_a35I8. Lens (FaceData h_a34W8 f_a34W9) (FaceData h_a34W8 f_a35I8) f_a34W9 f_a35I8
- Data.Geometry.PlanarSubdivision.Basic: holes :: forall h_a34Us f_a34Ut h_a35Gt. Lens (FaceData h_a34Us f_a34Ut) (FaceData h_a35Gt f_a34Ut) (Seq h_a34Us) (Seq h_a35Gt)
+ Data.Geometry.PlanarSubdivision.Basic: holes :: forall h_a34W8 f_a34W9 h_a35I9. Lens (FaceData h_a34W8 f_a34W9) (FaceData h_a35I9 f_a34W9) (Seq h_a34W8) (Seq h_a35I9)
- Data.Geometry.PlanarSubdivision.Basic: location :: forall r_a2Xgg v_a2Xgh r_a2XuU. Lens (VertexData r_a2Xgg v_a2Xgh) (VertexData r_a2XuU v_a2Xgh) (Point 2 r_a2Xgg) (Point 2 r_a2XuU)
+ Data.Geometry.PlanarSubdivision.Basic: location :: forall r_a2XhW v_a2XhX r_a2XwA. Lens (VertexData r_a2XhW v_a2XhX) (VertexData r_a2XwA v_a2XhX) (Point 2 r_a2XhW) (Point 2 r_a2XwA)
- Data.Geometry.PlanarSubdivision.Basic: rawDartData :: forall k_a3b3y (s_a3b2U :: k_a3b3y) v_a3b2V e_a3b2W f_a3b2X r_a3b2Y e_a3bg4. Lens (PlanarSubdivision (s_a3b2U :: k_a3b3y) v_a3b2V e_a3b2W f_a3b2X r_a3b2Y) (PlanarSubdivision (s_a3b2U :: k_a3b3y) v_a3b2V e_a3bg4 f_a3b2X r_a3b2Y) (Vector (Raw s_a3b2U (Dart (Wrap s_a3b2U)) e_a3b2W)) (Vector (Raw s_a3b2U (Dart (Wrap s_a3b2U)) e_a3bg4))
+ Data.Geometry.PlanarSubdivision.Basic: rawDartData :: forall k_a3b5e (s_a3b4A :: k_a3b5e) v_a3b4B e_a3b4C f_a3b4D r_a3b4E e_a3bhK. Lens (PlanarSubdivision (s_a3b4A :: k_a3b5e) v_a3b4B e_a3b4C f_a3b4D r_a3b4E) (PlanarSubdivision (s_a3b4A :: k_a3b5e) v_a3b4B e_a3bhK f_a3b4D r_a3b4E) (Vector (Raw s_a3b4A (Dart (Wrap s_a3b4A)) e_a3b4C)) (Vector (Raw s_a3b4A (Dart (Wrap s_a3b4A)) e_a3bhK))
- Data.Geometry.PlanarSubdivision.Basic: rawFaceData :: forall k_a3b3y (s_a3b2U :: k_a3b3y) v_a3b2V e_a3b2W f_a3b2X r_a3b2Y f_a3bg5. Lens (PlanarSubdivision (s_a3b2U :: k_a3b3y) v_a3b2V e_a3b2W f_a3b2X r_a3b2Y) (PlanarSubdivision (s_a3b2U :: k_a3b3y) v_a3b2V e_a3b2W f_a3bg5 r_a3b2Y) (Vector (RawFace s_a3b2U f_a3b2X)) (Vector (RawFace s_a3b2U f_a3bg5))
+ Data.Geometry.PlanarSubdivision.Basic: rawFaceData :: forall k_a3b5e (s_a3b4A :: k_a3b5e) v_a3b4B e_a3b4C f_a3b4D r_a3b4E f_a3bhL. Lens (PlanarSubdivision (s_a3b4A :: k_a3b5e) v_a3b4B e_a3b4C f_a3b4D r_a3b4E) (PlanarSubdivision (s_a3b4A :: k_a3b5e) v_a3b4B e_a3b4C f_a3bhL r_a3b4E) (Vector (RawFace s_a3b4A f_a3b4D)) (Vector (RawFace s_a3b4A f_a3bhL))
- Data.Geometry.PlanarSubdivision.Basic: rawVertexData :: forall k_a3b3y (s_a3b2U :: k_a3b3y) v_a3b2V e_a3b2W f_a3b2X r_a3b2Y v_a3bg6. Lens (PlanarSubdivision (s_a3b2U :: k_a3b3y) v_a3b2V e_a3b2W f_a3b2X r_a3b2Y) (PlanarSubdivision (s_a3b2U :: k_a3b3y) v_a3bg6 e_a3b2W f_a3b2X r_a3b2Y) (Vector (Raw s_a3b2U (VertexId' (Wrap s_a3b2U)) v_a3b2V)) (Vector (Raw s_a3b2U (VertexId' (Wrap s_a3b2U)) v_a3bg6))
+ Data.Geometry.PlanarSubdivision.Basic: rawVertexData :: forall k_a3b5e (s_a3b4A :: k_a3b5e) v_a3b4B e_a3b4C f_a3b4D r_a3b4E v_a3bhM. Lens (PlanarSubdivision (s_a3b4A :: k_a3b5e) v_a3b4B e_a3b4C f_a3b4D r_a3b4E) (PlanarSubdivision (s_a3b4A :: k_a3b5e) v_a3bhM e_a3b4C f_a3b4D r_a3b4E) (Vector (Raw s_a3b4A (VertexId' (Wrap s_a3b4A)) v_a3b4B)) (Vector (Raw s_a3b4A (VertexId' (Wrap s_a3b4A)) v_a3bhM))
- Data.Geometry.PlanarSubdivision.Basic: vData :: forall r_a2Xgg v_a2Xgh v_a2XuV. Lens (VertexData r_a2Xgg v_a2Xgh) (VertexData r_a2Xgg v_a2XuV) v_a2Xgh v_a2XuV
+ Data.Geometry.PlanarSubdivision.Basic: vData :: forall r_a2XhW v_a2XhX v_a2XwB. Lens (VertexData r_a2XhW v_a2XhX) (VertexData r_a2XhW v_a2XwB) v_a2XhX v_a2XwB
- Data.Geometry.PlanarSubdivision.Raw: fData :: forall h_a34Us f_a34Ut f_a35Gs. Lens (FaceData h_a34Us f_a34Ut) (FaceData h_a34Us f_a35Gs) f_a34Ut f_a35Gs
+ Data.Geometry.PlanarSubdivision.Raw: fData :: forall h_a34W8 f_a34W9 f_a35I8. Lens (FaceData h_a34W8 f_a34W9) (FaceData h_a34W8 f_a35I8) f_a34W9 f_a35I8
- Data.Geometry.PlanarSubdivision.Raw: faceDataVal :: forall k_a35Hm (s_a35GI :: k_a35Hm) f_a35GJ f_a35Wq. Lens (RawFace (s_a35GI :: k_a35Hm) f_a35GJ) (RawFace (s_a35GI :: k_a35Hm) f_a35Wq) (FaceData (Dart s_a35GI) f_a35GJ) (FaceData (Dart s_a35GI) f_a35Wq)
+ Data.Geometry.PlanarSubdivision.Raw: faceDataVal :: forall k_a35J2 (s_a35Io :: k_a35J2) f_a35Ip f_a35Y6. Lens (RawFace (s_a35Io :: k_a35J2) f_a35Ip) (RawFace (s_a35Io :: k_a35J2) f_a35Y6) (FaceData (Dart s_a35Io) f_a35Ip) (FaceData (Dart s_a35Io) f_a35Y6)
- Data.Geometry.PlanarSubdivision.Raw: faceIdx :: forall k_a35Hm (s_a35GI :: k_a35Hm) f_a35GJ. Lens' (RawFace (s_a35GI :: k_a35Hm) f_a35GJ) (Maybe (ComponentId s_a35GI, FaceId' (Wrap s_a35GI)))
+ Data.Geometry.PlanarSubdivision.Raw: faceIdx :: forall k_a35J2 (s_a35Io :: k_a35J2) f_a35Ip. Lens' (RawFace (s_a35Io :: k_a35J2) f_a35Ip) (Maybe (ComponentId s_a35Io, FaceId' (Wrap s_a35Io)))
- Data.Geometry.PlanarSubdivision.Raw: holes :: forall h_a34Us f_a34Ut h_a35Gt. Lens (FaceData h_a34Us f_a34Ut) (FaceData h_a35Gt f_a34Ut) (Seq h_a34Us) (Seq h_a35Gt)
+ Data.Geometry.PlanarSubdivision.Raw: holes :: forall h_a34W8 f_a34W9 h_a35I9. Lens (FaceData h_a34W8 f_a34W9) (FaceData h_a35I9 f_a34W9) (Seq h_a34W8) (Seq h_a35I9)
- Data.Geometry.PointLocation.PersistentSweep: outerFace :: forall k_a3jMS (s_a3jMD :: k_a3jMS) v_a3jME e_a3jMF f_a3jMG r_a3jMH. Getter (PointLocationDS (s_a3jMD :: k_a3jMS) v_a3jME e_a3jMF f_a3jMG r_a3jMH) (FaceId' s_a3jMD)
+ Data.Geometry.PointLocation.PersistentSweep: outerFace :: forall k_a3jOy (s_a3jOj :: k_a3jOy) v_a3jOk e_a3jOl f_a3jOm r_a3jOn. Getter (PointLocationDS (s_a3jOj :: k_a3jOy) v_a3jOk e_a3jOl f_a3jOm r_a3jOn) (FaceId' s_a3jOj)
- Data.Geometry.PointLocation.PersistentSweep: subdivision :: forall k_a3jMS (s_a3jMD :: k_a3jMS) v_a3jME e_a3jMF f_a3jMG r_a3jMH. Getter (PointLocationDS (s_a3jMD :: k_a3jMS) v_a3jME e_a3jMF f_a3jMG r_a3jMH) (PlanarSubdivision s_a3jMD v_a3jME e_a3jMF f_a3jMG r_a3jMH)
+ Data.Geometry.PointLocation.PersistentSweep: subdivision :: forall k_a3jOy (s_a3jOj :: k_a3jOy) v_a3jOk e_a3jOl f_a3jOm r_a3jOn. Getter (PointLocationDS (s_a3jOj :: k_a3jOy) v_a3jOk e_a3jOl f_a3jOm r_a3jOn) (PlanarSubdivision s_a3jOj v_a3jOk e_a3jOl f_a3jOm r_a3jOn)
- Data.Geometry.PointLocation.PersistentSweep: verticalRayShootingStructure :: forall k_a3jMS (s_a3jMD :: k_a3jMS) v_a3jME e_a3jMF f_a3jMG r_a3jMH. Getter (PointLocationDS (s_a3jMD :: k_a3jMS) v_a3jME e_a3jMF f_a3jMG r_a3jMH) (VerticalRayShootingStructure v_a3jME (Dart s_a3jMD) r_a3jMH)
+ Data.Geometry.PointLocation.PersistentSweep: verticalRayShootingStructure :: forall k_a3jOy (s_a3jOj :: k_a3jOy) v_a3jOk e_a3jOl f_a3jOm r_a3jOn. Getter (PointLocationDS (s_a3jOj :: k_a3jOy) v_a3jOk e_a3jOl f_a3jOm r_a3jOn) (VerticalRayShootingStructure v_a3jOk (Dart s_a3jOj) r_a3jOn)
- Data.Geometry.QuadTree: startingCell :: forall v_a1NHL p_a1NHM r_a1NHN r_a1NTS. Lens (QuadTree v_a1NHL p_a1NHM r_a1NHN) (QuadTree v_a1NHL p_a1NHM r_a1NTS) (Cell r_a1NHN) (Cell r_a1NTS)
+ Data.Geometry.QuadTree: startingCell :: forall v_a1NJr p_a1NJs r_a1NJt r_a1NVy. Lens (QuadTree v_a1NJr p_a1NJs r_a1NJt) (QuadTree v_a1NJr p_a1NJs r_a1NVy) (Cell r_a1NJt) (Cell r_a1NVy)
- Data.Geometry.QuadTree: tree :: forall v_a1NHL p_a1NHM r_a1NHN v_a1NTT p_a1NTU. Lens (QuadTree v_a1NHL p_a1NHM r_a1NHN) (QuadTree v_a1NTT p_a1NTU r_a1NHN) (Tree v_a1NHL p_a1NHM) (Tree v_a1NTT p_a1NTU)
+ Data.Geometry.QuadTree: tree :: forall v_a1NJr p_a1NJs r_a1NJt v_a1NVz p_a1NVA. Lens (QuadTree v_a1NJr p_a1NJs r_a1NJt) (QuadTree v_a1NVz p_a1NVA r_a1NJt) (Tree v_a1NJr p_a1NJs) (Tree v_a1NVz p_a1NVA)
- Data.Geometry.QuadTree.Cell: cellWidthIndex :: forall r_a1I3f. Lens' (Cell r_a1I3f) WidthIndex
+ Data.Geometry.QuadTree.Cell: cellWidthIndex :: forall r_a1I4V. Lens' (Cell r_a1I4V) WidthIndex
- Data.Geometry.QuadTree.Cell: lowerLeft :: forall r_a1I3f r_a1Iee. Lens (Cell r_a1I3f) (Cell r_a1Iee) (Point 2 r_a1I3f) (Point 2 r_a1Iee)
+ Data.Geometry.QuadTree.Cell: lowerLeft :: forall r_a1I4V r_a1IfU. Lens (Cell r_a1I4V) (Cell r_a1IfU) (Point 2 r_a1I4V) (Point 2 r_a1IfU)
- Data.Geometry.QuadTree.Split: _No :: forall i_a1Lqt v_a1Lqu p_a1LwK p_a1Lqv. Prism (Split i_a1Lqt v_a1Lqu p_a1LwK) (Split i_a1Lqt v_a1Lqu p_a1Lqv) p_a1LwK p_a1Lqv
+ Data.Geometry.QuadTree.Split: _No :: forall i_a1Ls9 v_a1Lsa p_a1Lyq p_a1Lsb. Prism (Split i_a1Ls9 v_a1Lsa p_a1Lyq) (Split i_a1Ls9 v_a1Lsa p_a1Lsb) p_a1Lyq p_a1Lsb
- Data.Geometry.QuadTree.Split: _Yes :: forall i_a1LwQ v_a1LwR p_a1Lqv i_a1Lqt v_a1Lqu. Prism (Split i_a1LwQ v_a1LwR p_a1Lqv) (Split i_a1Lqt v_a1Lqu p_a1Lqv) (v_a1LwR, Quadrants i_a1LwQ) (v_a1Lqu, Quadrants i_a1Lqt)
+ Data.Geometry.QuadTree.Split: _Yes :: forall i_a1Lyw v_a1Lyx p_a1Lsb i_a1Ls9 v_a1Lsa. Prism (Split i_a1Lyw v_a1Lyx p_a1Lsb) (Split i_a1Ls9 v_a1Lsa p_a1Lsb) (v_a1Lyx, Quadrants i_a1Lyw) (v_a1Lsa, Quadrants i_a1Ls9)
- Data.Geometry.QuadTree.Tree: _Leaf :: forall v_a1Mqj p_a1Mqk. Prism' (Tree v_a1Mqj p_a1Mqk) p_a1Mqk
+ Data.Geometry.QuadTree.Tree: _Leaf :: forall v_a1MrZ p_a1Ms0. Prism' (Tree v_a1MrZ p_a1Ms0) p_a1Ms0
- Data.Geometry.QuadTree.Tree: _Node :: forall v_a1MtI p_a1Mqk v_a1Mqj. Prism (Tree v_a1MtI p_a1Mqk) (Tree v_a1Mqj p_a1Mqk) (v_a1MtI, Quadrants (Tree v_a1MtI p_a1Mqk)) (v_a1Mqj, Quadrants (Tree v_a1Mqj p_a1Mqk))
+ Data.Geometry.QuadTree.Tree: _Node :: forall v_a1Mvo p_a1Ms0 v_a1MrZ. Prism (Tree v_a1Mvo p_a1Ms0) (Tree v_a1MrZ p_a1Ms0) (v_a1Mvo, Quadrants (Tree v_a1Mvo p_a1Ms0)) (v_a1MrZ, Quadrants (Tree v_a1MrZ p_a1Ms0))
- Data.Geometry.SegmentTree.Generic: assoc :: forall v_atWp r_atWq v_au3o. Lens (NodeData v_atWp r_atWq) (NodeData v_au3o r_atWq) v_atWp v_au3o
+ Data.Geometry.SegmentTree.Generic: assoc :: forall v_atY5 r_atY6 v_au54. Lens (NodeData v_atY5 r_atY6) (NodeData v_au54 r_atY6) v_atY5 v_au54
- Data.Geometry.SegmentTree.Generic: atomicRange :: forall v_au3O r_au3P r_auhl. Lens (LeafData v_au3O r_au3P) (LeafData v_au3O r_auhl) (AtomicRange r_au3P) (AtomicRange r_auhl)
+ Data.Geometry.SegmentTree.Generic: atomicRange :: forall v_au5u r_au5v r_auj1. Lens (LeafData v_au5u r_au5v) (LeafData v_au5u r_auj1) (AtomicRange r_au5v) (AtomicRange r_auj1)
- Data.Geometry.SegmentTree.Generic: leafAssoc :: forall v_au3O r_au3P v_auhm. Lens (LeafData v_au3O r_au3P) (LeafData v_auhm r_au3P) v_au3O v_auhm
+ Data.Geometry.SegmentTree.Generic: leafAssoc :: forall v_au5u r_au5v v_auj2. Lens (LeafData v_au5u r_au5v) (LeafData v_auj2 r_au5v) v_au5u v_auj2
- Data.Geometry.SegmentTree.Generic: range :: forall v_atWp r_atWq. Lens' (NodeData v_atWp r_atWq) (Range r_atWq)
+ Data.Geometry.SegmentTree.Generic: range :: forall v_atY5 r_atY6. Lens' (NodeData v_atY5 r_atY6) (Range r_atY6)
- Data.Geometry.SegmentTree.Generic: splitPoint :: forall v_atWp r_atWq. Lens' (NodeData v_atWp r_atWq) (EndPoint r_atWq)
+ Data.Geometry.SegmentTree.Generic: splitPoint :: forall v_atY5 r_atY6. Lens' (NodeData v_atY5 r_atY6) (EndPoint r_atY6)
- Data.Geometry.SegmentTree.Generic: unSegmentTree :: forall v_auhA r_auhB v_aupp r_aupq. Iso (SegmentTree v_auhA r_auhB) (SegmentTree v_aupp r_aupq) (BinLeafTree (NodeData v_auhA r_auhB) (LeafData v_auhA r_auhB)) (BinLeafTree (NodeData v_aupp r_aupq) (LeafData v_aupp r_aupq))
+ Data.Geometry.SegmentTree.Generic: unSegmentTree :: forall v_aujg r_aujh v_aur5 r_aur6. Iso (SegmentTree v_aujg r_aujh) (SegmentTree v_aur5 r_aur6) (BinLeafTree (NodeData v_aujg r_aujh) (LeafData v_aujg r_aujh)) (BinLeafTree (NodeData v_aur5 r_aur6) (LeafData v_aur5 r_aur6))
- Data.Geometry.Slab: unSlab :: forall o_a1ViD a_a1ViE r_a1ViF o_a1Vof a_a1Vog r_a1Voh. Iso (Slab o_a1ViD a_a1ViE r_a1ViF) (Slab o_a1Vof a_a1Vog r_a1Voh) (Interval a_a1ViE r_a1ViF) (Interval a_a1Vog r_a1Voh)
+ Data.Geometry.Slab: unSlab :: forall o_a1Vkj a_a1Vkk r_a1Vkl o_a1VpV a_a1VpW r_a1VpX. Iso (Slab o_a1Vkj a_a1Vkk r_a1Vkl) (Slab o_a1VpV a_a1VpW r_a1VpX) (Interval a_a1Vkk r_a1Vkl) (Interval a_a1VpW r_a1VpX)
- Data.Geometry.VerticalRayShooting.PersistentSweep: leftMost :: forall p_a2Sdd e_a2Sde r_a2Sdf. Getter (VerticalRayShootingStructure p_a2Sdd e_a2Sde r_a2Sdf) r_a2Sdf
+ Data.Geometry.VerticalRayShooting.PersistentSweep: leftMost :: forall p_a2SeT e_a2SeU r_a2SeV. Getter (VerticalRayShootingStructure p_a2SeT e_a2SeU r_a2SeV) r_a2SeV
- Data.Geometry.VerticalRayShooting.PersistentSweep: sweepStruct :: forall p_a2Sdd e_a2Sde r_a2Sdf. Getter (VerticalRayShootingStructure p_a2Sdd e_a2Sde r_a2Sdf) (Vector ((:+) r_a2Sdf (StatusStructure p_a2Sdd e_a2Sde r_a2Sdf)))
+ Data.Geometry.VerticalRayShooting.PersistentSweep: sweepStruct :: forall p_a2SeT e_a2SeU r_a2SeV. Getter (VerticalRayShootingStructure p_a2SeT e_a2SeU r_a2SeV) (Vector ((:+) r_a2SeV (StatusStructure p_a2SeT e_a2SeU r_a2SeV)))
- Data.PlaneGraph: graph :: forall k_a2XvW (s_a2Xva :: k_a2XvW) v_a2Xvb e_a2Xvc f_a2Xvd r_a2Xve k_a2XGe (s_a2XG9 :: k_a2XGe) v_a2XGa e_a2XGb f_a2XGc r_a2XGd. Iso (PlaneGraph (s_a2Xva :: k_a2XvW) v_a2Xvb e_a2Xvc f_a2Xvd r_a2Xve) (PlaneGraph (s_a2XG9 :: k_a2XGe) v_a2XGa e_a2XGb f_a2XGc r_a2XGd) (PlanarGraph s_a2Xva 'Primal (VertexData r_a2Xve v_a2Xvb) e_a2Xvc f_a2Xvd) (PlanarGraph s_a2XG9 'Primal (VertexData r_a2XGd v_a2XGa) e_a2XGb f_a2XGc)
+ Data.PlaneGraph: graph :: forall k_a2XxC (s_a2XwQ :: k_a2XxC) v_a2XwR e_a2XwS f_a2XwT r_a2XwU k_a2XHU (s_a2XHP :: k_a2XHU) v_a2XHQ e_a2XHR f_a2XHS r_a2XHT. Iso (PlaneGraph (s_a2XwQ :: k_a2XxC) v_a2XwR e_a2XwS f_a2XwT r_a2XwU) (PlaneGraph (s_a2XHP :: k_a2XHU) v_a2XHQ e_a2XHR f_a2XHS r_a2XHT) (PlanarGraph s_a2XwQ 'Primal (VertexData r_a2XwU v_a2XwR) e_a2XwS f_a2XwT) (PlanarGraph s_a2XHP 'Primal (VertexData r_a2XHT v_a2XHQ) e_a2XHR f_a2XHS)
- Data.PlaneGraph: location :: forall r_a2Xgg v_a2Xgh r_a2XuU. Lens (VertexData r_a2Xgg v_a2Xgh) (VertexData r_a2XuU v_a2Xgh) (Point 2 r_a2Xgg) (Point 2 r_a2XuU)
+ Data.PlaneGraph: location :: forall r_a2XhW v_a2XhX r_a2XwA. Lens (VertexData r_a2XhW v_a2XhX) (VertexData r_a2XwA v_a2XhX) (Point 2 r_a2XhW) (Point 2 r_a2XwA)
- Data.PlaneGraph: vData :: forall r_a2Xgg v_a2Xgh v_a2XuV. Lens (VertexData r_a2Xgg v_a2Xgh) (VertexData r_a2Xgg v_a2XuV) v_a2Xgh v_a2XuV
+ Data.PlaneGraph: vData :: forall r_a2XhW v_a2XhX v_a2XwB. Lens (VertexData r_a2XhW v_a2XhX) (VertexData r_a2XhW v_a2XwB) v_a2XhX v_a2XwB
- Data.PlaneGraph.Core: graph :: forall k_a2XvW (s_a2Xva :: k_a2XvW) v_a2Xvb e_a2Xvc f_a2Xvd r_a2Xve k_a2XGe (s_a2XG9 :: k_a2XGe) v_a2XGa e_a2XGb f_a2XGc r_a2XGd. Iso (PlaneGraph (s_a2Xva :: k_a2XvW) v_a2Xvb e_a2Xvc f_a2Xvd r_a2Xve) (PlaneGraph (s_a2XG9 :: k_a2XGe) v_a2XGa e_a2XGb f_a2XGc r_a2XGd) (PlanarGraph s_a2Xva 'Primal (VertexData r_a2Xve v_a2Xvb) e_a2Xvc f_a2Xvd) (PlanarGraph s_a2XG9 'Primal (VertexData r_a2XGd v_a2XGa) e_a2XGb f_a2XGc)
+ Data.PlaneGraph.Core: graph :: forall k_a2XxC (s_a2XwQ :: k_a2XxC) v_a2XwR e_a2XwS f_a2XwT r_a2XwU k_a2XHU (s_a2XHP :: k_a2XHU) v_a2XHQ e_a2XHR f_a2XHS r_a2XHT. Iso (PlaneGraph (s_a2XwQ :: k_a2XxC) v_a2XwR e_a2XwS f_a2XwT r_a2XwU) (PlaneGraph (s_a2XHP :: k_a2XHU) v_a2XHQ e_a2XHR f_a2XHS r_a2XHT) (PlanarGraph s_a2XwQ 'Primal (VertexData r_a2XwU v_a2XwR) e_a2XwS f_a2XwT) (PlanarGraph s_a2XHP 'Primal (VertexData r_a2XHT v_a2XHQ) e_a2XHR f_a2XHS)
- Data.PlaneGraph.Core: location :: forall r_a2Xgg v_a2Xgh r_a2XuU. Lens (VertexData r_a2Xgg v_a2Xgh) (VertexData r_a2XuU v_a2Xgh) (Point 2 r_a2Xgg) (Point 2 r_a2XuU)
+ Data.PlaneGraph.Core: location :: forall r_a2XhW v_a2XhX r_a2XwA. Lens (VertexData r_a2XhW v_a2XhX) (VertexData r_a2XwA v_a2XhX) (Point 2 r_a2XhW) (Point 2 r_a2XwA)
- Data.PlaneGraph.Core: vData :: forall r_a2Xgg v_a2Xgh v_a2XuV. Lens (VertexData r_a2Xgg v_a2Xgh) (VertexData r_a2Xgg v_a2XuV) v_a2Xgh v_a2XuV
+ Data.PlaneGraph.Core: vData :: forall r_a2XhW v_a2XhX v_a2XwB. Lens (VertexData r_a2XhW v_a2XhX) (VertexData r_a2XhW v_a2XwB) v_a2XhX v_a2XwB
Files
- changelog +162/−0
- hgeometry.cabal +3/−2
+ changelog view
@@ -0,0 +1,162 @@+#+STARTUP: showeverything++* Changelog++** 0.12++- New website: https://hgeometry.org/+- Switch polygon implementation from a circular seq to a circular vector.+- Hide polygon implementation details.+- Enforce CCW polygon order by default.+- Fix bug in Data.Geometry.Polygon.Convex.extremes/maxInDirection.+- Fix bug in pointInPolygon in case of degenerate situations.+- Fix Read/Show instances for Point and Polygon such that 'read.show = id'.+- Improved numerical robustness.+- Random generation of monotone polygons. Thanks to @1ndy.+- Random and uniform generation of convex polygons.+- More IsIntersectableWith instances+- Updated Show/Read instances for LineSegments+- New algorithm: Visibility polygon in O(n log n) time.+- New algorithm: Earclip triangulation in O(n^2) time worst case, O(n)+ time expected case.+- New algorithm: Single-source shortest path in O(n) time.+- New algorithm: Planar point locator in O(log n) time.+- New algorithm: Point set diameter in O(n log n) time.+- New algorithm: Convex hull of a polygon in O(n) time.+- New algorithm: Diameter of a convex polygon in O(n) time.+- New algorithm: Check if a point lies inside a convex polygon in O(n)+ time.+- New algorithm: Discrete Frechet distance in O(n^2) time.++** 0.11++- Removed Functor instance from Triangle and replaced it with Bifunctor/Bifoldable/Bitraversable+- Testing if a point lies above/below a line is now in a typeclass,+ moreover there now is also an instance of this typeclass for+ planes. Hence, we can test if a point in R^3 lies above or below a+ plane.+- Bugfixes in the incomingEdges and outgoingEdges functions in+ Planar/Plane graphs and Planar subdivisions+- Added separate data types for Sides and Corners of Rectangles.+- More functionality for working with Halfspaces+- Fixed a bug in computing the intersection of overlapping+ linesegments+- PolyLine.fromPoints now returns a Maybe PolyLine rather than a+ Polyine. Use fromPointsUnsafe for the old behavior.+- Interval now no longer exports its constructor. Use the provided+ patterns instead.+- Added an OpenLineSegment pattern/constructor+- The corners and sides functions in Box now return specific types+ representing those rather than four tuples.+- Added a BezierSpline module and data type (Thanks to Maarten).+- Added a QuadTree implementation. It can be built from a set of+ points, and to represent the zeroset of some function.+- Added a Naive implementation of Convex hull in R^3. Note however+ that it works only for points in general position. In particular, no+ four points should be coplanar.+- Added a Data.Geometry.Directions module that defines cardinal and+ InterCardinal directions.+- Added an Ellipse type (mostly so that hgeometry-ipe can read+ ellipses)+- Added FunctorWithIndex, FoldableWithIndex, and TraversableWithIndex+ instances for Vector, and removed specifically exporting imap; we+ can now just use those functions from the Lens package.++** 0.10++- renamed the smallest enclosing ball to RIC+- improved tangency finding on convex hulls/chains+- changes to how we order points in ccwCmpAround and cwCmpAround;+ these will report EQ if points appear at the same angle from the+ center point.+- new functions ccwCmpAroundWith and cwCmpAroundWith that allow you to+ specify the direction corresponding to "zero".+- bugfixes, in particular triangulating a polygon with holes now works properly.+- removed some unused dependencies+- we are no longer depending on ghc-plugins; as a result hgeometry+ now also compiles with ghcjs+- more ToJSON/FromJSON instances.+- removed the 'point2' and 'point3' functions in favor of the pattern+ synonyms Point2 and Point3.++** 0.9++- Implemented 2D Linear Programming using randomized incremental+ construction (in \(O(n)\) expected time). This allows us to solve+ the following problems+ - testing starshapedness of simple polygons in expected linear time+ - testing if we can separate a set of red and a set of blue points+ in expected linear time.+- Data types for halfspaces++** 0.8++- Compatibility with GHC 8.6+- Added \(O(n\log n)\) time closest pair algorithm.+- Added arrangement data type+- Various Bugfixes+- Added Camera data type with some world to screen transformations.+- Additional read/show instances+- Updated some of the show instances for Ipe related types.++** 0.7+++- Compatibility with GHC 8.0-8.4+- Implemented more Algorithms and Data Structures. This includes+ * Polygon triangulation+- A new implementation of PlanarSubdivision that now also supports disconnected+ subdivsions.+- Performance improvements by changing to a different Vector+ implementation. For low dimensional vectors (of dimension at most four) we+ now essentially use the types from+ [linear](https://hackage.haskell.org/package/linear), this gives significant+ speedups on several small benchmarks.+- bugfixes.++** 0.6++- Implemented more Algorithms and Data Structures. This includes+ * Bentley-Ottmannn line-segment intersection,+ * Well-Separated Pair decompositions,+ * extremal point/tangents for Convex hulls,+ * Minkowski sum for convex polygons,+ * one dimensional segment trees,+ * one dimensional interval trees, and a+ * KD-tree.+- Several bug fixes, including a very stupid bug in Box+- Separate ConvexPolygon type.+- More thorough testing for some of the algorithms.+- Started work on a proper representation for planar subdivsions. This includes+ a representation of planar graphs that support querying if two vertices are+ connected by an edge in $O(1)$ time.+- Dropped support for GHC 7.8++** 0.5++- Implemented several algorithms, including Delaunay Triangulation, EMST, and+Douglas Peucker.+- Revamped the data types for Intersections++** 0.++- Major rewrite from scratch, providing much stronger type-level+ guarantees. Incompatible with older versions.+- Convex Hull and Smallest enclosing disk algorithms.+- HGeometry now includes some very experimental and preliminary support for+ reading and writing Ipe7 files.++** 0.2 & 0.3++- Internal releases.++** 0.1.1++- Fixed a bug in point on n the line segment test+- Generalized the types of inCircle, inDisc, onCircle, onDisc etc. We now need+ only that the type representing precision model implements the typeclass+ `Num` instead of `Floating'.++** 0.1++- Initial release.
hgeometry.cabal view
@@ -1,5 +1,5 @@ name: hgeometry-version: 0.12.0.0+version: 0.12.0.1 synopsis: Geometric Algorithms, Data structures, and Data types. description: HGeometry provides some basic geometry types, and geometric algorithms and@@ -20,6 +20,7 @@ build-type: Simple extra-source-files: README.md+ changelog changelog.org Extra-doc-files: docs/Data/PlaneGraph/small.png@@ -256,7 +257,7 @@ -- , ghc-typelits-natnormalise >= 0.6 -- , ghc-typelits-knownnat >= 0.6 - , vector >= 0.11 && < 0.12.2.0+ , vector >= 0.11 , data-clist >= 0.1.2.3 , vector-circular >= 0.1.2 , nonempty-vector >= 0.2.0.0