Diagrams.Coordinates.Polar

This module defines a polar coordinate data type. This type can be used as an axis space for polar plots.

Polar type

newtype Polar a

Constructors

Polar (V2 a)

Instances

Monad Polar

Methods

(>>=) :: Polar a -> (a -> Polar b) -> Polar b

(>>) :: Polar a -> Polar b -> Polar b

return :: a -> Polar a

fail :: String -> Polar a

Functor Polar

Methods

fmap :: (a -> b) -> Polar a -> Polar b

(<$) :: a -> Polar b -> Polar a

MonadFix Polar

Methods

mfix :: (a -> Polar a) -> Polar a

Applicative Polar

Methods

pure :: a -> Polar a

(<*>) :: Polar (a -> b) -> Polar a -> Polar b

(*>) :: Polar a -> Polar b -> Polar b

(<*) :: Polar a -> Polar b -> Polar a

Foldable Polar

Methods

fold :: Monoid m => Polar m -> m

foldMap :: Monoid m => (a -> m) -> Polar a -> m

foldr :: (a -> b -> b) -> b -> Polar a -> b

foldr' :: (a -> b -> b) -> b -> Polar a -> b

foldl :: (b -> a -> b) -> b -> Polar a -> b

foldl' :: (b -> a -> b) -> b -> Polar a -> b

foldr1 :: (a -> a -> a) -> Polar a -> a

foldl1 :: (a -> a -> a) -> Polar a -> a

toList :: Polar a -> [a]

null :: Polar a -> Bool

length :: Polar a -> Int

elem :: Eq a => a -> Polar a -> Bool

maximum :: Ord a => Polar a -> a

minimum :: Ord a => Polar a -> a

sum :: Num a => Polar a -> a

product :: Num a => Polar a -> a

Traversable Polar

Methods

traverse :: Applicative f => (a -> f b) -> Polar a -> f (Polar b)

sequenceA :: Applicative f => Polar (f a) -> f (Polar a)

mapM :: Monad m => (a -> m b) -> Polar a -> m (Polar b)

sequence :: Monad m => Polar (m a) -> m (Polar a)

Generic1 Polar

Associated Types

type Rep1 (Polar :: * -> *) :: * -> *

Methods

from1 :: Polar a -> Rep1 Polar a

to1 :: Rep1 Polar a -> Polar a

Distributive Polar

Methods

distribute :: Functor f => f (Polar a) -> Polar (f a)

collect :: Functor f => (a -> Polar b) -> f a -> Polar (f b)

distributeM :: Monad m => m (Polar a) -> Polar (m a)

collectM :: Monad m => (a -> Polar b) -> m a -> Polar (m b)

Representable Polar

Associated Types

type Rep (Polar :: * -> *) :: *

Methods

tabulate :: (Rep Polar -> a) -> Polar a

index :: Polar a -> Rep Polar -> a

MonadZip Polar

Methods

mzip :: Polar a -> Polar b -> Polar (a, b)

mzipWith :: (a -> b -> c) -> Polar a -> Polar b -> Polar c

munzip :: Polar (a, b) -> (Polar a, Polar b)

HasR Polar

Methods

_r :: RealFloat n => Lens' (Polar n) n

HasY Polar

Methods

y_ :: RealFloat n => Lens' (Polar n) n

xy_ :: RealFloat n => Lens' (Polar n) (V2 n)

HasX Polar

Methods

x_ :: RealFloat n => Lens' (Polar n) n

Circle Polar

Methods

_azimuth :: Functor f => (Angle a -> f (Angle a)) -> Polar a -> f (Polar a)

_polar :: Functor f => (Polar a -> f (Polar a)) -> Polar a -> f (Polar a)

Radial Polar

Methods

_radial :: Functor f => (a -> f a) -> Polar a -> f (Polar a)

(TypeableFloat n, Renderable (Path V2 n) b) => RenderAxis b Polar n

Methods

renderAxis :: Axis b Polar n -> QDiagram b (BaseSpace Polar) n Any

RealFloat n => PointLike V2 n (Polar n)

Does not satify lens laws.

Methods

pointLike :: Iso' (Point V2 n) (Polar n)

unpointLike :: Iso' (Polar n) (Point V2 n)

Wrapped (Polar a0)

Associated Types

type Unwrapped (Polar a0) :: *

Methods

_Wrapped' :: Iso' (Polar a0) (Unwrapped (Polar a0))

