| Copyright | (C) Frank Staals |
|---|---|
| License | see the LICENSE file |
| Maintainer | Frank Staals |
| Safe Haskell | None |
| Language | GHC2024 |
HGeometry.PolyLine.Class
Description
A Polyline class and some basic functions to interact with them.
Synopsis
- class (HasVertices polyLine polyLine, HasPoints' polyLine point, HasStart polyLine point, HasEnd polyLine point, Vertex polyLine ~ point, Point_ point (Dimension point) (NumType point), NumType polyLine ~ NumType point, Dimension polyLine ~ Dimension point) => PolyLine_ polyLine point | polyLine -> point
- class PolyLine_ polyLine point => ConstructablePolyLine_ polyLine point where
- polyLineFromPoints :: Foldable1 f => f point -> polyLine
- _PolyLineLineSegment :: (ConstructableLineSegment_ lineSegment point, ConstructablePolyLine_ polyLine point) => Prism' polyLine lineSegment
Documentation
class (HasVertices polyLine polyLine, HasPoints' polyLine point, HasStart polyLine point, HasEnd polyLine point, Vertex polyLine ~ point, Point_ point (Dimension point) (NumType point), NumType polyLine ~ NumType point, Dimension polyLine ~ Dimension point) => PolyLine_ polyLine point | polyLine -> point Source #
A class representing PolyLines
Instances
| (Traversable1 f, IxValue (f point) ~ point, Index (f point) ~ Int, Ixed (f point), HasFromFoldable1 f, Point_ point d r, TraversableWithIndex Int f) => PolyLine_ (PolyLineF f point) point Source # | |
Defined in HGeometry.PolyLine | |
class PolyLine_ polyLine point => ConstructablePolyLine_ polyLine point where Source #
Class for constructable polylglines
Methods
polyLineFromPoints :: Foldable1 f => f point -> polyLine Source #
Constructs a polyline from a given sequence of points.
pre: there should be at least two distinct points
Instances
| (Traversable1 f, IxValue (f point) ~ point, Index (f point) ~ Int, Ixed (f point), HasFromFoldable1 f, Point_ point d r, TraversableWithIndex Int f) => ConstructablePolyLine_ (PolyLineF f point) point Source # | |
Defined in HGeometry.PolyLine Methods polyLineFromPoints :: Foldable1 f0 => f0 point -> PolyLineF f point Source # | |
_PolyLineLineSegment :: (ConstructableLineSegment_ lineSegment point, ConstructablePolyLine_ polyLine point) => Prism' polyLine lineSegment Source #
Prism between a polyline and a line segment