Diagrams.TwoD.Types

Basic types for two-dimensional Euclidean space.

2D Euclidean space

type R2 = (Double, Double)

The two-dimensional Euclidean vector space R^2.

type P2 = Point R2

Points in R^2.

type T2 = Transformation R2

Transformations in R^2.

Angles

class Num a => Angle a where

Type class for types that measure angles.

Methods

toCircleFrac :: a -> CircleFrac

Convert to a fraction of a circle.

fromCircleFrac :: CircleFrac -> a

Convert from a fraction of a circle.

Instances

Angle Deg

360 degrees = 1 full circle.

Angle Rad

tau radians = 1 full circle.

Angle CircleFrac

newtype CircleFrac

Newtype wrapper used to represent angles as fractions of a circle. For example, 13 = tau3 radians = 120 degrees.

Constructors

CircleFrac

Fields

getCircleFrac :: Double

Instances

Enum CircleFrac

Eq CircleFrac

Floating CircleFrac

Fractional CircleFrac

Num CircleFrac

Ord CircleFrac

Read CircleFrac

Real CircleFrac

RealFloat CircleFrac

RealFrac CircleFrac

Show CircleFrac

Angle CircleFrac

newtype Rad

Newtype wrapper for representing angles in radians.

Constructors

Rad

Fields

getRad :: Double

Instances

Enum Rad

Eq Rad

Floating Rad

Fractional Rad

Num Rad

Ord Rad

Read Rad

Real Rad

RealFloat Rad

RealFrac Rad

Show Rad

Angle Rad

tau radians = 1 full circle.

newtype Deg

Newtype wrapper for representing angles in degrees.

Constructors

Deg

Fields

getDeg :: Double

Instances

Enum Deg

Eq Deg

Floating Deg

Fractional Deg

Num Deg

Ord Deg

Read Deg

Real Deg

RealFloat Deg

RealFrac Deg

Show Deg

Angle Deg

360 degrees = 1 full circle.

fullCircle :: Angle a => a

An angle representing a full circle.

convertAngle :: (Angle a, Angle b) => a -> b

Convert between two angle representations.