Data.Vector.Static

Vector types

type Vector n e = Tensor '[n] e

N-dimensional vector.

type VectorConstructor n e = TensorConstructor '[n] e

Type of vector data constructor.

type IsVector n e = IsTensor '[n] e

Vector constraint.

Construction

vector :: forall n e. IsVector n e => VectorConstructor n e

Alias for a conrete vector data constructor.

Vector Operations

normalize :: Normalize n e => Vector n e -> NormalizedVector n e

Normalize vector.

data NormalizedVector n e

Normalized vector.

Instances

Eq (Vector n e) => Eq (NormalizedVector n e)

Methods

(==) :: NormalizedVector n e -> NormalizedVector n e -> Bool

(/=) :: NormalizedVector n e -> NormalizedVector n e -> Bool

Show (Vector n e) => Show (NormalizedVector n e)

Methods

showsPrec :: Int -> NormalizedVector n e -> ShowS

show :: NormalizedVector n e -> String

showList :: [NormalizedVector n e] -> ShowS

Generic (NormalizedVector n e)

Associated Types

type Rep (NormalizedVector n e) :: * -> *

Methods

from :: NormalizedVector n e -> Rep (NormalizedVector n e) x

to :: Rep (NormalizedVector n e) x -> NormalizedVector n e

type Rep (NormalizedVector n e)

type Rep (NormalizedVector n e) = D1 * (MetaData "NormalizedVector" "Data.Vector.Static" "static-tensor-0.2.0.0-4LYZSU7cIXNFIrMbd1zb5c" True) (C1 * (MetaCons "NormalizedVector" PrefixI True) (S1 * (MetaSel (Just Symbol "unNormalizedVector") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Vector n e))))

type Normalize (n :: Nat) e = (VectorLen n e, Scale '[n] e)

Constraints for normalize function.

unNormalizedVector :: NormalizedVector n e -> Vector n e

unwrap NormalizedVector. Note: this does not give you original vector back.

unNormalizedVector . normalize /= id

vectorLenSquare :: VectorLenSquare n e => Vector n e -> e

Get square of length of a vector.

type VectorLenSquare (n :: Nat) e = (Num e, IsVector n e, MonoFunctorCtx '[n] e, MonoFoldableCtx '[n] e)

Constraints for vectorLenSquare function.

vectorLen :: VectorLen n e => Vector n e -> e

Get length of a vector.

type VectorLen (n :: Nat) e = (Floating e, VectorLenSquare n e)

Constraints for vectorLen function.

dot :: Dot n e => Vector n e -> Vector n e -> e

Dot product of two vectors.

type Dot (n :: Nat) e = (Num e, IsVector n e, MonoFunctorCtx '[n] e, MonoFoldableCtx '[n] e, MonoZipCtx '[n] e)

Constraints for dot function.

cross :: (Num e, IsVector 3 e) => Vector 3 e -> Vector 3 e -> Vector 3 e

Cross product is only defined for 3-dimensional vectors.

Generating vector instances

genVectorInstance

Arguments

:: Int

Size of the vector.

-> Name

Type of elements.

-> Q [Dec]

Generate instance of a vector.