Data.Geometry.Line

\(d\)-dimensional lines.

Documentation

module Data.Geometry.Line.Internal

Orphan instances

(Fractional r, Arity d, Arity (d + 1)) => IsTransformable (Line d r)

Lines are transformable, via line segments

Methods

transformBy :: Transformation (Dimension (Line d r)) (NumType (Line d r)) -> Line d r -> Line d r

(Ord r, Fractional r) => HasIntersectionWith (Line 2 r) (Boundary (Rectangle p r))

Methods

intersects :: Line 2 r -> Boundary (Rectangle p r) -> Bool

(Ord r, Fractional r) => IsIntersectableWith (Line 2 r) (Boundary (Rectangle p r))

Methods

intersect :: Line 2 r -> Boundary (Rectangle p r) -> Intersection (Line 2 r) (Boundary (Rectangle p r))

nonEmptyIntersection :: proxy (Line 2 r) -> proxy (Boundary (Rectangle p r)) -> Intersection (Line 2 r) (Boundary (Rectangle p r)) -> Bool

(Eq r, Fractional r, Arity d) => HasIntersectionWith (Point d r) (Line d r)

Methods

intersects :: Point d r -> Line d r -> Bool

(Ord r, Num r) => HasIntersectionWith (Point 2 r) (Line 2 r)

Methods

intersects :: Point 2 r -> Line 2 r -> Bool

(Ord r, Fractional r) => HasIntersectionWith (Line 2 r) (Rectangle p r)

Methods

intersects :: Line 2 r -> Rectangle p r -> Bool

(Eq r, Fractional r, Arity d) => IsIntersectableWith (Point d r) (Line d r)

Methods

intersect :: Point d r -> Line d r -> Intersection (Point d r) (Line d r)

nonEmptyIntersection :: proxy (Point d r) -> proxy (Line d r) -> Intersection (Point d r) (Line d r) -> Bool

(Ord r, Num r) => IsIntersectableWith (Point 2 r) (Line 2 r)

Methods

intersect :: Point 2 r -> Line 2 r -> Intersection (Point 2 r) (Line 2 r)

nonEmptyIntersection :: proxy (Point 2 r) -> proxy (Line 2 r) -> Intersection (Point 2 r) (Line 2 r) -> Bool

(Ord r, Fractional r) => IsIntersectableWith (Line 2 r) (Rectangle p r)

Methods

intersect :: Line 2 r -> Rectangle p r -> Intersection (Line 2 r) (Rectangle p r)

nonEmptyIntersection :: proxy (Line 2 r) -> proxy (Rectangle p r) -> Intersection (Line 2 r) (Rectangle p r) -> Bool