Documentation

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

fst :: MVVector n (a, b) -> MVVector n aSource

snd :: MVVector n (a, b) -> MVVector n bSource

fst3 :: MVVector n (a, b, c) -> MVVector n aSource

snd3 :: MVVector n (a, b, c) -> MVVector n bSource

thd3 :: MVVector n (a, b, c) -> MVVector n cSource

zip :: MVVector n a -> MVVector n b -> MVVector n (a, b)Source

zip3 :: MVVector n a -> MVVector n b -> MVVector n c -> MVVector n (a, b, c)Source

unzip :: MVVector n (a, b) -> (MVVector n a, MVVector n b)Source

unzip3 :: MVVector n (a, b, c) -> (MVVector n a, MVVector n b, MVVector n c)Source

swap :: MVVector n (a, b) -> MVVector n (b, a)Source

mapFst :: (MVVector n a0 -> MVVector n a1) -> MVVector n (a0, b) -> MVVector n (a1, b)Source

mapSnd :: (MVVector n b0 -> MVVector n b1) -> MVVector n (a, b0) -> MVVector n (a, b1)Source

mapFst3 :: (MVVector n a0 -> MVVector n a1) -> MVVector n (a0, b, c) -> MVVector n (a1, b, c)Source

mapSnd3 :: (MVVector n b0 -> MVVector n b1) -> MVVector n (a, b0, c) -> MVVector n (a, b1, c)Source

mapThd3 :: (MVVector n c0 -> MVVector n c1) -> MVVector n (a, b, c0) -> MVVector n (a, b, c1)Source

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

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

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

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

select :: (Positive n, Select a) => MVVector n Bool -> MVVector n a -> MVVector n a -> CodeGenFunction r (MVVector n a)Source

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

take :: (Positive n, Positive m, C a) => MVVector n a -> CodeGenFunction r (MVVector m a)Source

takeRev :: (Positive n, Positive m, C a) => MVVector n a -> CodeGenFunction r (MVVector m a)Source