cifl-math-library-1.1.1.0: Math libraries
Safe HaskellTrustworthy
LanguageHaskell2010

Math.Matrix.SIMD

Description

This modules provides SIMD optimized versions of vectors. Relies heavily on GHC SIMD support. SIMD works only when using LLVM and GHC 8.x The only combinations of vectors supported are 4 * Int32, 8 * Int16 and 16 * Int8, 4*Float, 2*Double Conversions to and from optimized types and Vector4 Int32, (Vector2 :*: Vector2) Int32, (Vector4 Int16, Vector4 Int16) Vector4 Float, (Vector2 :*: Vector2) Float, and (Vector4 :*: Vector4) Int8 can be performed as appropriate for each type.

Documentation

data SIMDVec (len :: Nat) a Source #

Instances

Instances details
Num (SIMDVec 1 (Complex Double)) Source # 
Instance details

Defined in Math.Matrix.SIMD

Methods

(+) :: SIMDVec 1 (Complex Double) -> SIMDVec 1 (Complex Double) -> SIMDVec 1 (Complex Double) #

(-) :: SIMDVec 1 (Complex Double) -> SIMDVec 1 (Complex Double) -> SIMDVec 1 (Complex Double) #

(*) :: SIMDVec 1 (Complex Double) -> SIMDVec 1 (Complex Double) -> SIMDVec 1 (Complex Double) #

negate :: SIMDVec 1 (Complex Double) -> SIMDVec 1 (Complex Double) #

abs :: SIMDVec 1 (Complex Double) -> SIMDVec 1 (Complex Double) #

signum :: SIMDVec 1 (Complex Double) -> SIMDVec 1 (Complex Double) #

fromInteger :: Integer -> SIMDVec 1 (Complex Double) #

Num (SIMDVec 2 (Complex Float)) Source # 
Instance details

Defined in Math.Matrix.SIMD

Methods

(+) :: SIMDVec 2 (Complex Float) -> SIMDVec 2 (Complex Float) -> SIMDVec 2 (Complex Float) #

(-) :: SIMDVec 2 (Complex Float) -> SIMDVec 2 (Complex Float) -> SIMDVec 2 (Complex Float) #

(*) :: SIMDVec 2 (Complex Float) -> SIMDVec 2 (Complex Float) -> SIMDVec 2 (Complex Float) #

negate :: SIMDVec 2 (Complex Float) -> SIMDVec 2 (Complex Float) #

abs :: SIMDVec 2 (Complex Float) -> SIMDVec 2 (Complex Float) #

signum :: SIMDVec 2 (Complex Float) -> SIMDVec 2 (Complex Float) #

fromInteger :: Integer -> SIMDVec 2 (Complex Float) #

Num (SIMDVec 2 Int64) Source # 
Instance details

Defined in Math.Matrix.SIMD

Methods

(+) :: SIMDVec 2 Int64 -> SIMDVec 2 Int64 -> SIMDVec 2 Int64 #

(-) :: SIMDVec 2 Int64 -> SIMDVec 2 Int64 -> SIMDVec 2 Int64 #

(*) :: SIMDVec 2 Int64 -> SIMDVec 2 Int64 -> SIMDVec 2 Int64 #

negate :: SIMDVec 2 Int64 -> SIMDVec 2 Int64 #

abs :: SIMDVec 2 Int64 -> SIMDVec 2 Int64 #

signum :: SIMDVec 2 Int64 -> SIMDVec 2 Int64 #

fromInteger :: Integer -> SIMDVec 2 Int64 #

Num (SIMDVec 2 Double) Source # 
Instance details

Defined in Math.Matrix.SIMD

Methods

(+) :: SIMDVec 2 Double -> SIMDVec 2 Double -> SIMDVec 2 Double #

(-) :: SIMDVec 2 Double -> SIMDVec 2 Double -> SIMDVec 2 Double #

(*) :: SIMDVec 2 Double -> SIMDVec 2 Double -> SIMDVec 2 Double #

negate :: SIMDVec 2 Double -> SIMDVec 2 Double #

abs :: SIMDVec 2 Double -> SIMDVec 2 Double #

signum :: SIMDVec 2 Double -> SIMDVec 2 Double #

fromInteger :: Integer -> SIMDVec 2 Double #

Num (SIMDVec 4 Int32) Source # 
Instance details

Defined in Math.Matrix.SIMD

Methods

(+) :: SIMDVec 4 Int32 -> SIMDVec 4 Int32 -> SIMDVec 4 Int32 #

(-) :: SIMDVec 4 Int32 -> SIMDVec 4 Int32 -> SIMDVec 4 Int32 #

(*) :: SIMDVec 4 Int32 -> SIMDVec 4 Int32 -> SIMDVec 4 Int32 #

negate :: SIMDVec 4 Int32 -> SIMDVec 4 Int32 #

abs :: SIMDVec 4 Int32 -> SIMDVec 4 Int32 #

signum :: SIMDVec 4 Int32 -> SIMDVec 4 Int32 #

fromInteger :: Integer -> SIMDVec 4 Int32 #

Num (SIMDVec 4 Float) Source # 
Instance details

Defined in Math.Matrix.SIMD

Methods

(+) :: SIMDVec 4 Float -> SIMDVec 4 Float -> SIMDVec 4 Float #

(-) :: SIMDVec 4 Float -> SIMDVec 4 Float -> SIMDVec 4 Float #

(*) :: SIMDVec 4 Float -> SIMDVec 4 Float -> SIMDVec 4 Float #

negate :: SIMDVec 4 Float -> SIMDVec 4 Float #

abs :: SIMDVec 4 Float -> SIMDVec 4 Float #

