Wumpus.Drawing.Paths.Intersection

Intersection of Paths with (infinite) lines.

Documentation

data Line u

Infinite line represented by two points.

Constructors

Line (Point2 u) (Point2 u)

Instances

(Ord u, Tolerance u) => Eq (Line u)

Show u => Show (Line u)

inclinedLine :: Floating u => Point2 u -> Radian -> Line u

inclinedLine : point * ang -> Line

Make an infinite line passing through the supplied point inclined by ang.

vectorLine :: Num u => Vec2 u -> Point2 u -> Line u

data Ray u

A Ray extends from the first point, through the second to infinity.

(Line extends to infinity in both directions.

Constructors

Ray (Point2 u) (Point2 u)

Instances

(Ord u, Tolerance u) => Eq (Ray u)

Show u => Show (Ray u)

inclinedRay :: Floating u => Point2 u -> Radian -> Ray u

Make an infinite ray starting from the supplied point inclined by ang.

lineLineIntersection :: (Fractional u, Ord u, Tolerance u) => Line u -> Line u -> Maybe (Point2 u)

interLineLine : line1 * line2 -> Maybe Point

Find the intersection of two lines, if there is one.

Lines are infinite they are represented by points on them, they are not line segments.

An answer of Nothing may indicate either the lines coincide or the are parallel.

linePathIntersection :: (Real u, Floating u, Ord u, Tolerance u) => Line u -> AbsPath u -> Maybe (Point2 u)

linePathSegmentIntersection :: (Real u, Floating u, Ord u, Tolerance u) => Line u -> PathSegment u -> Maybe (Point2 u)

rayPathIntersection :: (Real u, Floating u, Ord u, Tolerance u) => Ray u -> AbsPath u -> Maybe (Point2 u)

rayPathSegmentIntersection :: (Real u, Floating u, Ord u, Tolerance u) => Ray u -> PathSegment u -> Maybe (Point2 u)

rectangleRadialIntersect :: (Real u, Floating u, InterpretUnit u, Tolerance u) => u -> u -> Radian -> Maybe (Vec2 u)

Answer is vector from center.

isoscelesTriangleRadialIntersect :: (Real u, Floating u, InterpretUnit u, Tolerance u) => u -> u -> Radian -> Maybe (Vec2 u)

Answer is vector from centroid.