hgeometry 0.12.0.2 → 0.12.0.3
raw patch · 1 files changed
+2/−2 lines, 1 filesdep ~vector-builderPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: vector-builder
API changes (from Hackage documentation)
- Algorithms.Geometry.LinearProgramming.Types: _NoSolution :: forall d_a2Erb r_a2Erc. Prism' (LPSolution d_a2Erb r_a2Erc) ()
+ Algorithms.Geometry.LinearProgramming.Types: _NoSolution :: forall d_a2EsL r_a2EsM. Prism' (LPSolution d_a2EsL r_a2EsM) ()
- Algorithms.Geometry.LinearProgramming.Types: _Single :: forall d_a2Erb r_a2Erc. Prism' (LPSolution d_a2Erb r_a2Erc) (Point d_a2Erb r_a2Erc)
+ Algorithms.Geometry.LinearProgramming.Types: _Single :: forall d_a2EsL r_a2EsM. Prism' (LPSolution d_a2EsL r_a2EsM) (Point d_a2EsL r_a2EsM)
- Algorithms.Geometry.LinearProgramming.Types: _UnBounded :: forall d_a2Erb r_a2Erc. Prism' (LPSolution d_a2Erb r_a2Erc) (HalfLine d_a2Erb r_a2Erc)
+ Algorithms.Geometry.LinearProgramming.Types: _UnBounded :: forall d_a2EsL r_a2EsM. Prism' (LPSolution d_a2EsL r_a2EsM) (HalfLine d_a2EsL r_a2EsM)
- Algorithms.Geometry.LinearProgramming.Types: constraints :: forall d_a2Esn r_a2Eso. Lens' (LinearProgram d_a2Esn r_a2Eso) [HalfSpace d_a2Esn r_a2Eso]
+ Algorithms.Geometry.LinearProgramming.Types: constraints :: forall d_a2EtX r_a2EtY. Lens' (LinearProgram d_a2EtX r_a2EtY) [HalfSpace d_a2EtX r_a2EtY]
- Algorithms.Geometry.LinearProgramming.Types: objective :: forall d_a2Esn r_a2Eso. Lens' (LinearProgram d_a2Esn r_a2Eso) (Vector d_a2Esn r_a2Eso)
+ Algorithms.Geometry.LinearProgramming.Types: objective :: forall d_a2EtX r_a2EtY. Lens' (LinearProgram d_a2EtX r_a2EtY) (Vector d_a2EtX r_a2EtY)
- Algorithms.Geometry.SmallestEnclosingBall: definingPoints :: forall p_a2IZX r_a2IZY p_a2JiD. Lens (DiskResult p_a2IZX r_a2IZY) (DiskResult p_a2JiD r_a2IZY) (TwoOrThree ((:+) (Point 2 r_a2IZY) p_a2IZX)) (TwoOrThree ((:+) (Point 2 r_a2IZY) p_a2JiD))
+ Algorithms.Geometry.SmallestEnclosingBall: definingPoints :: forall p_a2J1x r_a2J1y p_a2Jkd. Lens (DiskResult p_a2J1x r_a2J1y) (DiskResult p_a2Jkd r_a2J1y) (TwoOrThree ((:+) (Point 2 r_a2J1y) p_a2J1x)) (TwoOrThree ((:+) (Point 2 r_a2J1y) p_a2Jkd))
- Algorithms.Geometry.SmallestEnclosingBall: enclosingDisk :: forall p_a2IZX r_a2IZY. Lens' (DiskResult p_a2IZX r_a2IZY) (Disk () r_a2IZY)
+ Algorithms.Geometry.SmallestEnclosingBall: enclosingDisk :: forall p_a2J1x r_a2J1y. Lens' (DiskResult p_a2J1x r_a2J1y) (Disk () r_a2J1y)
- Algorithms.Geometry.WSPD: nodeData :: forall d_a2zZW r_a2zZX a_a2zZY a_a2A4F. Lens (NodeData d_a2zZW r_a2zZX a_a2zZY) (NodeData d_a2zZW r_a2zZX a_a2A4F) a_a2zZY a_a2A4F
+ Algorithms.Geometry.WSPD: nodeData :: forall d_a2A1u r_a2A1v a_a2A1w a_a2A6d. Lens (NodeData d_a2A1u r_a2A1v a_a2A1w) (NodeData d_a2A1u r_a2A1v a_a2A6d) a_a2A1w a_a2A6d
- Algorithms.Geometry.WellSeparatedPairDecomposition.Types: bBox :: forall d_a2zZW r_a2zZX a_a2zZY d_a2A4D r_a2A4E. Lens (NodeData d_a2zZW r_a2zZX a_a2zZY) (NodeData d_a2A4D r_a2A4E a_a2zZY) (Box d_a2zZW () r_a2zZX) (Box d_a2A4D () r_a2A4E)
+ Algorithms.Geometry.WellSeparatedPairDecomposition.Types: bBox :: forall d_a2A1u r_a2A1v a_a2A1w d_a2A6b r_a2A6c. Lens (NodeData d_a2A1u r_a2A1v a_a2A1w) (NodeData d_a2A6b r_a2A6c a_a2A1w) (Box d_a2A1u () r_a2A1v) (Box d_a2A6b () r_a2A6c)
- Algorithms.Geometry.WellSeparatedPairDecomposition.Types: leftPart :: forall d_a2AgQ r_a2AgR p_a2AgS. Lens' (FindAndCompact d_a2AgQ r_a2AgR p_a2AgS) (Seq ((:+) (Point d_a2AgQ r_a2AgR) p_a2AgS))
+ Algorithms.Geometry.WellSeparatedPairDecomposition.Types: leftPart :: forall d_a2Aio r_a2Aip p_a2Aiq. Lens' (FindAndCompact d_a2Aio r_a2Aip p_a2Aiq) (Seq ((:+) (Point d_a2Aio r_a2Aip) p_a2Aiq))
- Algorithms.Geometry.WellSeparatedPairDecomposition.Types: nodeData :: forall d_a2zZW r_a2zZX a_a2zZY a_a2A4F. Lens (NodeData d_a2zZW r_a2zZX a_a2zZY) (NodeData d_a2zZW r_a2zZX a_a2A4F) a_a2zZY a_a2A4F
+ Algorithms.Geometry.WellSeparatedPairDecomposition.Types: nodeData :: forall d_a2A1u r_a2A1v a_a2A1w a_a2A6d. Lens (NodeData d_a2A1u r_a2A1v a_a2A1w) (NodeData d_a2A1u r_a2A1v a_a2A6d) a_a2A1w a_a2A6d
- Algorithms.Geometry.WellSeparatedPairDecomposition.Types: rightPart :: forall d_a2AgQ r_a2AgR p_a2AgS. Lens' (FindAndCompact d_a2AgQ r_a2AgR p_a2AgS) (Seq ((:+) (Point d_a2AgQ r_a2AgR) p_a2AgS))
+ Algorithms.Geometry.WellSeparatedPairDecomposition.Types: rightPart :: forall d_a2Aio r_a2Aip p_a2Aiq. Lens' (FindAndCompact d_a2Aio r_a2Aip p_a2Aiq) (Seq ((:+) (Point d_a2Aio r_a2Aip) p_a2Aiq))
- Algorithms.Geometry.WellSeparatedPairDecomposition.Types: shortSide :: forall d_a2AgQ r_a2AgR p_a2AgS. Lens' (FindAndCompact d_a2AgQ r_a2AgR p_a2AgS) ShortSide
+ Algorithms.Geometry.WellSeparatedPairDecomposition.Types: shortSide :: forall d_a2Aio r_a2Aip p_a2Aiq. Lens' (FindAndCompact d_a2Aio r_a2Aip p_a2Aiq) ShortSide
- Algorithms.Geometry.WellSeparatedPairDecomposition.Types: splitDim :: forall d_a2zZW r_a2zZX a_a2zZY. Lens' (NodeData d_a2zZW r_a2zZX a_a2zZY) Int
+ Algorithms.Geometry.WellSeparatedPairDecomposition.Types: splitDim :: forall d_a2A1u r_a2A1v a_a2A1w. Lens' (NodeData d_a2A1u r_a2A1v a_a2A1w) Int
- Data.Geometry.Arrangement: boundedArea :: forall k_a3nrw (s_a3nr2 :: k_a3nrw) l_a3nr3 v_a3nr4 e_a3nr5 f_a3nr6 r_a3nr7. Lens' (Arrangement (s_a3nr2 :: k_a3nrw) l_a3nr3 v_a3nr4 e_a3nr5 f_a3nr6 r_a3nr7) (Rectangle () r_a3nr7)
+ Data.Geometry.Arrangement: boundedArea :: forall k_a3nt6 (s_a3nsC :: k_a3nt6) l_a3nsD v_a3nsE e_a3nsF f_a3nsG r_a3nsH. Lens' (Arrangement (s_a3nsC :: k_a3nt6) l_a3nsD v_a3nsE e_a3nsF f_a3nsG r_a3nsH) (Rectangle () r_a3nsH)
- Data.Geometry.Arrangement: inputLines :: forall k_a3nrw (s_a3nr2 :: k_a3nrw) l_a3nr3 v_a3nr4 e_a3nr5 f_a3nr6 r_a3nr7. Lens' (Arrangement (s_a3nr2 :: k_a3nrw) l_a3nr3 v_a3nr4 e_a3nr5 f_a3nr6 r_a3nr7) (Vector ((:+) (Line 2 r_a3nr7) l_a3nr3))
+ Data.Geometry.Arrangement: inputLines :: forall k_a3nt6 (s_a3nsC :: k_a3nt6) l_a3nsD v_a3nsE e_a3nsF f_a3nsG r_a3nsH. Lens' (Arrangement (s_a3nsC :: k_a3nt6) l_a3nsD v_a3nsE e_a3nsF f_a3nsG r_a3nsH) (Vector ((:+) (Line 2 r_a3nsH) l_a3nsD))
- Data.Geometry.Arrangement: subdivision :: forall k_a3nrw (s_a3nr2 :: k_a3nrw) l_a3nr3 v_a3nr4 e_a3nr5 f_a3nr6 r_a3nr7 v_a3nyJ e_a3nyK f_a3nyL. Lens (Arrangement (s_a3nr2 :: k_a3nrw) l_a3nr3 v_a3nr4 e_a3nr5 f_a3nr6 r_a3nr7) (Arrangement (s_a3nr2 :: k_a3nrw) l_a3nr3 v_a3nyJ e_a3nyK f_a3nyL r_a3nr7) (PlanarSubdivision s_a3nr2 v_a3nr4 e_a3nr5 f_a3nr6 r_a3nr7) (PlanarSubdivision s_a3nr2 v_a3nyJ e_a3nyK f_a3nyL r_a3nr7)
+ Data.Geometry.Arrangement: subdivision :: forall k_a3nt6 (s_a3nsC :: k_a3nt6) l_a3nsD v_a3nsE e_a3nsF f_a3nsG r_a3nsH v_a3nAj e_a3nAk f_a3nAl. Lens (Arrangement (s_a3nsC :: k_a3nt6) l_a3nsD v_a3nsE e_a3nsF f_a3nsG r_a3nsH) (Arrangement (s_a3nsC :: k_a3nt6) l_a3nsD v_a3nAj e_a3nAk f_a3nAl r_a3nsH) (PlanarSubdivision s_a3nsC v_a3nsE e_a3nsF f_a3nsG r_a3nsH) (PlanarSubdivision s_a3nsC v_a3nAj e_a3nAk f_a3nAl r_a3nsH)
- Data.Geometry.Arrangement: unboundedIntersections :: forall k_a3nrw (s_a3nr2 :: k_a3nrw) l_a3nr3 v_a3nr4 e_a3nr5 f_a3nr6 r_a3nr7. Lens' (Arrangement (s_a3nr2 :: k_a3nrw) l_a3nr3 v_a3nr4 e_a3nr5 f_a3nr6 r_a3nr7) (ArrangementBoundary s_a3nr2 l_a3nr3 r_a3nr7)
+ Data.Geometry.Arrangement: unboundedIntersections :: forall k_a3nt6 (s_a3nsC :: k_a3nt6) l_a3nsD v_a3nsE e_a3nsF f_a3nsG r_a3nsH. Lens' (Arrangement (s_a3nsC :: k_a3nt6) l_a3nsD v_a3nsE e_a3nsF f_a3nsG r_a3nsH) (ArrangementBoundary s_a3nsC l_a3nsD r_a3nsH)
- Data.Geometry.Arrangement.Internal: boundedArea :: forall k_a3nrw (s_a3nr2 :: k_a3nrw) l_a3nr3 v_a3nr4 e_a3nr5 f_a3nr6 r_a3nr7. Lens' (Arrangement (s_a3nr2 :: k_a3nrw) l_a3nr3 v_a3nr4 e_a3nr5 f_a3nr6 r_a3nr7) (Rectangle () r_a3nr7)
+ Data.Geometry.Arrangement.Internal: boundedArea :: forall k_a3nt6 (s_a3nsC :: k_a3nt6) l_a3nsD v_a3nsE e_a3nsF f_a3nsG r_a3nsH. Lens' (Arrangement (s_a3nsC :: k_a3nt6) l_a3nsD v_a3nsE e_a3nsF f_a3nsG r_a3nsH) (Rectangle () r_a3nsH)
- Data.Geometry.Arrangement.Internal: inputLines :: forall k_a3nrw (s_a3nr2 :: k_a3nrw) l_a3nr3 v_a3nr4 e_a3nr5 f_a3nr6 r_a3nr7. Lens' (Arrangement (s_a3nr2 :: k_a3nrw) l_a3nr3 v_a3nr4 e_a3nr5 f_a3nr6 r_a3nr7) (Vector ((:+) (Line 2 r_a3nr7) l_a3nr3))
+ Data.Geometry.Arrangement.Internal: inputLines :: forall k_a3nt6 (s_a3nsC :: k_a3nt6) l_a3nsD v_a3nsE e_a3nsF f_a3nsG r_a3nsH. Lens' (Arrangement (s_a3nsC :: k_a3nt6) l_a3nsD v_a3nsE e_a3nsF f_a3nsG r_a3nsH) (Vector ((:+) (Line 2 r_a3nsH) l_a3nsD))
- Data.Geometry.Arrangement.Internal: subdivision :: forall k_a3nrw (s_a3nr2 :: k_a3nrw) l_a3nr3 v_a3nr4 e_a3nr5 f_a3nr6 r_a3nr7 v_a3nyJ e_a3nyK f_a3nyL. Lens (Arrangement (s_a3nr2 :: k_a3nrw) l_a3nr3 v_a3nr4 e_a3nr5 f_a3nr6 r_a3nr7) (Arrangement (s_a3nr2 :: k_a3nrw) l_a3nr3 v_a3nyJ e_a3nyK f_a3nyL r_a3nr7) (PlanarSubdivision s_a3nr2 v_a3nr4 e_a3nr5 f_a3nr6 r_a3nr7) (PlanarSubdivision s_a3nr2 v_a3nyJ e_a3nyK f_a3nyL r_a3nr7)
+ Data.Geometry.Arrangement.Internal: subdivision :: forall k_a3nt6 (s_a3nsC :: k_a3nt6) l_a3nsD v_a3nsE e_a3nsF f_a3nsG r_a3nsH v_a3nAj e_a3nAk f_a3nAl. Lens (Arrangement (s_a3nsC :: k_a3nt6) l_a3nsD v_a3nsE e_a3nsF f_a3nsG r_a3nsH) (Arrangement (s_a3nsC :: k_a3nt6) l_a3nsD v_a3nAj e_a3nAk f_a3nAl r_a3nsH) (PlanarSubdivision s_a3nsC v_a3nsE e_a3nsF f_a3nsG r_a3nsH) (PlanarSubdivision s_a3nsC v_a3nAj e_a3nAk f_a3nAl r_a3nsH)
- Data.Geometry.Arrangement.Internal: unboundedIntersections :: forall k_a3nrw (s_a3nr2 :: k_a3nrw) l_a3nr3 v_a3nr4 e_a3nr5 f_a3nr6 r_a3nr7. Lens' (Arrangement (s_a3nr2 :: k_a3nrw) l_a3nr3 v_a3nr4 e_a3nr5 f_a3nr6 r_a3nr7) (ArrangementBoundary s_a3nr2 l_a3nr3 r_a3nr7)
+ Data.Geometry.Arrangement.Internal: unboundedIntersections :: forall k_a3nt6 (s_a3nsC :: k_a3nt6) l_a3nsD v_a3nsE e_a3nsF f_a3nsG r_a3nsH. Lens' (Arrangement (s_a3nsC :: k_a3nt6) l_a3nsD v_a3nsE e_a3nsF f_a3nsG r_a3nsH) (ArrangementBoundary s_a3nsC l_a3nsD r_a3nsH)
- Data.Geometry.Ball: center :: forall d_a2aFI p_a2aFJ r_a2aFK d_a2aIm p_a2aIn. Lens (Ball d_a2aFI p_a2aFJ r_a2aFK) (Ball d_a2aIm p_a2aIn r_a2aFK) ((:+) (Point d_a2aFI r_a2aFK) p_a2aFJ) ((:+) (Point d_a2aIm r_a2aFK) p_a2aIn)
+ Data.Geometry.Ball: center :: forall d_a2aHb p_a2aHc r_a2aHd d_a2aJP p_a2aJQ. Lens (Ball d_a2aHb p_a2aHc r_a2aHd) (Ball d_a2aJP p_a2aJQ r_a2aHd) ((:+) (Point d_a2aHb r_a2aHd) p_a2aHc) ((:+) (Point d_a2aJP r_a2aHd) p_a2aJQ)
- Data.Geometry.Ball: squaredRadius :: forall d_a2aFI p_a2aFJ r_a2aFK. Lens' (Ball d_a2aFI p_a2aFJ r_a2aFK) r_a2aFK
+ Data.Geometry.Ball: squaredRadius :: forall d_a2aHb p_a2aHc r_a2aHd. Lens' (Ball d_a2aHb p_a2aHc r_a2aHd) r_a2aHd
- Data.Geometry.Box.Corners: northEast :: forall a_a1CNV. Lens' (Corners a_a1CNV) a_a1CNV
+ Data.Geometry.Box.Corners: northEast :: forall a_a1CPo. Lens' (Corners a_a1CPo) a_a1CPo
- Data.Geometry.Box.Corners: northWest :: forall a_a1CNV. Lens' (Corners a_a1CNV) a_a1CNV
+ Data.Geometry.Box.Corners: northWest :: forall a_a1CPo. Lens' (Corners a_a1CPo) a_a1CPo
- Data.Geometry.Box.Corners: southEast :: forall a_a1CNV. Lens' (Corners a_a1CNV) a_a1CNV
+ Data.Geometry.Box.Corners: southEast :: forall a_a1CPo. Lens' (Corners a_a1CPo) a_a1CPo
- Data.Geometry.Box.Corners: southWest :: forall a_a1CNV. Lens' (Corners a_a1CNV) a_a1CNV
+ Data.Geometry.Box.Corners: southWest :: forall a_a1CPo. Lens' (Corners a_a1CPo) a_a1CPo
- Data.Geometry.Box.Internal: cwMax :: forall a_a1jVB a_a1kcK. Iso (CWMax a_a1jVB) (CWMax a_a1kcK) a_a1jVB a_a1kcK
+ Data.Geometry.Box.Internal: cwMax :: forall a_a1jWJ a_a1kdS. Iso (CWMax a_a1jWJ) (CWMax a_a1kdS) a_a1jWJ a_a1kdS
- Data.Geometry.Box.Internal: cwMin :: forall a_a1jGA a_a1jVv. Iso (CWMin a_a1jGA) (CWMin a_a1jVv) a_a1jGA a_a1jVv
+ Data.Geometry.Box.Internal: cwMin :: forall a_a1jHI a_a1jWD. Iso (CWMin a_a1jHI) (CWMin a_a1jWD) a_a1jHI a_a1jWD
- Data.Geometry.Box.Internal: maxP :: forall d_a1kcR p_a1kcS r_a1kcT. Lens' (Box d_a1kcR p_a1kcS r_a1kcT) ((:+) (CWMax (Point d_a1kcR r_a1kcT)) p_a1kcS)
+ Data.Geometry.Box.Internal: maxP :: forall d_a1kdZ p_a1ke0 r_a1ke1. Lens' (Box d_a1kdZ p_a1ke0 r_a1ke1) ((:+) (CWMax (Point d_a1kdZ r_a1ke1)) p_a1ke0)
- Data.Geometry.Box.Internal: minP :: forall d_a1kcR p_a1kcS r_a1kcT. Lens' (Box d_a1kcR p_a1kcS r_a1kcT) ((:+) (CWMin (Point d_a1kcR r_a1kcT)) p_a1kcS)
+ Data.Geometry.Box.Internal: minP :: forall d_a1kdZ p_a1ke0 r_a1ke1. Lens' (Box d_a1kdZ p_a1ke0 r_a1ke1) ((:+) (CWMin (Point d_a1kdZ r_a1ke1)) p_a1ke0)
- Data.Geometry.Box.Sides: east :: forall a_a1Fea. Lens' (Sides a_a1Fea) a_a1Fea
+ Data.Geometry.Box.Sides: east :: forall a_a1FfD. Lens' (Sides a_a1FfD) a_a1FfD
- Data.Geometry.Box.Sides: north :: forall a_a1Fea. Lens' (Sides a_a1Fea) a_a1Fea
+ Data.Geometry.Box.Sides: north :: forall a_a1FfD. Lens' (Sides a_a1FfD) a_a1FfD
- Data.Geometry.Box.Sides: south :: forall a_a1Fea. Lens' (Sides a_a1Fea) a_a1Fea
+ Data.Geometry.Box.Sides: south :: forall a_a1FfD. Lens' (Sides a_a1FfD) a_a1FfD
- Data.Geometry.Box.Sides: west :: forall a_a1Fea. Lens' (Sides a_a1Fea) a_a1Fea
+ Data.Geometry.Box.Sides: west :: forall a_a1FfD. Lens' (Sides a_a1FfD) a_a1FfD
- Data.Geometry.Ellipse: affineTransformation :: forall r_a2wxS r_a2x0y. Iso (Ellipse r_a2wxS) (Ellipse r_a2x0y) (Transformation 2 r_a2wxS) (Transformation 2 r_a2x0y)
+ Data.Geometry.Ellipse: affineTransformation :: forall r_a2wzq r_a2x26. Iso (Ellipse r_a2wzq) (Ellipse r_a2x26) (Transformation 2 r_a2wzq) (Transformation 2 r_a2x26)
- Data.Geometry.HalfLine: halfLineDirection :: forall d_a22nq r_a22nr. Lens' (HalfLine d_a22nq r_a22nr) (Vector d_a22nq r_a22nr)
+ Data.Geometry.HalfLine: halfLineDirection :: forall d_a22oT r_a22oU. Lens' (HalfLine d_a22oT r_a22oU) (Vector d_a22oT r_a22oU)
- Data.Geometry.HalfLine: startPoint :: forall d_a22nq r_a22nr. Lens' (HalfLine d_a22nq r_a22nr) (Point d_a22nq r_a22nr)
+ Data.Geometry.HalfLine: startPoint :: forall d_a22oT r_a22oU. Lens' (HalfLine d_a22oT r_a22oU) (Point d_a22oT r_a22oU)
- Data.Geometry.HalfSpace: boundingPlane :: forall d_a27n2 r_a27n3 d_a27oV r_a27oW. Iso (HalfSpace d_a27n2 r_a27n3) (HalfSpace d_a27oV r_a27oW) (HyperPlane d_a27n2 r_a27n3) (HyperPlane d_a27oV r_a27oW)
+ Data.Geometry.HalfSpace: boundingPlane :: forall d_a27ov r_a27ow d_a27qo r_a27qp. Iso (HalfSpace d_a27ov r_a27ow) (HalfSpace d_a27qo r_a27qp) (HyperPlane d_a27ov r_a27ow) (HyperPlane d_a27qo r_a27qp)
- Data.Geometry.HyperPlane: inPlane :: forall d_a1Ysp r_a1Ysq. Lens' (HyperPlane d_a1Ysp r_a1Ysq) (Point d_a1Ysp r_a1Ysq)
+ Data.Geometry.HyperPlane: inPlane :: forall d_a1YtS r_a1YtT. Lens' (HyperPlane d_a1YtS r_a1YtT) (Point d_a1YtS r_a1YtT)
- Data.Geometry.HyperPlane: normalVec :: forall d_a1Ysp r_a1Ysq. Lens' (HyperPlane d_a1Ysp r_a1Ysq) (Vector d_a1Ysp r_a1Ysq)
+ Data.Geometry.HyperPlane: normalVec :: forall d_a1YtS r_a1YtT. Lens' (HyperPlane d_a1YtS r_a1YtT) (Vector d_a1YtS r_a1YtT)
- Data.Geometry.Interval.Util: unL :: forall r_alkY r_alOC. Iso (L r_alkY) (L r_alOC) (EndPoint r_alkY) (EndPoint r_alOC)
+ Data.Geometry.Interval.Util: unL :: forall r_alm6 r_alPK. Iso (L r_alm6) (L r_alPK) (EndPoint r_alm6) (EndPoint r_alPK)
- Data.Geometry.Interval.Util: unR :: forall r_alOI r_am1B. Iso (R r_alOI) (R r_am1B) (EndPoint r_alOI) (EndPoint r_am1B)
+ Data.Geometry.Interval.Util: unR :: forall r_alPQ r_am2J. Iso (R r_alPQ) (R r_am2J) (EndPoint r_alPQ) (EndPoint r_am2J)
- Data.Geometry.IntervalTree: intervalsLeft :: forall i_ap2T r_ap2U. Lens' (NodeData i_ap2T r_ap2U) (Map (L r_ap2U) [i_ap2T])
+ Data.Geometry.IntervalTree: intervalsLeft :: forall i_ap41 r_ap42. Lens' (NodeData i_ap41 r_ap42) (Map (L r_ap42) [i_ap41])
- Data.Geometry.IntervalTree: intervalsRight :: forall i_ap2T r_ap2U. Lens' (NodeData i_ap2T r_ap2U) (Map (R r_ap2U) [i_ap2T])
+ Data.Geometry.IntervalTree: intervalsRight :: forall i_ap41 r_ap42. Lens' (NodeData i_ap41 r_ap42) (Map (R r_ap42) [i_ap41])
- Data.Geometry.IntervalTree: splitPoint :: forall i_ap2T r_ap2U. Lens' (NodeData i_ap2T r_ap2U) r_ap2U
+ Data.Geometry.IntervalTree: splitPoint :: forall i_ap41 r_ap42. Lens' (NodeData i_ap41 r_ap42) r_ap42
- Data.Geometry.IntervalTree: unIntervalTree :: forall i_apbV r_apbW i_apiT r_apiU. Iso (IntervalTree i_apbV r_apbW) (IntervalTree i_apiT r_apiU) (BinaryTree (NodeData i_apbV r_apbW)) (BinaryTree (NodeData i_apiT r_apiU))
+ Data.Geometry.IntervalTree: unIntervalTree :: forall i_apd3 r_apd4 i_apk1 r_apk2. Iso (IntervalTree i_apd3 r_apd4) (IntervalTree i_apk1 r_apk2) (BinaryTree (NodeData i_apd3 r_apd4)) (BinaryTree (NodeData i_apk1 r_apk2))
- Data.Geometry.PlanarSubdivision.Basic: components :: forall k_a3brF (s_a3br1 :: k_a3brF) v_a3br2 e_a3br3 f_a3br4 r_a3br5 r_a3bEa. Lens (PlanarSubdivision (s_a3br1 :: k_a3brF) v_a3br2 e_a3br3 f_a3br4 r_a3br5) (PlanarSubdivision (s_a3br1 :: k_a3brF) v_a3br2 e_a3br3 f_a3br4 r_a3bEa) (Vector (Component s_a3br1 r_a3br5)) (Vector (Component s_a3br1 r_a3bEa))
+ Data.Geometry.PlanarSubdivision.Basic: components :: forall k_a3btf (s_a3bsB :: k_a3btf) v_a3bsC e_a3bsD f_a3bsE r_a3bsF r_a3bFK. Lens (PlanarSubdivision (s_a3bsB :: k_a3btf) v_a3bsC e_a3bsD f_a3bsE r_a3bsF) (PlanarSubdivision (s_a3bsB :: k_a3btf) v_a3bsC e_a3bsD f_a3bsE r_a3bFK) (Vector (Component s_a3bsB r_a3bsF)) (Vector (Component s_a3bsB r_a3bFK))
- Data.Geometry.PlanarSubdivision.Basic: fData :: forall h_a35iz f_a35iA f_a364z. Lens (FaceData h_a35iz f_a35iA) (FaceData h_a35iz f_a364z) f_a35iA f_a364z
+ Data.Geometry.PlanarSubdivision.Basic: fData :: forall h_a35k9 f_a35ka f_a3669. Lens (FaceData h_a35k9 f_a35ka) (FaceData h_a35k9 f_a3669) f_a35ka f_a3669
- Data.Geometry.PlanarSubdivision.Basic: holes :: forall h_a35iz f_a35iA h_a364A. Lens (FaceData h_a35iz f_a35iA) (FaceData h_a364A f_a35iA) (Seq h_a35iz) (Seq h_a364A)
+ Data.Geometry.PlanarSubdivision.Basic: holes :: forall h_a35k9 f_a35ka h_a366a. Lens (FaceData h_a35k9 f_a35ka) (FaceData h_a366a f_a35ka) (Seq h_a35k9) (Seq h_a366a)
- Data.Geometry.PlanarSubdivision.Basic: location :: forall r_a2XEn v_a2XEo r_a2XT1. Lens (VertexData r_a2XEn v_a2XEo) (VertexData r_a2XT1 v_a2XEo) (Point 2 r_a2XEn) (Point 2 r_a2XT1)
+ Data.Geometry.PlanarSubdivision.Basic: location :: forall r_a2XFX v_a2XFY r_a2XUB. Lens (VertexData r_a2XFX v_a2XFY) (VertexData r_a2XUB v_a2XFY) (Point 2 r_a2XFX) (Point 2 r_a2XUB)
- Data.Geometry.PlanarSubdivision.Basic: rawDartData :: forall k_a3brF (s_a3br1 :: k_a3brF) v_a3br2 e_a3br3 f_a3br4 r_a3br5 e_a3bEb. Lens (PlanarSubdivision (s_a3br1 :: k_a3brF) v_a3br2 e_a3br3 f_a3br4 r_a3br5) (PlanarSubdivision (s_a3br1 :: k_a3brF) v_a3br2 e_a3bEb f_a3br4 r_a3br5) (Vector (Raw s_a3br1 (Dart (Wrap s_a3br1)) e_a3br3)) (Vector (Raw s_a3br1 (Dart (Wrap s_a3br1)) e_a3bEb))
+ Data.Geometry.PlanarSubdivision.Basic: rawDartData :: forall k_a3btf (s_a3bsB :: k_a3btf) v_a3bsC e_a3bsD f_a3bsE r_a3bsF e_a3bFL. Lens (PlanarSubdivision (s_a3bsB :: k_a3btf) v_a3bsC e_a3bsD f_a3bsE r_a3bsF) (PlanarSubdivision (s_a3bsB :: k_a3btf) v_a3bsC e_a3bFL f_a3bsE r_a3bsF) (Vector (Raw s_a3bsB (Dart (Wrap s_a3bsB)) e_a3bsD)) (Vector (Raw s_a3bsB (Dart (Wrap s_a3bsB)) e_a3bFL))
- Data.Geometry.PlanarSubdivision.Basic: rawFaceData :: forall k_a3brF (s_a3br1 :: k_a3brF) v_a3br2 e_a3br3 f_a3br4 r_a3br5 f_a3bEc. Lens (PlanarSubdivision (s_a3br1 :: k_a3brF) v_a3br2 e_a3br3 f_a3br4 r_a3br5) (PlanarSubdivision (s_a3br1 :: k_a3brF) v_a3br2 e_a3br3 f_a3bEc r_a3br5) (Vector (RawFace s_a3br1 f_a3br4)) (Vector (RawFace s_a3br1 f_a3bEc))
+ Data.Geometry.PlanarSubdivision.Basic: rawFaceData :: forall k_a3btf (s_a3bsB :: k_a3btf) v_a3bsC e_a3bsD f_a3bsE r_a3bsF f_a3bFM. Lens (PlanarSubdivision (s_a3bsB :: k_a3btf) v_a3bsC e_a3bsD f_a3bsE r_a3bsF) (PlanarSubdivision (s_a3bsB :: k_a3btf) v_a3bsC e_a3bsD f_a3bFM r_a3bsF) (Vector (RawFace s_a3bsB f_a3bsE)) (Vector (RawFace s_a3bsB f_a3bFM))
- Data.Geometry.PlanarSubdivision.Basic: rawVertexData :: forall k_a3brF (s_a3br1 :: k_a3brF) v_a3br2 e_a3br3 f_a3br4 r_a3br5 v_a3bEd. Lens (PlanarSubdivision (s_a3br1 :: k_a3brF) v_a3br2 e_a3br3 f_a3br4 r_a3br5) (PlanarSubdivision (s_a3br1 :: k_a3brF) v_a3bEd e_a3br3 f_a3br4 r_a3br5) (Vector (Raw s_a3br1 (VertexId' (Wrap s_a3br1)) v_a3br2)) (Vector (Raw s_a3br1 (VertexId' (Wrap s_a3br1)) v_a3bEd))
+ Data.Geometry.PlanarSubdivision.Basic: rawVertexData :: forall k_a3btf (s_a3bsB :: k_a3btf) v_a3bsC e_a3bsD f_a3bsE r_a3bsF v_a3bFN. Lens (PlanarSubdivision (s_a3bsB :: k_a3btf) v_a3bsC e_a3bsD f_a3bsE r_a3bsF) (PlanarSubdivision (s_a3bsB :: k_a3btf) v_a3bFN e_a3bsD f_a3bsE r_a3bsF) (Vector (Raw s_a3bsB (VertexId' (Wrap s_a3bsB)) v_a3bsC)) (Vector (Raw s_a3bsB (VertexId' (Wrap s_a3bsB)) v_a3bFN))
- Data.Geometry.PlanarSubdivision.Basic: vData :: forall r_a2XEn v_a2XEo v_a2XT2. Lens (VertexData r_a2XEn v_a2XEo) (VertexData r_a2XEn v_a2XT2) v_a2XEo v_a2XT2
+ Data.Geometry.PlanarSubdivision.Basic: vData :: forall r_a2XFX v_a2XFY v_a2XUC. Lens (VertexData r_a2XFX v_a2XFY) (VertexData r_a2XFX v_a2XUC) v_a2XFY v_a2XUC
- Data.Geometry.PlanarSubdivision.Raw: fData :: forall h_a35iz f_a35iA f_a364z. Lens (FaceData h_a35iz f_a35iA) (FaceData h_a35iz f_a364z) f_a35iA f_a364z
+ Data.Geometry.PlanarSubdivision.Raw: fData :: forall h_a35k9 f_a35ka f_a3669. Lens (FaceData h_a35k9 f_a35ka) (FaceData h_a35k9 f_a3669) f_a35ka f_a3669
- Data.Geometry.PlanarSubdivision.Raw: faceDataVal :: forall k_a365t (s_a364P :: k_a365t) f_a364Q f_a36kx. Lens (RawFace (s_a364P :: k_a365t) f_a364Q) (RawFace (s_a364P :: k_a365t) f_a36kx) (FaceData (Dart s_a364P) f_a364Q) (FaceData (Dart s_a364P) f_a36kx)
+ Data.Geometry.PlanarSubdivision.Raw: faceDataVal :: forall k_a3673 (s_a366p :: k_a3673) f_a366q f_a36m7. Lens (RawFace (s_a366p :: k_a3673) f_a366q) (RawFace (s_a366p :: k_a3673) f_a36m7) (FaceData (Dart s_a366p) f_a366q) (FaceData (Dart s_a366p) f_a36m7)
- Data.Geometry.PlanarSubdivision.Raw: faceIdx :: forall k_a365t (s_a364P :: k_a365t) f_a364Q. Lens' (RawFace (s_a364P :: k_a365t) f_a364Q) (Maybe (ComponentId s_a364P, FaceId' (Wrap s_a364P)))
+ Data.Geometry.PlanarSubdivision.Raw: faceIdx :: forall k_a3673 (s_a366p :: k_a3673) f_a366q. Lens' (RawFace (s_a366p :: k_a3673) f_a366q) (Maybe (ComponentId s_a366p, FaceId' (Wrap s_a366p)))
- Data.Geometry.PlanarSubdivision.Raw: holes :: forall h_a35iz f_a35iA h_a364A. Lens (FaceData h_a35iz f_a35iA) (FaceData h_a364A f_a35iA) (Seq h_a35iz) (Seq h_a364A)
+ Data.Geometry.PlanarSubdivision.Raw: holes :: forall h_a35k9 f_a35ka h_a366a. Lens (FaceData h_a35k9 f_a35ka) (FaceData h_a366a f_a35ka) (Seq h_a35k9) (Seq h_a366a)
- Data.Geometry.PointLocation.PersistentSweep: outerFace :: forall k_a3kaZ (s_a3kaK :: k_a3kaZ) v_a3kaL e_a3kaM f_a3kaN r_a3kaO. Getter (PointLocationDS (s_a3kaK :: k_a3kaZ) v_a3kaL e_a3kaM f_a3kaN r_a3kaO) (FaceId' s_a3kaK)
+ Data.Geometry.PointLocation.PersistentSweep: outerFace :: forall k_a3kcz (s_a3kck :: k_a3kcz) v_a3kcl e_a3kcm f_a3kcn r_a3kco. Getter (PointLocationDS (s_a3kck :: k_a3kcz) v_a3kcl e_a3kcm f_a3kcn r_a3kco) (FaceId' s_a3kck)
- Data.Geometry.PointLocation.PersistentSweep: subdivision :: forall k_a3kaZ (s_a3kaK :: k_a3kaZ) v_a3kaL e_a3kaM f_a3kaN r_a3kaO. Getter (PointLocationDS (s_a3kaK :: k_a3kaZ) v_a3kaL e_a3kaM f_a3kaN r_a3kaO) (PlanarSubdivision s_a3kaK v_a3kaL e_a3kaM f_a3kaN r_a3kaO)
+ Data.Geometry.PointLocation.PersistentSweep: subdivision :: forall k_a3kcz (s_a3kck :: k_a3kcz) v_a3kcl e_a3kcm f_a3kcn r_a3kco. Getter (PointLocationDS (s_a3kck :: k_a3kcz) v_a3kcl e_a3kcm f_a3kcn r_a3kco) (PlanarSubdivision s_a3kck v_a3kcl e_a3kcm f_a3kcn r_a3kco)
- Data.Geometry.PointLocation.PersistentSweep: verticalRayShootingStructure :: forall k_a3kaZ (s_a3kaK :: k_a3kaZ) v_a3kaL e_a3kaM f_a3kaN r_a3kaO. Getter (PointLocationDS (s_a3kaK :: k_a3kaZ) v_a3kaL e_a3kaM f_a3kaN r_a3kaO) (VerticalRayShootingStructure v_a3kaL (Dart s_a3kaK) r_a3kaO)
+ Data.Geometry.PointLocation.PersistentSweep: verticalRayShootingStructure :: forall k_a3kcz (s_a3kck :: k_a3kcz) v_a3kcl e_a3kcm f_a3kcn r_a3kco. Getter (PointLocationDS (s_a3kck :: k_a3kcz) v_a3kcl e_a3kcm f_a3kcn r_a3kco) (VerticalRayShootingStructure v_a3kcl (Dart s_a3kck) r_a3kco)
- Data.Geometry.QuadTree: startingCell :: forall v_a1NLO p_a1NLP r_a1NLQ r_a1NXV. Lens (QuadTree v_a1NLO p_a1NLP r_a1NLQ) (QuadTree v_a1NLO p_a1NLP r_a1NXV) (Cell r_a1NLQ) (Cell r_a1NXV)
+ Data.Geometry.QuadTree: startingCell :: forall v_a1NNh p_a1NNi r_a1NNj r_a1NZo. Lens (QuadTree v_a1NNh p_a1NNi r_a1NNj) (QuadTree v_a1NNh p_a1NNi r_a1NZo) (Cell r_a1NNj) (Cell r_a1NZo)
- Data.Geometry.QuadTree: tree :: forall v_a1NLO p_a1NLP r_a1NLQ v_a1NXW p_a1NXX. Lens (QuadTree v_a1NLO p_a1NLP r_a1NLQ) (QuadTree v_a1NXW p_a1NXX r_a1NLQ) (Tree v_a1NLO p_a1NLP) (Tree v_a1NXW p_a1NXX)
+ Data.Geometry.QuadTree: tree :: forall v_a1NNh p_a1NNi r_a1NNj v_a1NZp p_a1NZq. Lens (QuadTree v_a1NNh p_a1NNi r_a1NNj) (QuadTree v_a1NZp p_a1NZq r_a1NNj) (Tree v_a1NNh p_a1NNi) (Tree v_a1NZp p_a1NZq)
- Data.Geometry.QuadTree.Cell: cellWidthIndex :: forall r_a1I7i. Lens' (Cell r_a1I7i) WidthIndex
+ Data.Geometry.QuadTree.Cell: cellWidthIndex :: forall r_a1I8L. Lens' (Cell r_a1I8L) WidthIndex
- Data.Geometry.QuadTree.Cell: lowerLeft :: forall r_a1I7i r_a1Iih. Lens (Cell r_a1I7i) (Cell r_a1Iih) (Point 2 r_a1I7i) (Point 2 r_a1Iih)
+ Data.Geometry.QuadTree.Cell: lowerLeft :: forall r_a1I8L r_a1IjK. Lens (Cell r_a1I8L) (Cell r_a1IjK) (Point 2 r_a1I8L) (Point 2 r_a1IjK)
- Data.Geometry.QuadTree.Split: _No :: forall i_a1Luw v_a1Lux p_a1LAN p_a1Luy. Prism (Split i_a1Luw v_a1Lux p_a1LAN) (Split i_a1Luw v_a1Lux p_a1Luy) p_a1LAN p_a1Luy
+ Data.Geometry.QuadTree.Split: _No :: forall i_a1LvZ v_a1Lw0 p_a1LCg p_a1Lw1. Prism (Split i_a1LvZ v_a1Lw0 p_a1LCg) (Split i_a1LvZ v_a1Lw0 p_a1Lw1) p_a1LCg p_a1Lw1
- Data.Geometry.QuadTree.Split: _Yes :: forall i_a1LAT v_a1LAU p_a1Luy i_a1Luw v_a1Lux. Prism (Split i_a1LAT v_a1LAU p_a1Luy) (Split i_a1Luw v_a1Lux p_a1Luy) (v_a1LAU, Quadrants i_a1LAT) (v_a1Lux, Quadrants i_a1Luw)
+ Data.Geometry.QuadTree.Split: _Yes :: forall i_a1LCm v_a1LCn p_a1Lw1 i_a1LvZ v_a1Lw0. Prism (Split i_a1LCm v_a1LCn p_a1Lw1) (Split i_a1LvZ v_a1Lw0 p_a1Lw1) (v_a1LCn, Quadrants i_a1LCm) (v_a1Lw0, Quadrants i_a1LvZ)
- Data.Geometry.QuadTree.Tree: _Leaf :: forall v_a1Mum p_a1Mun. Prism' (Tree v_a1Mum p_a1Mun) p_a1Mun
+ Data.Geometry.QuadTree.Tree: _Leaf :: forall v_a1MvP p_a1MvQ. Prism' (Tree v_a1MvP p_a1MvQ) p_a1MvQ
- Data.Geometry.QuadTree.Tree: _Node :: forall v_a1MxL p_a1Mun v_a1Mum. Prism (Tree v_a1MxL p_a1Mun) (Tree v_a1Mum p_a1Mun) (v_a1MxL, Quadrants (Tree v_a1MxL p_a1Mun)) (v_a1Mum, Quadrants (Tree v_a1Mum p_a1Mun))
+ Data.Geometry.QuadTree.Tree: _Node :: forall v_a1Mze p_a1MvQ v_a1MvP. Prism (Tree v_a1Mze p_a1MvQ) (Tree v_a1MvP p_a1MvQ) (v_a1Mze, Quadrants (Tree v_a1Mze p_a1MvQ)) (v_a1MvP, Quadrants (Tree v_a1MvP p_a1MvQ))
- Data.Geometry.SegmentTree.Generic: assoc :: forall v_au0s r_au0t v_au7r. Lens (NodeData v_au0s r_au0t) (NodeData v_au7r r_au0t) v_au0s v_au7r
+ Data.Geometry.SegmentTree.Generic: assoc :: forall v_au1A r_au1B v_au8z. Lens (NodeData v_au1A r_au1B) (NodeData v_au8z r_au1B) v_au1A v_au8z
- Data.Geometry.SegmentTree.Generic: atomicRange :: forall v_au7R r_au7S r_aulo. Lens (LeafData v_au7R r_au7S) (LeafData v_au7R r_aulo) (AtomicRange r_au7S) (AtomicRange r_aulo)
+ Data.Geometry.SegmentTree.Generic: atomicRange :: forall v_au8Z r_au90 r_aumw. Lens (LeafData v_au8Z r_au90) (LeafData v_au8Z r_aumw) (AtomicRange r_au90) (AtomicRange r_aumw)
- Data.Geometry.SegmentTree.Generic: leafAssoc :: forall v_au7R r_au7S v_aulp. Lens (LeafData v_au7R r_au7S) (LeafData v_aulp r_au7S) v_au7R v_aulp
+ Data.Geometry.SegmentTree.Generic: leafAssoc :: forall v_au8Z r_au90 v_aumx. Lens (LeafData v_au8Z r_au90) (LeafData v_aumx r_au90) v_au8Z v_aumx
- Data.Geometry.SegmentTree.Generic: range :: forall v_au0s r_au0t. Lens' (NodeData v_au0s r_au0t) (Range r_au0t)
+ Data.Geometry.SegmentTree.Generic: range :: forall v_au1A r_au1B. Lens' (NodeData v_au1A r_au1B) (Range r_au1B)
- Data.Geometry.SegmentTree.Generic: splitPoint :: forall v_au0s r_au0t. Lens' (NodeData v_au0s r_au0t) (EndPoint r_au0t)
+ Data.Geometry.SegmentTree.Generic: splitPoint :: forall v_au1A r_au1B. Lens' (NodeData v_au1A r_au1B) (EndPoint r_au1B)
- Data.Geometry.SegmentTree.Generic: unSegmentTree :: forall v_aulD r_aulE v_auts r_autt. Iso (SegmentTree v_aulD r_aulE) (SegmentTree v_auts r_autt) (BinLeafTree (NodeData v_aulD r_aulE) (LeafData v_aulD r_aulE)) (BinLeafTree (NodeData v_auts r_autt) (LeafData v_auts r_autt))
+ Data.Geometry.SegmentTree.Generic: unSegmentTree :: forall v_aumL r_aumM v_auuA r_auuB. Iso (SegmentTree v_aumL r_aumM) (SegmentTree v_auuA r_auuB) (BinLeafTree (NodeData v_aumL r_aumM) (LeafData v_aumL r_aumM)) (BinLeafTree (NodeData v_auuA r_auuB) (LeafData v_auuA r_auuB))
- Data.Geometry.Slab: unSlab :: forall o_a1VmQ a_a1VmR r_a1VmS o_a1Vss a_a1Vst r_a1Vsu. Iso (Slab o_a1VmQ a_a1VmR r_a1VmS) (Slab o_a1Vss a_a1Vst r_a1Vsu) (Interval a_a1VmR r_a1VmS) (Interval a_a1Vst r_a1Vsu)
+ Data.Geometry.Slab: unSlab :: forall o_a1Voj a_a1Vok r_a1Vol o_a1VtV a_a1VtW r_a1VtX. Iso (Slab o_a1Voj a_a1Vok r_a1Vol) (Slab o_a1VtV a_a1VtW r_a1VtX) (Interval a_a1Vok r_a1Vol) (Interval a_a1VtW r_a1VtX)
- Data.Geometry.VerticalRayShooting.PersistentSweep: leftMost :: forall p_a2SBk e_a2SBl r_a2SBm. Getter (VerticalRayShootingStructure p_a2SBk e_a2SBl r_a2SBm) r_a2SBm
+ Data.Geometry.VerticalRayShooting.PersistentSweep: leftMost :: forall p_a2SCU e_a2SCV r_a2SCW. Getter (VerticalRayShootingStructure p_a2SCU e_a2SCV r_a2SCW) r_a2SCW
- Data.Geometry.VerticalRayShooting.PersistentSweep: sweepStruct :: forall p_a2SBk e_a2SBl r_a2SBm. Getter (VerticalRayShootingStructure p_a2SBk e_a2SBl r_a2SBm) (Vector ((:+) r_a2SBm (StatusStructure p_a2SBk e_a2SBl r_a2SBm)))
+ Data.Geometry.VerticalRayShooting.PersistentSweep: sweepStruct :: forall p_a2SCU e_a2SCV r_a2SCW. Getter (VerticalRayShootingStructure p_a2SCU e_a2SCV r_a2SCW) (Vector ((:+) r_a2SCW (StatusStructure p_a2SCU e_a2SCV r_a2SCW)))
- Data.PlaneGraph: graph :: forall k_a2XU3 (s_a2XTh :: k_a2XU3) v_a2XTi e_a2XTj f_a2XTk r_a2XTl k_a2Y4l (s_a2Y4g :: k_a2Y4l) v_a2Y4h e_a2Y4i f_a2Y4j r_a2Y4k. Iso (PlaneGraph (s_a2XTh :: k_a2XU3) v_a2XTi e_a2XTj f_a2XTk r_a2XTl) (PlaneGraph (s_a2Y4g :: k_a2Y4l) v_a2Y4h e_a2Y4i f_a2Y4j r_a2Y4k) (PlanarGraph s_a2XTh 'Primal (VertexData r_a2XTl v_a2XTi) e_a2XTj f_a2XTk) (PlanarGraph s_a2Y4g 'Primal (VertexData r_a2Y4k v_a2Y4h) e_a2Y4i f_a2Y4j)
+ Data.PlaneGraph: graph :: forall k_a2XVD (s_a2XUR :: k_a2XVD) v_a2XUS e_a2XUT f_a2XUU r_a2XUV k_a2Y5V (s_a2Y5Q :: k_a2Y5V) v_a2Y5R e_a2Y5S f_a2Y5T r_a2Y5U. Iso (PlaneGraph (s_a2XUR :: k_a2XVD) v_a2XUS e_a2XUT f_a2XUU r_a2XUV) (PlaneGraph (s_a2Y5Q :: k_a2Y5V) v_a2Y5R e_a2Y5S f_a2Y5T r_a2Y5U) (PlanarGraph s_a2XUR 'Primal (VertexData r_a2XUV v_a2XUS) e_a2XUT f_a2XUU) (PlanarGraph s_a2Y5Q 'Primal (VertexData r_a2Y5U v_a2Y5R) e_a2Y5S f_a2Y5T)
- Data.PlaneGraph: location :: forall r_a2XEn v_a2XEo r_a2XT1. Lens (VertexData r_a2XEn v_a2XEo) (VertexData r_a2XT1 v_a2XEo) (Point 2 r_a2XEn) (Point 2 r_a2XT1)
+ Data.PlaneGraph: location :: forall r_a2XFX v_a2XFY r_a2XUB. Lens (VertexData r_a2XFX v_a2XFY) (VertexData r_a2XUB v_a2XFY) (Point 2 r_a2XFX) (Point 2 r_a2XUB)
- Data.PlaneGraph: vData :: forall r_a2XEn v_a2XEo v_a2XT2. Lens (VertexData r_a2XEn v_a2XEo) (VertexData r_a2XEn v_a2XT2) v_a2XEo v_a2XT2
+ Data.PlaneGraph: vData :: forall r_a2XFX v_a2XFY v_a2XUC. Lens (VertexData r_a2XFX v_a2XFY) (VertexData r_a2XFX v_a2XUC) v_a2XFY v_a2XUC
- Data.PlaneGraph.Core: graph :: forall k_a2XU3 (s_a2XTh :: k_a2XU3) v_a2XTi e_a2XTj f_a2XTk r_a2XTl k_a2Y4l (s_a2Y4g :: k_a2Y4l) v_a2Y4h e_a2Y4i f_a2Y4j r_a2Y4k. Iso (PlaneGraph (s_a2XTh :: k_a2XU3) v_a2XTi e_a2XTj f_a2XTk r_a2XTl) (PlaneGraph (s_a2Y4g :: k_a2Y4l) v_a2Y4h e_a2Y4i f_a2Y4j r_a2Y4k) (PlanarGraph s_a2XTh 'Primal (VertexData r_a2XTl v_a2XTi) e_a2XTj f_a2XTk) (PlanarGraph s_a2Y4g 'Primal (VertexData r_a2Y4k v_a2Y4h) e_a2Y4i f_a2Y4j)
+ Data.PlaneGraph.Core: graph :: forall k_a2XVD (s_a2XUR :: k_a2XVD) v_a2XUS e_a2XUT f_a2XUU r_a2XUV k_a2Y5V (s_a2Y5Q :: k_a2Y5V) v_a2Y5R e_a2Y5S f_a2Y5T r_a2Y5U. Iso (PlaneGraph (s_a2XUR :: k_a2XVD) v_a2XUS e_a2XUT f_a2XUU r_a2XUV) (PlaneGraph (s_a2Y5Q :: k_a2Y5V) v_a2Y5R e_a2Y5S f_a2Y5T r_a2Y5U) (PlanarGraph s_a2XUR 'Primal (VertexData r_a2XUV v_a2XUS) e_a2XUT f_a2XUU) (PlanarGraph s_a2Y5Q 'Primal (VertexData r_a2Y5U v_a2Y5R) e_a2Y5S f_a2Y5T)
- Data.PlaneGraph.Core: location :: forall r_a2XEn v_a2XEo r_a2XT1. Lens (VertexData r_a2XEn v_a2XEo) (VertexData r_a2XT1 v_a2XEo) (Point 2 r_a2XEn) (Point 2 r_a2XT1)
+ Data.PlaneGraph.Core: location :: forall r_a2XFX v_a2XFY r_a2XUB. Lens (VertexData r_a2XFX v_a2XFY) (VertexData r_a2XUB v_a2XFY) (Point 2 r_a2XFX) (Point 2 r_a2XUB)
- Data.PlaneGraph.Core: vData :: forall r_a2XEn v_a2XEo v_a2XT2. Lens (VertexData r_a2XEn v_a2XEo) (VertexData r_a2XEn v_a2XT2) v_a2XEo v_a2XT2
+ Data.PlaneGraph.Core: vData :: forall r_a2XFX v_a2XFY v_a2XUC. Lens (VertexData r_a2XFX v_a2XFY) (VertexData r_a2XFX v_a2XUC) v_a2XFY v_a2XUC
Files
- hgeometry.cabal +2/−2
hgeometry.cabal view
@@ -1,5 +1,5 @@ name: hgeometry-version: 0.12.0.2+version: 0.12.0.3 synopsis: Geometric Algorithms, Data structures, and Data types. description: HGeometry provides some basic geometry types, and geometric algorithms and@@ -237,7 +237,7 @@ -- , singletons >= 2.0 , linear >= 1.10 , fixed-vector >= 1.0- , vector-builder >= 0.3.7+ , vector-builder >= 0.3.7 && <= 0.3.8 , vinyl >= 0.10 , deepseq >= 1.1 , fingertree >= 0.1