Data.Geometry.Boundary

Documentation

newtype Boundary g

The boundary of a geometric object.

Constructors

Boundary g

Instances

Eq g => Eq (Boundary g)

Ord g => Ord (Boundary g)

Read g => Read (Boundary g)

Show g => Show (Boundary g)

IsTransformable g => IsTransformable (Boundary g)

(Ord r, Floating r) => IsIntersectableWith (Line 2 r) (Circle p r)

(Ord r, Floating r) => IsIntersectableWith (LineSegment 2 p r) (Circle q r)

type NumType (Boundary g) = NumType g

type Dimension (Boundary g) = Dimension g

type IntersectionOf (Line 2 r) (Boundary (Rectangle p r)) = (:) * NoIntersection ((:) * (Point 2 r) ((:) * (Point 2 r, Point 2 r) ((:) * (LineSegment 2 () r) ([] *))))

type IntersectionOf (Line 2 r) (Circle p r) = (:) * NoIntersection ((:) * (Touching (Point 2 r)) ((:) * (Point 2 r, Point 2 r) ([] *)))

No intersection, one touching point, or two points

type IntersectionOf (LineSegment 2 p r) (Circle q r) = (:) * NoIntersection ((:) * (Touching (Point 2 r)) ((:) * (Point 2 r) ((:) * (Point 2 r, Point 2 r) ([] *))))

A line segment may not intersect a circle, touch it, or intersect it properly in one or two points.

data PointLocationResult

Result of a query that asks if something is Inside a g, *on* the boundary of the g, or outside.

Constructors

Inside

OnBoundary

Outside

Instances

Eq PointLocationResult

Read PointLocationResult

Show PointLocationResult