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

HGeometry.LineSegment.PossiblyDegenerate

Description

A Type representing degenerate linesegments

Synopsis

data PossiblyDegenerateSegment point segment
- = SinglePoint point
- | ActualSegment segment

Documentation

data PossiblyDegenerateSegment point segment Source #

A line segment that may degenerate into a single point of type vertex

Constructors

SinglePoint point
ActualSegment segment

Instances

Instances details

Functor (PossiblyDegenerateSegment point) Source #
Instance details Defined in HGeometry.LineSegment.PossiblyDegenerate Methods fmap :: (a -> b) -> PossiblyDegenerateSegment point a -> PossiblyDegenerateSegment point b Source # (<$) :: a -> PossiblyDegenerateSegment point b -> PossiblyDegenerateSegment point a Source #
Foldable (PossiblyDegenerateSegment point) Source #
Instance details Defined in HGeometry.LineSegment.PossiblyDegenerate Methods fold :: Monoid m => PossiblyDegenerateSegment point m -> m Source # foldMap :: Monoid m => (a -> m) -> PossiblyDegenerateSegment point a -> m Source # foldMap' :: Monoid m => (a -> m) -> PossiblyDegenerateSegment point a -> m Source # foldr :: (a -> b -> b) -> b -> PossiblyDegenerateSegment point a -> b Source # foldr' :: (a -> b -> b) -> b -> PossiblyDegenerateSegment point a -> b Source # foldl :: (b -> a -> b) -> b -> PossiblyDegenerateSegment point a -> b Source # foldl' :: (b -> a -> b) -> b -> PossiblyDegenerateSegment point a -> b Source # foldr1 :: (a -> a -> a) -> PossiblyDegenerateSegment point a -> a Source # foldl1 :: (a -> a -> a) -> PossiblyDegenerateSegment point a -> a Source # toList :: PossiblyDegenerateSegment point a -> [a] Source # null :: PossiblyDegenerateSegment point a -> Bool Source # length :: PossiblyDegenerateSegment point a -> Int Source # elem :: Eq a => a -> PossiblyDegenerateSegment point a -> Bool Source # maximum :: Ord a => PossiblyDegenerateSegment point a -> a Source # minimum :: Ord a => PossiblyDegenerateSegment point a -> a Source # sum :: Num a => PossiblyDegenerateSegment point a -> a Source # product :: Num a => PossiblyDegenerateSegment point a -> a Source #
Traversable (PossiblyDegenerateSegment point) Source #
Instance details Defined in HGeometry.LineSegment.PossiblyDegenerate Methods traverse :: Applicative f => (a -> f b) -> PossiblyDegenerateSegment point a -> f (PossiblyDegenerateSegment point b) Source # sequenceA :: Applicative f => PossiblyDegenerateSegment point (f a) -> f (PossiblyDegenerateSegment point a) Source # mapM :: Monad m => (a -> m b) -> PossiblyDegenerateSegment point a -> m (PossiblyDegenerateSegment point b) Source # sequence :: Monad m => PossiblyDegenerateSegment point (m a) -> m (PossiblyDegenerateSegment point a) Source #
(Show point, Show segment) => Show (PossiblyDegenerateSegment point segment) Source #
Instance details Defined in HGeometry.LineSegment.PossiblyDegenerate Methods showsPrec :: Int -> PossiblyDegenerateSegment point segment -> ShowS Source # show :: PossiblyDegenerateSegment point segment -> String Source # showList :: [PossiblyDegenerateSegment point segment] -> ShowS Source #
(Eq point, Eq segment) => Eq (PossiblyDegenerateSegment point segment) Source #
Instance details Defined in HGeometry.LineSegment.PossiblyDegenerate Methods (==) :: PossiblyDegenerateSegment point segment -> PossiblyDegenerateSegment point segment -> Bool Source # (/=) :: PossiblyDegenerateSegment point segment -> PossiblyDegenerateSegment point segment -> Bool Source #
(Ord point, Ord segment) => Ord (PossiblyDegenerateSegment point segment) Source #
Instance details Defined in HGeometry.LineSegment.PossiblyDegenerate Methods compare :: PossiblyDegenerateSegment point segment -> PossiblyDegenerateSegment point segment -> Ordering Source # (<) :: PossiblyDegenerateSegment point segment -> PossiblyDegenerateSegment point segment -> Bool Source # (<=) :: PossiblyDegenerateSegment point segment -> PossiblyDegenerateSegment point segment -> Bool Source # (>) :: PossiblyDegenerateSegment point segment -> PossiblyDegenerateSegment point segment -> Bool Source # (>=) :: PossiblyDegenerateSegment point segment -> PossiblyDegenerateSegment point segment -> Bool Source # max :: PossiblyDegenerateSegment point segment -> PossiblyDegenerateSegment point segment -> PossiblyDegenerateSegment point segment Source # min :: PossiblyDegenerateSegment point segment -> PossiblyDegenerateSegment point segment -> PossiblyDegenerateSegment point segment Source #