Data.AffineSpace

Affine spaces.

Documentation

class AdditiveGroup (Diff p) => AffineSpace p where

Minimal complete definition

Nothing

Associated Types

type Diff p

Associated vector space

Methods

(.-.) :: p -> p -> Diff p infix 6

Subtract points

(.-.) :: (Generic p, Diff p ~ GenericDiff p, AffineSpace (VRep p)) => p -> p -> Diff p infix 6

Subtract points

(.+^) :: p -> Diff p -> p infixl 6

Point plus vector

(.+^) :: (Generic p, Diff p ~ GenericDiff p, AffineSpace (VRep p)) => p -> Diff p -> p infixl 6

Point plus vector

Instances

AffineSpace Double

Defined in Data.AffineSpace

Associated Types

type Diff Double :: Type

Methods

(.-.) :: Double -> Double -> Diff Double

(.+^) :: Double -> Diff Double -> Double

AffineSpace Float

Defined in Data.AffineSpace

Associated Types

type Diff Float :: Type

Methods

(.-.) :: Float -> Float -> Diff Float

(.+^) :: Float -> Diff Float -> Float

AffineSpace Int

Defined in Data.AffineSpace

Associated Types

type Diff Int :: Type

Methods

(.-.) :: Int -> Int -> Diff Int

(.+^) :: Int -> Diff Int -> Int

AffineSpace Integer

Defined in Data.AffineSpace

Associated Types

type Diff Integer :: Type

Methods

(.-.) :: Integer -> Integer -> Diff Integer

(.+^) :: Integer -> Diff Integer -> Integer

AffineSpace CSChar

Defined in Data.AffineSpace

Associated Types

type Diff CSChar :: Type

Methods

(.-.) :: CSChar -> CSChar -> Diff CSChar

(.+^) :: CSChar -> Diff CSChar -> CSChar

AffineSpace CShort

Defined in Data.AffineSpace

Associated Types

type Diff CShort :: Type

Methods

(.-.) :: CShort -> CShort -> Diff CShort

(.+^) :: CShort -> Diff CShort -> CShort

AffineSpace CInt

Defined in Data.AffineSpace

Associated Types

type Diff CInt :: Type

Methods

(.-.) :: CInt -> CInt -> Diff CInt

(.+^) :: CInt -> Diff CInt -> CInt

AffineSpace CLong

Defined in Data.AffineSpace

Associated Types

type Diff CLong :: Type

Methods

(.-.) :: CLong -> CLong -> Diff CLong

(.+^) :: CLong -> Diff CLong -> CLong

AffineSpace CLLong

Defined in Data.AffineSpace

Associated Types

type Diff CLLong :: Type

Methods

(.-.) :: CLLong -> CLLong -> Diff CLLong

(.+^) :: CLLong -> Diff CLLong -> CLLong

AffineSpace CFloat

Defined in Data.AffineSpace

Associated Types

type Diff CFloat :: Type

Methods

(.-.) :: CFloat -> CFloat -> Diff CFloat

(.+^) :: CFloat -> Diff CFloat -> CFloat

AffineSpace CDouble

Defined in Data.AffineSpace

Associated Types

type Diff CDouble :: Type

Methods

(.-.) :: CDouble -> CDouble -> Diff CDouble

(.+^) :: CDouble -> Diff CDouble -> CDouble

AffineSpace CIntMax

Defined in Data.AffineSpace

Associated Types

type Diff CIntMax :: Type

Methods

(.-.) :: CIntMax -> CIntMax -> Diff CIntMax

(.+^) :: CIntMax -> Diff CIntMax -> CIntMax

Integral a => AffineSpace (Ratio a)

Defined in Data.AffineSpace

Associated Types

type Diff (Ratio a) :: Type

Methods

(.-.) :: Ratio a -> Ratio a -> Diff (Ratio a)

(.+^) :: Ratio a -> Diff (Ratio a) -> Ratio a

AffineSpace p => AffineSpace (a -> p)

Defined in Data.AffineSpace

Associated Types

type Diff (a -> p) :: Type

Methods

(.-.) :: (a -> p) -> (a -> p) -> Diff (a -> p)

(.+^) :: (a -> p) -> Diff (a -> p) -> a -> p

(AffineSpace p, AffineSpace q) => AffineSpace (p, q)

Defined in Data.AffineSpace

Associated Types

type Diff (p, q) :: Type

Methods

(.-.) :: (p, q) -> (p, q) -> Diff (p, q)

(.+^) :: (p, q) -> Diff (p, q) -> (p, q)

AffineSpace a => AffineSpace (Rec0 a s)

Defined in Data.AffineSpace

Associated Types

type Diff (Rec0 a s) :: Type

Methods

(.-.) :: Rec0 a s -> Rec0 a s -> Diff (Rec0 a s)

(.+^) :: Rec0 a s -> Diff (Rec0 a s) -> Rec0 a s

(AffineSpace p, AffineSpace q, AffineSpace r) => AffineSpace (p, q, r)

Defined in Data.AffineSpace

Associated Types

type Diff (p, q, r) :: Type

Methods

(.-.) :: (p, q, r) -> (p, q, r) -> Diff (p, q, r)

(.+^) :: (p, q, r) -> Diff (p, q, r) -> (p, q, r)

(AffineSpace (f p), AffineSpace (g p)) => AffineSpace ((f :*: g) p)

Defined in Data.AffineSpace

Associated Types

type Diff ((f :*: g) p) :: Type

Methods

(.-.) :: (f :*: g) p -> (f :*: g) p -> Diff ((f :*: g) p)

(.+^) :: (f :*: g) p -> Diff ((f :*: g) p) -> (f :*: g) p

AffineSpace (f p) => AffineSpace (M1 i c f p)

Defined in Data.AffineSpace

Associated Types

type Diff (M1 i c f p) :: Type

Methods

(.-.) :: M1 i c f p -> M1 i c f p -> Diff (M1 i c f p)

(.+^) :: M1 i c f p -> Diff (M1 i c f p) -> M1 i c f p

(.-^) :: AffineSpace p => p -> Diff p -> p infixl 6

Point minus vector

distanceSq :: (AffineSpace p, v ~ Diff p, InnerSpace v) => p -> p -> Scalar v

Square of the distance between two points. Sometimes useful for efficiency. See also distance.

distance :: (AffineSpace p, v ~ Diff p, InnerSpace v, s ~ Scalar v, Floating (Scalar v)) => p -> p -> s

Distance between two points. See also distanceSq.

alerp :: (AffineSpace p, VectorSpace (Diff p)) => p -> p -> Scalar (Diff p) -> p

Affine linear interpolation. Varies from p to p' as s varies from 0 to 1. See also lerp (on vector spaces).

affineCombo :: (AffineSpace p, v ~ Diff p, VectorSpace v) => p -> [(p, Scalar v)] -> p

Compute an affine combination (weighted average) of points. The first element is used as origin and is weighted such that all coefficients sum to 1. For example,

affineCombo a [(0.3,b), (0.2,c)]

is equal to

a .+^ (0.3 *^ (b .-. a) ^+^ 0.2 *^ (c .-. a))

and if a, b, and c were in a vector space would also be equal to

0.5 *^ a ^+^ 0.3 *^ b ^+^ 0.2 *^ c

See also linearCombo (on vector spaces).