Safe Haskell	None
Language	Haskell2010

Algorithms.Geometry.LineSegmentIntersection.Types

Synopsis

type Compare a = a -> a -> Ordering
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 = Associated {
- _endPointOf :: Set' (LineSegment 2 p r)
- _interiorTo :: 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 = IntersectionPoint {
- _intersectionPoint :: !(Point 2 r)
- _associatedSegs :: !(Associated p r)
}
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

Documentation

type Compare a = a -> a -> Ordering Source #

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

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

data Associated p r Source #

Constructors

Associated
Fields _endPointOf :: Set' (LineSegment 2 p r) _interiorTo :: Set' (LineSegment 2 p r)

Instances

(Eq p, Eq r) => Eq (Associated p r) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in Algorithms.Geometry.LineSegmentIntersection.Types Methods rnf :: Associated p r -> () #
type Rep (Associated p r) Source #
Instance details Defined in Algorithms.Geometry.LineSegmentIntersection.Types type Rep (Associated p r) = D1 (MetaData "Associated" "Algorithms.Geometry.LineSegmentIntersection.Types" "hgeometry-0.11.0.0-5Q7X7STHtn33ZJbJEL0QVy" 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 Source #

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

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

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

data IntersectionPoint p r Source #

Constructors

IntersectionPoint
Fields _intersectionPoint :: !(Point 2 r) _associatedSegs :: !(Associated p r)

Instances

(Eq r, Eq p) => Eq (IntersectionPoint p r) Source #
Instance details 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) Source #
Instance details 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) Source #

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

isEndPointIntersection :: Associated p r -> Bool Source #

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

\(O(1)\)