signum :: SIMDVec 4 Float -> SIMDVec 4 Float #

fromInteger :: Integer -> SIMDVec 4 Float #

Num (SIMDVec 8 Int16) Source # 
Instance details

Defined in Math.Matrix.SIMD

Methods

(+) :: SIMDVec 8 Int16 -> SIMDVec 8 Int16 -> SIMDVec 8 Int16 #

(-) :: SIMDVec 8 Int16 -> SIMDVec 8 Int16 -> SIMDVec 8 Int16 #

(*) :: SIMDVec 8 Int16 -> SIMDVec 8 Int16 -> SIMDVec 8 Int16 #

negate :: SIMDVec 8 Int16 -> SIMDVec 8 Int16 #

abs :: SIMDVec 8 Int16 -> SIMDVec 8 Int16 #

signum :: SIMDVec 8 Int16 -> SIMDVec 8 Int16 #

fromInteger :: Integer -> SIMDVec 8 Int16 #

Num (SIMDVec 16 Int8) Source # 
Instance details

Defined in Math.Matrix.SIMD

Methods

(+) :: SIMDVec 16 Int8 -> SIMDVec 16 Int8 -> SIMDVec 16 Int8 #

(-) :: SIMDVec 16 Int8 -> SIMDVec 16 Int8 -> SIMDVec 16 Int8 #

(*) :: SIMDVec 16 Int8 -> SIMDVec 16 Int8 -> SIMDVec 16 Int8 #

negate :: SIMDVec 16 Int8 -> SIMDVec 16 Int8 #

abs :: SIMDVec 16 Int8 -> SIMDVec 16 Int8 #

signum :: SIMDVec 16 Int8 -> SIMDVec 16 Int8 #

fromInteger :: Integer -> SIMDVec 16 Int8 #

Fractional (SIMDVec 2 Double) Source # 
Instance details

Defined in Math.Matrix.SIMD

Methods

(/) :: SIMDVec 2 Double -> SIMDVec 2 Double -> SIMDVec 2 Double #

recip :: SIMDVec 2 Double -> SIMDVec 2 Double #

fromRational :: Rational -> SIMDVec 2 Double #

Fractional (SIMDVec 4 Float) Source # 
Instance details

Defined in Math.Matrix.SIMD

Methods

(/) :: SIMDVec 4 Float -> SIMDVec 4 Float -> SIMDVec 4 Float #

recip :: SIMDVec 4 Float -> SIMDVec 4 Float #

fromRational :: Rational -> SIMDVec 4 Float #

Show (SIMDVec 2 Int64) Source # 
Instance details

Defined in Math.Matrix.SIMD

Methods

showsPrec :: Int -> SIMDVec 2 Int64 -> ShowS #

show :: SIMDVec 2 Int64 -> String #

showList :: [SIMDVec 2 Int64] -> ShowS #

Show (SIMDVec 4 Int32) Source # 
Instance details

Defined in Math.Matrix.SIMD

Methods

showsPrec :: Int -> SIMDVec 4 Int32 -> ShowS #

show :: SIMDVec 4 Int32 -> String #

showList :: [SIMDVec 4 Int32] -> ShowS #

Show (SIMDVec 8 Int16) Source # 
Instance details

Defined in Math.Matrix.SIMD

Methods

showsPrec :: Int -> SIMDVec 8 Int16 -> ShowS #

show :: SIMDVec 8 Int16 -> String #

showList :: [SIMDVec 8 Int16] -> ShowS #

Show (SIMDVec 16 Int8) Source # 
Instance details

Defined in Math.Matrix.SIMD

Methods

showsPrec :: Int -> SIMDVec 16 Int8 -> ShowS #

show :: SIMDVec 16 Int8 -> String #

showList :: [SIMDVec 16 Int8] -> ShowS #

InnerProductSpace (SIMDVec 1 (Complex Double)) Source # 
Instance details

Defined in Math.Matrix.SIMD

Methods

(%.) :: SIMDVec 1 (Complex Double) -> SIMDVec 1 (Complex Double) -> Scalar (SIMDVec 1 (Complex Double)) Source #

InnerProductSpace (SIMDVec 2 (Complex Float)) Source # 
Instance details

Defined in Math.Matrix.SIMD

Methods

(%.) :: SIMDVec 2 (Complex Float) -> SIMDVec 2 (Complex Float) -> Scalar (SIMDVec 2 (Complex Float)) Source #

InnerProductSpace (SIMDVec 2 Int64) Source # 
Instance details

Defined in Math.Matrix.SIMD

Methods

(%.) :: SIMDVec 2 Int64 -> SIMDVec 2 Int64 -> Scalar (SIMDVec 2 Int64) Source #

Scalar (SIMDVec 2 Double) ~ Double => InnerProductSpace (SIMDVec 2 Double) Source # 
Instance details

Defined in Math.Matrix.SIMD

Methods

(%.) :: SIMDVec 2 Double -> SIMDVec 2 Double -> Scalar (SIMDVec 2 Double) Source #

InnerProductSpace (SIMDVec 4 Int32) Source # 
Instance details

Defined in Math.Matrix.SIMD

Methods

(%.) :: SIMDVec 4 Int32 -> SIMDVec 4 Int32 -> Scalar (SIMDVec 4 Int32) Source #

InnerProductSpace (SIMDVec 4 Float) Source # 
Instance details

Defined in Math.Matrix.SIMD

Methods

(%.) :: SIMDVec 4 Float -> SIMDVec 4 Float -> Scalar (SIMDVec 4 Float) Source #

InnerProductSpace (SIMDVec 8 Int16) Source # 
Instance details

Defined in Math.Matrix.SIMD

Methods

