Algorithms.Geometry.LineSegmentIntersection.Types

Documentation

endPoints' :: (HasEnd s, HasStart s) => s -> (StartCore s, EndCore s)

type Set' l = Map (Point (Dimension l) (NumType l), Point (Dimension l) (NumType l)) (NonEmpty l)

data Associated p r

Constructors

Associated

Fields

• _endPointOf :: Set' (LineSegment 2 p r)
• _interiorTo :: Set' (LineSegment 2 p r)

Instances

(Eq p, Eq r) => Eq (Associated p r)

Defined in Algorithms.Geometry.LineSegmentIntersection.Types

Methods

(==) :: Associated p r -> Associated p r -> Bool

(/=) :: Associated p r -> Associated p r -> Bool

(Show r, Show p) => Show (Associated p r)

Defined in Algorithms.Geometry.LineSegmentIntersection.Types

Methods

showsPrec :: Int -> Associated p r -> ShowS

show :: Associated p r -> String

showList :: [Associated p r] -> ShowS

Generic (Associated p r)

Defined in Algorithms.Geometry.LineSegmentIntersection.Types

Associated Types

type Rep (Associated p r) :: Type -> Type

Methods

from :: Associated p r -> Rep (Associated p r) x

to :: Rep (Associated p r) x -> Associated p r

Ord r => Semigroup (Associated p r)

Defined in Algorithms.Geometry.LineSegmentIntersection.Types

Methods

(<>) :: Associated p r -> Associated p r -> Associated p r

sconcat :: NonEmpty (Associated p r) -> Associated p r

stimes :: Integral b => b -> Associated p r -> Associated p r

Ord r => Monoid (Associated p r)

Defined in Algorithms.Geometry.LineSegmentIntersection.Types

Methods

mempty :: Associated p r

mappend :: Associated p r -> Associated p r -> Associated p r

mconcat :: [Associated p r] -> Associated p r

(NFData p, NFData r) => NFData (Associated p r)

Defined in Algorithms.Geometry.LineSegmentIntersection.Types

Methods

rnf :: Associated p r -> ()

type Rep (Associated p r)

Defined in Algorithms.Geometry.LineSegmentIntersection.Types

type Rep (Associated p r) = D1 (MetaData "Associated" "Algorithms.Geometry.LineSegmentIntersection.Types" "hgeometry-0.10.0.0-58coE6gW4i4HcLJr7kmg1f" False) (C1 (MetaCons "Associated" PrefixI True) (S1 (MetaSel (Just "_endPointOf") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Set' (LineSegment 2 p r))) :*: S1 (MetaSel (Just "_interiorTo") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Set' (LineSegment 2 p r)))))

associated :: Ord r => [LineSegment 2 p r] -> [LineSegment 2 p r] -> Associated p r

endPointOf :: Associated p r -> [LineSegment 2 p r]

interiorTo :: Associated p r -> [LineSegment 2 p r]

type Intersections p r = Map (Point 2 r) (Associated p r)

data IntersectionPoint p r

Constructors

IntersectionPoint

Fields

• _intersectionPoint :: !(Point 2 r)
• _associatedSegs :: !(Associated p r)

Instances

(Eq r, Eq p) => Eq (IntersectionPoint p r)

Defined in Algorithms.Geometry.LineSegmentIntersection.Types

Methods

(==) :: IntersectionPoint p r -> IntersectionPoint p r -> Bool

(/=) :: IntersectionPoint p r -> IntersectionPoint p r -> Bool

(Show r, Show p) => Show (IntersectionPoint p r)

Defined in Algorithms.Geometry.LineSegmentIntersection.Types

Methods

showsPrec :: Int -> IntersectionPoint p r -> ShowS

show :: IntersectionPoint p r -> String

showList :: [IntersectionPoint p r] -> ShowS

intersectionPoint :: forall p r. Lens' (IntersectionPoint p r) (Point 2 r)

associatedSegs :: forall p r p. Lens (IntersectionPoint p r) (IntersectionPoint p r) (Associated p r) (Associated p r)

isEndPointIntersection :: Associated p r -> Bool

reports true if there is at least one segment for which this intersection point is interior.

\(O(1)\)