Data.Array.Knead.Expression.Vector

Documentation

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

fst :: (Positive n, C a, C b) => Exp (Vector n (a, b)) -> Exp (Vector n a)

snd :: (Positive n, C a, C b) => Exp (Vector n (a, b)) -> Exp (Vector n b)

swap :: (Positive n, C a, C b) => Exp (Vector n (a, b)) -> Exp (Vector n (b, a))

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

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

fst3 :: (Positive n, C a, C b, C c) => Exp (Vector n (a, b, c)) -> Exp (Vector n a)

snd3 :: (Positive n, C a, C b, C c) => Exp (Vector n (a, b, c)) -> Exp (Vector n b)

thd3 :: (Positive n, C a, C b, C c) => Exp (Vector n (a, b, c)) -> Exp (Vector n c)

zip :: (Positive n, C a, C b) => Exp (Vector n a) -> Exp (Vector n b) -> Exp (Vector n (a, b))

zip3 :: (Positive n, C a, C b, C c) => Exp (Vector n a) -> Exp (Vector n b) -> Exp (Vector n c) -> Exp (Vector n (a, b, c))

replicate :: (Positive n, C a) => Exp a -> Exp (Vector n a)

take :: (Positive n, Positive m, Select a) => Exp (Vector n a) -> Exp (Vector m a)

takeRev :: (Positive n, Positive m, Select a) => Exp (Vector n a) -> Exp (Vector m a)

cmp :: (Positive n, Comparison a) => CmpPredicate -> Exp (Vector n a) -> Exp (Vector n a) -> Exp (Vector n Bool)

select :: (Positive n, Select a) => Exp (Vector n Bool) -> Exp (Vector n a) -> Exp (Vector n a) -> Exp (Vector n a)