(~) * (Polar a0) t0 => Rewrapped (Polar a1) t0

type Rep1 Polar

type Rep1 Polar = D1 (MetaData "Polar" "Diagrams.Coordinates.Polar" "plots-0.1.0.1-QSDKmaZNZULyWgNO9SpIe" True) (C1 (MetaCons "Polar" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec1 V2)))

type Rep Polar

type Rep Polar = E Polar

type BaseSpace Polar

type BaseSpace Polar = V2

type Unwrapped (Polar a0)

type Unwrapped (Polar a0) = V2 a0

type MainOpts (Axis b Polar n)

type MainOpts (Axis b Polar n) = MainOpts (QDiagram b V2 n Any)

mkPolar :: n -> Angle n -> Polar n

Construct a Polar from a magnitude and an Angle.

polar :: (n, Angle n) -> Polar n

Construct a Polar from a magnitude and Angle tuple.

unpolar :: Polar n -> (n, Angle n)

Turn a Polar back into a magnitude and Angle tuple.

polarIso :: Iso' (Polar n) (n, Angle n)

Iso' between Polar and its tuple form.

polarV2 :: RealFloat n => Iso' (Polar n) (V2 n)

Numerical Iso' between Polar and R2.

Polar functions

interpPolar :: Num n => n -> Polar n -> Polar n -> Polar n

Polar interpolation between two polar coordinates.

Classes

class Radial t where

Space which has a radial length basis. For Polar and Cylindrical this is the radius of the circle in the xy-plane. For Spherical this is the distance from the origin.

Methods

_radial :: Lens' (t a) a

Instances

Radial Polar

Methods

_radial :: Functor f => (a -> f a) -> Polar a -> f (Polar a)

class Radial t => Circle t where

Space which has a radial and angular basis.

Methods

_azimuth :: Lens' (t a) (Angle a)

_polar :: Lens' (t a) (Polar a)

Instances

Circle Polar

Methods

_azimuth :: Functor f => (Angle a -> f (Angle a)) -> Polar a -> f (Polar a)

_polar :: Functor f => (Polar a -> f (Polar a)) -> Polar a -> f (Polar a)

class HasX t where

Coordinate with at least one dimension where the x coordinate can be retreived numerically. Note this differs slightly from R1 which requires a lens for all values. This allows instances for different coordinates such as Polar, where the x coordinate can only be retreived numerically.

Minimal complete definition

x_

Methods

x_ :: RealFloat n => Lens' (t n) n

Instances

HasX V2

Methods

x_ :: RealFloat n => Lens' (V2 n) n

HasX V3

Methods

x_ :: RealFloat n => Lens' (V3 n) n

HasX Polar

Methods

x_ :: RealFloat n => Lens' (Polar n) n

HasX v => HasX (Point v)

Methods

x_ :: RealFloat n => Lens' (Point v n) n

class HasX t => HasY t where

Coordinate with at least two dimensions where the x and y coordinates can be retreived numerically.

Minimal complete definition

xy_

Methods

y_ :: RealFloat n => Lens' (t n) n

xy_ :: RealFloat n => Lens' (t n) (V2 n)

Instances

HasY V2

Methods

y_ :: RealFloat n => Lens' (V2 n) n

xy_ :: RealFloat n => Lens' (V2 n) (V2 n)

HasY V3

Methods

y_ :: RealFloat n => Lens' (V3 n) n

xy_ :: RealFloat n => Lens' (V3 n) (V2 n)

HasY Polar

Methods

y_ :: RealFloat n => Lens' (Polar n) n

xy_ :: RealFloat n => Lens' (Polar n) (V2 n)

HasY v => HasY (Point v)

Methods

y_ :: RealFloat n => Lens' (Point v n) n

xy_ :: RealFloat n => Lens' (Point v n) (V2 n)

class HasR t where

A space which has magnitude _r that can be calculated numerically.

Methods

_r :: RealFloat n => Lens' (t n) n

Instances

HasR V2

Methods

_r :: RealFloat n => Lens' (V2 n) n

HasR Polar

Methods

_r :: RealFloat n => Lens' (Polar n) n

HasR v => HasR (Point v)

Methods

_r :: RealFloat n => Lens' (Point v n) n

Basis elements

er :: Radial v => E v

eθ :: Circle v => E v

etheta :: Circle v => E v