(%.) :: SIMDVec 8 Int16 -> SIMDVec 8 Int16 -> Scalar (SIMDVec 8 Int16) Source #

InnerProductSpace (SIMDVec 16 Int8) Source # 
Instance details

Defined in Math.Matrix.SIMD

Methods

(%.) :: SIMDVec 16 Int8 -> SIMDVec 16 Int8 -> Scalar (SIMDVec 16 Int8) Source #

NormedSpace (SIMDVec 1 (Complex Double)) Source # 
Instance details

Defined in Math.Matrix.SIMD

Methods

norm :: SIMDVec 1 (Complex Double) -> Scalar (SIMDVec 1 (Complex Double)) Source #

norm_squared :: SIMDVec 1 (Complex Double) -> Scalar (SIMDVec 1 (Complex Double)) Source #

NormedSpace (SIMDVec 2 (Complex Float)) Source # 
Instance details

Defined in Math.Matrix.SIMD

Methods

norm :: SIMDVec 2 (Complex Float) -> Scalar (SIMDVec 2 (Complex Float)) Source #

norm_squared :: SIMDVec 2 (Complex Float) -> Scalar (SIMDVec 2 (Complex Float)) Source #

VectorSpace (SIMDVec 1 (Complex Double)) Source # 
Instance details

Defined in Math.Matrix.SIMD

Associated Types

type Scalar (SIMDVec 1 (Complex Double)) Source #

Methods

vzero :: SIMDVec 1 (Complex Double) Source #

vnegate :: SIMDVec 1 (Complex Double) -> SIMDVec 1 (Complex Double) Source #

(%+) :: SIMDVec 1 (Complex Double) -> SIMDVec 1 (Complex Double) -> SIMDVec 1 (Complex Double) Source #

(%*) :: Scalar (SIMDVec 1 (Complex Double)) -> SIMDVec 1 (Complex Double) -> SIMDVec 1 (Complex Double) Source #

VectorSpace (SIMDVec 2 (Complex Float)) Source # 
Instance details

Defined in Math.Matrix.SIMD

Associated Types

type Scalar (SIMDVec 2 (Complex Float)) Source #

Methods

vzero :: SIMDVec 2 (Complex Float) Source #

vnegate :: SIMDVec 2 (Complex Float) -> SIMDVec 2 (Complex Float) Source #

(%+) :: SIMDVec 2 (Complex Float) -> SIMDVec 2 (Complex Float) -> SIMDVec 2 (Complex Float) Source #

(%*) :: Scalar (SIMDVec 2 (Complex Float)) -> SIMDVec 2 (Complex Float) -> SIMDVec 2 (Complex Float) Source #

VectorSpace (SIMDVec 2 Int64) Source # 
Instance details

Defined in Math.Matrix.SIMD

Associated Types

type Scalar (SIMDVec 2 Int64) Source #

Methods

vzero :: SIMDVec 2 Int64 Source #

vnegate :: SIMDVec 2 Int64 -> SIMDVec 2 Int64 Source #

(%+) :: SIMDVec 2 Int64 -> SIMDVec 2 Int64 -> SIMDVec 2 Int64 Source #

(%*) :: Scalar (SIMDVec 2 Int64) -> SIMDVec 2 Int64 -> SIMDVec 2 Int64 Source #

VectorSpace (SIMDVec 2 Double) Source # 
Instance details

Defined in Math.Matrix.SIMD

Associated Types

type Scalar (SIMDVec 2 Double) Source #

Methods

vzero :: SIMDVec 2 Double Source #

vnegate :: SIMDVec 2 Double -> SIMDVec 2 Double Source #

(%+) :: SIMDVec 2 Double -> SIMDVec 2 Double -> SIMDVec 2 Double Source #

(%*) :: Scalar (SIMDVec 2 Double) -> SIMDVec 2 Double -> SIMDVec 2 Double Source #

VectorSpace (SIMDVec 4 Int32) Source # 
Instance details

Defined in Math.Matrix.SIMD

Associated Types

type Scalar (SIMDVec 4 Int32) Source #

Methods

vzero :: SIMDVec 4 Int32 Source #

vnegate :: SIMDVec 4 Int32 -> SIMDVec 4 Int32 Source #

(%+) :: SIMDVec 4 Int32 -> SIMDVec 4 Int32 -> SIMDVec 4 Int32 Source #

(%*) :: Scalar (SIMDVec 4 Int32) -> SIMDVec 4 Int32 -> SIMDVec 4 Int32 Source #

VectorSpace (SIMDVec 4 Float) Source # 
Instance details

Defined in Math.Matrix.SIMD

Associated Types

type Scalar (SIMDVec 4 Float) Source #

Methods

vzero :: SIMDVec 4 Float Source #

vnegate :: SIMDVec 4 Float -> SIMDVec 4 Float Source #

(%+) :: SIMDVec 4 Float -> SIMDVec 4 Float -> SIMDVec 4 Float Source #

(%*) :: Scalar (SIMDVec 4 Float) -> SIMDVec 4 Float -> SIMDVec 4 Float Source #

VectorSpace (SIMDVec 8 Int16) Source # 
Instance details

Defined in Math.Matrix.SIMD

Associated Types

type Scalar (SIMDVec 8 Int16) Source #

Methods

vzero :: SIMDVec 8 Int16 Source #

vnegate :: SIMDVec 8 Int16 -> SIMDVec 8 Int16 Source #

(%+) :: SIMDVec 8 Int16 -> SIMDVec 8 Int16 -> SIMDVec 8 Int16 Source #

(%*) :: Scalar (SIMDVec 8 Int16) -> SIMDVec 8 Int16 -> SIMDVec 8 Int16 Source #

VectorSpace (SIMDVec 16 Int8) Source # 
Instance details

