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

HGeometry.Ball.Diametral

Description

A ball represented by its two diametral points

Synopsis

newtype DiametralBall point where
- MkDiametralBall (Vector 2 point)
- pattern DiametralPoints :: point -> point -> DiametralBall point

Documentation

newtype DiametralBall point Source #

A ball defined by its two diametral points

Constructors

MkDiametralBall (Vector 2 point)

Bundled Patterns

pattern DiametralPoints :: point -> point -> DiametralBall point

Instances

Instances details

Foldable1 DiametralBall Source #
Instance details Defined in HGeometry.Ball.Diametral Methods fold1 :: Semigroup m => DiametralBall m -> m Source # foldMap1 :: Semigroup m => (a -> m) -> DiametralBall a -> m Source # foldMap1' :: Semigroup m => (a -> m) -> DiametralBall a -> m Source # toNonEmpty :: DiametralBall a -> NonEmpty a Source # maximum :: Ord a => DiametralBall a -> a Source # minimum :: Ord a => DiametralBall a -> a Source # head :: DiametralBall a -> a Source # last :: DiametralBall a -> a Source # foldrMap1 :: (a -> b) -> (a -> b -> b) -> DiametralBall a -> b Source # foldlMap1' :: (a -> b) -> (b -> a -> b) -> DiametralBall a -> b Source # foldlMap1 :: (a -> b) -> (b -> a -> b) -> DiametralBall a -> b Source # foldrMap1' :: (a -> b) -> (a -> b -> b) -> DiametralBall a -> b Source #
Functor DiametralBall Source #
Instance details Defined in HGeometry.Ball.Diametral Methods fmap :: (a -> b) -> DiametralBall a -> DiametralBall b Source # (<$) :: a -> DiametralBall b -> DiametralBall a Source #
Foldable DiametralBall Source #
Instance details Defined in HGeometry.Ball.Diametral Methods fold :: Monoid m => DiametralBall m -> m Source # foldMap :: Monoid m => (a -> m) -> DiametralBall a -> m Source # foldMap' :: Monoid m => (a -> m) -> DiametralBall a -> m Source # foldr :: (a -> b -> b) -> b -> DiametralBall a -> b Source # foldr' :: (a -> b -> b) -> b -> DiametralBall a -> b Source # foldl :: (b -> a -> b) -> b -> DiametralBall a -> b Source # foldl' :: (b -> a -> b) -> b -> DiametralBall a -> b Source # foldr1 :: (a -> a -> a) -> DiametralBall a -> a Source # foldl1 :: (a -> a -> a) -> DiametralBall a -> a Source # toList :: DiametralBall a -> [a] Source # null :: DiametralBall a -> Bool Source # length :: DiametralBall a -> Int Source # elem :: Eq a => a -> DiametralBall a -> Bool Source # maximum :: Ord a => DiametralBall a -> a Source # minimum :: Ord a => DiametralBall a -> a Source # sum :: Num a => DiametralBall a -> a Source # product :: Num a => DiametralBall a -> a Source #
Traversable DiametralBall Source #
Instance details Defined in HGeometry.Ball.Diametral Methods traverse :: Applicative f => (a -> f b) -> DiametralBall a -> f (DiametralBall b) Source # sequenceA :: Applicative f => DiametralBall (f a) -> f (DiametralBall a) Source # mapM :: Monad m => (a -> m b) -> DiametralBall a -> m (DiametralBall b) Source # sequence :: Monad m => DiametralBall (m a) -> m (DiametralBall a) Source #
Traversable1 DiametralBall Source #
Instance details Defined in HGeometry.Ball.Diametral Methods traverse1 :: Apply f => (a -> f b) -> DiametralBall a -> f (DiametralBall b) Source # sequence1 :: Apply f => DiametralBall (f b) -> f (DiametralBall b) Source #
Show point => Show (DiametralBall point) Source #
Instance details Defined in HGeometry.Ball.Diametral Methods showsPrec :: Int -> DiametralBall point -> ShowS Source # show :: DiametralBall point -> String Source # showList :: [DiametralBall point] -> ShowS Source #
Eq point => Eq (DiametralBall point) Source #
Instance details Defined in HGeometry.Ball.Diametral Methods (==) :: DiametralBall point -> DiametralBall point -> Bool Source # (/=) :: DiametralBall point -> DiametralBall point -> Bool Source #
(Point_ point d r, Has_ Metric_ d r) => HasInBall (DiametralBall point) Source #
Instance details Defined in HGeometry.Ball.Diametral Methods inBall :: forall point0 (d0 :: Nat) r0. (Point_ point0 d0 r0, Ord r0, Num r0, NumType (DiametralBall point) ~ r0, Dimension (DiametralBall point) ~ d0) => point0 -> DiametralBall point -> PointLocationResult Source #
(Point_ point d r, Fractional r, Has_ Metric_ d r) => Ball_ (DiametralBall point) (Point d r) Source #
Instance details Defined in HGeometry.Ball.Diametral Methods squaredRadius :: Getter (DiametralBall point) (NumType (DiametralBall point)) Source #
(Point_ point d r, Fractional r) => HasCenter (DiametralBall point) (Point d r) Source #
Instance details Defined in HGeometry.Ball.Diametral Methods center :: Lens' (DiametralBall point) (Point d r) Source #
(Point_ point d r, Ord r, Num r, Has_ Metric_ d r) => HasIntersectionWith (Point d r) (DiametralBall point) Source #
Instance details Defined in HGeometry.Ball.Diametral Methods intersects :: Point d r -> DiametralBall point -> Bool Source #
(Point_ point d r, Ord r, Num r, Has_ Metric_ d r) => IsIntersectableWith (Point d r) (DiametralBall point) Source #
Instance details Defined in HGeometry.Ball.Diametral Methods intersect :: Point d r -> DiametralBall point -> Intersection (Point d r) (DiametralBall point) Source #
type Dimension (DiametralBall point) Source #
Instance details Defined in HGeometry.Ball.Diametral type Dimension (DiametralBall point) = Dimension point
type NumType (DiametralBall point) Source #
Instance details Defined in HGeometry.Ball.Diametral type NumType (DiametralBall point) = NumType point
type Intersection (Point d r) (DiametralBall point) Source #
Instance details Defined in HGeometry.Ball.Diametral type Intersection (Point d r) (DiametralBall point) = Maybe (Point d r)