Diagrams.Angle

Type for representing angles, independent of vector-space

Documentation

data Angle

Angles can be expressed in a variety of units. Internally, they are represented in radians.

Instances

Enum Angle

Eq Angle

Ord Angle

Read Angle

Show Angle

VectorSpace Angle

AdditiveGroup Angle

rad :: Iso' Angle Double

The radian measure of an Angle a can be accessed as a ^. rad. A new Angle can be defined in radians as pi @@ rad.

turn :: Iso' Angle Double

The measure of an Angle a in full circles can be accessed as a ^. turn. A new Angle of one-half circle can be defined in as 1/2 @@ turn.

deg :: Iso' Angle Double

The degree measure of an Angle a can be accessed as a ^. deg. A new Angle can be defined in degrees as 180 @@ deg.

fullTurn :: Angle

An angle representing one full turn.

fullCircle :: Angle

Deprecated synonym for fullTurn, retained for backwards compatibility.

angleRatio :: Angle -> Angle -> Double

Calculate ratio between two angles.

sinA :: Angle -> Double

The sine of the given Angle.

cosA :: Angle -> Double

The cosine of the given Angle.

tanA :: Angle -> Double

The tangent function of the given Angle.

asinA :: Double -> Angle

The Angle with the given sine.

acosA :: Double -> Angle

The Angle with the given cosine.

atanA :: Double -> Angle

The Angle with the given tangent.

(@@) :: b -> Iso' a b -> a

30 @@ deg is an Angle of the given measure and units.

More generally, @@ reverses the Iso' on its right, and applies the Iso' to the value on the left. Angles are the motivating example where this order improves readability.

angleBetween :: (InnerSpace v, Scalar v ~ Double) => v -> v -> Angle

compute the positive angle between the two vectors in their common plane

class HasTheta t where

The class of types with at least one angle coordinate, called _theta.

Methods

_theta :: Lens' t Angle

Instances

HasTheta P2

HasTheta R2

HasTheta Direction

HasTheta P3

HasTheta R3