Data.Geometry.HalfLine

d-dimensional Half-Lines

data HalfLine d r

d-dimensional Half-Lines

Constructors

HalfLine

Fields

_startPoint :: Point d r

_halfLineDirection :: Vector d r

Instances

Arity d => Functor (HalfLine d)

Arity d => Foldable (HalfLine d)

Arity d => Traversable (HalfLine d)

(Eq r, Arity d) => Eq (HalfLine d r)

(Show r, Arity d) => Show (HalfLine d r)

(Num r, AlwaysTruePFT d) => IsTransformable (HalfLine d r)

HasStart (HalfLine d r)

HasSupportingLine (HalfLine d r)

type NumType (HalfLine d r) = r

type Dimension (HalfLine d r) = d

type StartCore (HalfLine d r) = Point d r

type StartExtra (HalfLine d r) = ()

type IntersectionOf (HalfLine 2 r) (HalfLine 2 r) = (:) * NoIntersection ((:) * (Point 2 r) ((:) * (LineSegment 2 () r) ((:) * (HalfLine 2 r) ([] *))))

type IntersectionOf (HalfLine 2 r) (Line 2 r) = (:) * NoIntersection ((:) * (Point 2 r) ((:) * (HalfLine 2 r) ([] *)))

type IntersectionOf (HalfLine 2 r) (LineSegment 2 p r) = (:) * NoIntersection ((:) * (Point 2 r) ((:) * (LineSegment 2 () r) ([] *)))

startPoint :: forall d r. Lens' (HalfLine d r) (Point d r)

halfLineDirection :: forall d r. Lens' (HalfLine d r) (Vector d r)

halfLineToSubLine :: (Arity d, Num r) => HalfLine d r -> SubLine d () (UnBounded r)

fromSubLine :: (Num r, Arity d) => SubLine d p (UnBounded r) -> Maybe (HalfLine d r)

onHalfLine :: (Ord r, Fractional r, Arity d) => Point d r -> HalfLine d r -> Bool

Test if a point lies on a half-line

toHalfLine :: (Num r, Arity d) => LineSegment d p r -> HalfLine d r

Transform a LineSegment into a half-line, by forgetting the second endpoint. Note that this also forgets about if the starting point was open or closed.