Defined in Math.Matrix.SIMD

Associated Types

type Scalar (SIMDVec 16 Int8) Source #

Methods

vzero :: SIMDVec 16 Int8 Source #

vnegate :: SIMDVec 16 Int8 -> SIMDVec 16 Int8 Source #

(%+) :: SIMDVec 16 Int8 -> SIMDVec 16 Int8 -> SIMDVec 16 Int8 Source #

(%*) :: Scalar (SIMDVec 16 Int8) -> SIMDVec 16 Int8 -> SIMDVec 16 Int8 Source #

Eq (SIMDVec 2 Int64) Source # 
Instance details

Defined in Math.Matrix.SIMD

Methods

(==) :: SIMDVec 2 Int64 -> SIMDVec 2 Int64 -> Bool #

(/=) :: SIMDVec 2 Int64 -> SIMDVec 2 Int64 -> Bool #

Eq (SIMDVec 4 Int32) Source # 
Instance details

Defined in Math.Matrix.SIMD

Methods

(==) :: SIMDVec 4 Int32 -> SIMDVec 4 Int32 -> Bool #

(/=) :: SIMDVec 4 Int32 -> SIMDVec 4 Int32 -> Bool #

Eq (SIMDVec 8 Int16) Source # 
Instance details

Defined in Math.Matrix.SIMD

Methods

(==) :: SIMDVec 8 Int16 -> SIMDVec 8 Int16 -> Bool #

(/=) :: SIMDVec 8 Int16 -> SIMDVec 8 Int16 -> Bool #

Eq (SIMDVec 16 Int8) Source # 
Instance details

Defined in Math.Matrix.SIMD

Methods

(==) :: SIMDVec 16 Int8 -> SIMDVec 16 Int8 -> Bool #

(/=) :: SIMDVec 16 Int8 -> SIMDVec 16 Int8 -> Bool #

type Scalar (SIMDVec 1 (Complex Double)) Source # 
Instance details

Defined in Math.Matrix.SIMD

type Scalar (SIMDVec 1 (Complex Double)) = Complex Double
type Scalar (SIMDVec 2 (Complex Float)) Source # 
Instance details

Defined in Math.Matrix.SIMD

type Scalar (SIMDVec 2 (Complex Float)) = Complex Float
type Scalar (SIMDVec 2 Int64) Source # 
Instance details

Defined in Math.Matrix.SIMD

type Scalar (SIMDVec 2 Int64) = Int64
type Scalar (SIMDVec 2 Double) Source # 
Instance details

Defined in Math.Matrix.SIMD

type Scalar (SIMDVec 2 Double) = Double
type Scalar (SIMDVec 4 Int32) Source # 
Instance details

Defined in Math.Matrix.SIMD

type Scalar (SIMDVec 4 Int32) = Int32
type Scalar (SIMDVec 4 Float) Source # 
Instance details

Defined in Math.Matrix.SIMD

type Scalar (SIMDVec 4 Float) = Float
type Scalar (SIMDVec 8 Int16) Source # 
Instance details

Defined in Math.Matrix.SIMD

type Scalar (SIMDVec 8 Int16) = Int16
type Scalar (SIMDVec 16 Int8) Source # 
Instance details

Defined in Math.Matrix.SIMD

type Scalar (SIMDVec 16 Int8) = Int8

eqSVec4 :: SIMDVec 4 Int32 -> SIMDVec 4 Int32 -> Bool Source #

eqSVec8 :: SIMDVec 8 Int16 -> SIMDVec 8 Int16 -> Bool Source #

eqSVec16 :: SIMDVec 16 Int8 -> SIMDVec 16 Int8 -> Bool Source #

to2x2Matrix :: SIMDVec 4 Int32 -> (Vector2 :*: Vector2) Int32 Source #

from2x2Matrix :: (Vector2 :*: Vector2) Int32 -> SIMDVec 4 Int32 Source #

svec16_1 :: SIMDVec 16 Int8 -> Int8 Source #

svec16_2 :: SIMDVec 16 Int8 -> Int8 Source #

svec16_3 :: SIMDVec 16 Int8 -> Int8 Source #

svec16_4 :: SIMDVec 16 Int8 -> Int8 Source #

svec16_5 :: SIMDVec 16 Int8 -> Int8 Source #

svec16_6 :: SIMDVec 16 Int8 -> Int8 Source #

svec16_7 :: SIMDVec 16 Int8 -> Int8 Source #

svec16_8 :: SIMDVec 16 Int8 -> Int8 Source #

svec16_9 :: SIMDVec 16 Int8 -> Int8 Source #

svec16_10 :: SIMDVec 16 Int8 -> Int8 Source #

svec16_11 :: SIMDVec 16 Int8 -> Int8 Source #

svec16_12 :: SIMDVec 16 Int8 -> Int8 Source #

svec16_13 :: SIMDVec 16 Int8 -> Int8 Source #

svec16_14 :: SIMDVec 16 Int8 -> Int8 Source #

svec16_15 :: SIMDVec 16 Int8 -> Int8 Source #

svec16_16 :: SIMDVec 16 Int8 -> Int8 Source #

mapSVec16 :: (Int8 -> Int8) -> SIMDVec 16 Int8 -> SIMDVec 16 Int8 Source #

mapSVec8 :: (Int16 -> Int16) -> SIMDVec 8 Int16 -> SIMDVec 8 Int16 Source #

mapSVec4 :: (Int32 -> Int32) -> SIMDVec 4 Int32 -> SIMDVec 4 Int32 Source #

mapFVec4 :: (Float -> Float) -> SIMDVec 4 Float -> SIMDVec 4 Float Source #

