LLVM.Extra.Multi.Value.Vector

Documentation

cons :: (Positive n, C a) => Vector n a -> T (Vector n a)

fst :: T (Vector n (a, b)) -> T (Vector n a)

snd :: T (Vector n (a, b)) -> T (Vector n b)

fst3 :: T (Vector n (a, b, c)) -> T (Vector n a)

snd3 :: T (Vector n (a, b, c)) -> T (Vector n b)

thd3 :: T (Vector n (a, b, c)) -> T (Vector n c)

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

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

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

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

swap :: T (Vector n (a, b)) -> T (Vector n (b, a))

mapFst :: (T (Vector n a0) -> T (Vector n a1)) -> T (Vector n (a0, b)) -> T (Vector n (a1, b))

mapSnd :: (T (Vector n b0) -> T (Vector n b1)) -> T (Vector n (a, b0)) -> T (Vector n (a, b1))

mapFst3 :: (T (Vector n a0) -> T (Vector n a1)) -> T (Vector n (a0, b, c)) -> T (Vector n (a1, b, c))

mapSnd3 :: (T (Vector n b0) -> T (Vector n b1)) -> T (Vector n (a, b0, c)) -> T (Vector n (a, b1, c))

mapThd3 :: (T (Vector n c0) -> T (Vector n c1)) -> T (Vector n (a, b, c0)) -> T (Vector n (a, b, c1))

extract :: (Positive n, C a) => Value Word32 -> T (Vector n a) -> CodeGenFunction r (T a)

insert :: (Positive n, C a) => Value Word32 -> T a -> T (Vector n a) -> CodeGenFunction r (T (Vector n a))

replicate :: (Positive n, C a) => T a -> CodeGenFunction r (T (Vector n a))

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

select :: (Positive n, Select a) => T (Vector n Bool) -> T (Vector n a) -> T (Vector n a) -> CodeGenFunction r (T (Vector n a))

cmp :: (Positive n, Comparison a) => CmpPredicate -> T (Vector n a) -> T (Vector n a) -> CodeGenFunction r (T (Vector n Bool))

take :: (Positive n, Positive m, C a) => T (Vector n a) -> CodeGenFunction r (T (Vector m a))

takeRev :: (Positive n, Positive m, C a) => T (Vector n a) -> CodeGenFunction r (T (Vector m a))