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

Data.Geometry.Ellipse

Description

Synopsis

newtype Ellipse r = Ellipse (Transformation 2 r)
affineTransformation :: forall r r. Iso (Ellipse r) (Ellipse r) (Transformation 2 r) (Transformation 2 r)
ellipseMatrix :: Iso (Ellipse r) (Ellipse s) (Matrix 3 3 r) (Matrix 3 3 s)
unitEllipse :: Num r => Ellipse r
circleToEllipse :: Floating r => Circle p r -> Ellipse r
ellipseToCircle :: (Num r, Eq r) => Ellipse r -> Maybe (Circle () r)
_EllipseCircle :: (Floating r, Eq r) => Prism' (Ellipse r) (Circle () r)

Documentation

newtype Ellipse r Source #

A type representing planar ellipses

Constructors

Ellipse (Transformation 2 r)

Instances

Instances details

Functor Ellipse Source #
Instance details Defined in Data.Geometry.Ellipse Methods fmap :: (a -> b) -> Ellipse a -> Ellipse b # (<$) :: a -> Ellipse b -> Ellipse a #
Foldable Ellipse Source #
Instance details Defined in Data.Geometry.Ellipse Methods fold :: Monoid m => Ellipse m -> m # foldMap :: Monoid m => (a -> m) -> Ellipse a -> m # foldMap' :: Monoid m => (a -> m) -> Ellipse a -> m # foldr :: (a -> b -> b) -> b -> Ellipse a -> b # foldr' :: (a -> b -> b) -> b -> Ellipse a -> b # foldl :: (b -> a -> b) -> b -> Ellipse a -> b # foldl' :: (b -> a -> b) -> b -> Ellipse a -> b # foldr1 :: (a -> a -> a) -> Ellipse a -> a # foldl1 :: (a -> a -> a) -> Ellipse a -> a # toList :: Ellipse a -> [a] # null :: Ellipse a -> Bool # length :: Ellipse a -> Int # elem :: Eq a => a -> Ellipse a -> Bool # maximum :: Ord a => Ellipse a -> a # minimum :: Ord a => Ellipse a -> a # sum :: Num a => Ellipse a -> a # product :: Num a => Ellipse a -> a #
Traversable Ellipse Source #
Instance details Defined in Data.Geometry.Ellipse Methods traverse :: Applicative f => (a -> f b) -> Ellipse a -> f (Ellipse b) # sequenceA :: Applicative f => Ellipse (f a) -> f (Ellipse a) # mapM :: Monad m => (a -> m b) -> Ellipse a -> m (Ellipse b) # sequence :: Monad m => Ellipse (m a) -> m (Ellipse a) #
Eq r => Eq (Ellipse r) Source #
Instance details Defined in Data.Geometry.Ellipse Methods (==) :: Ellipse r -> Ellipse r -> Bool # (/=) :: Ellipse r -> Ellipse r -> Bool #
Show r => Show (Ellipse r) Source #
Instance details Defined in Data.Geometry.Ellipse Methods showsPrec :: Int -> Ellipse r -> ShowS # show :: Ellipse r -> String # showList :: [Ellipse r] -> ShowS #
Num r => IsTransformable (Ellipse r) Source #
Instance details Defined in Data.Geometry.Ellipse Methods transformBy :: Transformation (Dimension (Ellipse r)) (NumType (Ellipse r)) -> Ellipse r -> Ellipse r Source #
type NumType (Ellipse r) Source #
Instance details Defined in Data.Geometry.Ellipse type NumType (Ellipse r) = r
type Dimension (Ellipse r) Source #
Instance details Defined in Data.Geometry.Ellipse type Dimension (Ellipse r) = 2

affineTransformation :: forall r r. Iso (Ellipse r) (Ellipse r) (Transformation 2 r) (Transformation 2 r) Source #

ellipseMatrix :: Iso (Ellipse r) (Ellipse s) (Matrix 3 3 r) (Matrix 3 3 s) Source #

unitEllipse :: Num r => Ellipse r Source #

Ellipse representing the unit circle

circleToEllipse :: Floating r => Circle p r -> Ellipse r Source #

ellipseToCircle :: (Num r, Eq r) => Ellipse r -> Maybe (Circle () r) Source #

_EllipseCircle :: (Floating r, Eq r) => Prism' (Ellipse r) (Circle () r) Source #

Converting between ellipses and circles