zipSVec4 :: (Int32 -> Int32 -> Int32) -> SIMDVec 4 Int32 -> SIMDVec 4 Int32 -> SIMDVec 4 Int32 Source #

zipFVec4 :: (Float -> Float -> Float) -> SIMDVec 4 Float -> SIMDVec 4 Float -> SIMDVec 4 Float Source #

zipSVec8 :: (Int16 -> Int16 -> Int16) -> SIMDVec 8 Int16 -> SIMDVec 8 Int16 -> SIMDVec 8 Int16 Source #

zipSVec16 :: (Int8 -> Int8 -> Int8) -> SIMDVec 16 Int8 -> SIMDVec 16 Int8 -> SIMDVec 16 Int8 Source #

constantFVec4 :: Float -> SIMDVec 4 Float Source #

constantSVec4 :: Int32 -> SIMDVec 4 Int32 Source #

constantSVec8 :: Int16 -> SIMDVec 8 Int16 Source #

constantSVec16 :: Int8 -> SIMDVec 16 Int8 Source #

svec8_1 :: SIMDVec 8 Int16 -> Int16 Source #

svec8_2 :: SIMDVec 8 Int16 -> Int16 Source #

svec8_3 :: SIMDVec 8 Int16 -> Int16 Source #

svec8_4 :: SIMDVec 8 Int16 -> Int16 Source #

svec8_5 :: SIMDVec 8 Int16 -> Int16 Source #

svec8_6 :: SIMDVec 8 Int16 -> Int16 Source #

svec8_7 :: SIMDVec 8 Int16 -> Int16 Source #

svec8_8 :: SIMDVec 8 Int16 -> Int16 Source #

makeFVec4 :: Float -> Float -> Float -> Float -> SIMDVec 4 Float Source #

makeSVec4 :: Int32 -> Int32 -> Int32 -> Int32 -> SIMDVec 4 Int32 Source #

makeSVec8 :: Int16 -> Int16 -> Int16 -> Int16 -> Int16 -> Int16 -> Int16 -> Int16 -> SIMDVec 8 Int16 Source #

makeSVec16 :: Int8 -> Int8 -> Int8 -> Int8 -> Int8 -> Int8 -> Int8 -> Int8 -> Int8 -> Int8 -> Int8 -> Int8 -> Int8 -> Int8 -> Int8 -> Int8 -> SIMDVec 16 Int8 Source #

svec4_x :: SIMDVec 4 Int32 -> Int32 Source #

svec4_y :: SIMDVec 4 Int32 -> Int32 Source #

svec4_z :: SIMDVec 4 Int32 -> Int32 Source #

svec4_t :: SIMDVec 4 Int32 -> Int32 Source #

fvec4_x :: SIMDVec 4 Float -> Float Source #

fvec4_y :: SIMDVec 4 Float -> Float Source #

fvec4_z :: SIMDVec 4 Float -> Float Source #

fvec4_t :: SIMDVec 4 Float -> Float Source #

fromInt8Vector16 :: SIMDVec 16 Int8 -> (Vector4 :*: Vector4) Int8 Source #

toInt8Vector16 :: (Vector4 :*: Vector4) Int8 -> SIMDVec 16 Int8 Source #

fromDoubleVector2 :: Vector2 Double -> SIMDVec 2 Double Source #

toDoubleVector2 :: SIMDVec 2 Double -> Vector2 Double Source #

fromFloatVector4 :: Vector4 Float -> SIMDVec 4 Float Source #

toFloatVector4 :: SIMDVec 4 Float -> Vector4 Float Source #

from2x2FloatVector4 :: (Vector2 :*: Vector2) Float -> SIMDVec 4 Float Source #

to2x2FloatVector4 :: SIMDVec 4 Float -> (Vector2 :*: Vector2) Float Source #

fromInt32Vector4 :: Vector4 Int32 -> SIMDVec 4 Int32 Source #

fromInt16Vector8 :: Vector4 Int16 -> Vector4 Int16 -> SIMDVec 8 Int16 Source #

toInt16Vector8 :: SIMDVec 8 Int16 -> (Vector4 Int16, Vector4 Int16) Source #

toInt32Vector4 :: SIMDVec 4 Int32 -> Vector4 Int32 Source #

transposeFloatVector4 :: SIMDVec 4 Float -> SIMDVec 4 Float Source #

class VectorSpace a => Optimal a where Source #

Associated Types

type Optimized a Source #

Methods

toO :: a -> Optimized a Source #

fromO :: Optimized a -> a Source #

zipO :: (Scalar a -> Scalar a -> Scalar a) -> Optimized a -> Optimized a -> Optimized a Source #

mapO :: (Scalar a -> Scalar a) -> Optimized a -> Optimized a Source #

sumCoordinatesO :: Optimized a -> Scalar a Source #

constantO :: Scalar a -> Optimized a Source #

Instances

Instances details
Optimal (Complex Double) Source # 
Instance details

Defined in Math.Matrix.SIMD

Associated Types

type Optimized (Complex Double) Source #

Methods

toO :: Complex Double -> Optimized (Complex Double) Source #

fromO :: Optimized (Complex Double) -> Complex Double Source #

zipO :: (Scalar (Complex Double) -> Scalar (Complex Double) -> Scalar (Complex Double)) -> Optimized (Complex Double) -> Optimized (Complex Double) -> Optimized (Complex Double) Source #

mapO :: (Scalar (Complex Double) -> Scalar (Complex Double)) -> Optimized (Complex Double) -> Optimized (Complex Double) Source #

sumCoordinatesO :: Optimized (Complex Double) -> Scalar (Complex Double) Source #

constantO :: Scalar (Complex Double) -> Optimized (Complex Double) Source #

