Documentation

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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