Data.Geometry.Boundary

Documentation

newtype Boundary g

The boundary of a geometric object.

Constructors

Boundary g

Instances

Eq g => Eq (Boundary g)

Methods

(==) :: Boundary g -> Boundary g -> Bool

(/=) :: Boundary g -> Boundary g -> Bool

Ord g => Ord (Boundary g)

Methods

compare :: Boundary g -> Boundary g -> Ordering

(<) :: Boundary g -> Boundary g -> Bool

(<=) :: Boundary g -> Boundary g -> Bool

(>) :: Boundary g -> Boundary g -> Bool

(>=) :: Boundary g -> Boundary g -> Bool

max :: Boundary g -> Boundary g -> Boundary g

min :: Boundary g -> Boundary g -> Boundary g

Read g => Read (Boundary g)

Methods

readsPrec :: Int -> ReadS (Boundary g)

readList :: ReadS [Boundary g]

readPrec :: ReadPrec (Boundary g)

readListPrec :: ReadPrec [Boundary g]

Show g => Show (Boundary g)

Methods

showsPrec :: Int -> Boundary g -> ShowS

show :: Boundary g -> String

showList :: [Boundary g] -> ShowS

IsTransformable g => IsTransformable (Boundary g)

Methods

transformBy :: Transformation (Dimension (Boundary g)) (NumType (Boundary g)) -> Boundary g -> Boundary g

(Ord r, Floating r) => IsIntersectableWith (Line 2 r) (Circle p r)

Methods

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

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

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

(Ord r, Floating r) => IsIntersectableWith (LineSegment 2 p r) (Circle q r)

Methods

intersect :: LineSegment 2 p r -> Circle q r -> Intersection (LineSegment 2 p r) (Circle q r)

intersects :: LineSegment 2 p r -> Circle q r -> Bool

nonEmptyIntersection :: proxy (LineSegment 2 p r) -> proxy (Circle q r) -> Intersection (LineSegment 2 p r) (Circle q r) -> Bool

type NumType (Boundary g)

type NumType (Boundary g) = NumType g

type Dimension (Boundary g)

type Dimension (Boundary g) = Dimension g

type IntersectionOf (Line 2 r) (Boundary (Rectangle p r))

type IntersectionOf (Line 2 r) (Boundary (Rectangle p r)) = (:) * NoIntersection ((:) * (Point 2 r) ((:) * (Point 2 r, Point 2 r) ((:) * (LineSegment 2 () r) ([] *))))

type IntersectionOf (Line 2 r) (Circle p r)

type IntersectionOf (Line 2 r) (Circle p r) = (:) * NoIntersection ((:) * (Touching (Point 2 r)) ((:) * (Point 2 r, Point 2 r) ([] *)))

type IntersectionOf (LineSegment 2 p r) (Circle q r)

type IntersectionOf (LineSegment 2 p r) (Circle q r) = (:) * NoIntersection ((:) * (Touching (Point 2 r)) ((:) * (Point 2 r) ((:) * (Point 2 r, Point 2 r) ([] *))))

data PointLocationResult

Result of a query that asks if something is Inside a g, *on* the boundary of the g, or outside.

Constructors

Inside

OnBoundary

Outside

Instances

Eq PointLocationResult

Methods

(==) :: PointLocationResult -> PointLocationResult -> Bool

(/=) :: PointLocationResult -> PointLocationResult -> Bool

Read PointLocationResult

Methods

readsPrec :: Int -> ReadS PointLocationResult

readList :: ReadS [PointLocationResult]

readPrec :: ReadPrec PointLocationResult

readListPrec :: ReadPrec [PointLocationResult]

Show PointLocationResult

Methods

showsPrec :: Int -> PointLocationResult -> ShowS

show :: PointLocationResult -> String

showList :: [PointLocationResult] -> ShowS