Optimal (Vector2 (Complex Float)) Source # 
Instance details

Defined in Math.Matrix.SIMD

Associated Types

type Optimized (Vector2 (Complex Float)) Source #

Methods

toO :: Vector2 (Complex Float) -> Optimized (Vector2 (Complex Float)) Source #

fromO :: Optimized (Vector2 (Complex Float)) -> Vector2 (Complex Float) Source #

zipO :: (Scalar (Vector2 (Complex Float)) -> Scalar (Vector2 (Complex Float)) -> Scalar (Vector2 (Complex Float))) -> Optimized (Vector2 (Complex Float)) -> Optimized (Vector2 (Complex Float)) -> Optimized (Vector2 (Complex Float)) Source #

mapO :: (Scalar (Vector2 (Complex Float)) -> Scalar (Vector2 (Complex Float))) -> Optimized (Vector2 (Complex Float)) -> Optimized (Vector2 (Complex Float)) Source #

sumCoordinatesO :: Optimized (Vector2 (Complex Float)) -> Scalar (Vector2 (Complex Float)) Source #

constantO :: Scalar (Vector2 (Complex Float)) -> Optimized (Vector2 (Complex Float)) Source #

Optimal (Vector2 Int64) Source # 
Instance details

Defined in Math.Matrix.SIMD

Associated Types

type Optimized (Vector2 Int64) Source #

Methods

toO :: Vector2 Int64 -> Optimized (Vector2 Int64) Source #

fromO :: Optimized (Vector2 Int64) -> Vector2 Int64 Source #

zipO :: (Scalar (Vector2 Int64) -> Scalar (Vector2 Int64) -> Scalar (Vector2 Int64)) -> Optimized (Vector2 Int64) -> Optimized (Vector2 Int64) -> Optimized (Vector2 Int64) Source #

mapO :: (Scalar (Vector2 Int64) -> Scalar (Vector2 Int64)) -> Optimized (Vector2 Int64) -> Optimized (Vector2 Int64) Source #

sumCoordinatesO :: Optimized (Vector2 Int64) -> Scalar (Vector2 Int64) Source #

constantO :: Scalar (Vector2 Int64) -> Optimized (Vector2 Int64) Source #

Optimal (Vector2 Double) Source # 
Instance details

Defined in Math.Matrix.SIMD

Associated Types

type Optimized (Vector2 Double) Source #

Methods

toO :: Vector2 Double -> Optimized (Vector2 Double) Source #

fromO :: Optimized (Vector2 Double) -> Vector2 Double Source #

zipO :: (Scalar (Vector2 Double) -> Scalar (Vector2 Double) -> Scalar (Vector2 Double)) -> Optimized (Vector2 Double) -> Optimized (Vector2 Double) -> Optimized (Vector2 Double) Source #

mapO :: (Scalar (Vector2 Double) -> Scalar (Vector2 Double)) -> Optimized (Vector2 Double) -> Optimized (Vector2 Double) Source #

sumCoordinatesO :: Optimized (Vector2 Double) -> Scalar (Vector2 Double) Source #

constantO :: Scalar (Vector2 Double) -> Optimized (Vector2 Double) Source #

Optimal (Vector3 Float) Source # 
Instance details

Defined in Math.Matrix.SIMD

Associated Types

type Optimized (Vector3 Float) Source #

Methods

toO :: Vector3 Float -> Optimized (Vector3 Float) Source #

fromO :: Optimized (Vector3 Float) -> Vector3 Float Source #

zipO :: (Scalar (Vector3 Float) -> Scalar (Vector3 Float) -> Scalar (Vector3 Float)) -> Optimized (Vector3 Float) -> Optimized (Vector3 Float) -> Optimized (Vector3 Float) Source #

mapO :: (Scalar (Vector3 Float) -> Scalar (Vector3 Float)) -> Optimized (Vector3 Float) -> Optimized (Vector3 Float) Source #

sumCoordinatesO :: Optimized (Vector3 Float) -> Scalar (Vector3 Float) Source #

constantO :: Scalar (Vector3 Float) -> Optimized (Vector3 Float) Source #

Optimal (Vector4 Int32) Source # 
Instance details

Defined in Math.Matrix.SIMD

Associated Types

type Optimized (Vector4 Int32) Source #

Methods

toO :: Vector4 Int32 -> Optimized (Vector4 Int32) Source #

fromO :: Optimized (Vector4 Int32) -> Vector4 Int32 Source #

zipO :: (Scalar (Vector4 Int32) -> Scalar (Vector4 Int32) -> Scalar (Vector4 Int32)) -> Optimized (Vector4 Int32) -> Optimized (Vector4 Int32) -> Optimized (Vector4 Int32) Source #

mapO :: (Scalar (Vector4 Int32) -> Scalar (Vector4 Int32)) -> Optimized (Vector4 Int32) -> Optimized (Vector4 Int32) Source #

sumCoordinatesO :: Optimized (Vector4 Int32) -> Scalar (Vector4 Int32) Source #

constantO :: Scalar (Vector4 Int32) -> Optimized (Vector4 Int32) Source #

Optimal (Vector4 Float) Source # 
Instance details

Defined in Math.Matrix.SIMD

Associated Types

type Optimized (Vector4 Float) Source #

Methods

toO :: Vector4 Float -> Optimized (Vector4 Float) Source #

fromO :: Optimized (Vector4 Float) -> Vector4 Float Source #

zipO :: (Scalar (Vector4 Float) -> Scalar (Vector4 Float) -> Scalar (Vector4 Float)) -> Optimized (Vector4 Float) -> Optimized (Vector4 Float) -> Optimized (Vector4 Float) Source #

