Data.Array.Accelerate.Linear.Vector

Operations on free vector spaces

Documentation

>>> import Data.Array.Accelerate.Linear.V2 ()
>>> import Linear.V2

class Additive f => Additive f where

A vector is an additive group with additional structure.

TODO: Support both Exp and Acc

Methods

zero :: (Elt (f a), Num a) => Exp (f a)

The zero vector

(^+^) :: forall a. (Num a, Box f a) => Exp (f a) -> Exp (f a) -> Exp (f a) infixl 6

Compute the sum of two vectors

>>> lift (V2 1 2 :: V2 Int) ^+^ lift (V2 3 4 :: V2 Int)
(4,6)

(^-^) :: forall a. (Num a, Box f a) => Exp (f a) -> Exp (f a) -> Exp (f a) infixl 6

Compute the difference between two vectors

>>> lift (V2 4 5 :: V2 Int) ^-^ lift (V2 3 1 :: V2 Int)
(1,4)

lerp :: forall a. (Num a, Box f a) => Exp a -> Exp (f a) -> Exp (f a) -> Exp (f a)

Linearly interpolate between two vectors

type IsAdditive f a = (Additive f, Box f a)

newtype E t

Basis element

Constructors

E

Fields

• el :: forall a. (Elt a, Box t a) => Lens' (Exp (t a)) (Exp a)

negated :: forall f a. (Functor f, Num a, Box f a) => Exp (f a) -> Exp (f a)

Compute the negation of a vector

>>> negated (lift (V2 2 4 :: V2 Int))
(-2,-4)

(*^) :: forall f a. (Functor f, Num a, Box f a) => Exp a -> Exp (f a) -> Exp (f a) infixl 7

Compute the left scalar product

>>> 2 *^ lift (V2 3 4 :: V2 Int)
(6,8)

(^*) :: forall f a. (Functor f, Num a, Box f a) => Exp (f a) -> Exp a -> Exp (f a) infixl 7

Compute the right scalar product

>>> lift (V2 3 4 :: V2 Int) ^* 2
(6,8)

(^/) :: forall f a. (Functor f, Fractional a, Box f a) => Exp (f a) -> Exp a -> Exp (f a) infixl 7

Compute division by a scalar on the right

lift (V2 4 6 :: V2 Double) ^/ 2 V2 2 3

(/^) :: forall f a. (Functor f, Fractional a, Box f a) => Exp a -> Exp (f a) -> Exp (f a) infixl 7

Compute division of a scalar on the left

>>> 4 /^ lift (V2 2 4 :: V2 Double)
(2.0,1.0)

(+^) :: forall f a. (Functor f, Num a, Box f a) => Exp a -> Exp (f a) -> Exp (f a) infixl 6

Addition with a scalar on the left

>>> 2 +^ lift (V2 3 4 :: V2 Int)
(5,6)

(^+) :: forall f a. (Functor f, Num a, Box f a) => Exp (f a) -> Exp a -> Exp (f a) infixl 6

Addition with a scalar on the right

>>> lift (V2 1 2 :: V2 Int) ^+ 3
(4,5)

(-^) :: forall f a. (Functor f, Num a, Box f a) => Exp a -> Exp (f a) -> Exp (f a) infixl 6

Subtraction with a scalar on the left

>>> 2 -^ lift (V2 3 4 :: V2 Int)
(-1,-2)

(^-) :: forall f a. (Functor f, Num a, Box f a) => Exp (f a) -> Exp a -> Exp (f a) infixl 6

Subtraction with a scalar on the right

>>> lift (V2 1 2 :: V2 Int) ^- 3
(-2,-1)