Copyright	(C) Frank Staals
License	see the LICENSE file
Maintainer	Frank Staals
Safe Haskell	None
Language	GHC2024

HGeometry.Boundary

Description

Synopsis

newtype Boundary g = Boundary g
_Boundary :: forall g h p f. (Profunctor p, Functor f) => p (Boundary g) (f (Boundary h)) -> p g (f h)
data PointLocationResult
- = Inside
- | OnBoundary
- | Outside
data PointLocationResultWith edge
- = StrictlyInside
- | OnBoundaryEdge !edge
- | StrictlyOutside
asPointLocationResult :: PointLocationResultWith edge -> PointLocationResult

Documentation

newtype Boundary g Source #

The boundary of a geometric object.

Constructors

Boundary g

Instances

Instances details

Functor Boundary Source #
Instance details Defined in HGeometry.Boundary Methods fmap :: (a -> b) -> Boundary a -> Boundary b Source # (<$) :: a -> Boundary b -> Boundary a Source #
Foldable Boundary Source #
Instance details Defined in HGeometry.Boundary Methods fold :: Monoid m => Boundary m -> m Source # foldMap :: Monoid m => (a -> m) -> Boundary a -> m Source # foldMap' :: Monoid m => (a -> m) -> Boundary a -> m Source # foldr :: (a -> b -> b) -> b -> Boundary a -> b Source # foldr' :: (a -> b -> b) -> b -> Boundary a -> b Source # foldl :: (b -> a -> b) -> b -> Boundary a -> b Source # foldl' :: (b -> a -> b) -> b -> Boundary a -> b Source # foldr1 :: (a -> a -> a) -> Boundary a -> a Source # foldl1 :: (a -> a -> a) -> Boundary a -> a Source # toList :: Boundary a -> [a] Source # null :: Boundary a -> Bool Source # length :: Boundary a -> Int Source # elem :: Eq a => a -> Boundary a -> Bool Source # maximum :: Ord a => Boundary a -> a Source # minimum :: Ord a => Boundary a -> a Source # sum :: Num a => Boundary a -> a Source # product :: Num a => Boundary a -> a Source #
Traversable Boundary Source #
Instance details Defined in HGeometry.Boundary Methods traverse :: Applicative f => (a -> f b) -> Boundary a -> f (Boundary b) Source # sequenceA :: Applicative f => Boundary (f a) -> f (Boundary a) Source # mapM :: Monad m => (a -> m b) -> Boundary a -> m (Boundary b) Source # sequence :: Monad m => Boundary (m a) -> m (Boundary a) Source #
Read g => Read (Boundary g) Source #
Instance details Defined in HGeometry.Boundary Methods readsPrec :: Int -> ReadS (Boundary g) Source # readList :: ReadS [Boundary g] Source # readPrec :: ReadPrec (Boundary g) Source # readListPrec :: ReadPrec [Boundary g] Source #
Show g => Show (Boundary g) Source #
Instance details Defined in HGeometry.Boundary Methods showsPrec :: Int -> Boundary g -> ShowS Source # show :: Boundary g -> String Source # showList :: [Boundary g] -> ShowS Source #
Eq g => Eq (Boundary g) Source #
Instance details Defined in HGeometry.Boundary Methods (==) :: Boundary g -> Boundary g -> Bool Source # (/=) :: Boundary g -> Boundary g -> Bool Source #
Ord g => Ord (Boundary g) Source #
Instance details Defined in HGeometry.Boundary Methods compare :: Boundary g -> Boundary g -> Ordering Source # (<) :: Boundary g -> Boundary g -> Bool Source # (<=) :: Boundary g -> Boundary g -> Bool Source # (>) :: Boundary g -> Boundary g -> Bool Source # (>=) :: Boundary g -> Boundary g -> Bool Source # max :: Boundary g -> Boundary g -> Boundary g Source # min :: Boundary g -> Boundary g -> Boundary g Source #
(Ord r, Num r, Point_ point 2 r, Point_ point' 2 r, HasIntersectionWith (LineSegment endPoint point) (ClosedLineSegment point')) => HasIntersectionWith (LineSegment endPoint point) (Boundary (Rectangle point')) Source #
Instance details Defined in HGeometry.Box Methods intersects :: LineSegment endPoint point -> Boundary (Rectangle point') -> Bool Source #
type Dimension (Boundary g) Source #
Instance details Defined in HGeometry.Boundary type Dimension (Boundary g) = Dimension g
type NumType (Boundary g) Source #
Instance details Defined in HGeometry.Boundary type NumType (Boundary g) = NumType g

_Boundary :: forall g h p f. (Profunctor p, Functor f) => p (Boundary g) (f (Boundary h)) -> p g (f h) Source #

Iso for converting between things with a boundary and without its boundary

data PointLocationResult Source #

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

Instances details

Read PointLocationResult Source #
Instance details Defined in HGeometry.Boundary Methods readsPrec :: Int -> ReadS PointLocationResult Source # readList :: ReadS [PointLocationResult] Source # readPrec :: ReadPrec PointLocationResult Source # readListPrec :: ReadPrec [PointLocationResult] Source #
Show PointLocationResult Source #
Instance details Defined in HGeometry.Boundary Methods showsPrec :: Int -> PointLocationResult -> ShowS Source # show :: PointLocationResult -> String Source # showList :: [PointLocationResult] -> ShowS Source #
Eq PointLocationResult Source #
Instance details Defined in HGeometry.Boundary Methods (==) :: PointLocationResult -> PointLocationResult -> Bool Source # (/=) :: PointLocationResult -> PointLocationResult -> Bool Source #

data PointLocationResultWith edge Source #

Result of a query that asks if something is Inside a g, *on* the boundary of the g, or outside. This type allows us to provide some sort of proof for the claim.

Constructors

StrictlyInside
OnBoundaryEdge !edge
StrictlyOutside

Instances

Instances details

Functor PointLocationResultWith Source #
Instance details Defined in HGeometry.Boundary Methods fmap :: (a -> b) -> PointLocationResultWith a -> PointLocationResultWith b Source # (<$) :: a -> PointLocationResultWith b -> PointLocationResultWith a Source #
Read edge => Read (PointLocationResultWith edge) Source #
Instance details Defined in HGeometry.Boundary Methods readsPrec :: Int -> ReadS (PointLocationResultWith edge) Source # readList :: ReadS [PointLocationResultWith edge] Source # readPrec :: ReadPrec (PointLocationResultWith edge) Source # readListPrec :: ReadPrec [PointLocationResultWith edge] Source #
Show edge => Show (PointLocationResultWith edge) Source #
Instance details Defined in HGeometry.Boundary Methods showsPrec :: Int -> PointLocationResultWith edge -> ShowS Source # show :: PointLocationResultWith edge -> String Source # showList :: [PointLocationResultWith edge] -> ShowS Source #
Eq edge => Eq (PointLocationResultWith edge) Source #
Instance details Defined in HGeometry.Boundary Methods (==) :: PointLocationResultWith edge -> PointLocationResultWith edge -> Bool Source # (/=) :: PointLocationResultWith edge -> PointLocationResultWith edge -> Bool Source #

asPointLocationResult :: PointLocationResultWith edge -> PointLocationResult Source #

Forget on which edge the point was.