mapO :: (Scalar (Vector4 Float) -> Scalar (Vector4 Float)) -> Optimized (Vector4 Float) -> Optimized (Vector4 Float) Source #

sumCoordinatesO :: Optimized (Vector4 Float) -> Scalar (Vector4 Float) Source #

constantO :: Scalar (Vector4 Float) -> Optimized (Vector4 Float) Source #

Optimal (Vector4 Int16, Vector4 Int16) Source # 
Instance details

Defined in Math.Matrix.SIMD

Associated Types

type Optimized (Vector4 Int16, Vector4 Int16) Source #

Methods

toO :: (Vector4 Int16, Vector4 Int16) -> Optimized (Vector4 Int16, Vector4 Int16) Source #

fromO :: Optimized (Vector4 Int16, Vector4 Int16) -> (Vector4 Int16, Vector4 Int16) Source #

zipO :: (Scalar (Vector4 Int16, Vector4 Int16) -> Scalar (Vector4 Int16, Vector4 Int16) -> Scalar (Vector4 Int16, Vector4 Int16)) -> Optimized (Vector4 Int16, Vector4 Int16) -> Optimized (Vector4 Int16, Vector4 Int16) -> Optimized (Vector4 Int16, Vector4 Int16) Source #

mapO :: (Scalar (Vector4 Int16, Vector4 Int16) -> Scalar (Vector4 Int16, Vector4 Int16)) -> Optimized (Vector4 Int16, Vector4 Int16) -> Optimized (Vector4 Int16, Vector4 Int16) Source #

sumCoordinatesO :: Optimized (Vector4 Int16, Vector4 Int16) -> Scalar (Vector4 Int16, Vector4 Int16) Source #

constantO :: Scalar (Vector4 Int16, Vector4 Int16) -> Optimized (Vector4 Int16, Vector4 Int16) Source #

Optimal ((Vector2 :*: Vector2) Int32) Source # 
Instance details

Defined in Math.Matrix.SIMD

Associated Types

type Optimized ((Vector2 :*: Vector2) Int32) Source #

Methods

toO :: (Vector2 :*: Vector2) Int32 -> Optimized ((Vector2 :*: Vector2) Int32) Source #

fromO :: Optimized ((Vector2 :*: Vector2) Int32) -> (Vector2 :*: Vector2) Int32 Source #

zipO :: (Scalar ((Vector2 :*: Vector2) Int32) -> Scalar ((Vector2 :*: Vector2) Int32) -> Scalar ((Vector2 :*: Vector2) Int32)) -> Optimized ((Vector2 :*: Vector2) Int32) -> Optimized ((Vector2 :*: Vector2) Int32) -> Optimized ((Vector2 :*: Vector2) Int32) Source #

mapO :: (Scalar ((Vector2 :*: Vector2) Int32) -> Scalar ((Vector2 :*: Vector2) Int32)) -> Optimized ((Vector2 :*: Vector2) Int32) -> Optimized ((Vector2 :*: Vector2) Int32) Source #

sumCoordinatesO :: Optimized ((Vector2 :*: Vector2) Int32) -> Scalar ((Vector2 :*: Vector2) Int32) Source #

constantO :: Scalar ((Vector2 :*: Vector2) Int32) -> Optimized ((Vector2 :*: Vector2) Int32) Source #

Optimal ((Vector2 :*: Vector2) Float) Source # 
Instance details

Defined in Math.Matrix.SIMD

Associated Types

type Optimized ((Vector2 :*: Vector2) Float) Source #

Methods

toO :: (Vector2 :*: Vector2) Float -> Optimized ((Vector2 :*: Vector2) Float) Source #

fromO :: Optimized ((Vector2 :*: Vector2) Float) -> (Vector2 :*: Vector2) Float Source #

zipO :: (Scalar ((Vector2 :*: Vector2) Float) -> Scalar ((Vector2 :*: Vector2) Float) -> Scalar ((Vector2 :*: Vector2) Float)) -> Optimized ((Vector2 :*: Vector2) Float) -> Optimized ((Vector2 :*: Vector2) Float) -> Optimized ((Vector2 :*: Vector2) Float) Source #

mapO :: (Scalar ((Vector2 :*: Vector2) Float) -> Scalar ((Vector2 :*: Vector2) Float)) -> Optimized ((Vector2 :*: Vector2) Float) -> Optimized ((Vector2 :*: Vector2) Float) Source #

sumCoordinatesO :: Optimized ((Vector2 :*: Vector2) Float) -> Scalar ((Vector2 :*: Vector2) Float) Source #

constantO :: Scalar ((Vector2 :*: Vector2) Float) -> Optimized ((Vector2 :*: Vector2) Float) Source #

Optimal ((Vector2 :*: Vector4) Int16) Source # 
Instance details

Defined in Math.Matrix.SIMD

Associated Types

type Optimized ((Vector2 :*: Vector4) Int16) Source #

Methods

toO :: (Vector2 :*: Vector4) Int16 -> Optimized ((Vector2 :*: Vector4) Int16) Source #

fromO :: Optimized ((Vector2 :*: Vector4) Int16) -> (Vector2 :*: Vector4) Int16 Source #

zipO :: (Scalar ((Vector2 :*: Vector4) Int16) -> Scalar ((Vector2 :*: Vector4) Int16) -> Scalar ((Vector2 :*: Vector4) Int16)) -> Optimized ((Vector2 :*: Vector4) Int16) -> Optimized ((Vector2 :*: Vector4) Int16) -> Optimized ((Vector2 :*: Vector4) Int16) Source #

mapO :: (Scalar ((Vector2 :*: Vector4) Int16) -> Scalar ((Vector2 :*: Vector4) Int16)) -> Optimized ((Vector2 :*: Vector4) Int16) -> Optimized ((Vector2 :*: Vector4) Int16) Source #

