LLVM.Extra.Multi.Vector

Documentation

newtype T n a

Constructors

Cons (Vector n a)

Instances

PositiveT n => C (T n)

(PositiveT n, C a) => Undefined (T n a)

size :: PositiveT n => T n a -> Int

zip :: T n a -> T n b -> T n (a, b)

zip3 :: T n a -> T n b -> T n c -> T n (a, b, c)

unzip :: T n (a, b) -> (T n a, T n b)

unzip3 :: T n (a, b, c) -> (T n a, T n b, T n c)

class C a where

Associated Types

type Vector n a :: *

Methods

undef :: PositiveT n => T n a

shuffleMatch :: PositiveT n => ConstValue (Vector n Word32) -> T n a -> CodeGenFunction r (T n a)

extract :: PositiveT n => Value Word32 -> T n a -> CodeGenFunction r (T a)

insert :: PositiveT n => Value Word32 -> T a -> T n a -> CodeGenFunction r (T n a)

Instances

C Double

C Float

(C a, C b) => C (a, b)

(C a, C b, C c) => C (a, b, c)

undefPrimitive :: (PositiveT n, IsPrimitive a, Vector n a ~ Value (Vector n a)) => T n a

shuffleMatchPrimitive :: (PositiveT n, IsPrimitive a, Vector n a ~ Value (Vector n a), ValueTuple a ~ Value a) => ConstValue (Vector n Word32) -> T n a -> CodeGenFunction r (T n a)

extractPrimitive :: (PositiveT n, IsPrimitive a, Vector n a ~ Value (Vector n a), ValueTuple a ~ Value a) => Value Word32 -> T n a -> CodeGenFunction r (T a)

insertPrimitive :: (PositiveT n, IsPrimitive a, Vector n a ~ Value (Vector n a), ValueTuple a ~ Value a) => Value Word32 -> T a -> T n a -> CodeGenFunction r (T n a)

assemble :: (PositiveT n, C a) => [T a] -> CodeGenFunction r (T n a)

dissect :: (PositiveT n, C a) => T n a -> CodeGenFunction r [T a]

function based on classes from Vector module

shuffleMatchGen :: (Vector n a ~ v, Simple v, n ~ Size v) => ConstValue (Vector n Word32) -> T n a -> CodeGenFunction r (T n a)

extractGen :: (Vector n a ~ v, Simple v, ValueTuple a ~ Element v) => Value Word32 -> T n a -> CodeGenFunction r (T a)

insertGen :: (Vector n a ~ v, C v, ValueTuple a ~ Element v) => Value Word32 -> T a -> T n a -> CodeGenFunction r (T n a)