sumCoordinatesO :: Optimized ((Vector2 :*: Vector4) Int16) -> Scalar ((Vector2 :*: Vector4) Int16) Source #

constantO :: Scalar ((Vector2 :*: Vector4) Int16) -> Optimized ((Vector2 :*: Vector4) Int16) Source #

Optimal ((Vector4 :*: Vector2) Int16) Source # 
Instance details

Defined in Math.Matrix.SIMD

Associated Types

type Optimized ((Vector4 :*: Vector2) Int16) Source #

Methods

toO :: (Vector4 :*: Vector2) Int16 -> Optimized ((Vector4 :*: Vector2) Int16) Source #

fromO :: Optimized ((Vector4 :*: Vector2) Int16) -> (Vector4 :*: Vector2) Int16 Source #

zipO :: (Scalar ((Vector4 :*: Vector2) Int16) -> Scalar ((Vector4 :*: Vector2) Int16) -> Scalar ((Vector4 :*: Vector2) Int16)) -> Optimized ((Vector4 :*: Vector2) Int16) -> Optimized ((Vector4 :*: Vector2) Int16) -> Optimized ((Vector4 :*: Vector2) Int16) Source #

mapO :: (Scalar ((Vector4 :*: Vector2) Int16) -> Scalar ((Vector4 :*: Vector2) Int16)) -> Optimized ((Vector4 :*: Vector2) Int16) -> Optimized ((Vector4 :*: Vector2) Int16) Source #

sumCoordinatesO :: Optimized ((Vector4 :*: Vector2) Int16) -> Scalar ((Vector4 :*: Vector2) Int16) Source #

constantO :: Scalar ((Vector4 :*: Vector2) Int16) -> Optimized ((Vector4 :*: Vector2) Int16) Source #

Optimal ((Vector4 :*: Vector4) Int8) Source # 
Instance details

Defined in Math.Matrix.SIMD

Associated Types

type Optimized ((Vector4 :*: Vector4) Int8) Source #

Methods

toO :: (Vector4 :*: Vector4) Int8 -> Optimized ((Vector4 :*: Vector4) Int8) Source #

fromO :: Optimized ((Vector4 :*: Vector4) Int8) -> (Vector4 :*: Vector4) Int8 Source #

zipO :: (Scalar ((Vector4 :*: Vector4) Int8) -> Scalar ((Vector4 :*: Vector4) Int8) -> Scalar ((Vector4 :*: Vector4) Int8)) -> Optimized ((Vector4 :*: Vector4) Int8) -> Optimized ((Vector4 :*: Vector4) Int8) -> Optimized ((Vector4 :*: Vector4) Int8) Source #

mapO :: (Scalar ((Vector4 :*: Vector4) Int8) -> Scalar ((Vector4 :*: Vector4) Int8)) -> Optimized ((Vector4 :*: Vector4) Int8) -> Optimized ((Vector4 :*: Vector4) Int8) Source #

sumCoordinatesO :: Optimized ((Vector4 :*: Vector4) Int8) -> Scalar ((Vector4 :*: Vector4) Int8) Source #

constantO :: Scalar ((Vector4 :*: Vector4) Int8) -> Optimized ((Vector4 :*: Vector4) Int8) Source #

fast_multiply4_float :: Matrix4 Float -> Vector4 Float -> Vector4 Float Source #

fast_multiply2_double :: Scalar (SIMDVec 2 Double) ~ Double => Matrix2 Double -> Vector2 Double -> Vector2 Double Source #

Orphan instances

Scalar (SIMDVec 2 Double) ~ Double => LinearTransform Vector2 Vector2 Double Source # 
Instance details

Methods

(<*>>) :: Vector2 Double -> (Vector2 :*: Vector2) Double -> Vector2 Double Source #

(<<*>) :: (Vector2 :*: Vector2) Double -> Vector2 Double -> Vector2 Double Source #

LinearTransform Vector3 Vector3 Float Source # 
Instance details

Methods

(<*>>) :: Vector3 Float -> (Vector3 :*: Vector3) Float -> Vector3 Float Source #

(<<*>) :: (Vector3 :*: Vector3) Float -> Vector3 Float -> Vector3 Float Source #

LinearTransform Vector4 Vector4 Float Source # 
Instance details

Methods

(<*>>) :: Vector4 Float -> (Vector4 :*: Vector4) Float -> Vector4 Float Source #

(<<*>) :: (Vector4 :*: Vector4) Float -> Vector4 Float -> Vector4 Float Source #

Scalar (SIMDVec 2 Double) ~ Double => InnerProductSpace (Vector2 Double) Source # 
Instance details

Methods

(%.) :: Vector2 Double -> Vector2 Double -> Scalar (Vector2 Double) Source #

InnerProductSpace (Vector3 Float) Source # 
Instance details

Methods

(%.) :: Vector3 Float -> Vector3 Float -> Scalar (Vector3 Float) Source #

InnerProductSpace (Vector4 Float) Source # 
Instance details

Methods

(%.) :: Vector4 Float -> Vector4 Float -> Scalar (Vector4 Float) Source #

NormedSpace (Complex Double) Source # 
Instance details

Methods

norm :: Complex Double -> Scalar (Complex Double) Source #

norm_squared :: Complex Double -> Scalar (Complex Double) Source #

NormedSpace (Vector2 (Complex Float)) Source # 
Instance details

Methods

norm :: Vector2 (Complex Float) -> Scalar (Vector2 (Complex Float)) Source #

norm_squared :: Vector2 (Complex Float) -> Scalar (Vector2 (Complex Float)) Source #